The neron-models tag has no usage guidance.

**0**

votes

**1**answer

150 views

### Base change of regular schemes [closed]

Let $R$ be a complete DVR with fraction field $K$, $X$ be a regular scheme flat over $R$. Let $L$ be a finite field extension of $K$ and $Q$ be the integral closure of $R$ in $L$. Denote by $Y:=X ...

**1**

vote

**1**answer

147 views

### Does a line bundle on a normal Noetherian algebraic space come from a Weil divisor?

Let $X$ be a normal Noetherian algebraic space and $\mathscr{L}$ a line bundle on $X$. If $X$ is a scheme, then there is locally principal Weil divisor on $X$ that gives rise to $\mathscr{L}$. Is the ...

**9**

votes

**1**answer

381 views

### Does a semistable curve descend to a regular base?

Let $f\colon X \rightarrow S$ be a semistable curve of genus $g \ge 0$. Being a semistable curve means that $f$ is a morphism of schemes such that
$f$ is proper, flat, and of finite presentation;
...

**0**

votes

**1**answer

143 views

### Schematic image of a relative Cartier divisor of a fiberwise dense open

Let $S$ be a scheme and $A$ an abelian $S$-scheme, i.e., $A \rightarrow S$ is a proper smooth $S$-group scheme whose fibers are $g$-dimensional abelian varieties. Suppose that one has a fiberwise ...

**4**

votes

**1**answer

209 views

### Jacobian of a semistable curve

My question is about the proof of Example 8 in section 9.2 of the book "Neron models." There we have a semistable curve $X$ over an algebraically closed field $K$ and we let $\pi\colon \widetilde{X} ...

**1**

vote

**1**answer

252 views

### Moving a divisor on a (reducible, non-reduced) curve

I am trying to understand the first sentence of the proof of 9.1/5 in "Neron models." There we have a proper curve $X$ over a field $K$ and a line bundle $\mathscr{L}$ on $X$. Our ultimate goal is to ...

**3**

votes

**1**answer

563 views

### Fiberwise vanishing of $H^2$ and formal smoothness of the Picard functor

My question is about the proof of 8.4/2 in "Neron models." The claim is that if $f\colon X \rightarrow S$ is a proper flat morphism of finite presentation such that $H^2(X_s, \mathscr{O}_{X_s}) = 0$ ...

**2**

votes

**1**answer

285 views

### Is a quasi-coherent sheaf of ideals with free stalks of rank 1 a Cartier divisor?

Let $X$ be a scheme and let $\mathscr{I} \subset \mathscr{O}_X$ be a quasi-coherent sheaf of ideals. Suppose that for each $x \in X$, the stalk $\mathscr{I}_x$ is generated by an element $f_x \in ...

**4**

votes

**0**answers

200 views

### $H^2(S, f_* \mathbb{G}_m)$ in the fppf versus etale topology for proper $f$

Let $f\colon X \rightarrow S$ be a proper morphism of schemes. Is the cohomology group $H^2(S, f_* \mathbb{G}_m)$ the same regardless of whether it is computed in the etale or the fppf topology? And ...

**3**

votes

**1**answer

167 views

### Pathological behavior of Lie algebra under a map of abelian schemes

I am trying to understand Example 7.5/9 from the book "Neron models". There one has a discrete valuation ring $R'$ that is the localization of $\mathbb{Z}[\zeta_p]$ at $p$, so that the absolute ...

**4**

votes

**0**answers

161 views

### An extension of group schemes admitting Neron models

Let $R$ be a discrete valuation ring, $K$ its field of fractions, and
$$ 0 \rightarrow G_K' \rightarrow G_K \rightarrow G_K'' \rightarrow 0$$
a short exact sequence of smooth $K$-group schemes of ...

**3**

votes

**2**answers

376 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

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

**2**

votes

**0**answers

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

**3**

votes

**1**answer

173 views

### Extending descent data from the special fiber of an extension of DVR's

My question is about the proof of Lemma D.3 on p. 147 of the book "Neron models" by Bosch, Lutkebohmert, and Raynaud. Namely, towards the end of that proof there is the sentence "That $\varphi$ ...

**4**

votes

**0**answers

116 views

### Is this $S$-birational map an open immersion on its domain of definition?

My question is about a claim on the bottom of p. 121 of the book "Neron models" by Bosch, Lutkebohmert, and Raynaud, so I will freely use the general terminology recalled in this book, but will ...

**1**

vote

**0**answers

249 views

### Is this essentially of finite type algebra actually of finite type?

Let $R$ be a discrete valuation ring with a uniformizer $\pi$ and $(A, \mathfrak{m}_A)$ a local $R$-algebra that is essentially of finite type (i.e., is a localization of a finite type $R$-algebra), ...

**3**

votes

**1**answer

156 views

### “Unramified” extension of DVRs and permanence of excellence

Recall that a discrete valuation ring $R$ is excellent if the extension $\widehat{K}/K$ is separable, where $\widehat{R}$ is the completion of $R$ (with respect to the maximal ideal), $K = ...

**1**

vote

**1**answer

150 views

### Neron model: can number of components decrease after based change?

Suppose I have Neron model over some discrete valuation ring.
Is there a result such that the number of components of the fiber over the closed point cannot decrease after some based change?
In ...

**6**

votes

**1**answer

441 views

### Understanding of Tamagawa numbers of hyperelliptic curve

One's can find following definition of tamagawa numbers in Dino Lorenzini paper "Torsion and Tamagawa numbers":
Let $K$ be any discrete valuation field with ring of integers $O_K$ ,
uniformizer ...

**7**

votes

**2**answers

522 views

### Calculate reduction of Jacobian of hyperelliptic curve

Suppose I have a hyperelliptic curve of genus $2$ over $\mathbb Q$. I want to get information about its Jacobian reduction at prime $p$ (especially, in case $p=2$). Also I'm interesting in the group ...

**4**

votes

**1**answer

279 views

### Rational points on $X_0(15)$

The modular curve $X_0(15)$ has a canonical model over $\mathbf{Q}$, and it has genus $1$. As the cusp $\infty$ is rational, it is an elliptic curve. Roughly, my question is whether we can find all ...

**2**

votes

**1**answer

202 views

### Specialization of sections in an elliptic fibration

Let $\pi: X \rightarrow S$ be the Neron model of an elliptic curve over a dedekind domain (but probably any minimal elliptic fibration will suffice).
Let $\eta$ be the generic point of $S$, $K = ...

**1**

vote

**0**answers

208 views

### How does the line bundles look like on a proper model (or Néron model) of an abelian variety?

How does the line bundles look like on a proper model (or Néron model) of an abelian variety?
Who knows references about this?
In particular, let us work over a trait $S=\mathrm{Spec} R$, where $R$ ...

**6**

votes

**1**answer

284 views

### Representability of sheaf of Ext^1 of a Néron model by $\mathbb{G}_m$

Let's work over a trait $S=\mathrm{Spec}R$, where $R$ is a dvr with fraction field $K$, residue field $k$. Given an abelian variety $A_K$ with semi-stable reduction, let $A$ over $S$ be its Néron ...

**24**

votes

**1**answer

1k views

### Do all curves have Néron models

Let $X$ be a smooth projective geometrically connected curve over a number field $K$. Assume that $g\geq 2$.
Does there exist a Néron model $\mathcal X$ for $X$ over $O_K$?
By a Néron model, I mean ...

**2**

votes

**1**answer

498 views

### reduction of elliptic curves

Let $X$ be an elliptic curve over a complete local field.
The definition of semi-abelian reduction is: "the Neron model of $X$ is a semi-abelian scheme". On the other hand, the definition of ...

**2**

votes

**1**answer

355 views

### Group of connected components of the global Néron-Raynaud model of a torus

Let $K = \mathbb{F}_q(C)$ be a global function field of an irreducible projective and smooth curve $C$
defined over a finite field of constants $\mathbb{F}_q$. Let $T$ be a $K$-torus.
We choose one ...

**1**

vote

**0**answers

361 views

### Component group of Neron model of a parametrized abelian variety

Let $A$ be an abelian variety of dimension $2$ over a $p$-adic field $K$ with (additive) valuation $v$. Assuming $A$ has multiplicative reduction, the theory of $p$-adic theta functions gives us an ...

**2**

votes

**1**answer

680 views

### de jong's alteration theorem for families

What is the current status of de Jong's smooth alteration theorem for a family of schemes?
His 1997 paper shows that given any family of curves $X/S$ with $S$ of finite type (and, say, local) over a ...

**3**

votes

**1**answer

434 views

### Isomorphism on p-torsion of Neron models

Let $A$, $B$ be abelian varieties over $\mathbb{Q}$, with corresponding Neron models $\mathcal{A}$, $\mathcal{B}$ over $X=Spec{\mathbb{Z}}$. Let $p$ be an odd prime of good reduction for both $A$ and ...

**6**

votes

**2**answers

452 views

### Global Sections of the Identity Component of Neron model

Let $A$ be an abelian variety over a number field $K$ and consider the Neron model $\mathcal{A}$ of $A$ over $X=Spec{\mathcal{O}_K}$. If $\mathcal{A}^0$ is the identity component of $\mathcal{A}$, ...

**3**

votes

**1**answer

317 views

### Maps on the identity components of Neron models

Any map $A \to B$ of abelian varieties of the same dimension over a global field $K$ induces a map $\mathcal{A} \to \mathcal{B}$ on the corresponding Neron models over $X$ (where ...

**4**

votes

**1**answer

434 views

### Special fiber of the Neron Model of an Abelian scheme in terms of Limit Hodge Structure

Let $\mathcal{A}$ be an Abelian scheme over a smooth curve $S^*\subset S$ and let $\mathcal{A_S}$ be the Neron model of $\mathcal{A}$ over $S$. Is it possible to describe the special fiber of the ...

**11**

votes

**0**answers

496 views

### Lifting abelian varieties in (the closed fiber of) a fixed Neron model

Suppose that $R$ is a dvr with field of fractions $K$ and residue field $k$ and that $A_K$ is an abelian variety over $K$ with Neron model $A$ over $R$. Then the closed fiber $A_k$ is a smooth ...

**18**

votes

**4**answers

1k views

### Are there Néron models over higher dimensional base schemes?

Are there Néron models for Abelian varieties over higher dimensional ($> 1$) base schemes $S$, let's say $S$ smooth, separated and of finite type over a field?
If not, under what additional ...

**9**

votes

**4**answers

1k views

### Torsion of an abelian variety under reduction.

Let $p$ be a prime. Suppose you have an Abelian scheme $A$ over $Spec\ \mathbb{Z}_p$. How do you prove that if $q$ is another prime, then the $q$-torsion of $A$ injects into the torsion of $A_p$, ...

**6**

votes

**2**answers

568 views

### Néron theory for motives of arbitrary weight

SGA 7, tome 1, exp. IX, contains in its introduction and in section 13.4 remarks about ideas and conjectures of Deligne on a “théorie de Néron pour motifs de poids quelconque”. Would someone please ...