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.
740
questions
5
votes
1
answer
663
views
Can the functor of the points of a scheme be characterized by its values on subcategories of the affine schemes?
A scheme is equivalent to a functor $\mathcal{F}:\textbf{AffSchemes} \rightarrow \textbf{Set}$ such that it admits a cover of affine schemes and is a sheaf of rings on the Zariski site.
Suppose $\...
5
votes
2
answers
416
views
Connectedness of Quot schemes
Let $X$ be a connected projective scheme over $\mathbb{C}$ and $E$ a coherent sheaf on $X$. Consider the Quot scheme $\operatorname{Quot}_X(E,P)$ of quotients of $E$ of fixed Hilbert polynomial $P$. ...
5
votes
1
answer
1k
views
How to compute cohomology groups of a closed subscheme Z of projective space, defined by a homogeneous polynomial of degree d?
Let $Z = \mathrm{Proj}\,k[x_{0},x_{1},\ldots,x_{r}]/f$ be a closed subscheme of degree $d$, i.e., $f$ is a homogeneous polynomial of degree $d$, and $\mathcal{O}_{Z}(1)=i^{*}\mathcal{O}_\mathbb{P}(1)$....
5
votes
1
answer
591
views
What is the natural motivation for smooth/étale/unramified morphisms restricting from formally smooth/étale/unramified morphisms?
(I asked it first in MathStackExchange but I haven't get an answer yet)
Smooth (resp. étale) morphisms are just locally finitely presented + formally smooth (resp. étale) morphisms.
For unramified ...
5
votes
1
answer
356
views
Mapping scheme from a proper variety
Let $X$ be a proper scheme over a field $k$. Let $T$ be a scheme over $k$. Is it true that morphisms $T \times X \to \mathbb{A}^1$ are in bijection with morphisms $T \to \Gamma (X, \mathcal{O}_X)$ (...
5
votes
2
answers
1k
views
trying to understand the support of the sheaf of relative differentials
So I'm trying to understand a proof of Belyi's theorem from http://eprints.soton.ac.uk/29785/1/b45h1koe.pdf
specifically lemma 3.4.
The setup is as follows: Let $X/\mathbb{C}$ be a curve, and let $t ...
5
votes
1
answer
381
views
Topological space associated to a real or complex scheme
Hi, consider a scheme $X$ of finite type over $\mathbb{R}$ (or $\mathbb{C}$). In Hartshorne's appendix B on 'transcendental methods' it is shortly mentioned how to assign a reasonable topological ...
5
votes
1
answer
1k
views
Model of a scheme regular over the generic point
Let all schemes below be excellent.
Let $X_0$ be a regular (not necessarily smooth, projective) non-empty scheme of finite type over the generic point $\eta$ of a regular connected scheme $S$. As the ...
5
votes
1
answer
612
views
Gluing two points in an affine algebraic variety
Let $k$ be an algebraically closed field, $A$ a finitely generated $k$-algebra. Let $x,y$ be two distinct closed points of $\mathrm{Spec}(A)$. Is there an affine $k$-scheme of finite type obtained ...
5
votes
1
answer
222
views
Do regular (but non-smooth) conics over a discretely valued field of characteristic $2$ admit a regular model over the valuation ring?
Let $K$ be a non-perfect field of characteristic $2$. Let $T \subseteq K$ be a discrete valuation ring.
Assume there exist $a,b \in K^{\times}$ such that the projective conic $C$ defined by $$aX^2 + ...
5
votes
1
answer
460
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 $...
5
votes
1
answer
913
views
Spreading out flat morphisms of schemes
In EGA IV, Chapter 8, projective systems of schemes (and morphisms between them) are considered. Let $(S_{\lambda})_{\lambda \in L}$ be a projective system of schemes and let $S$ be the projective ...
5
votes
2
answers
374
views
Obstructions to abelian sheaf being quasi-coherent
Let $X$ be a Noetherian spectral topological space. A necessary condition for an abelian sheaf on $X$ to be quasi-coherent with respect to some affine scheme structure on $X$ is that its higher ...
5
votes
1
answer
360
views
Theorem on formal functions and cohomological flatness
Let $f:X\rightarrow S$ be a proper morphism of schemes with Noetherian target. The theorem on formal functions says that for any point $s\in S$ there is an isomorphism between inverse limits of $(f_*...
5
votes
1
answer
495
views
Evaluation maps for moduli of stable maps
Let $\overline{M}_{0,n}(\mathbb{P}^N,d)$ be the moduli space of stable maps of degree $d$ from curves of genus zero with $n$-marked points to $\mathbb{P}^N$.
Consider the product of the evaluation ...
5
votes
2
answers
480
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 ...
5
votes
1
answer
300
views
The stack of group algebraic spaces
The fibred category $\mathcal A$ of algebraic spaces over a scheme $S$ is a stack (over the category of affine schemes with the etale topology). This is proved in Laumon and Moret-Bailly's book (see (...
5
votes
1
answer
699
views
Compact quasi-coherent sheaves
Let $X$ be a scheme. What are the compact objects in the category of quasi-coherent $\mathcal{O}_X$-modules? All references seem to discuss the derived category but I need the abelian category.
5
votes
2
answers
1k
views
Map of coherent sheaves inducing isomorphism on the stalks at the generic point
Let $f:X\rightarrow Y$ be a finite morphism between Noetherian integral schemes that is surjective on the underlying topological spaces. Does there exist an integer $n>0$ and a coherent $O_X$-...
5
votes
1
answer
492
views
Schemes over (locally) ringed spaces: working over complex-analytic spaces, rigid-analytic spaces, formal schemes, etc
Monique Hakim developed in her doctoral thesis [1] the theory of relative schemes. These comprise, as a special case, the theory of schemes over (locally) ringed spaces. What makes the study of these ...
5
votes
1
answer
287
views
The Idea of Kroneckerian geometry
Let $X$ be a complex, projective algebraic variety and assume that $X$ has a model $X_0$ over $\mathbb Z$ i.e. $X\cong X_0\times_{\operatorname{Spec }\mathbb Z}\operatorname{Spec }\mathbb C$.
Let's ...
5
votes
1
answer
315
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 ...
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 ...
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
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 $...
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$...
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 ...
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 ...
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 ...
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 ...
5
votes
0
answers
478
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$ ...
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 ...
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?
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. ...
5
votes
0
answers
748
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 $\...
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 ...
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 ...
5
votes
0
answers
331
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 ...
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 ...
5
votes
0
answers
219
views
Comparison of sheaves of modular forms
Let $\pi:E\to X$ the universal generalized elliptic curve over the compactified modular curve, with zero section $e: X\to E$. Now consider the following two sheaves on $X$:
$e^*\Omega^1_{E/X}$ and $\...
5
votes
0
answers
1k
views
Given a morphism of schemes, when does bijective + isomorphic tangent spaces = isomorphism?
Let $f: X \to Y$ be a morphism of schemes over a field $k$ such that $f$ induces (1) a bijection between their closed points, and (2) an isomorphism of their Zariski tangent spaces.
Under these ...
5
votes
0
answers
398
views
Differential Geometry of (Non-Abelian) Gerbes in the language of Brylinski
Context
In an effort to have a definition for connection on a non-abelian gerbe, in the style of Brylinski, I am reading Breen and Messing's Differential Geometry of Gerbes [BM]. It seems that there ...
5
votes
0
answers
254
views
formal smooth morphism with a formal smooth source
Let $f:X\rightarrow Y$ a morpism between $k$-schemes ( $k$ a field).
We suppose that X is formally smooth and f is formally smooth and surjective.
Do we have that $Y$ is formally smooth?
Or if it's ...
5
votes
0
answers
428
views
Is the pushout of smooth varieties along a smooth closed subvariety again a variety?
The following question is motivated by a desire to find a rough analog in algebraic geometry of the usual notion of gluing of smooth bordisms.
Suppose k is an algebraically closed field of ...
5
votes
0
answers
86
views
Category of the smooth formal p-groups over a local ring
Fontaine showed in Asterisque 47-48 that the category of finite dimensional smooth formal $p$-groups over the ring $A=W(k)$ of the Witt vectors over a finite field $k$ is anti-equivalent to the ...
5
votes
0
answers
1k
views
Zariski tangent space of a scheme as the vector space of derivations
A standard lemma says that for a scheme $X$ of finite type over an algebraically closed field $k$ the set of derivations $\mathcal{O}_{X,x} \to \kappa(x)=k$, is isomorphic to the Zariski tangent ...
5
votes
0
answers
323
views
Vector bundles of schemes and their topological realizations
Hi, there is a realization functor $R_\mathbb{R}$ from schemes of finite type over $\mathbb{R}$ to topological spaces and there is also a functor $R_\mathbb{C}$.
Does $R_\mathbb{R}$ send an ...
5
votes
0
answers
721
views
Do all the main properties of constructible and perverse sheaves (in an 'arithmetic' situation) follow from results of Gabber?
This question is a continuation of Bad behaviour of perverse sheaves over 'general' bases?
Let $S$ (for example) be a finite type separated scheme over $\mathbb{Z}$. I would like: (1) to ...
4
votes
3
answers
4k
views
Properties stable under base change in algebraic geometry
I remember to have seen a big list in the EGA of properties $(P)$ such that:
if $f : X \to Y$ has $(P)$ then, $f_{(S')} : X_{(S')}\to Y_{(S')}$ has $(P)$, where $f_{(S')}$ is the morphism $f$ after a ...
4
votes
2
answers
1k
views
When is the determinant of the push-forward of an ample line bundle ample
Let $f:X\to S$ be a "nice" morphism of "nice" schemes. Let $L$ be an ample line bundle on $X$.
When is $\det f_\ast L$ also ample?
A "nice" morphism could be anything from "finite type separated" to ...