Questions tagged [neron-models]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
0 votes
0 answers
105 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 $\...
user267839's user avatar
  • 5,938
1 vote
2 answers
202 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 ...
user267839's user avatar
  • 5,938
3 votes
0 answers
105 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 ...
Nathan Lowry's user avatar
3 votes
0 answers
145 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 ...
Hans's user avatar
  • 2,863
4 votes
1 answer
230 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 ...
Hans's user avatar
  • 2,863
0 votes
0 answers
113 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 ...
Adrien MORIN's user avatar
1 vote
0 answers
187 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 ...
Duality's user avatar
  • 1,397
5 votes
0 answers
106 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 ...
Damian Rössler's user avatar
2 votes
0 answers
157 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 ...
user avatar
5 votes
1 answer
334 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 (...
user avatar
3 votes
0 answers
179 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$. ...
kkgz's user avatar
  • 31
6 votes
0 answers
328 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 ...
sawdada's user avatar
  • 6,148
7 votes
0 answers
415 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 ...
k.j.'s user avatar
  • 1,352
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 ...
Kriss's user avatar
  • 233
10 votes
2 answers
591 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 ...
Kriss's user avatar
  • 233
3 votes
1 answer
491 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 ...
user avatar
3 votes
3 answers
314 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 ...
user avatar
5 votes
0 answers
507 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 ...
Jędrzej Garnek's user avatar
5 votes
1 answer
525 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'/\...
David Benjamin Lim's user avatar
9 votes
2 answers
508 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 ...
dbluesk's user avatar
  • 203
0 votes
1 answer
445 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 \...
Ron's user avatar
  • 2,116
1 vote
1 answer
200 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 ...
Question Mark's user avatar
9 votes
1 answer
488 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 ...
Question Mark's user avatar
1 vote
1 answer
380 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 ...
Question Mark's user avatar
4 votes
1 answer
405 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} \...
Question Mark's user avatar
1 vote
1 answer
607 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 ...
Question Mark's user avatar
3 votes
1 answer
637 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$ ...
Question Mark's user avatar
2 votes
1 answer
390 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 \...
Question Mark's user avatar
4 votes
0 answers
314 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 ...
Question Mark's user avatar
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 ...
Question Mark's user avatar
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 ...
Question Mark's user avatar
3 votes
2 answers
613 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{...
Question Mark's user avatar
2 votes
1 answer
360 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$ ...
Question Mark's user avatar
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 \...
Question Mark's user avatar
3 votes
1 answer
220 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$ ...
Question Mark's user avatar
4 votes
0 answers
159 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 ...
Question Mark's user avatar
1 vote
0 answers
968 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), ...
Question Mark's user avatar
3 votes
1 answer
447 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{...
Question Mark's user avatar
1 vote
1 answer
288 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 ...
Maxim's user avatar
  • 414
6 votes
1 answer
914 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 $...
Dr.van's user avatar
  • 63
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 ...
Maxim's user avatar
  • 414
4 votes
1 answer
685 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 ...
Bertie Wooster's user avatar
2 votes
1 answer
440 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(\...
None's user avatar
  • 33
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$ ...
Heer's user avatar
  • 1,007
6 votes
1 answer
417 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 ...
Heer's user avatar
  • 1,007
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 ...
Harry's user avatar
  • 1,203
3 votes
1 answer
765 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-...
kiseki's user avatar
  • 1,911
3 votes
1 answer
471 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 ...
Rony Bitan's user avatar
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 ...
David Corwin's user avatar
  • 15.1k
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 ...
Dmitry Vaintrob's user avatar