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.
780 questions
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,472
4
votes
0
answers
175
views
On representable abelian sheaves vs abelian sheaves
Let $S$ be a scheme, $(\text{Sch}/S)_{\rm Ét}$ a big étale site, and $A$ a representable
(either in schemes or algebraic spaces over $S$) abelian sheaf on $(\text{Sch}/S)_{\rm Ét}$.
Suppose there is a ...
user92332
2
votes
0
answers
212
views
Closed points and the absolute Galois group
Suppose $\chi$ is a scheme of finite type over the field $k$; define $\overline{\chi} := \chi \otimes_{\mathrm{Spec}(k)} \mathrm{Spec}(\overline{k})$, with $\overline{k}$ an algebraic closure of $k$. ...
- 4,547
11
votes
2
answers
2k
views
Idea behind Grothendieck's proof that formally smooth implies flat?
From this answer I learned that Grothendieck proved the following result.
Theorem. Every formally smooth morphism between locally noetherian schemes is flat.
The book Smoothness, Regularity, and ...
- 10.5k
1
vote
1
answer
374
views
Automorphism group of fiber products of schemes
Let $A \mapsto S$ and $B \mapsto S$ be two schemes over the scheme $S$. Is there a connection between the automorphism group of the scheme $A \otimes_{S} B$ and the automorphism groups of $A$ and $B$ ?...
- 4,547
4
votes
1
answer
550
views
Dualizing sheaf and determinant of cohomology
Let $\pi:X\to S=\operatorname{Spec } O_K$ be an arithmetic surface in the sense of Arakelov geometry. Here $K$ is a number field $\pi$ is a flat map and $X$ is a projective surface. For any coherent ...
- 141
1
vote
2
answers
505
views
Base change of a finite morphism
Let $X$, $Y$, $Z$ be integral schemes of finite type over a field $K$ (i.e., locally affine opens are finitely-generated algebras over $K$). Suppose we have the following condition$\colon$
$f \colon ...
- 563
1
vote
0
answers
168
views
direct image and commutative diagram
Suppose we have following commutative diagram (not a square i.e not a base change) of schemes:
$X\xrightarrow{p_1} Y$, $Y\xrightarrow{\pi_2} Z$, $X\xrightarrow{\pi_1} W$, $W\xrightarrow{p_2} Z$.
...
user111251
3
votes
0
answers
213
views
Inverse of reduction mod $p$ functor?
I have a very general, and possibly not very precisely stated question, which comes up quite often in my work, and I would be very happy to be able to address. To my dismay, I only have some very ...
- 993
5
votes
0
answers
904
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
1
vote
2
answers
635
views
Is finite union of locally closed subscheme, a scheme
Let $X$ be a projective, noetherian $k$-scheme for an algebraically closed field $k$ of characteristic zero. Let $Y_1,...,Y_r$ be locally closed subschemes (open subschemes of closed subschemes) of $X$...
- 1,981
4
votes
1
answer
802
views
Pushouts of schemes along closed immersions
Is there a closed immersion $i:Z\to X$ and a finite morphism $f:Z\to Y$ of schemes such that the pushout of the span $Y\stackrel{f}{\leftarrow} Z\stackrel{i}{\rightarrow} X$ does not exist in the ...
- 349
3
votes
0
answers
294
views
Formal smoothness implies local freeness of the sheaf of relative differentials
What is the least restrictive finiteness assumptions guaranteeing that for a formally smooth morphism of schemes $f:X\rightarrow Y$, the sheaf of relative differentials $\Omega _{X/Y}$ would be ...
- 953
2
votes
1
answer
375
views
Does the fundamental group of the normalization of a scheme inject into the fundamental group of the scheme
Let $X$ be an integral noetherian finite type scheme over an algebraically closed field $k$. Let $X'\to X$ be its normalization. Is the induced homomorphism of etale fundamental groups $\pi_1(X')\to\...
- 29
3
votes
1
answer
514
views
characterisation of regular morphisms
Recall that a morphism of schemes $X\rightarrow Y$ is regular if it's flat with geometric fibres that are regular schemes.
Fix a field $k$ and consider a morphism $f:X\rightarrow Y$ of noetherian $k$-...
- 3,472
3
votes
0
answers
526
views
An Explicit Example of Galois Theory for Schemes
I'm currently attempting to understand Galois theory for schemes, largely following the books Galois Theory for Schemes by Henrik Lenstra and Galois Groups and Fundamental Groups by Tamas Szamuely. ...
user106566
2
votes
1
answer
586
views
Fiber Dimension Theorem for infinite-dimensional schemes
For varieties $X,Y$ over an algebraically closed field, and a surjective morphism $f:X\rightarrow Y$, $\dim f^{-1}(y)\geq\dim X-\dim Y$ for all closed $y\in Y$, and $\dim f^{-1}(y)=\dim X-\dim Y$ for ...
- 2,130
3
votes
1
answer
456
views
Differential map of a dominant morphism in char zero
Let $k$ be a field of characteristic zero and $X,Y$ be integral schemes of finite type. Assume we have a dominant morphism $\pi\colon X\to Y$.
Then we know that $\pi$ is generically smooth (i.e. on ...
- 761
2
votes
1
answer
284
views
Constructible sets II (Grothendieck rings)
Here is my second question on constructible sets, now on Grothendieck rings. Let $K_0(Sch_k)$ be the Grothendieck ring of schemes over $k$. I have read that if $S$ is a constructible set in a ...
- 4,547
2
votes
0
answers
217
views
Constructible sets, I (Morphisms)
I have a number of questions on constructible sets. The first one is on morphisms: suppose $X$ and $Y$ are constructible sets, respectively in projective spaces $\mathbf{P}_1$ and $\mathbf{P}_2$ over ...
- 4,547
17
votes
1
answer
3k
views
A book on elliptic curves using scheme theory?
I'm interested in learning some stuff about elliptic curves. I've been learning scheme theory, and I'm interested in seeing these tools "in action". It seems that the standard introduction to elliptic ...
- 466
4
votes
0
answers
536
views
When is a coherent subsheaf determined by its global sections
I am reading an article in which a proof is based on defining a subsheaf by only giving its global sections.
The exact setting is that, one has a surjective finite morphism $f:Y\to X$ between ...
- 333
9
votes
1
answer
332
views
When are free modules on sheaves of sets quasicoherent?
This question was previously asked over at math.SE.
Let $X$ be a scheme. Let $\mathcal{E}$ be a sheaf of sets on $X$. Then we can define $\mathcal{O}_X\langle\mathcal{E}\rangle$, the free module over ...
- 3,312
2
votes
0
answers
47
views
Special unitary group of an affine algebra is integral
Let $R$ be an affine $\mathbb C-$algebra with a linear involution $x\rightarrow \bar x=\iota(x)$, let $S=R/\iota$ and $\psi:R^n\times R^n\rightarrow R$ be an $R/S-$hermitian form. Finaly let $$SU_n(R)=...
- 51
-1
votes
1
answer
479
views
How do I find the algebra representing the projective bundle of a direct sum of line bundles over a projective space?
I am trying to learn how to compute the projective bundle $\mathbb{P}(\mathcal{O}(a_1)\oplus \cdots \mathcal{O}(a_k))$ over some projective space using relative proj. How can I find a presentation for ...
- 1,716
0
votes
1
answer
443
views
Example of projective variety that do not contain algebraic curves of genus strictly greater to $1$
Does exist a smooth, complex, projective variety $X$ of dimension $d\geq2$ such that $X$ does not contain smooth, complex, projective curves of wichever genus $g\geq2$?
Answer by Bertie: No, it does ...
- 828
11
votes
1
answer
855
views
Sheaf associated to presheaf Aut
Let $S$ be a scheme and let $C$ be the category of schemes flat and locally of finite presentation over $S$. Endow $C$ with the fppf topology (or perhaps any subcanonical topology). Let $\mathcal P$ ...
2
votes
0
answers
1k
views
Generic smoothness in positive characteristic
Suppose $\pi: X\rightarrow Y$ is a dominant morphism of integral $k$-schemes, where $k$ is characteristic $p>0$, and $X$ is smooth. What assumptions do we need for there to exist a dense open $U\...
- 323
3
votes
1
answer
267
views
Arithmetic projective duality
Projective duality is a duality that associates to a (smooth) subvariety X of $\mathbb{P}^n$ the dual variety $X^*\subset\mathbb{P}^{n*}$ of tangent hyperplanes.
What makes the duality interesting ...
- 845
1
vote
0
answers
81
views
Geometry of componentially locally strongly separable algebras
Janelidze's categorical Galois theory yields, for nice adjunctions, a good notion of covering morphism.
The category of finitely affine schemes admits such an adjunction into the category of ...
- 10.5k
2
votes
0
answers
1k
views
Chern Classes: two approaches
The following question is closely related to this one.
Let $X$ a non singular projective variety over $\mathbb C$, and let $\mathscr E$ a locally free sheaf of rank $r$ (an algebraic vector bundle), ...
- 1,237
2
votes
1
answer
718
views
Universal property of the Grassmanian [closed]
Does anybody have a good reference on the Grassmanian and its universal property?
I am reading this paper on Quot schemes: https://arxiv.org/abs/math/0504590
Where the Grassmanian is constructed, ...
- 203
18
votes
3
answers
2k
views
Can $\mathcal O_X$ be recognized abstract-nonsensically?
This question has been asked by Teimuraz Pirashvili many years ago. I forgot about it after a while and remembered only now by accident. He probably knows the answer by now, but I still don't.
In the ...
- 18.4k
9
votes
2
answers
1k
views
Can the algebraic geometry of schemes be developed internally in topoi?
Using the internal logic of a topos it's often possible to derive newer theorems about sheaves from earlier ones about simpler objects, assuming that you can prove the earlier ones constructively. In ...
- 3,816
5
votes
0
answers
3k
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
10
votes
3
answers
747
views
Isomorphic schemes over DVR
Let $S, S'$ be flat schemes over a DVR. Their generic fibers are isomorphic and their special fibers are isomorphic as well.
Does that imply $S$ and $S'$ isomorphic? If not, what can go wrong?
Thanks ...
- 101
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
3
votes
1
answer
600
views
Why is it useful for the (relative) Picard functor to be representable?
I have been studying Chapter 8 of Neron models by Bosch et al. The first part deals with the relative Picard functor. A lot of work is done to make it representable. My question would be why this work ...
- 393
1
vote
0
answers
208
views
(Ordered) Configuration space in algebraic geometry
Let $X$ be a topological space and denote by $F_n(X)$ the following subspace:
$$F_n(X):=\{(x_1,\cdots ,x_n)\in X^n: x_i\neq x_j \forall i\neq j\}.$$
Note that, we are not considering the quotient of $...
- 173
1
vote
0
answers
177
views
Is there an analytic criterion for quasi-compactness of a scheme?
Let $X$ be a locally finite type scheme over $\mathbb C$.
I'm looking for the analogue of the notion "finite type" for $X^{an}$ and an SGA 1 Exp. XII type of criterion which says that
The scheme $X$...
- 11
2
votes
2
answers
934
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
7
votes
0
answers
466
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,130
2
votes
1
answer
964
views
on universal homeomorphisms between schemes
We are taught since when we are young that schemes are cool because they take into account "nilpotents". This means also that we can distinguish between schemes which have the same underlying ...
- 155
5
votes
0
answers
336
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,130
3
votes
0
answers
301
views
Why define curves over perfect fields?
One may define a curve (e.g. separated scheme of finite type of dim. 1) over an algebraically closed field, as done in Hartshorne's book. A weaker assumption, which is used commonly, is to define a ...
- 171
1
vote
0
answers
133
views
functions coming from a perverse sheaf
Let's take a scheme $X$ over a finite field $k$ and $f:X(k)\rightarrow\mathbb{Q}_{\ell}$
What kind of condition do I need on $f$ if I want that it comes from an irreducible perverse sheaf on $X$?
- 3,472
7
votes
0
answers
470
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
9
votes
1
answer
847
views
Algebro-geometric version of {vector fields} $\longleftrightarrow$ {flows} correspondence?
Main Question: What Is the correpondence between flows and vector
fields in algebraic geometry?
Here is a more precise statement could be an answer If it was true (I have no idea it is):
"...
- 7,789
7
votes
1
answer
298
views
Archimedean fibers "intersecting" curves on arithmetic surfaces
Let's fix a number field $K$ with its ring of integers $O_K$. Moreover consider an arithmetic surface $f:S\to \text{Spec } O_K$. For every archimedean place $\sigma$ in $K$, $K_\sigma$ is the ...
- 297
4
votes
0
answers
206
views
A suspected typo, and Deligne's image of the general fiber swallowing the special
In SGA 4.5 (Arcata V.1) Deligne writes:
Let $X$ be a complex analytic variety and $f:X\rightarrow D$ map $X$ into the
disk. Write $[0,t]$ for closed line segment with extremities 0 and $t$ in
...
- 11.1k