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.
737
questions
2
votes
1
answer
151
views
Find stratification to decompose constructible sheaf to constant parts (example from Wikipedia)
I have a question about techniques used in determining the stratification over which a constructible sheaf falls into even constant pieces demonstrated on this example from Wikipedia.
Let $f:X = \text{...
1
vote
0
answers
42
views
Symmetric 0-dimensional schemes with generic Hilbert function and Grassmannians
I've came across this problem while thinking about some properties of fat schemes.
Let me give you an explicit (motivating) example:
We have $S=\mathbb{C}[x,y,z]$, the coordinate ring of $\mathbb{P}^2$...
2
votes
1
answer
94
views
Normality and integrality of schemes and splitting of map from structure sheaf to (derived)pushforward of structure sheaf along proper birational map
Let $R, S$ be commutative Noetherian rings such that $R$ is a subring of $S$. If $S$ is a normal domain, and there exists an $R$-linear map $\phi: S\to R$ whose restriction on $R$ is the identity map, ...
2
votes
0
answers
109
views
What are the categories of IND and PRO schemes?
below is a mathexchange question with no answers so I drop it here.
I have some difficulties to figure out what the category of IND-schemes and PRO-schemes are, in particualer the relations with ...
2
votes
1
answer
161
views
Finite étale cover of factorial ring
Let $A$ be a regular factorial ring.
Consider $B=A[X]/(P)$ such that $B$ is finite étale over $A$. When do we have that $B$ is also factorial?
2
votes
0
answers
89
views
Singularities of curves over DVRs with non-reduced special fibre
Let $R$ be a complete DVR of mixed characteristic with fraction field $K$ of characteristic $0$ and residue field $k$ of characteristic $p>0$. Suppose that $\mathcal{X}$ is a normal $R$-curve such ...
4
votes
1
answer
147
views
Some questions on derived pull-back and push-forward functors of proper birational morphism of Noetherian quasi-separated schemes
Let $f: X \to Y$ be a proper birational morphism of Noetherian quasi-separated schemes. We have the derived pull-back $Lf^*: D(QCoh(Y))\to D(QCoh(X))$ (https://stacks.math.columbia.edu/tag/06YI) and ...
1
vote
0
answers
181
views
Interpretation of model theory in algebraic geometry
I found a paper Some applications of a model theoretic fact to (semi-) algebraic geometry by Lou van den Dries. In this paper, the author uses model theoretical methods to prove the completeness of ...
2
votes
0
answers
87
views
formal smoothness for henselian thickening
Assume that $A,I$ is an henselian pair over $R$ and $X$ is a smooth $R$ scheme. can we say that $X(A)\to X(A/I)$ is surjective? I know that this is true if $X$ is affine(or even quasi-projective) or ...
3
votes
1
answer
260
views
Exact functor in syntomic cohomology
By Tag 04C4 of the Stacks Project, for $f:X\rightarrow Y$ a closed immersion of schemes, the pushforward $f_*$ is exact for abelian sheaves on the big syntomic site.
Is it also true for a finite flat ...
3
votes
0
answers
140
views
Locus where a family of cycles is rationally trivial is countable union of closed subvarieties?
Following up on this question which received a negative answer, I wonder if something weaker is true.
We work in the same set-up as the previous question. Let $B$ be a smooth quasi-projective variety ...
0
votes
0
answers
104
views
Affine scheme over ring of meromorphic functions with finite poles on unit circle
I am looking into the set $S$ of meromorphic functions with a finite number of poles on the unit circle (i.e., rational functions with poles on the unit circle). I assume that any $h\in S$ has the ...
1
vote
0
answers
135
views
Étaleness of Isom scheme $\operatorname{Isom}_S(X,Y)$
Let $S$ be a quasi-projective scheme over base field $k$ and $X, Y$ two finite étale schemes over $S$ and assume we are in situation we know that the isom space $\operatorname{Isom}_S(X,Y)$ exists as ...
0
votes
0
answers
246
views
Smooth morphisms under base change, Qing Liu's proposition 4.3.38
I have a concern about the first assertion in the proof of proposition 4.3.38 of Qing liu's "Algebraic Geometry and Arithmetic Curves". Referring to smooth morphisms, he says "The ...
3
votes
2
answers
337
views
Find a non-quasi-compact scheme s.t. all finitely generated + globally generated quasi-coherent modules are finitely globally generated
Closely related to this question in MSE, but the difference is that we will set $X$ to be scheme and $\mathcal{F}$ to be quasi-coherent.
Let $X$ be a locally ringed space. We say an $\mathcal{O}_X$-...
2
votes
0
answers
183
views
Proposition 4.3.8 Qing Liu about flat morphisms of schemes
I have a problem with a detail of Qing Liu's proof of Proposition 4.3.8 (pag. 137 of "Algebraic Geometry and Arithmetic Curves").
The statement is:
Let $Y$ be a scheme having only a finite ...
4
votes
0
answers
328
views
Non-Noetherian (classical) algebraic geometry
My starting point for this question is that, in a very classical sense, algebraic geometry is the study of solution spaces of systems of polynomial equations over an algebraically closed field. It is ...
1
vote
0
answers
132
views
Locus where a family of cycles is rationally trivial is closed?
Let $B$ be a smooth quasi-projective variety over a field of characteristic zero.
Let $\pi\colon \mathcal{X} \rightarrow B$ be a smooth and projective morphism with geometrically integral fibres. Let $...
4
votes
1
answer
226
views
Frobenius and regular scheme
Let $X$ be a noetherian regular scheme over $\mathbb{F}_{p}$. Then by Kunz's theorem, the absolute Frobenius $F: X\rightarrow X$ is flat and integral. Can it be written as a projective limit of finite ...
1
vote
0
answers
84
views
Adjunction correspondence for Blow up of double point
Let $C$ a curve over an algebr closed field $k$ with a singular double point singularity at $x$ and $\pi: C' \to C$ the blowup in $x$ and let $x_1,x_2 \in C'$ be the two points over $x$.
Why holds for ...
0
votes
0
answers
173
views
Smoothness of Picard scheme when $H^2(\mathcal{O}_{X_s})$ on fibers vanish
A question about the proof of Proposition 5.19 in Kleiman's notes on Picard scheme. Let $X$ be a $S$-scheme. Then the claim is that:
Assume that Picard scheme $\operatorname{Pic}_{X/S}$ exists and ...
1
vote
1
answer
209
views
Deligne-Lustzig varieties locally closed schemes
I have a couple of questions about basic properties of of Deligne-Lustzig varieties introduced in the seminal paper "Representations of Reductive Groups Over Finite Fields" [DL76].
The ...
1
vote
0
answers
43
views
Do parabolic/Levi pairs admit dynamic descriptions over disconnected base?
In Gille, Thm. 7.3.1, it is proven that given a reductive group scheme $G \to S$ over a connected base $S$, every parabolic-Levi pair $(P, L)$ over $S$ admits a dynamic description, i.e. is of the ...
4
votes
0
answers
263
views
Dévissage for a stratification in Grothendieck's Esquisse d’un programme: What is it?
I have a question about the the intuition of what Grothendieck proposed as tame topology in his "Esquisse d’un programme" as a "better suited" geometric structure in order to have ...
3
votes
0
answers
217
views
Grothendieck's vs Gruson and Raynaud's dévissages
In which sense is Gruson and Raynaud's relative dévissage an "extension/ generalization" of Grothendieck's "classical" dévissage concept except that the first one works in "...
3
votes
0
answers
250
views
Does the orbit in geometric invariant theory have natural scheme structure
Let $X$ be a scheme locally of finite type over a sufficiently "nice" base scheme $S$ (nice in sense of reasonable "finiteness conditions", for sake of simplicity let's start as ...
0
votes
1
answer
253
views
Self-intersection of zero section of line bundle over elliptic base curve
Let $C$ be an elliptic curve over $k=\mathbb{C}$ and $\mathcal{L}$ a line bundle of degree $d$. It induces naturally a $\mathbb{A}^1$-fibration $L \to C$ where $L=\underline{\operatorname{Spec}} (\...
0
votes
0
answers
135
views
Stalk at isolated point of proper map with $f_*\mathcal{O}_X=\mathcal{O}_Y$
Let $f:X \to Y$ a proper surjective map between schemes $X,Y$ with additional assumption $f_*\mathcal{O}_X=\mathcal{O}_Y$. Let $y \in Y$ with a 'isolated point fiber', i.e., $f^{-1}(y)=\{x\}$ as set. ...
8
votes
1
answer
594
views
Connеcted components of irreducible algebraic varieties
I am wondering what is the possible (or maximum) number of connected components for an irreducible algebraic variety in $\mathbb R^n$ defined by a degree $d$ polynomial (i.e. hypersurface) in $\mathbb ...
0
votes
0
answers
54
views
Compatibility of fiber formation with respect closed immersions
Let $f: X \rightarrow Y$ be a proper surjective morphism between two locally Noetherian integral schemes, $Z:= V(\mathcal{I}) \subset X$ and closed subscheme of $X$ associated with quasi-coherent ...
1
vote
1
answer
253
views
Schemes with open generic point
Let $X$ be any irreducible scheme with the property that the generic point $\eta$ of $X$ is an set open wrt underlying Zariski topology.
What can we say about the structure of such schemes? ...
1
vote
2
answers
202
views
Dimension of Zariski closure of a locally closed subscheme
Let $S$ be a Dedekind scheme with function field $K=K(S)$ and $C$ a projective regular curve over $K$, so we can fix certain closed embedding $e:C \subset \mathbb{P}^n_K$.
Let compose this embedding ...
1
vote
0
answers
173
views
An algebraic stack is an algebraic space if and only if it has the trivial stabilizer group
Let $G\to S$ be a smooth affine group scheme over a scheme. Let $U$ be a scheme over $S$ with an action of $G$. Let $[U/G]$ be the quotient stack.
In Alper's note: Stacks and Moduli, there is a result ...
1
vote
1
answer
174
views
Dimension of Zariski closure of a closed point of generic fiber
Let $S= \operatorname{Spec} A$ be a local Dedekind scheme of dimension $1$, (eg spectrum of localization at a prime of the ring of integers of a number field). Let $s \in S$ it's unique closed point ...
2
votes
0
answers
147
views
Topos of sheaves on a scheme considered as a functor
The spectrum of a ring $R$ can be defined as $\operatorname{Spec} R := \operatorname{Hom}(R, -)\colon \mathrm{fpRing} \to \mathrm{Set}$ ($\mathrm{fpRing}$ are commutative finitely presentable rings). ...
2
votes
1
answer
293
views
resolution property and perfect stacks
Recall that for a scheme $X$, it has the resolution property if every coherent sheaf $E$ on $X$, is the quotient of a finite locally free $\mathcal{O}_X$-module.
On the other hand, Ben-Zvi-Nadler-...
1
vote
0
answers
67
views
Idempotent completeness
We say a category $\mathcal{N}$ is exact if it is additive and is endowed with an exact structure. In brief, it is an additive category with a predetermined class of short exact sequences in its ...
3
votes
0
answers
94
views
When can we lift transitivity of an action from geometric points to a flat cover?
Let $G$ a nice group scheme (say, over $S$), $X$ a smooth $G$-scheme over $S$, that is, $\pi : X \to S$ a smooth, $G$-invariant morphism. Assume that the action is transitive on algebraically closed ...
6
votes
1
answer
398
views
Existence of a reduced fiber implies generically reduced (Exercise III-74 from Geometry of Schemes)
This question deals with a concrete exercise from Geomerty of Schemes by Eisenbud and Harris but also moreover the general philosophy attacking typical problems in algebraic geometry of following ...
1
vote
0
answers
185
views
Definition of “morphism of schemes that induces a bijection between irreducible components ”
$\def\sO{\mathcal{O}}\def\sF{\mathcal{F}}$On the Stacks Project there are several instances where the seemingly undefined notion of a “morphism of schemes that induces a bijection between irreducible ...
2
votes
0
answers
176
views
Morphisms $f$ such that $f_* \mathcal O_X$ is a finitely generated $\mathcal O_Y$-algebra
Is there a natural hypothesis that one can put on a finite type morphism $f:X \to Y$ (say $Y$ is locally Noetherian) so that the direct image $f_*\mathcal{O}_X$ is a sheaf of finitely generated $\...
0
votes
0
answers
65
views
Is every classical prevariety the set of $k$-rational points of an schematic prevariety? (when $k$ is not algebraically closed)
$\def\cpvar{\mathsf{CPVar}}
\def\spvar{\mathsf{SPVar}}
\def\Spec{\operatorname{Spec}}
\def\class{\mathrm{class}}
\def\sO{\mathcal{O}}
\def\Hom{\operatorname{Hom}}$This question is a follow-up to this ...
1
vote
0
answers
103
views
Action by finite abstract group on affine scheme
Let $X:=\operatorname{Spec}(R)$ an affine Noetherian scheme and $G$ a finite group acting on $X$. Then it is known that the quotient $Y=X/G$ exists as affine scheme $\operatorname{Spec}(R^G)$, let set ...
2
votes
0
answers
132
views
Ramification locus of an integral closure with respect finite field extension
Let $A$ be a Noetherian normal (therefore expecially integral) local ring with unique maximal ideal $\frak{m}$. Let $K$ be it's fraction field, $L$ a finite separable finite field extension of $K$, ...
9
votes
1
answer
488
views
Isbell Duality and Dualizing Scheme Objects
I'm not sure if this question is too elementary for MO; nevertheless, I have seen many helpful discussions surrounding this topic here. I'm interested in studying the adjunction $\operatorname{Spec}\...
1
vote
0
answers
106
views
Pushforward of locally free sheaf by open immersion
Say $X$ is a smooth variety (even just $\mathbb{A}^n$) and $j\colon U\hookrightarrow X$ is an open immersion with $X - U$ of codimension 2 such that $E$ is a locally free sheaf on $U$. Since $X$ is ...
4
votes
0
answers
181
views
Is there a simple counterexample to étale proper base change on the unbounded derived category?
The best non-derived version of proper base change on the étale site of a scheme I know is that for $f : X \to Y$ proper and $g : Y' \to Y$ arbitrary, the base change morphism $g^{-1} R f_\star \...
2
votes
1
answer
75
views
Base change for fundamental group prime to p in mixed characteristic?
I found the answer to this question while typing it up, but since I've already written it, it is probably worthwhile to post-and-answer in case someone finds it useful.
Let $S=\operatorname{Spec}\...
2
votes
2
answers
338
views
Proper birational morphism from a Gorenstein normal scheme to a normal local domain, with trivial higher direct images, implies Cohen-Macaulay?
Let $k$ be a field of characteristic $0$. Let $R$ be a Noetherian local normal domain containing $k$. Also assume that $R$ is the homomorphic image of a Gorenstein ring of finite dimension, hence $R$ ...
2
votes
1
answer
397
views
Classical $k$-prevarieties vs reduced $k$-schemes of finite type. What happens when $k$ is not algebraically closed?
$\def\cpvar{\mathsf{CPVar}}
\def\spvar{\mathsf{SPVar}}
\def\Spec{\operatorname{Spec}}
\def\class{\mathrm{class}}
\def\sO{\mathcal{O}}
\def\Hom{\operatorname{Hom}}$Let $k$ be a field. By classical $k$-...