Questions tagged [schemes]
The first purpose of schemes theory is the geometrical study of solutions of algebraic systems of equations, not only over the real/complex numbers, but also over integer numbers (and more generally over any commutative ring with 1). It was finalized by Alexandre Grothendieck, during the 1950s and the 1960s.
327
questions with no upvoted or accepted answers
60
votes
1
answer
6k
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 ...
46
votes
0
answers
2k
views
Mikhalkin's tropical schemes versus Durov's tropical schemes
In Mikhalkin's unfinished draft book on tropical geometry, (available here) (page 26) he defines a notion of tropical schemes. It seems to me that this definition is not just a wholesale adaptation of ...
- 6,169
18
votes
0
answers
2k
views
History of the functor of points
Until now, I thought the functor of points approach was introduced by Grothendieck at the 1973 Buffalo seminar.
However, in this note by Lawvere the author writes:
"I myself had learned the ...
- 10.3k
9
votes
0
answers
391
views
Weierstrass division theorem for henselian rings
Let $A$ be an henselian local noetherian ring. There is an old result of Lafon ("Anneaux henséliens et théorème de préparation" (1967)), which says that if $A$ is analytically normal and of ...
- 3,432
8
votes
0
answers
495
views
Ring of global sections of a functor $\mathbf{CRing} \to \mathbf{Set}$
Let $U : \mathbf{CRing} \to \mathbf{Set}$ be the forgetful functor. For any functor $F : \mathbf{CRing} \to \mathbf{Set}$ consider the class of natural transformations
$$\mathcal{O}(F) := \mathrm{Hom}(...
- 61.5k
8
votes
0
answers
103
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,382
8
votes
0
answers
199
views
What are the Newton groupoids from Drinfeld's paper on the Grinberg-Kazhdan theorem?
The paper the Grinberg-Kazhdan formal arc theorem and the Newton groupoids by Drinfeld seems to contain many interesting things which are beyond me. For now, I am trying to get some intuition for the ...
- 10.3k
8
votes
0
answers
127
views
universally open and connected fibers
Let $A$ be a coherent ring, and consider the map:
$Spec(A[[t]])\rightarrow Spec(A)$,
in particular, we know that it's flat. Is it universally open? Does it have connected fibers?
N.B: Easy if A is ...
- 3,432
8
votes
0
answers
229
views
A Hartogs-type criterion for flatness
Let $U$ be a smooth affine connected variety over $\mathbb C$ and let $V\subset U$ be an open whose complement is of codimension at least two.
Now, let $Y$ be a smooth quasi-affine connected variety ...
- 81
8
votes
0
answers
405
views
Arithmetic zeta function and local zeta functions
For the arithmetic zeta function of (say) a nonsingular projective variety $X$, one has the following Euler product
\begin{equation}
\zeta_X(s) = \prod_{p\ \mbox{prime}}\zeta_{X\vert\mathbb{F}_p}(s),
...
- 4,353
8
votes
0
answers
1k
views
Two definitions of smoothness?
This is confusing, there appear to be possibly two definitions of smoothness in algebraic geometry for a morphism $f: X \rightarrow Y$ of schemes of finite type over an arbitrary field $k$.
...
- 3,515
7
votes
0
answers
278
views
Moduli stacks and representability of diagonal by schemes
The answer to my question might very well be standard, but I have had trouble finding the right keywords to search for it, so I apologize if this is something well-known to the experts.
I am learning ...
- 27.4k
7
votes
0
answers
322
views
What is the category of coherent sheaves on a logarithmic scheme?
I try to learn basic things on logarithmic geometry, and in particular I don't find much on the category of coherent sheaves on a logarithmic scheme: is it a notion that makes sense or differ from ...
- 323
7
votes
0
answers
615
views
What is the left adjoint to base change of schemes?
Restriction of Scalars and Functoriality of Presheaves.
Let $\phi\colon R\longrightarrow S$ be a morphism of rings. There is associated to $\phi$ a natural functor from $\mathrm{Alg}_S$ to $\mathrm{...
- 10.7k
7
votes
0
answers
650
views
Artin's "On isolated rational singularities of surfaces"
My question deals with Michael Artin's paper "On isolated rational singularities of surfaces"; more precisely the proof of Theorem 4 on page 133. Here the relevant excerpt:
The Setting: Let ...
- 6,000
7
votes
0
answers
369
views
Algebraic geometry "over the function field" of the base
This is vaguely similar to, but quite different from, this question.
In the above linked question the focus is on fields of large cardinality per se. Here we fix a base field $k$ (say algebraically ...
- 22.7k
7
votes
0
answers
280
views
Weil homotopy theory
In algebraic geometry, we have something called Weil cohomology theories, which formalize the notion of a "good" cohomology theory of smooth projective varieties. I believe that for $l$-adic ...
user137676
7
votes
0
answers
156
views
Invariants of etale topological type that are not homotopy invariants
Artin--Mazur theory attaches etale homotopy type to reasonable schemes. Associated to this homotopy type are certain invariants of the scheme, such as etale fundamental group and higher homotopy ...
- 713
7
votes
0
answers
155
views
Do residues commute with transverse base change?
Fix a number $n > 0$. Given a smooth $\mathbb{Z}[1/n]$-scheme $X$ (i.e., a smooth scheme such that $n$ is invertible in its ring of functions), we may consider the étale sheaf $\mu_n$ on $X$ which ...
- 9,246
7
votes
0
answers
448
views
What Spec-like functors are there?
The real spectrum functor is an analog of Spec for partially ordered commutative rings and real closed fields in place of commutative reals and algebraically closed fields. I was hoping that there ...
- 2,090
7
votes
0
answers
445
views
$\Bbb A^1$-Localisation of Schemes, and $\Bbb A^1$-Rigid Schemes
Question 1: Are there some publications or preprints that provide $\Bbb A^1$-fibrant replacements of certain classes of (smooth) schemes?
Of course, smooth schemes that are $\Bbb A^1$-fibrant are $\...
- 333
6
votes
0
answers
197
views
Quadric contain tangent variety of a curve in $\mathbb{P}^5$
Let $Q^4 \subset \mathbb{P}^5$ a smooth quadric over $\mathbb{C}$
which is via Pluecker map isomorphic
to Grassmannian of lines $\mathbb{G}(1,\mathbb{P}^3)$
in $\mathbb{P}^3$.
Consider following ...
- 543
6
votes
0
answers
167
views
Computing the automorphism scheme of projective space
$\newcommand{\Spec}{\operatorname{Spec}}$I'm trying to understand why $PGL_{n}$ is the automorphism scheme of $\mathbb{P}^{n-1}_{\mathbb{Z}}$.
In Conrad's Reductive Group Schemes, the following ...
- 545
6
votes
0
answers
129
views
Epimorphisms and quotients in Sch versus $\mathrm{Sh}(\mathrm{Ring}^{\mathrm{op}},\mathrm{Zar})$
$\DeclareMathOperator\Ring{Ring}\DeclareMathOperator\Aff{Aff}\DeclareMathOperator\op{op}\DeclareMathOperator\Sch{Sch}\DeclareMathOperator\Zar{Zar}$The category of schemes sits, fully faithfully, in ...
- 775
6
votes
0
answers
195
views
Does a universal homeomorphism descend ampleness?
All schemes are quasicompact and separated. If $\pi:X\to Y$ is an affine morphism and $L$ is an ample invertible $\mathscr{O}_Y$-module, then $\pi^*L$ is ample on $X$; we say that $\pi$ descends ...
- 19.3k
6
votes
0
answers
195
views
Is an algebraic space having a monomorphism to an affine scheme a scheme?
Definition
An algebraic space is a functor $X$ from the opposite of the category of commutative rings to the category of sets satisfying the following conditions:
The functor $X$ is a (large) etale ...
- 368
6
votes
0
answers
111
views
Relation between $\mathrm{Proj}(A[tI])$ and $\mathrm{Proj}(A[tJ])$ for ideals $I$ and $J$ of $A$ with $I^2 \subset J \subset I$
Let $k$ be a field and $A$ a noetherian local $k$-algebra.
Let $I$ and $J$ be two ideals of $A$ with $I^2 \subset J \subset I$.
Let $A[tI] = \bigoplus\limits_{i\geq 0} t^i I^i$ and $A[tJ] = \...
- 513
6
votes
0
answers
406
views
Where is the local structure theory of étale morphisms needed?
In Stacks 02GH it is mentioned étale morphisms are locally standard étale. This seems to be the analogue of the local form of local diffeomorphisms in the smooth category. In the latter, local ...
- 10.3k
6
votes
0
answers
252
views
Is the stack of varieties with a big line bundle algebraic
In Starr's paper https://www.math.stonybrook.edu/~jstarr/papers/moduli4.pdf the folk result that the fibred category of pairs $(X\to S, L)$, where $S$ is an affine scheme, $X\to S$ is flat proper ...
- 171
6
votes
0
answers
233
views
Can we classify reductive group schemes over curves
Let $C$ be a smooth quasi-projective connected curve over the complex numbers.
Can one classify all reductive group schemes over $C$?
Certainly, you have the trivial ones (coming from pulling-back ...
- 61
6
votes
0
answers
221
views
If $X,Y$ are regular and of finite type over $S$, can $X\times _S Y$ be embedded into a regular $S$-scheme?
It seems to be well-known (see Is there an example of a variety over the complex numbers with no embedding into a smooth variety?) that a general finite type $S$-scheme does not embedd into a regular $...
- 16.5k
6
votes
0
answers
303
views
Does one need l to be invertible in S in order to consider the l-adic cohomology of S-schemes and motives?
When Ivorra defines the $l$-adic realization of $S$-motives (i.e. of Voevodsky's motives over a scheme $S$) he demands $l$ to be invertible in $S$. Is this condition really necessary? What happens ...
- 16.5k
6
votes
0
answers
431
views
Ever seen a ringed group?
A locally ringed space is a common generalization of schemes and various manifolds. I am wondering about a locally ringed group which should be a common generalization of group schemes and various Lie ...
- 12.1k
5
votes
0
answers
235
views
How can we generalize the finite type property so that global sections still have the same property?
Motivation: When I was young(er), I was once shocked to learn that, for $X$ a scheme of finite type, $\Gamma(X,\mathscr{O}_X)$ can fail to be of finite type. Now that I am no longer so young and ...
- 30.2k
5
votes
0
answers
252
views
Colimit of nilpotent thickenings in the category of schemes
This question is highly related to this and this one.
Given a ring $A$ and an ideal $I$, the direct system of schemes $\text{Spec}(A/I)\rightarrow \text{Spec}(A/I^2)\rightarrow \ldots$ has a colimit ...
- 5,851
5
votes
0
answers
145
views
Reduction theory of higher dimensional algebraic varieties
If $X$ is a nonsigular curve over a number field $K$, one can obtain several arithmetic models of $X$. Namely, we can construct an arithmetic surface $\mathcal X\to\operatorname{spec} O_K$, such that $...
- 1,237
5
votes
0
answers
153
views
Curves of genus 0 over a DVR determined by fibers?
Closely related is this question.
Suppose $R$ is a DVR with fraction field $K$ and residue field $k$ (say finite), and $S = \mathrm{Spec}(R)$.
I am interested in regular, proper, flat schemes $X \to S$...
- 1,338
5
votes
0
answers
198
views
Use of Flattening Stratification part 2 (Nitsure's construction of Hilbert and Quot schemes)
I study Nitin Nitsure's paper Construction of Hilbert and Quot Schemes (arXiv:math/0504590) and have some problems with the content of imposed universal property (F) in the section "Use of ...
- 6,000
5
votes
0
answers
342
views
Algebraic spaces as quotients of schemes (Definition from wikipedia)
I think that wikipedia article on Algebraic spaces contains a serious content error in the part on the definition of Algebraic spaces as quotients of schemes and I would like to discuss if it is ...
- 6,000
5
votes
0
answers
193
views
Algebraic Space: Two equivalent constructions
According to Wikipedia
there are two common ways to define algebraic spaces:
they can be defined as either quotients of schemes by étale
equivalence relations,
or as sheaves on a big étale site that ...
- 6,000
5
votes
0
answers
166
views
When do the spectra of overrings glue to a proper morphism?
This question is motivated by the construction of blowups.
Let $A \subset K$ be a commutative domain and its fraction field, and let $\{A_i\}$ be some finite collection of overrings in between.
Let $X ...
- 1,338
5
votes
0
answers
479
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
5
votes
0
answers
241
views
Schemes monomorphing into affine scheme of dimension 1
Let $Y$ be an affine scheme of Krull dimension 1. Let $X\rightarrow Y$ be a monomorphism in the category of schemes. If $X$ is connected, is $X$ necessarily affine? What if we assume that $Y$ is a ...
user137767
5
votes
0
answers
231
views
Cohomology groups on small fppf site and small etale site are not the same
Let $F$ be a quasi-coherent sheaf on a scheme $X$. Is there an example where cohomology groups of $F$ on small fppf site of $X$ and small etale site of $X$ are not isomorphic?
- 713
5
votes
0
answers
464
views
Basic questions about crystals and Grothendieck connections
I have a few basic questions about Grothendieck connections and crystals. I know it's bad practice to ask a bunch of different questions at once, however I feel they naturally come bundled together. ...
- 10.3k
5
votes
0
answers
749
views
Injective sheaf of $\mathcal{O}_X$ modules
I am trying to verify that:
A sheaf of $\mathcal{O}_X$ modules $\mathcal{F}$ is an injective object in the category of $\mathcal{O}_X$ modules iff its local rings $\mathcal{F}_x$ are injective $\...
user37663
5
votes
0
answers
2k
views
Geometry of schemes by Eisenbud and Harris
I have some background of algebraic geometry.
I am now trying to study schemes from book Geometry of schemes by Eisenbud and Harris.
I was checking recommendations for books on algebraic geometry ...
user37663
5
votes
0
answers
2k
views
A course on modern algebraic geometry from "The Stacks Project"
I hope this question is viable for this site. I'm sincerely sorry, if you think it isn't.
For a lot of time, "EGA" by Alexander Grothendieck and Jean Dieudonne was "the" reference on the basics of ...
- 59
5
votes
0
answers
332
views
Which locally ringed spaces are schemifiable?
(most of this question is re-asking Schemification (schematization?) of locally ringed spaces, which did not get answered)
Given a locally ringed space $X$, say that a schemification of $X$ is a ...
- 2,090
5
votes
0
answers
952
views
Equivalent definitions of the Hasse invariant
As probably many others before me, I got stuck in verifying all the nice properties of the Hasse invariant.
Let me start by recalling one definition:
Let $E\to S$ be an elliptic curve in ...
- 845