All Questions
1,159 questions
25
votes
5
answers
7k
views
Reduced scheme and closed points
In The Geometry of Schemes by Eisenbud and Harris, Exercise I-32 asks one to show that a scheme $X$ is reduced if and only if every local ring $\mathcal{O}_{X,p}$ is reduced for closed points $p \in X$...
- 1,128
-1
votes
1
answer
205
views
Connections on vector bundles over elliptic curves - concrete computations
This is linked to my question on math.Stackexchange for which I had no answer.
I have found nowhere a historical account on connections (or rather called logarithmic connections?) that would help me ...
- 339
3
votes
0
answers
181
views
Surjective morphisms dominated by some fpqc covering
Now I'm reading Cornell and Silverman's "Arithmetic Geometry" and I have trouble with a statement in this book. On page 39 of this book, the author says "Now $G\to Q$ is a surjection, consequently it ...
- 603
3
votes
0
answers
178
views
Finiteness results in the category of schemes up to $\mathbb{A}^1$-homotopy
In algebraic geometry, we know that there exist geometrical conditions on a scheme $X/k$ for having finitely many rational points when $k$ is a number field. Namely for curves there is the Mordell ...
- 4,428
5
votes
1
answer
323
views
Locally affine varieties and du Val singularities
Let me start with an apologetic disclaimer: I am very far from an algebraic geometer, so this question might be crudely formulated.
I have a specific question about du Val singularities, but while ...
- 390
18
votes
2
answers
2k
views
Images and monomorphisms of schemes
If $X$ is an object in an arbitrary category, there is a natural definition of a subobject of $X$ as a monomorphism into $X$ (or really an equivalence class of monomorphisms). If $X$ is a scheme, ...
- 2,806
3
votes
1
answer
252
views
Is this unipotent group, over characteristic 2, connected?
Let $E_{ij}(x)\in \mathrm{Mat}_{7\times7}(\overline{\mathbb{F}}_2)$ be the matrix with zeros everywhere, except for the value $x$ at $ij$. Set $$a(x)=1+E_{12}(x)+E_{34}(x)+E_{56}(x),\quad b(y)=1+E_{23}...
- 4,593
0
votes
0
answers
89
views
Locally freeness of twisted direct images $\pi_* \mathcal{F}(i)$
I have a question about a step in the proof of the
Existence of Flattening Stratification I found in
Nitsure's paper here: https://arxiv.org/abs/math/0504590 This question is closely related to Local ...
- 6,016
0
votes
0
answers
163
views
Question about the statement of the going-down theorem of Cohen-Seidenberg in Mumford
In Mumford's red book the statement of the Going-Down Theorem (Chapter II Section 8) is as follows.
Let $f: X \to Y$ be a finite morphism. Assume that $Y$ is an irreducible normal scheme. Assume that ...
- 3,625
10
votes
1
answer
2k
views
Can a scheme be defined by gluing open affines such that the intersections are affine?
One way to think of a manifold is as a family of of open subsets $U_i \subset \mathbb{R}^n$, together with distinguished subsets $V_{ij} \subset U_i$ and isomorphisms $\psi_{ij}: V_{ij} \to V_{ji}$ ...
- 25.6k
2
votes
0
answers
127
views
$\mathscr Coh_{X|S} $ is algebraic and of finite type
Let $S$ be a Noetherian scheme and $X$ a projective $S$-scheme.
Reading Laumon-Moret--Bailly's "Champs Algebriques", Theorem 4.6.2.1:
$ \mathscr Coh_{X|S} $ and $ \mathscr Fib_{X|S,r} $ are ...
- 339
9
votes
1
answer
1k
views
Coderivations of $S(V)$ correspond to linear maps $S(V) \to V.$ Only over characteristic $0$?
Definition. Let $k$ be a commutative ring. Let $V$ be a $k$-module. We turn the symmetric algebra $\mathrm{S}\left(V\right)$ of $V$ into a graded Hopf algebra by defining the comultiplication
\begin{...
- 33.8k
4
votes
0
answers
729
views
Why are algebraic schemes called algebraic?
In scheme theory, an algebraic scheme is the data of a scheme + a morphism of finite type to the spectrum of a field. Where does the term "algebraic scheme" come from? It does not seem intuitive to me ...
user141498
1
vote
0
answers
275
views
Pullback of ideal sheaf under base change by completion of base ring
Assume $R$ is a discrete valuation ring with uniformizing parameter $t$, i.e. $\mathfrak{m}_R=(t)$. We denote $\widehat{R}$ the completion of $R$ with respect to $(t)$. Let $Y$ be a flat locally ...
- 6,016
2
votes
0
answers
343
views
Spreading out a morphism of the generic fibers
Let $X$ and $Y$ be finite type schemes over $\mathrm{Spec} \mathbb{Z}$ and let $f_\xi : X_\xi \rightarrow Y_\xi$ be a morphism between the generic fibers. Then $f_\xi$ spreads out to a morphism $g_U : ...
- 129
3
votes
2
answers
279
views
Schemes with no finite morphisms onto themselves
Let $X$ be an integral Noetherian scheme that has no automorphisms other than the identity. Is it possible to characterize (in a not completely tautological way) $X$ such that
there is no finite ...
user138661
9
votes
1
answer
1k
views
deformation theory in positive characteristic
The idea "Formal deformation theory in characteristic zero is controlled by a differential graded Lie algebra (dgla)" goes back to Goldman-Millson, Deligne, Drinfeld among others; see Lurie's ICM talk....
- 528
5
votes
1
answer
483
views
What is the spectral interpretation of the arithmetic zeta function?
I recently stumbled upon the slides of a talk given by Kedlaya, in which the following appears:
For $X$ of finite type over $F_q$, a Weil cohomology theory, mapping $X$ to
certain vector spaces $...
- 457
9
votes
1
answer
833
views
Endomorphism ring of simple ordinary abelian variety
Is there an example of an ordinary and simple abelian variety $A$ over an algebraically closed field $K$ (of characteristic $p>0$) such that ${\rm End}(A)$ is not commutative? Note that the answer ...
- 3,076
2
votes
2
answers
935
views
Smallness of the category of schemes of finite type
Most sources about motivic homotopy theory mention that the category of (smooth) separated schemes of finite type over a (Noetherian of finite Krull dimension) base $S$ is essentially small, which is ...
- 333
2
votes
1
answer
324
views
Is there a flat proper morphism that is not finitely presented?
Is there an example of a flat proper morphism of schemes $X\rightarrow S$ whose fibers are geometrically connected, reduced and have dimension 1, but which is not itself finitely presented? What ...
user141408
4
votes
0
answers
169
views
Extensions of fraction field and residue field
Let $A \subset B$ be integrally closed local domains, $K(A), K(B)$ be fields of fractions, and $k(A),k(B)$ be residue fields. How to prove $[K(B):K(A)] \ge [k(B):k(A)]$?
This question should be easy ...
- 393
9
votes
1
answer
381
views
Lifting of families of curves to characteristic 0
Let $k$ be a finite field, $X_0$ be a smooth affine variety over $k$ and $C\rightarrow X$ a smooth projective family of curves of genus $\geq 2$.
By a result of Elkik we can always lift $X_0$ to a ...
- 728
5
votes
2
answers
505
views
Finite maps and jacobian condition
Let $k$ be an algebraically closed field and take $f_{1}, ..., f_{n} \in k[X_{1},..., X_{n}]$ with the jacobian condition: $\det J_{f} = 1$. Let $A:= k[X_{1},...,X_{n}]/(f_{1},...,f_{n})$ and ...
- 348
3
votes
1
answer
282
views
Separable extensions & topology vs inseparable extensions and algebra
In the note Properties of fibers and applications, Osserman writes above Definition 1.5:
Intuitively, the point is that phenomena relating to topology
can only change under separable extensions, ...
- 10.5k
8
votes
1
answer
603
views
absolute Galois group of the function field of a curve over $\mathbb{F}_p^{alg}$
In their 2008 paper "Torelli theorem for curves over finite fields" Bogomolov, Korotiaev and Tschinkel mention in the beginning of Section 9 that absolute Galois groups of curves over $\mathbb{F}_p^{...
- 4,070
2
votes
0
answers
109
views
arithmetic del Pezzo surfaces in comparison with del Pezzo surfaces over a field
A del Pezzo surface is a smooth, 2-dimensional projective variety $X$ with ample anticanonical divisor, i.e. a 2-dimensional Fano variety.
I am interested in the arithmetic analogue, a 2-dimensional ...
- 1,338
2
votes
0
answers
100
views
Composing equal characteristic and mixed characteristic deformations
Suppose $k$ is an algebraically closed field of characteristic $p>0$ and $A$ is a $k$-point on a moduli space of certain objects over $k$. Suppose, moreover, that $A$ deforms to a $k[[t]]$-point $B$...
- 245
1
vote
0
answers
51
views
Do we have $\cap_{P\in S}\left(\mathcal{O}_P+(1-\tau)(K)\right)=\left(\cap_{P\in S}\mathcal{O}_P\right)+(1-\tau)(K)$?
Let $\mathbb{F}$ be a finite field and let $q$ be its number of elements. Let $(C,\mathcal{O}_C)$ be a geometrically irreducible smooth projective curve over $\mathbb{F}$ and let $K=\mathbb{F}(C)$ be ...
- 1,479
8
votes
0
answers
106
views
Reference for limits of schemes with non-affine transitions?
Inverse systems of projective schemes appear in several contexts, for example:
in constructing the Zariski-Riemann space of a projective variety,
in studying subvarieties of a projective variety ...
- 4,492
4
votes
0
answers
483
views
A slightly canonical way to associate a scheme to a Noetherian spectral space
Let $C$ be the category whose objects are Noetherian spectral topological spaces and whose morphisms are homeomorphisms. Let $\mathrm{AffSch}$ be the category of Noetherian affine schemes (morphisms ...
user139951
10
votes
6
answers
2k
views
Proofs in the same vein as Ax-Grothendieck
I would like to see other examples of (ideas of) proofs and results in the same vein as the proof of the Ax-Grothendieck theorem. To explain what I mean by "in the same vein", I will quote from the ...
- 23.4k
12
votes
4
answers
4k
views
Nonalgebraic complex manifolds
I'm turning here (a variation of) a question asked by a friend of mine. For the purposes of this question I will say that a compact complex manifold is projective if it is isomorphic to a subvariety ...
- 14.8k
18
votes
4
answers
2k
views
What are the Benefits of Using Algebraic Spaces over Schemes?
I have heard that algebraic spaces have better formal properties than schemes. What are these benefits? Also, is there a natural way to go straight from affine schemes to algebraic spaces bypassing ...
- 5,548
3
votes
0
answers
305
views
Abelian varieties by Moonen and van der Geer: proof of rigidity lemma
I try to understand a reduction step in the proof of rigidity lemma as proved in Moonen's and van der Geer's Abelian varieties (Lemma 1.11 on page 12- if the link not work the draft version is online ...
- 6,016
60
votes
1
answer
7k
views
Why "open immersion" rather than "open embedding"?
When topologists speak of an "immersion", they are quite deliberately describing something that is not necessarily an "embedding." But I cannot think of any use of the word "embedding" in algebraic ...
9
votes
0
answers
388
views
True on stalks, false on affine opens [closed]
In scheme theory, there are some properties that can be specified purely on the stalks of the structure sheaf but they "lift" to the properties of the values of structure sheaf on affine opens, e.g.
...
user142126
2
votes
0
answers
216
views
On an application of the going-down theorem of Cohen-Seidenberg in Mumford
There is a following result in Mumford's red book of schemes (Chapter II Section 8). Here $R$ is a valuation ring with algebraically closed fraction field $k$.
Let $Z \subset \mathbb{P}^n_k$ be an ...
- 3,625
24
votes
2
answers
2k
views
Have we ever proved any non-solvable case of reciprocity without the Langlands program ?
The reciprocity of the title is the following not completely well-posed problem:
Fix $P(X)$ a monic irreducible polynomial of degree $n$, with coefficients in $\mathbb Z$. "Describe"
(in some sense) ...
- 26.1k
3
votes
0
answers
155
views
Bass theorem on non-affine scheme
A famous theorem of Bass tells that over a noetherian ring $A$, with $\operatorname{Spec}(A)$ connected, every projective module of infinite type is free.
Now, consider a connected noetherian scheme $...
- 3,472
2
votes
0
answers
321
views
How to deduce the following map between Zariski tangent spaces is surjective?
Let $f: X \rightarrow Y$ be a morphism of schemes: $X$, $Y$ are regular schemes, let $Z_1, Z_2$ be two closed regular subschemes of $Y$, let $x \in X \times_Y Z_2$ such that $y = f(x) \in Z_1 \cap Z_2$...
- 3,625
42
votes
2
answers
3k
views
Commutative rings to algebraic spaces in one jump?
Typically, in the functor of points approach, one constructs the category of algebraic spaces by first constructing the category of locally representable sheaves for the global Zariski topology (...
16
votes
1
answer
2k
views
Classical algebraic varieties VS $k$-schemes VS schemes
We know that there is an equivalence of categories between the two following categories:
$1)$ Classical varieties over $k$, where $k$ is an algebraically closed field. (Informally I mean locally ...
- 1,237
3
votes
0
answers
547
views
Finite Picard group
Does there exist a connected scheme, smooth, proper, and positive-dimensional over $\mathbb{C}$ with finite Picard group? Note that Picard group has cardinality$>1$. Also note that this can not ...
user139860
0
votes
0
answers
657
views
Mistake in Hartshorne's Exercise II.1.1?
This is really an elementary question, but let me state it. Exercise 1.1 of the second Chapter of Hartshorne's Algebraic Geometry ask to prove that the sheaf associated to the presheaf sending every ...
- 149
2
votes
0
answers
646
views
Direct image functor commuting with infinite direct sum of sheaves
Normally I would think this kind of question doesn't belong on overflow, but I haven't been able to find an answer anywhere else, so perhaps it is not so trivial.
Let $f: X \rightarrow Y$ be a ...
- 453
6
votes
1
answer
366
views
Breaking a morphism with generic fiber $\mathbb{F}_n$
Assume we are working over $\mathbb{C}$, and we have a projective morphism with connected fibers $f: X \rightarrow Z$ whose geometric generic fiber $X_\overline{\eta}$ is isomorphic to a Hirzebruch ...
- 625
2
votes
1
answer
271
views
Map to a given vector bundle from a split vector bundle
Let $X$ be a connected scheme, smooth and proper over $\mathbb{C}$. Let $F$ be a locally free $\mathcal{O}_X$-module of finite rank $r>1$. Suppose on a non-empty affine open $U\subset X$ whose ...
user138661
5
votes
0
answers
493
views
Schemes admitting a cover by isomorphic affine opens
Let $X$ be a Noetherian integral scheme. When does $X$ have a cover by affine open subschemes that are isomorphic as abstract schemes?
Does there exist an example when we have a cover by $n$ ...
user140076
2
votes
0
answers
636
views
Tangent Space of Picard Scheme
Let $X$ be a scheme and it's Picard scheme $\underline{Pic}(X)$ exist. Denote by $\underline{Pic}^0(X)$ the connected component of the origin of
the Picard scheme. My question is what the geometric ...
- 6,016