# Tagged Questions

**4**

votes

**1**answer

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

**1**

vote

**1**answer

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

**0**

votes

**1**answer

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

**2**

votes

**0**answers

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

**3**

votes

**1**answer

219 views

### Torsion of elliptic curves is finite

Let $S$ be an integral 1-dimensional scheme with function field $K$.
Let $E$ be an elliptic curve over $K$. The torsion of $E$ over $K$ is not necessarily finite. As an example consider an elliptic ...

**1**

vote

**1**answer

227 views

### What kind of conditions we need to make morphisms of schemes quasi-projective?

What kind of conditions we need to make morphisms of schemes quasi-projective?
I am really interested in the following case:
If $f : X \to Y$ is an etale, of finite type and separated morphism of ...

**0**

votes

**1**answer

308 views

### Is the following morphism etale

Let $Y$ be a reduced noetherian $1$-dimensional scheme such that the normalization morphism $f:X \longrightarrow Y$ is finite. Let $g:Y\longrightarrow Z$ be a finite flat morphism, where $Z$ is a ...

**2**

votes

**3**answers

392 views

### Sections of morphisms of schemes up to a finite morphism

Let $f:X\longrightarrow S$ be a flat projective morphism of regular integral noetherian schemes such that that the generic fibre $X_\eta\longrightarrow K(S)$ is a smooth projective connected curve ...

**5**

votes

**0**answers

494 views

### Do all the main properties of constructible and perverse sheaves (in an 'arithmetic' situation) follow from results of Gabber?

This question is a continuation of Bad behaviour of perverse sheaves over 'general' bases?
Let $S$ (for example) be a finite type separated scheme over $\mathbb{Z}$. I would like: (1) to ...