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

542 questions
Filter by
Sorted by
Tagged with
110 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 ...
121 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 ...
85 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]$ ...
145 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 ...
82 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 ...
90 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 ...
131 views

135 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 ...
61 views

114 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 ...
101 views

### Connections on vector bundles over elliptic curves - concrete computations

This is linked to my question on math.Stackexchange for which I had no answer. I have found nowhere a historical account on connections (or rather called logarithmic connections?) that would help me ...
58 views

### Existence of integral open subscheme with some nice properties

Let $R$ be a discrete valuation ring and $Spec(R):=S= \{\sigma, \eta\}$ it's affine scheme with closed point $\sigma$ and generic $\eta$. Let $f:Y \to S$ a dominant morphism of schemes of finite type. ...
192 views

### Formal neighbourhood of a closed subscheme

Let $X$ be a variety and $Y \subset X$ a closed subvariety. Edit: Assume they are both smooth. Denote $N_{Y / X}$ the normal bundle of $Y$ in $X$. The formal neighbourhood of $Y$ in $X$ is the ...
97 views

### Morphism between jet spaces smooth

In this article "Introduction to Jet Schemes and Arc Spaces" S. Ishii introduces the spaces of $m$-jets: Let $X$ be a variety over algebraically closed field $k$. The space $X_m$ of $m$-jets ...
83 views

### On an application of the going-down theorem of Cohen-Seidenberg in Mumford

There is a following result in Mumford's red book of schemes (Chapter II Section 8). Here $R$ is a valuation ring with algebraically closed fraction field $k$. Let $Z \subset \mathbb{P}^n_k$ be an ...
122 views

### Question about the statement of the going-down theorem of Cohen-Seidenberg in Mumford

In Mumford's red book the statement of the Going-Down Theorem (Chapter II Section 8) is as follows. Let $f: X \to Y$ be a finite morphism. Assume that $Y$ is an irreducible normal scheme. Assume that ...
214 views

### Closed points of a closed subscheme of $\mathbb{P}^n$ over the residue field and the fraction field of a valuation ring $R$

Let $(R, M)$ be a valuation ring with algebraically closed fraction field $k$. Let $L = R/M$ be the residue field of $R$; it follows that $L$ is algebraically closed. I would like to understand the ...
177 views

### Arc space & formal loops in motivic integration

One of the most essential ingredients in the theory of motivic integration are the space of arcs of a given $k$-variety $X$. This is a scheme, whose $k$-rational points are the $k[[t]]$-valued points ...
143 views

### Preserved invariants by a flat family

Let $X, C$ be schemes and $f: X \to C$ be a "flat family". That is $f$ is flat morphism. For sake of simplicity we can say that $f$ is surjective and $C$ is an irreducible curve that "parametrizes" ...
180 views

### Pullback map on global sections surjective

Let $X,Y$ be two irreducible, projective $k$-schemes. $k$ is assumed to be algeraically closed. Consider a dominant morphism $f: X \to Y$ between them which is not an isomorphism! Let $\mathcal{L}$ ...
279 views

### Field extensions in Grothendieck rings

Let $k$ be a field, and consider the Grothendieck ring of $k$-varieties, $K_0(V_k)$. Let $K/k$ and $K'/k$ be field extensions of $k$. We view $\mathrm{Spec}(K)$ and $\mathrm{Spec}(K')$ as $k$-schemes ...
109 views

### Galois action on $\overline{k}$-valued points extends to action on $k$-scheme $X$

Let $X$ be $k$ variety or more genrally a $k$-scheme. Denote the algebraic closure of $k$ by $\overline{k}$. it's a fact that $X(\overline{k}):=Hom(\operatorname{Spec} \ \overline{k}, X)$ as set is ...
170 views

366 views

### schemes having same reduced underlying space and same cotangent sheaf are isomorphic?

Let $X,Y$ be two closed subschemes of $\mathbb{A}^n_{\mathbb{C}}$ for some fixed $n$. Assume that I have an isomorphism of the underlying reduced spaces: f : X_\text{red} \stackrel{\sim}\...
374 views

### Schemes over (locally) ringed spaces: working over complex-analytic spaces, rigid-analytic spaces, formal schemes, etc

Monique Hakim developed in her doctoral thesis  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 ...
748 views

### Motivation for relative schemes: why should one work with schemes over a ringed topos?

Recently I've been trying to learn more about relative schemes. These were developed in M. Hakim's thesis Topos annelés et schémas relatifs under Grothendieck's guidance and appear in many of later ...
160 views

### property of rational functions on projective curves

I have a couple of question about the proof of Lemma 1.20.5 from Janos Kolloar's Lecture on Resolution of Singularities (page 19): Lemma 1.20.5 Let $C$ be a reduced, irreducible projective curve (=...
112 views

### Galois action on morphism between $\overline{k}$ schemes

I have a question on a certain property of morphisms between schemes endowed with Galois action. The motivation arises from a comment by Phil Tosteson on this question. Phil wrote: "If the map ...
120 views

235 views

### Artin's “On Isolated Rational Singularities of Surfaces”

My question refers to M. Artin's paper "On Isolated Rational Singularities of Surfaces"; more precisely the proof of Thm 4 on page 133. Here the relevant excerpt: The Setting: Let $\bar{V}=Spec(A)$ ...
184 views

### An application of Grothendieck's version of Hensel's Lemma

Assume $R$ is a Henselian local ring with $k=R/m_R$ ($m_R$ is the unique maximal ideal of $R$) and $G$ a finite flat group scheme over $R$. We denote by $G_k= G \otimes_R k$ the closed fiber. There ...
301 views

93 views

### Symmetric schemes/symmetric spaces in the category $\mathsf{Sch}_k$

From nlab, a symmetric space is a quandle object in the category of smooth manifolds. My questions are then the following: Is there a meaningful way to define symmetric spaces in the category of ...
186 views

### Representable diagonal map $\Delta: \mathcal{X} \to \mathcal{X} \times \mathcal{X}$ for DM-Stacks/algebraic spaces

Following the standard definitions of a algebraic space or Deligne–Mumford stack one imposed condition is that the diagonal morphism $\Delta: \mathcal{X} \to \mathcal{X} \times \mathcal{X}$ has to be ...
143 views

226 views

### vector bundles over projective line over an affine line

Let $k$ be a field and $E$ be a vector bundle over $\mathbb{P}_{k}^{1}\times\mathbb{A}_{k}^{1}$, does it extend to $\mathbb{P}_{k}^{1}\times\mathbb{P}_{k}^{1}$?
Assume $R$ is a discrete valuation ring with uniformizing parameter $t$, i.e. $\mathfrak{m}_R=(t)$. We denote $\widehat{R}$ the completion of $R$ with respect to $(t)$. Let $Y$ be a flat locally ...
I have a question about argumentation used in the proof of Proposition 1.7 in Fulton's book on Intersection Theory on page 18: Proposition 1.7 Let $\require{AMScd}$ \begin{CD} X' @>{g'}>> ...