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 $\...
- 5,674
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 ...
- 5,674
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 ...
- 323
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 ...
- 2,853
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 ...
- 2,853
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 ...
- 607
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 ...
- 1,325
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 ...
- 3,016
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 ...
user158636
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 (...
user39380
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$.
...
- 31
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 ...
- 6,118
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 ...
- 1,284
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 ...
- 233
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 ...
- 233
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 ...
user92332
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 ...
user111251
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 ...
- 411
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'/\...
- 2,515
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 ...
- 203
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 \...
- 2,106
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 ...
- 1,093
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,093
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 ...
- 1,093
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,093
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 ...
- 1,093
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$ ...
- 1,093
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 \...
- 1,093
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 ...
- 1,093
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 ...
- 1,093
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 ...
- 1,093
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{...
- 1,093
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$ ...
- 1,093
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 \...
- 1,093
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$ ...
- 1,093
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,093
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), ...
- 1,093
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,093
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 ...
- 414
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 $...
- 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 ...
- 414
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 ...
- 295
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(\...
- 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$ ...
- 1,007
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 ...
- 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 ...
- 1,183
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-...
- 1,911
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 ...
- 359
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 ...
- 14.8k
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 ...
- 7,872