# Tagged Questions

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 1950's and ...

1answer
166 views

### Which valuations of a field yield codimension $1$ subschemes of their 'models'

For a field $F$ (for example, a one generated by a finite number of its elements) there is a directed set of its 'models' (in this case those are 'arithmetic' schemes whose fraction field is $F$). It ...
0answers
142 views

### Are there any useful Grothendieck topologies for which the H1 of $GL_n$ is not the set of rank $n$ vector bundles

Let n be a positive integer and X a scheme. Then for all the Grothendieck topologies I know (Zariski, etale, fppf) the set $H^1(X,GL_n)$ is the set of (isomorphism classes of) rank $n$ vector bundles. ...
2answers
206 views

### Minimal fields of isomorphism for varieties

Let $V$ be an algebraic variety over a field $K$. Is there a constant $d = d(V) \in \mathbb{N}$ such that for any variety $W$ defined over $K$ and isomorphic to $V$ over the algebraic closure of $K$, ...
1answer
216 views

### Schemes over $K_s$ and over $\bar{K}$

Let $K$ be a field. Let $X$ be a scheme over $K$. We denote by $K_s$ and by $\bar{K}$ the separable closure and the algebraic closure of $K$ respectively. By base change we have the schemes $X_{K_s}$ ...
1answer
173 views

0answers
141 views

### Quasi-finite morphisms of stacks

Let $f:X\to Y$ be a morphism of nice" stacks over $\mathbf C$ such that the induced morphism on coarse moduli spaces is quasi-finite. Is $f$ quasi-finite? By a "nice" stack I mean a smooth finite ...
1answer
800 views

### A naive algebraic geometry question

Suppose $X$ is a scheme over a ring $A$, $B$ is an $A$-algebra, and $X\times_AB$ is affine. I am looking for conditions on $A$ and $B$ (and perhaps the structure morphism of $X$ over $A$) that will ...
2answers
416 views

### Is the category of schemes wellpowered? regularly wellpowered?

Wellpowered means that for every scheme $X$, the subobject lattice of monormophisms $Y \to X$ is essentially small; regularly wellpowered means that for every scheme $X$, the regular subobject lattice ...
0answers
441 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 ...
0answers
180 views

### Does the following first order approximation of the Kapranov-Vasserot infinitesimal loops still do any job?

Let $X$ be a scheme over, say, a field $k$. Let us denote $\mathrm{Spec}(k[\varepsilon])$ by $T$ and its (unique) $k$-point by $0\in T$. Call the first order infinitesimal cone $C_{T,0}(X)$ over $X$ ...
1answer
590 views

### Classical algebraic varieties VS $k$-schemes VS schemes

We know that there is an equivalence of categories between the two following categories: $1)$ Classical varieties over $k$, where $k$ is an algebraically closed field. (Informally I mean locally ...
0answers
83 views

1answer
669 views

### Orbits of group scheme action

I am interested in orbits of the action of a group scheme on a scheme and I'm particularly interested in the following special case: Let $k$ be an algebraically closed field, let $G$ be an affine ...
1answer
109 views

### Cohen-Macaulayness of the scheme of centralizer

Let $G$ be a simply connected group over an algebraically closed field $k$, and $I:=\{(g,\gamma)\in G\times G\vert~ g\gamma=\gamma g\}$ the scheme of centralizer. Is $I$ a Cohen-Macaulay scheme ...
1answer
327 views

### Examples of Quot schemes

I'm studying Quot schemes, that I denote with $Quot_{N,X,P}$, with $N \in \mathbb{Z}$, $X \subset \mathbb{P}^d$ and $P \in \mathbb{Q}[t]$. So, I'm looking for explicit examples of Quot schemes. Could ...
2answers
333 views

0answers
278 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 ...
0answers
262 views

### Does a section of a morphism of schemes give a subscheme?

Let $f:X\rightarrow Y$ be a morphism of schemes (or algebraic spaces), and $s:Y\rightarrow X$ is a section to $f$, i.e. $fs=1_{Y}$. Question: Is $s$ an (closed) immersion?
1answer
199 views

### Are Isom-schemes geometrically connected

This question is about properties of Isom-schemes that are well-known over algebraically closed fields. Let $K$ be a field of characteristic zero, let $C$ be a smooth projective geometrically ...
0answers
68 views

### on Neron defect of smoothness for groups schemes

Let $G$ a semisimple simply connected group over $\mathbb{C}$. Let $\gamma\in G(\mathbb{C}[[t]])$ such that $\gamma$ is regular semisimple on $G(\mathbb{C}((t)))$. We consider $I_{\gamma}$ the group ...
0answers
54 views

0answers
66 views

### change of topologies and functoriality

Let X be a scheme and $\epsilon_X:X_{FL}\to X_{et}$ be the morphism of topoi from the big flat topos to the small etale topos. Let $f:X\to Y$ be a morphism of schemes. I denote $f_{top}$ the induced ...
0answers
77 views

### semicontinuity of the conductor defined by Temkin

We say a principal pair $(X,\mathcal{I})$ where $X=Spec(A)$ is affine scheme and $\mathcal{I}=\tilde{I}$ where $I\subset A$ is a principal ideal generated by $\pi$ wich is a non zero divisor. For a ...
1answer
477 views

### Can I conclude that a morphism of vector bundles is zero if it is so fiberwise?

Let $f: X \rightarrow Y$ be a flat morphism of locally noetherian schemes and $\varphi: \mathcal U \rightarrow \mathcal V$ a map of vector bundles (locally free sheaves of finite rank) on $X$. I want ...
0answers
159 views

### Reducibility of fibers over closed points implies reducibility of the generic geometric fiber?

Suppose that $f\colon X\to Y$ is a proper (or even projective) morphism of (reduced) algebraic varieties over an algebraically closed field $k$. If fibers of $f$ over all closed points of $Y$ are ...
0answers
123 views

0answers
188 views

### fpqc, formal smoothness

Based on Possible formal smoothness mistake in EGA, let $X$ and $Y$ $k$-schemes ($k$ a field), let $f:X\rightarrow Y$ a fpqc morphism such that $f$ is formally smooth and $X$ formally smooth, do we ...
1answer
221 views

### flat and finite type morphisms

Let $f:X\rightarrow Y$ a faithfully flat morphism between $k$-schemes. We assume that the fibers are locally of finite type, do we have that $f$ is locally of finite type?
0answers
181 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 ...
0answers
148 views

### descent for formally smooth maps

Let $f:X\rightarrow Y$ a morphism between schemes and $Y'\rightarrow Y$ a fpqc morphism such that the base change $f'$ of $f$ to $Y'$ is formally smooth, does it imply that $f$ is formally smooth?
0answers
98 views

### closed subscheme of ind scheme

Let $X$ a ind-scheme of ind-finite type and ind-affine. (e.g, take a k- smooth, affine scheme of finte type $T$, $C$ a smooth projective curve over $k$ and $x$ a closed point, then $X=T(C-x)$ verifies ...
2answers
210 views

### open immersion between affine spaces

Let $j:\mathbb{A}^{n}\rightarrow\mathbb{A}^{n}$ an open immersion over a field $k$. Is it an isomorphism?
0answers
185 views

### on flat morphisms

Let $j:U\rightarrow X$ an open immersion between k-schemes of finite type and $f:X\rightarrow S$ a surjective k-morphism of finite type. We suppose that $f\circ j:U\rightarrow S$ is faithfully flat, ...
2answers
401 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 ...
1answer
457 views

### Is there a direct proof that affine schemes are fppf quasi-compact?

Let $A$ be a (commutative) ring. A family $(B_i)_{i\in I}$ of $A$-algebras is said to be an fppf cover if it satisfies three properties: (1) each $B_i$ is flat as an $A$-module, (2) each $B_i$ is ...
1answer
427 views

### What about schemes built up out of graded rings?

Toen-Vaquié construct a category of schemes relative to some complete cocomplete closed symmetric monoidal category $C$. Affine schemes correspond by definition 1:1 to commutative monoid objects in $C$...
0answers
144 views

### Regular subscheme of a projective limit of schemes

Let $S\cong \varprojlim S_i$, where $S$ and all $S_i$ are separated regular excellent of finite Krull dimension. Let $Z$ be a closed regular subscheme of $S$. As Theorem 8.8.2 of EGA4 shows, $Z$ comes ...
1answer
326 views

### Which schemes can be presented as limits of smooth varieties?

I can prove a certain statement for any scheme that can be presented as the limit of an essentially affine (filtering) projective system of smooth varieties over a perfect field such the connecting ...
0answers
129 views

### Dualizing sheaf in mixed characteristic for regular schemes.

I've been looking many places, but everything I find seems to either talk about (a) varieties or (b) extremely general situations with dualizing complexes. As I am not in the situation of (a) (i.e. ...
0answers
155 views

### How would you call a subscheme of a smooth $S$-scheme?

In my preprint I propose to call $X/S$ quasi-smooth if $X$ can be embedded into a smooth $X'/S$. Does this sound fine? Upd. So, smoothly embeddable is better? Is it ok to call a morphism smoothly ...