**1**

vote

**0**answers

50 views

### (Affine) Schemes and the point of view of morphisms with values in a field

Let $A$ be a commutative ring with unity. If $\varphi_1 : A \rightarrow K_1$ and $\varphi_2 : A \rightarrow K_2$ are ring morphisms from $A$ to fields, $\varphi_1$ and $\varphi_2$ are said to ...

**2**

votes

**2**answers

235 views

### Push-forward of a quasi-coherent graded algebra under a proper map

Let $f\colon X \rightarrow Y$ be a proper morphism with $Y$ Noetherian (and even affine, if you wish), and let $\mathscr{A} = \bigoplus_{n \ge 0} \mathscr{A}_n$ be a quasi-coherent graded ...

**1**

vote

**1**answer

140 views

### Relative identity component for group algebraic spaces

Let $S$ be a locally noetherian scheme and let $G$ be a separated and smooth $S$-group algebraic space of finite presentation. Does there exist an open sub-(group algebraic space) $G^0 \subset G$ ...

**0**

votes

**0**answers

84 views

### Covering a finite set of points of height 1 by an affine open

Let $R$ be a Noetherian ring and let $X$ be a finite type, separated $R$-scheme that is normal and integral. Let $x_1, \dotsc, x_n \in X$ be points of height $1$. Does there exist an open affine $U ...

**1**

vote

**0**answers

216 views

### Affine communication lemma and finite limits in the category of rings

Let $X$ be a scheme and $\mathrm{Spec}(B) = V \subseteq X$ be an open affine subset. When using the affine communication lemma (c.f. Theorem 6.3.2, Vakil's notes, Foundations of Algebraic Geometry), ...

**1**

vote

**1**answer

187 views

### Smoothness and smoothness over formal neighborhood

Let $f:X\rightarrow Y$ a locally finitely presented map. Let $x\in X$ and $y=f(x)$.
We assume that the map on the level of fomal neighborhoods $X_{x}\rightarrow Y_{y}$ is formally smooth, can we find ...

**14**

votes

**0**answers

280 views

### Does every relative curve have a Picard scheme?

More precisely:
Let $X \to S$ be a smooth proper morphism of schemes such that the geometric fibers
are integral curves of genus $g$. Must the fppf relative Picard functor
$\operatorname{\bf ...

**2**

votes

**0**answers

81 views

### motivic integration and jacobian ideal

When we consider the change of variables in motivic integration, we have a birational map $f:Y\rightarrow X$ with Y smooth and we have to consider two invariants the order of the Jacobian ideal of $X$ ...

**0**

votes

**0**answers

67 views

### on lifting elements in a tangent space

Let X a normal integral scheme over a base field scheme, assumedd to be singular and an integer $n$
Let $\mathcal{O}=k[[t]]$, we consider the arc space $X(\mathcal{O})$ which is a $k$- pro-scheme and ...

**1**

vote

**1**answer

119 views

### Some questions about ruled surfaces defined over $\overline{\mathbb Q}$

definitions:
A non-singular complex projective surface $S$ is a ruled surface if it is birationally equivalent to $C\times_{\text{Spec} \mathbb C}\mathbb P^1_{\mathbb C}$ where $C$ is a non-singular ...

**1**

vote

**2**answers

222 views

### When the contraction is a morphism defined over $\overline{\mathbb Q}$

Suppose that $S$ is a complex projective surface defined over $\overline{\mathbb Q}$, namely there exists a surface $S_{\overline{\mathbb Q}}$ over $\overline{\mathbb Q}$ such that:
...

**2**

votes

**1**answer

155 views

### About $\mathbb P^1_\mathbb C$ contained in a surface

Suppose that $X$ is a non-singular projective surface over $\mathbb {\overline Q}$ ( $X$ is a $\mathbb {\overline Q}$-scheme...) and suppose that there is an embedding:
$$j:\mathbb P^1_{\mathbb ...

**2**

votes

**1**answer

188 views

### Minimal model of a non-singular complex projective surface defined over $\overline{\mathbb Q}$

Suppose that $S$ is a non-singular complex projective surface that is defined over $\overline{\mathbb Q}$, namely $S\cong\text{Proj}\frac{\mathbb C[T_1,T_2,\ldots,T_n]}{(f_1,\ldots,f_n)}$ where $f_i$ ...

**3**

votes

**1**answer

178 views

### Flatness of Normalization of regular schemes

I have a followup to the following question: Flatness of normalization.
Suppose that $X$ is a regular scheme (of finite type over a $\mathbb{C}$ if one wants) and $X'$ is the normalization of $X$ in ...

**1**

vote

**0**answers

77 views

### Can we classify reductive group schemes over curves

Let $C$ be a smooth quasi-projective connected curve over the complex numbers.
Can one classify all reductive group schemes over $C$?
Certainly, you have the trivial ones (coming from pulling-back ...

**2**

votes

**1**answer

223 views

### Can the Grothendieck ring of varities over a field $k$ be defined for non separated schemes?

The Grothendieck ring of varieties over a field $k$ is the abelian group generated by isomorphim classes $[X]$ of separated, reduced $k$-schemes $X$ of finite type with the relation
$[X]=[Y] + ...

**4**

votes

**0**answers

170 views

### Tannaka categories and reductive groups

The group associated to a Tannaka category $T$ over a field is pro-reductive if and only if $T$ is semi-simple.
Pro-reductive groups make sense over any scheme.
Is there an extension of the theory ...

**2**

votes

**0**answers

120 views

### infinite dimensional germs of schemes and tangent spaces

(The question of the type "how to define?")
Let $(R,\mathfrak{m})$ be a local ring over a field $k$ of zero characteristic. Consider the matrices over this ring, $Mat(m,R)$. I think of $Mat(m,R)$ as ...

**0**

votes

**1**answer

97 views

### curve through a point avoiding an hypersurface

Let $H$ be a closed hypersurface in $\mathbb{A}^{n}$, $n$ big enough over $\mathbb{C}$. Let $U$ be the complementary open subset.
Let $x\in H$, Is it possible to find an curve ...

**5**

votes

**1**answer

238 views

### Existence of affine hulls

(This question is inspired by Matthieu Romagny's answer to my previous question about base change properties of affine hulls.)
Given a scheme $S$, it is well-known (cf. EGA I.9.1.21) that the ...

**3**

votes

**1**answer

260 views

### Affine hulls and base change

Let $S$ be a scheme. We consider the functor, called affine hull, from the category of quasicompact and quasiseparated $S$-schemes to the category of affine $S$-schemes, defined as a left adjoint to ...

**0**

votes

**2**answers

224 views

### Weil restriction

I've already asked a similar question in SE, without success, so I've decided to post here a more general version of my question.
Let $f: Y \to X$ be a finite etale morphism of smooth proper ...

**2**

votes

**0**answers

80 views

### Examples of subspaces singled out by modular forms

I am wondering what subspaces of modular varieties defined as the zero locus of modular forms have been studied in the literature.
To be more clear let me explain the example I have in mind.
Let ...

**2**

votes

**1**answer

419 views

### Base change through a field automorphism

Note:For a correct comprehension of the question see the "important edit" at the end.
Consider a projective variety over $\mathbb C$, $X=\textrm{Proj}\frac{\mathbb ...

**1**

vote

**1**answer

141 views

### Conjugate surfaces: informations about the orbits

Consider a complex algebraic variety $X$ (namely a $\mathbb C$-scheme, of finite type, geometrically integral and separated); if $\sigma\in\textrm{aut}(\mathbb C)$, then is well defined the complex ...

**4**

votes

**1**answer

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

**3**

votes

**0**answers

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

**3**

votes

**2**answers

186 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$, ...

**-2**

votes

**1**answer

200 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}$ ...

**0**

votes

**0**answers

63 views

### Group schemes decomposition

Given an abelian group scheme of finite type $(G,+)$ over $\mathbb{F}$ connected, and given two connected closed subgroup schemes of finite type $G$ over $\mathbb{F}$ connected $H$, $N$ of $G$. ...

**0**

votes

**1**answer

122 views

### Closed immersion of closed fiber?

Suppose $f: X \rightarrow Y$ is a morphism of schemes, and $y \in Y$ is closed point.
We know the first projection morphism $p_1: X \ $ x$_{Y} \ k(y) \rightarrow X$ is a homeomorphism onto ...

**0**

votes

**1**answer

192 views

### Confusion with the field of definition of a variety [closed]

Fix a field extension $k\subseteq K$ (assume that the fields have characteristic $0$) and consider the two following definitions:
Now let's restrict our attention to a closed subscheme ...

**2**

votes

**0**answers

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

**6**

votes

**1**answer

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

**9**

votes

**2**answers

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

**3**

votes

**0**answers

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

**3**

votes

**0**answers

144 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$ ...

**8**

votes

**1**answer

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

**1**

vote

**0**answers

74 views

### Holomorphic convergence conditions on $\mathbb C((z))$-valued points of a group $G$

Let $G$ be a complex, connected, simply connected, semisimple group. I'm trying to compare the following two spaces: The free loop space $LG$ of $G$, and the $\mathbb C((z))$-valued points of $G$, ...

**0**

votes

**0**answers

98 views

### Normal cones and the geometry of closed subschemes

Let $S$ be a closed subscheme of a smooth variety $M$ and suppose its ideal sheaf factors as $\mathscr{I}_S=\mathscr{I}_{S_1}\cdot \mathscr{I}_{S_2}$ for closed subschemes $S_1$ and $S_2$. Then what ...

**2**

votes

**0**answers

112 views

### Examples of non-projective morphisms with projective fibres

Let $X\to S$ be a morphism of noetherian schemes such that, for all $s$ in $S$, the morphism $X_s\to $ Spec $k(s)$ is projective.
Then it doesn't follow that $X\to S$ is projective in general. In ...

**0**

votes

**2**answers

252 views

### Pullback of a constant sheaf

Let $\varphi:X\to Y$ be a surjective morphism of schemes which are connected and of finite type.
Let $A$ be an abelian group, $\mathscr{F}$ be the constant sheaf on $X$ with fibers $A$ and ...

**3**

votes

**1**answer

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

**1**

vote

**1**answer

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

**2**

votes

**1**answer

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

**3**

votes

**2**answers

276 views

### Varieties that do not extend to flat families

Is it easy to give an example of a function field $K$ and a smooth proper variety $X$ over $K$ that does not extend to a flat scheme over $B$, where $B$ is a smooth proper variety with function field ...

**5**

votes

**3**answers

190 views

### Subset of Spec(A) realized as inverse image of some Spec(B)

Let $A$ be a (commutative) ring and $U$ be an arbitrary subset of $\mathrm{Spec}(A)$. Do there exist a ring $B$ and a ring homomorphism $\varphi\colon A\to B$ such that ...

**4**

votes

**0**answers

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

**3**

votes

**0**answers

184 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?

**2**

votes

**1**answer

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