# Questions tagged [neron-models]

The neron-models tag has no usage guidance.

58
questions

0
votes

0
answers

100
views

### Extend line bundle on regular curve to it's regular model

Let $S$ be the spectrum of an excellent discrete valuation ring with field of fractions $K$ and $C$ be a proper integral regular curve over $K$.
Assume, $C$ admits a proper regular flat model $\...

1
vote

2
answers

174
views

### Dimension of Zariski closure of a locally closed subscheme

Let $S$ be a Dedekind scheme with function field $K=K(S)$ and $C$ a projective regular curve over $K$, so we can fix certain closed embedding $e:C \subset \mathbb{P}^n_K$.
Let compose this embedding ...

3
votes

0
answers

96
views

### How does the number of connected components of the Néron model change in a family of abelian varieties?

Given an elliptic curve $E/\mathbb{Q}_p$, it is known that the component group of the Néron model of $E$ is cyclic of order $-v(j(E))$ when $E$ has split multiplicative reduction, and in all other ...

3
votes

0
answers

140
views

### What does the Néron model of the dual abelian variety parametrize?

Let $K$ be a field which is complete with respect to a discrete valuation $v$ with ring of integers $R$ and residue field $k$. Let $A$ an abelian variety over $K$ and let $A^t$ be the dual abelian ...

4
votes

1
answer

224
views

### Néron model, torsion and ramification

Let $B$ a discrete valuation ring, say for simplicity with residue field of characteristic $0$, and $K$ its quotient field. Assume that I have an abelian variety $A$ over $K$ and let $A'$ be its Néron ...

0
votes

0
answers

107
views

### Does an isogeny between tori induce an isomorphism of the Lie algebras of their lft Néron models?

Let $f:T_1 \to T_2$ be an isogeny of tori over a number field $K$. Does $f$ induce an isomorphism of the Lie algebras of the lft Néron models of $T_1$ and $T_2$ ? Are there some interesting properties ...

1
vote

0
answers

176
views

### Outline of the proof that Tamagawa number, $[E (K): E_0 (K)]$ is finite

I have a question about proof that Tamagawa number, $[E (K): E_0 (K)]$ is finite.
Could you please tell (correct) me any strange parts about my understanding of the outline of the proof ?
My ...

5
votes

0
answers

103
views

### Extension of a multiple of a rational point to an integral point of a semiabelian scheme

Let $\cal A$ be a smooth commutative group scheme over $S$, where $S$ is the spectrum of a discrete valuation ring with fraction field $K$ and residue field $k$. Suppose that $A:={\cal A}_K$ is an ...

2
votes

0
answers

151
views

### A normal proper model of an abelian variety with geometrically integral special fiber smooth at the reduction of the origin

Let $A$ be an abelian variety over $\mathbb{Q}_p$. Does there exist a proper flat morphism $X\to \mathrm{Spec}\:\mathbb{Z}_p$ such that the generic fiber is isomorphic to $A$, the special fiber is ...

5
votes

1
answer

326
views

### Does torsor of an elliptic curve extend to torsor of its Neron model?

Let $(S,\eta,s)$ be spectrum of a discrete valuation ring $R$. Let $E$ be an elliptic curve over $\eta$. Let $\mathcal{E}$ be the Neron model of $E$.
Is there a concrete example of an $E$-torsor (...

3
votes

0
answers

169
views

### component group of Neron models

Let $A$ be an abelian variety over a discretely valued field $K$ and $\mathcal A$ its Neron model over $R$ (the ring of integers of $K$) and $\mathcal A^0$ the identity component of $\mathcal A$.
...

6
votes

0
answers

327
views

### How to decide whether the isogeny between Neron models is etale?

Let there be an isogeny $f:A_1 \rightarrow A_2$ between two abelian varieties over a $p$-adic field $F$ and assume $f$ has degree $p^n$. By the universal property we get a moprhism $f_0: \mathcal{A}_1 ...

7
votes

0
answers

396
views

### An abelian variety has good reduction $\iff$ the Neron model is proper

Let $R$ be a D.V.R. with the fraction field $K$, $A$ a $K$- abelian variety, $\mathfrak{A} \to \operatorname{Spec}R$ the Neron model of $A$.
We say $A$ has good reduction if there exists a smooth ...

6
votes

0
answers

121
views

### Good reduction of abelian varieties over valuation rings via coverings

Let $\mathcal{O}_K$ be a valuation ring with fraction field $K$, and let $A$ be an abelian variety over $K$.
Suppose that there is a smooth proper scheme $\mathcal{X}$ over $\mathcal{O}_K$ whose ...

10
votes

2
answers

582
views

### Do abelian varieties have Neron models over arbitrary valuation rings?

Let $\mathcal{O}_K$ be a valuation ring with fraction field $K$. Let $A$ be an abelian variety over $K$. Does $A$ have a Neron model?
If $\mathcal{O}_K$ is a discrete valuation ring, then this is ...

3
votes

1
answer

485
views

### Néron models vs integral models

Let $X$ be a smooth projective $k$-scheme, $k$ being a number field. Let $\mathcal{O}_k$ be the ring of integers of $k$.
Fix a large enough category of schemes $\text{Sch}/k$ containing $X$, and ...

3
votes

3
answers

313
views

### Voronoi and Delaunay

Please provide some references on Voronoi and Delaunay decompositions which is mathematically written. I mean I can find several texts or links on this written for computer science students without ...

5
votes

0
answers

490
views

### Reduction of torsion points on Neron Model

Let $K/\mathbb{Q}_p$ be a finite extension with ring of integers $R$ and residue field $k$. Let $A/K$ be an abelian variety with Neron model $\mathcal{A}/R$. We denote by $\tilde{\mathcal{A}}/k$ the ...

5
votes

1
answer

520
views

### Surjectivity of map between Néron models $\mathcal{E} \to \mathcal{E}'$

My question is related to a previous question on the Mordell-Weil rank of the elliptic curve $E/\mathbf{Q} : y^2 = x^3- 2$ asked here. More precisely, I want to understand the following. Let $E'/\...

9
votes

2
answers

498
views

### Neron models and ramification

I encountered this result while reading a few things, and it was stated without reference. I am having a hard time finding a reference for it (or a simple proof), so maybe you can help me:
let $E$ be ...

0
votes

1
answer

438
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

198
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

487
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;
The ...

1
vote

1
answer

363
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

392
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

599
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

636
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

389
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

301
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

190
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

217
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

606
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 $\mathscr{...

2
votes

1
answer

357
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

158
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

219
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

158
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

941
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

434
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 = \mathrm{...

1
vote

1
answer

281
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

901
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

1k
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

666
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

428
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 = S(\...

1
vote

0
answers

256
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

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

31
votes

1
answer

2k
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 ...

3
votes

1
answer

761
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 semi-...

3
votes

1
answer

466
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

507
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

1k
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 ...