This circle is for math enthusiasts to learn and share knowledge of different branches of mathematics, including some cutting-edge mathematics.
This person is lazy, nothing was left behind...
本图转自X,请数出下图中有多少个(m)。
有人说有8个,有人说7个,也有人说6个。到底有多少呢?
There is no comment, let's add the first one.
My question: Let $(\Gamma,+,\leq)$ be an ordered abelian group. We know that archimedean property can be stated as: for all $a,b\in\Gamma$ with $a>0,b\geq0$, there exists $n\geq0$ such that $b\leq na$. However, if we consider the multiplicative case, namely $(\Gamma,\cdot,\leq)$ is the ordered abelian group. Is there exists Archimedean property written multiplicatively? I think there is. And I state that as follows: for all $a,b\in\Gamma$ with $b<1,a\leq1$, there exists $n\geq0$ such that ...
My question: Let $X,Y$ be schemes. Let $X\rightarrow Y,X\rightarrow X, Y\rightarrow Y$ be morphisms of schemes. Why the morphism $U\times_{X}X\rightarrow U\times_{Y}Y$ is the base change of $X\rightarrow X\times_{Y}Y$ by $U\times_{Y}Y\rightarrow Y$?Here is the diagram I try, where the triangle is commutative. But I found that $(U\times_{Y}Y)\times_{Y}(X\times_{Y}Y)=U\times_{Y}X\times_{Y}Y=U\times_{Y}X$, i.e. I can not obtain the desired $U\times_{X}X$. What mistakes do I make?Here is the context ...
My question: Let $\cal{C},\cal{D}$ be categories (resp. stacks). Let $F:\cal{C}\rightarrow\cal{D}$ be an essentially surjective functor, i.e. surjective on isomorphism classes of objects. Then is $F$ an epimorphism in the category of small categories (resp. stacks)?Answer: No. For example, any functor between categories with one object is essentially surjective, but e.g. if $M_1, M_2$ are two nonzero monoids then the inclusion $M_1 \to M_1 \oplus M_2$ of a direct summand, thought of as a functor ...
My question: Let $\cal{C}$ and $\cal{D}$ be two groupoids, i.e. the category whose morphisms are isomorphisms. Let $F:\cal{C}\rightarrow\cal{D}$ be a fully faithful functor from $\cal{C}$ to $\cal{D}$. Then is $F$ injective on objects? In other words, is the object function $F:{\rm{Ob}}(\cal{C})\rightarrow{\rm{Ob}}(\cal{D})$ injective?Answer: No. Given any set $X$ we can construct a groupoid called the indiscrete groupoid on $X$, which has a unique (iso)morphism $x \to y$ for $x, y \in X$. Every ...
Question: Let $(X, O_X)$ be a scheme. and $I$ an nilptoent ideal sheaf. i.e. $I^n=0$ for some $n$. Would this imply that each $I(U)$ is an nilpotent ideal of $O_X(U)$?Answer: Let $I\subseteq \mathcal{O}_X$ be an ideal sheaf, and let $\mathcal{F}$ be the presheaf assigning to each open subset $U$ of $X$ the ideal $I(U)^n\subseteq \mathcal{O}_X(U)$. You say that $I$ is nilpotent of degree $n$ if $\mathcal{F}^\#$ is zero, where $\#$ is used to denote sheafification. But, since $\mathcal{F}$ is a se ...
We need to prove the following proposition:Let $F$ be a field containing $\mathbb{R}$ with the property that $\dim_{\mathbb R}F < \infty$. Then either $F \cong \mathbb R$ or $F \cong \mathbb C$.We give three proof in the following, where the first one is the most simple, and the last one is the most complicated.Proof 1. By the uniqueness of the algebraic closure, we have an embedding $F \hookrightarrow \mathbb C$, hence we have $\mathbb R \subset F \subset \mathbb C$. The result follows from ...
A collection shall consists of mathematical objects that may not share some unambiguously properties. This is different from the so-called class, which consists of mathematical objects that share unambiguously properties. However, a class may not form a set. And we call such classes proper classes. What's more, a family is different from a class. A indexed family or simply family is a collection of mathematical objects that is indexed by a set called index set.--------------------This paragraph ...
The name "p-divisible group" is somewhat misleading, which in fact has another name "Barsotti-Tate group". A p-divisible group is not merely just a kind of group. lt is more general. In fact, a p-divisible group can be viewed as a tower of affine group schemes with some extra conditions. Historically, p-divisible groups were the main stimulus for p-adic Hodge theory. So l think that studying p-divisible groups is the key to study p-adic Hodge theory.However, today's p-adic Hodge theory is much m ...
Well, yesterday, when l was typing my articles excitedly, the boring class was over, so l had to stop this inspiring moment. What l wanna say at last is that one should really do mathematics for the sake of satisfying one's curiosity, You do mathematics maybe just to understand some kind of concepts. Our purpose of doing mathematics is not to have some specific problems solved, on the contrary, unsolved problems are the vitality of mathematics. Well, recently, l have written my essay named facto ...
When executing npm run build in NextJS, eslint may check some folders that are unnecessary. If you are using App Router and want to disable ESLint to some folders, you can try the following ways.Edit next.config.jsYou can specify which directories should be checked by the ESLint. Here is the documentation: Linting Custom Directories and Filesmodule.exports = { eslint: { dirs: ['pages', 'utils'], // Only run ESLint on the 'pages' and 'utils' directories during production builds (next build) ...
There are many factors that come into play when considering whether or not your personal finances are thriving or just barely surviving. Read on to learn what the top ten things that matter most in personal finance are, according to White Coat Investor.Today’s Classic is republished from White Coat Investor. You can see the original here.Enjoy!We spend a great deal of time on this blog discussing the minutiae of personal finance and investing. Examples include trying to decrease your portfolio e ...
When I was writing styles of affix, whose width needs to be set by the calc function of CSS.fix { position: fixed; top: 20px; width: calc(100%-20px); }However, the width is not working and the calc function fail to calculate the resulting px. After searching for this problem, I finally found out that the calc function should be written like the following.fix { position: fixed; top: 20px; width: calc(100% - 20px); }That is, two whitespaces need to be reserved before and after the ar ...