# 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.

569
questions

**0**

votes

**0**answers

47 views

### Natural correspondence between the set of morphisms and the set of global sections

I'm trying to prove the following claim.
Let $X$ : smooth projective scheme over $\mathbb{C}$, $L$ : line bundle over $X$ and $A$ : $\mathbb{C}$-algebra.
$X_A=X\times_{\mathbb{C}} \operatorname{Spec}A$...

**4**

votes

**1**answer

268 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 ...

**17**

votes

**1**answer

437 views

### “Real algebraic varieties” vs finite type separated reduced $\mathbb{R}$-schemes with dense $\mathbb{R}$-points

This question is partly motivated by a few comments here. Let me denote by $R$ the (real-closed) field of real numbers $\mathbb{R}$; everything is probably the same over an arbitrary real-closed field....

**2**

votes

**0**answers

123 views

### Closed map of schemes and Frobenius reciprocity

A map of locales $f : X \rightarrow Y$ is closed if it satisfies the reciprocity relation $f_*(f^*(X) \vee Y) \cong X \vee f_* (Y)$.
How can we express a that a map of schemes $f : X \rightarrow Y$ ...

**5**

votes

**0**answers

128 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 ...

**2**

votes

**1**answer

163 views

### What are the sections of an ideal sheaf on a scheme?

Suppose $X$ is a scheme and $f_1,...,f_n\in \Gamma(X,\mathcal O)$ are global sections.
One often reads about the ideal sheaf $\mathcal I=\mathcal (f_1,...,f_n)\subset \mathcal O$, but I have never ...

**3**

votes

**1**answer

147 views

### Algebraic spaces in the étale topology (proof from Stacks project)

I have a question about the proof of Lemma 78.12.1 from Stacks Project. The aim of the last paragraph of the proof is to verify that the map of sheaves in the étale topology $F \to U/R$ is an ...

**5**

votes

**0**answers

212 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 ...

**1**

vote

**0**answers

91 views

### Projection from closure of locally closed subscheme is Etale

Let $S$ an arbitrary scheme and denote by $\Delta: S \to S \times S$ the diagonal immersion and $p_i: S \times S \to S$ the both projections to first resp second factor. (in following we will wlog ...

**0**

votes

**0**answers

50 views

### Strict transform does not modify the Normalization

I have a question about a reduction step in proof of Lemma 10.1.24 from Qing Liu's Algebraic Geometry and Arithmetic Curves on page 463:
Firstly we reduce to $S$ local, but then we replace $\mathcal{...

**0**

votes

**0**answers

101 views

### Use of flattening stratification (from Nitsure's construction of Hilbert and Quot schemes)

I study Nitin Nitsures paper on the Construction of Hilbert and Quot Schemes and not understand the propetry (F) completely:
In previous chapter (Embedding Quot into Grassmanian) it was
proved that ...

**0**

votes

**1**answer

414 views

### Restriction of a Cartier divisor

Let $X$ be a surface (so $2$-dimensional proper $k$-scheme)
$D \subset X$ an effective Cartier divisor of $X$ which corresponding to an invertible sheaf $\mathcal{L}=O_X(D)$ and
$C \subset X$ a closed ...

**0**

votes

**0**answers

68 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 ...

**5**

votes

**0**answers

154 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 ...

**2**

votes

**0**answers

71 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 ...

**17**

votes

**1**answer

543 views

### Is a direct sum of flabby sheaves flabby?

Consider a family of flabby (= flasque) sheaves $(\mathcal F_i)_{i\in I}$ of abelian groups on the topological space $X$.
My question : is their direct sum sheaf $\mathcal F=\oplus _{i\in I} \mathcal ...

**2**

votes

**0**answers

119 views

### Resolution of pairs in characteristic p

Let $R$ be a complete DVR of characteristic $p$, say $R=\mathbb{F}_p[[t]]$, and $X$ be a reduced scheme of finite type over $R$. Let also $X_s$ denote the special fiber of $X$. If I understand ...

**1**

vote

**0**answers

142 views

### Affine scheme as algebraic space

We working in the following with Knutson's definition of an algebraic space
(ie via equivalence relation; there is also another equivalent def via
sheaves but let us work here with the following one):
...

**5**

votes

**0**answers

173 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 ...

**2**

votes

**1**answer

225 views

### Cohomological Brauer group vs classical

Let $X$ be a smooth scheme over $\mathbb{C}$.
A $O_X$-algebra $A$ is called Azumaya algebra on $X$
if locally it's ismorphic to matrix algebra: ie for
every $p \in X$ there exist open $U \subset X$ ...

**16**

votes

**3**answers

2k views

### Is there an example of a variety over the complex numbers with no embedding into a smooth variety?

Is there an example of a variety over the complex numbers with no embedding into a smooth variety?

**4**

votes

**1**answer

409 views

### The Serre duality theorem intuition

It is a well known fact that proper scheme $X$ over $k$ has a up to isomorphism unique dualizing sheaf (EGA I, Hartshorne).
This dualizing sheaf $\omega_X$ comes with two striking properties:
(i) ...

**1**

vote

**0**answers

128 views

### Cohomology of a family of twisted cubic curves (Hartshorne III, 12.9.2)

I'm trying to understand following Example in Hartshorne (Chapter III, Example 9.8.2
& Example 12.9.2):
Let $X_1 \subset \mathbb{P}^{3}$ be a twisted cubic curve not containing the point
$(0:...:1)...

**3**

votes

**1**answer

129 views

### Are “strongly finite dimensional” homotopy invariant sheaves with transfers (locally) constant?

Let $k$ be an algebraically closed field. Let $S$ be a homotopy invariant $\mathbb{Q}$-linear sheaf with transfers in the sense of Voevodsky–Suslin, and assume that the dimension of $S(U)$ (over $\...

**2**

votes

**1**answer

200 views

### Base change of normalization map and scheme-theoretic surjectivity

Let $C$ be an affine, integral curve and $f: \widetilde{C} \to C$ be its normalization. Let $g:D \to C$ be a finite, affine, surjective morphism (note $D$ need not be reduced, but can assume ...

**1**

vote

**0**answers

156 views

### hypersurface of degree d Hilbert polynomial

I am in trouble to solve part (2) Exercise 1.13 from "Moduli of Curves"
by Harris and Morrison on page 9:
Exercise (1.13)
2) Fix a subscheme $X \subset \mathbb{P}^r$. Show, by taking ...

**0**

votes

**1**answer

229 views

### Completed stalks of the pushforward of the structure sheaf

Let $\pi:X\to S$ be a proper morphism of Noetherian schemes. Is it possible that $\pi_*\mathcal{O}_X\neq \mathcal{O}_S$ but the natural map $\mathcal{O}_s^\wedge\to (\pi_*\mathcal{O}_X)_s^\wedge$ is ...

**5**

votes

**2**answers

229 views

### How to understand the “boundary” of subscheme, as defined in “An elementary characterisation of Krull dimension”

In An elementary characterisation of Krull dimension and A short proof for the Krull dimension of a polynomial ring, Coquand, Lombardi, and Roy give an elementary characterization of Krull dimension, ...

**2**

votes

**0**answers

116 views

### Smoothness of Hilbert scheme of rational normal curves

I'm trying to solve Exercise 1.26 from the book "Moduli of Curves"
by Harris and Morrison on page 14:
Exercise (1.26) Determine the normal bundle to the rational normal
curve $C \subset \...

**2**

votes

**0**answers

99 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 ...

**3**

votes

**2**answers

324 views

### Global regular functions and restriction to the fiber

Let $S$ be a local scheme (spectrum of a local ring) with closed point $s$ and $f:X \to S$ a morphism of schemes.
Under which conditions on $f$ and $S$ is the natural map
$$
H^0(X,\mathcal{O})\otimes ...

**2**

votes

**1**answer

149 views

### Upper semi-continuity of intersection numbers

Consider a smooth projective morphism of schemes $X \rightarrow S$ with relative dimension $n$ (the application I have in mind is with $S$ = an open subset of $\text{Spec } \mathbb{Z}$) and assume ...

**2**

votes

**1**answer

147 views

### Fixed point scheme definition

I'm sorry if this is a trivial question, but it seems I can't find a clear answer.
I have a finitely generated Poisson algebra $A$, the Poisson scheme $X=Spec(A)$ and an automorphism $g$.
What is ...

**2**

votes

**0**answers

142 views

### Sections of non-reduced schemes

Let $X$ be an affine, irreducible (complex), generically reduced, scheme containing an embedded point, say at $x \in X$. Suppose further dimension of $X$ is strictly positive (can assume to be one ...

**1**

vote

**0**answers

96 views

### Dimension of a linear system of divisors on singular curve

Consider an singular irreducible plane curve $C \subset \mathbb{P}^2_k$ of degree $d>1$ over algebraically closed field $k$ which is given as vanishing locus $C=V(f(x,y,z))$ of a $f \in k[x,y,z]$ ...

**2**

votes

**0**answers

149 views

### Subschemes of the affine line over a domain

Let $R$ be a domain with affine spectrum $S$ and consider the scheme $X=\mathbb A^1_R=\operatorname {Spec}R[T] $ over $S$.
Let $P\subset R[T]$ be an ideal with $P\cap R=0$ and let $Y\subset X$ be the ...

**11**

votes

**4**answers

1k views

### The category of finite locally-free commutative group schemes

I'm trying to understand the properties of the category $\mathcal{FL}/S$ of finite locally-free commutative group schemes over an arbitrary base-scheme $S$. I know it is not in general an abelian ...

**8**

votes

**0**answers

86 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 ...

**1**

vote

**0**answers

129 views

### Discriminant ideal in a member of Barsotti-Tate Group

Let $S = \operatorname{Spec} R$ an affine scheme (in our case latter a complete dvr) and $p$ a prime. Then Barsotti-Tate group or $p$-divisible group $G$ of height $h$ over $S$
is an inductive system
...

**3**

votes

**1**answer

148 views

### Projection formula for flat morphisms

Let $f\colon X\to Y$ be a flat morphism between two smooth projective varieties. Let $L$ be a locally free sheaf on $X$ and $\mathcal{F}$ a coherent sheaf on $Y$. How to prove $f_*(L\otimes f^*\...

**2**

votes

**0**answers

165 views

### Necessary condition to extend a morphism of schemes

Consider two schemes $X,Y$ over a locally noetherian scheme $S$. Let $p \in X$ and assume that $X$ is irreducible and not affine spectrum of a semilocal ring.
We assume moreover we have a morphism $...

**8**

votes

**0**answers

153 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 ...

**3**

votes

**1**answer

167 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, ...

**1**

vote

**1**answer

71 views

### Does a morphism of etale sheaves restricting to a closed subscheme $Z$ induce a morphism of their subsheaves of sections supported on $Z$?

Let $X$ be a locally Noetherian scheme and $i:Z\to X$ be an immersion of closed subschemes.
Let $\mathcal{F},\mathcal{G}$ be two etale abelian sheaves over $X_{et}$.
We can define the subsheaf $\...

**3**

votes

**0**answers

133 views

### Other interesting notions when we change topology on $\text{Sch}/S$

Let $\text{Sch}$ be the category of schemes. Let $S$ be an object of $\text{Sch}$. Consider the category $\text{Sch}/S$.
Some interesting topologies on $\text{Sch}/S$ are Zariski, fpqc, étale, fppf.....

**1**

vote

**0**answers

41 views

### local acyclicity when restricting to an hypersurface

Let $X$ be a smooth scheme over $\mathbb{C}$ and a constructible sheaf $K$ of complex vector spaces on $X\times\mathbb{A}^1$ and a function $g:X\rightarrow \mathbb{A}^1$.
Suppose that $K$ is locally ...

**10**

votes

**1**answer

1k views

### Why Use Hypercohomology When Defining the de Rham Cohomology of a Smooth Scheme over $k$?

Hopefully this question is of an appropriate level for this site: I'm reading some notes by Claire Voisin titled Géométrie Algébrique et Géométrie Complexe. Let $X$ be a smooth $k-$scheme. In these ...

**1**

vote

**1**answer

154 views

### Injectivity of the cohomology map associated to the pullback of line bundles

Let $f:X\to Y$ be a flat, surjective, smooth morphism between smooth algebraic varieties (over $\mathbb C$). We assume that $f$ has relative dimension $n$ and we assume also that $\dim Y\ge 2$ (just ...

**1**

vote

**0**answers

140 views

### Separable morphism of curves

A proof from Janos Kollar's Lectures on Resolution of Singularities Kollar (p 37) works as follows:
Theorem 1.58 (M. Noether, 1871). Let $k$ be an algebraically closed
field and $C \subset \...

**3**

votes

**0**answers

115 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 ...