All Questions
1,203 questions
3
votes
0
answers
368
views
Homomorphisms of abelian varieties and Tate modules
Let $A$ and $B$ be abelian varieties over a field $k$ and $\ell$ be a prime different from the characteristic of $k$, we have an injection $Hom(A,B) \otimes_\mathbb{Z} \mathbb{Z}_\ell \to Hom (T_\ell ...
- 647
3
votes
0
answers
218
views
Is there a proper smooth variety in characteristic $p$ whose Hodge-to-de Rham spectral sequence does not degenerate at $E_1$?
By Deligne-Illusie, such a variety has no lifting to $W_2(k)$. In their paper they state that they do not know if such an example exists. Has this question been answered since then?
- 4,164
1
vote
0
answers
78
views
Elliptic fibrations on some Kummer surface in characteristic $2$
In the question I ask about one elliptic fibration on the surface
$$
K\!: y^2 + x_1x_2y = (x_1x_2)^2(x_1 + x_2 + 1) + (x_1 + x_2)^2.
$$
over a finite field $\mathbb{F}_q$ of characteristic $2$ such ...
- 1,833
24
votes
5
answers
6k
views
Wild Ramification
The question is, loosely put, what is known about wild ramification?
Is there a semi-well-established theory of wild ramification that can be furthered in various specific situations? Or maybe there ...
13
votes
4
answers
3k
views
"Albanese" schemes: When does an "initial abelian scheme" exist under a given scheme?
For a variety V, its Albenese variety Alb(V) is a variety with a map V → Alb(V) which factors uniquely into any map from V to an abelian variety. Can we say something similar for an arbitrary ...
- 11.3k
1
vote
0
answers
192
views
Integer solutions of Diophantine equation $y^2= 1+4n^{\underline k} $
I am looking for the integer solutions for the diophantine equation $y^2 =4n(n-1)(n-2)\cdots (n-k+1)+1$ for a given $k$ where $n>k+1>5$.
In other words,
$$y^2=1+4n^{\underline k},\tag{I}$$
where ...
5
votes
2
answers
250
views
What integer value can be the conductor of a $g$-dimensional abelian variety over $\mathbb Q$?
Fix a positive integer $g$. What positive integer $N$ can be the conductor of a $g$-dimensional abelian variety over $\mathbb Q$ ?
For example, as there is no abelian varieties over $\mathbb Z$, $N$ ...
- 6,622
11
votes
1
answer
508
views
Points of abelian varieties over purely transcendental extensions
I heard about the result in the theory of abelian varieties which says the following: given an abelian variety $X$ defined over a field $k$ and a purely transcendental extension $k\subset L\subset L'$ ...
- 2,305
2
votes
1
answer
295
views
The size of endomorphism rings and the relation to ordinariness of Abelian surfaces
For Elliptic curves over a finite field, there is a very useful characterization of ordinary elliptic as those with commutative, quadratic endomorphism rings and of supersingular curves as those with ...
- 7,746
9
votes
3
answers
2k
views
Characterisation for separable extension of a field
Can someone verify this for me.. or tell me what reference shows me this... is this true:
Let $k$ be a field. Then a field extension $K$ of $k$ is separable over $k$ iff for any field extension $L \...
- 2,275
3
votes
1
answer
276
views
Polarization of an abelian variety made by the sum of two divisors
Let $X$ be an abelian variety of dimension $n$, and let $L$ be a polarization, that is, an ample line bundle on $X$, with $\chi(L)=3$.
In my specific case, I have that $L=\mathcal{O}_X(\Theta + D)$, ...
22
votes
4
answers
4k
views
Which curves can be found on Abelian varieties?
We know that each genus 2 curve is embedded into its degree 1 Jacobian.
Under which conditions on $C$, $A$, $g$ and $n$ is it possible for a genus $g$ smooth curve $C$ to be embedded in an Abelian ...
- 23.4k
3
votes
0
answers
352
views
Example of a non log-canonical pair for an abelian variety with polarization of degree >2
Let $(A,L)$ be a polarized abelian variety of dimension $g$, with an indecomposable polarization of degree $\chi(L)=d$. There is a theorem of Debarre and Hacon about the singularities of pairs:
...
7
votes
3
answers
927
views
Lefschetz fixed-point theorem for the Frobenius map
Where can one find a proof of Lefschetz fixed-point theorem for the Frobenius map on elliptic curves over algebraic closures of $F_{p}$ ?
This could immediately follow if their coholomogies (for the ...
- 305
17
votes
2
answers
3k
views
Why is one interested in the mod p reduction of modular curves and Shimura varieties?
Why is one interested in the mod p reduction of modular curves and Shimura varieties?
From an article I learned that this can be used to prove the Eichler-Shimura relation which in turn proves the ...
user19475
14
votes
1
answer
578
views
Shimura's construction of an abelian variety from cusp forms of weight $2k$
Let $\Gamma \subset \mathrm{SL}_2(\mathbb{Z})$ be an arithmetic subgroup, and $S_{2k}(\Gamma)$ the space of holomorphic cusp forms of weight $2k$ for $\Gamma$.
Let $\rho_1: \Gamma \rightarrow V_1$ ...
- 1,376
11
votes
4
answers
3k
views
What does ramification have to do with separability?
Does ramification have anything to do with inseparability? It feels like an extension of Q in which p ramifies should somehow correspond to an extension of F_p(t). Does totally ramified <--> purely ...
- 15.4k
14
votes
3
answers
979
views
Zeta function of Abelian variety over finite field
Let $A/\mathbf{F}_q$ be an Abelian variety of dimension $g$. Suppose one knows $|A(\mathbf{F}_{q^n})|$ for all $1 \leq n \leq g$. Does one know then $\zeta(A,s)$ (equivalently, $|A(\mathbf{F}_{q^n})|$ ...
user19475
5
votes
1
answer
447
views
Tate-Shafarevich group over number fields
Let $A$ be an abelian variety over a number field $K$, $\text{Sha}(A/K)$ its Tate-Shafarevich group, $\ell$ a prime.
Is it known that the $\ell$-primary torsion subgroup $\text{Sha}(A/K)\{\ell\}$ is ...
user95222
7
votes
0
answers
245
views
Albanese morphism induces an isomorphism on global $1$-forms
Let $X$ be a smooth projective variety over a field $k$ of characteristic zero equipped with a point $e\in X(k)$. There is Albanese morphism $a:X\to \mathrm{Alb}\,X$ which is initial among pointed ...
- 7,377
15
votes
6
answers
3k
views
Generalizations of Belyi's theorem
Belyi's theorem states that the following properties of a nonsingular projective algebraic curve $X$ are equivalent:
1) $X$ is defined over $\overline{\mathbb{Q}};$
2) There exists a meromorphic ...
21
votes
2
answers
5k
views
State of resolution in positive characteristic?
Heisuke Hironaka's coming talk makes me wonder how the state of the work on that theme is. So far, I noticed (but didn't read) these papers:
Kawanoue, Hiraku, Toward resolution of singularities over ...
- 10.8k
7
votes
1
answer
433
views
Is $\operatorname{dim} H^1$ of an abelian variety the same for any Weil cohomology?
Let $A$ be an abelian variety over a field $k$ of dimension $g$, and $H$ be a Weil cohomology theory for smooth projective varieties over $k$ with characteristic $0$ coefficient field $E$.
Is it ...
- 6,622
7
votes
1
answer
478
views
Does the compactified Torelli map extend to a proper map of stacks?
Let $M_g^{ct}$ denote the moduli stack of compact type genus $g$ stable curves and $A_g$ the moduli stack of principally polarized $g$-dimensional abelian varieties.
Can someone provide a reference ...
- 1,308
10
votes
2
answers
614
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
199
views
Surfaces of general type with $q=1$
Let $X$ be a smooth projective connected surface of general type over $\mathbb{C}$ with $q(X) = 1$, where $q(X) = \mathrm{h}^1(X,\mathcal{O}_X)$.
Let $E$ be the Albanese variety of $X$, and let $X\to ...
- 513
5
votes
0
answers
148
views
algebraic de Rham cohomology of toric varieties (reference request)
I haven't been able to find anything workable yet, but I'm looking for a reference on the de Rham cohomology of toric varieties, where as many as possible of the following conditions are handled:
...
- 1,142
19
votes
2
answers
3k
views
Bertini theorems for base-point-free linear systems in positive characteristics
Suppose that $X$ is a smooth algebraic variety over an algebraically closed (uncountable if it helps) field of characteristic $p > 0$. Suppose that $L$ is a line bundle, probably ample or at least ...
- 20.5k
5
votes
1
answer
653
views
rank of Jacobian of Fermat curve and Chabauty-Coleman method
Consider the fermat curve $F(p)$ over $\mathbb Q$ which is the projective closure of $X^p+Y^p=1$ inside projective plane, where $p$ is a prime number and without loss of generality we assume $p>2$. ...
- 6,622
47
votes
2
answers
9k
views
current status of crystalline cohomology?
The great references given on Ilya's question make me wonder about the current status of the many conjectures and open questions in Illusie's survey from 1994 on crystalline cohomology. Obviously (...
1
vote
0
answers
504
views
The Picard scheme of an ordinary singular curve
Let $k$ be an algebraically closed field, $C$ a proper reduced connected scheme over $k$ of dimension 1, whose singularity is at worse ordinary, $\pi : \tilde{C} \to C$ the normalization of $C$ and $...
- 1,364
5
votes
1
answer
273
views
Singularities of curves that are moving
Let $k$ be an algebraically closed field, let $d\ge 2$ be an integer and let $f,g\in k[x,y,z]$ be two homogeneous polynomials of degree $d$ without common factor.
We want to know what are the ...
- 7,722
5
votes
1
answer
230
views
Do regular (but non-smooth) conics over a discretely valued field of characteristic $2$ admit a regular model over the valuation ring?
Let $K$ be a non-perfect field of characteristic $2$. Let $T \subseteq K$ be a discrete valuation ring.
Assume there exist $a,b \in K^{\times}$ such that the projective conic $C$ defined by $$aX^2 + ...
- 103
13
votes
4
answers
5k
views
Complex torus, C^n/Λ versus (C*)^n
I'm having trouble distinguishing the various sorts of tori.
One definition of torus is the algebraic torus. Groups like $SU(2,\mathbb{C})$ and $SU(3,\mathbb{C})$ have important subgroups that are ...
- 10.7k
19
votes
1
answer
2k
views
The Infinitesimal topos in positive characteristic
This question was inspired by and is somewhat related to this question.
In his article "Crystals and the de Rham cohomology of schemes" in the collection "Dix exposes sur la cohomologie ...
- 4,450
23
votes
1
answer
1k
views
Is hyperelliptic cryptography "practical"?
Previosly my impression on this subject was that hyperelliptic cryptography systems (as well as other possible cryptosystems based on abelian varieties of dimension $>1$) have no advantages over ...
- 16.9k
5
votes
0
answers
405
views
Jacobian fibration of an abelian fibration
Let $f \colon S \rightarrow C$ be a minimal elliptic surface and let $g \colon J \rightarrow C$ be its jacobian fibration. In this case, we know that the fibers of $g$ are better behaved that the ones ...
- 625
2
votes
0
answers
476
views
Uniqueness of theta divisor
Let $A$ be an abelian variety (at least over $\mathbb{C}$). Suppose we have two theta divisors $\Theta_1$ and $\Theta_2$ on $A$, which give two principal polarizations on $A$.
In general, are those ...
3
votes
0
answers
110
views
Using principal polarisation to "cancel" Jacobian summands in isomorphism
I'm working through the sketch proof of irrationality of cubic threefolds in Huybrechts' The geometry of cubic hypersurfaces.
Let $J(X)$ denote the intermediate Jacobian of a cubic threefold $X \...
- 305
11
votes
1
answer
334
views
An identity in Lie algebras over fields of positive characteristic
Let $L$ be a Lie algebra over a field of characteristic $p>0$ and $D$ a derivation of $L$. For every $x\in L$ denote by $\mathrm{ad} x$ the adjoint map $\mathrm{ad}x: L \rightarrow L, a\mapsto [x,...
- 630
12
votes
4
answers
2k
views
Quotients of Abelian varieties by finite groups
Let $A$ be an Abelian variety (over an algebraically closed field). The group $\mathbb{Z}/2\mathbb{Z}$ acts on $A$ and the quotient is called the Kummer variety of $A$. These are well studied and, ...
- 181
1
vote
0
answers
299
views
Application of Galois descent
I not understand an assumption done at the beginning of the proof of Rigidity lemma in Moonens and van der Geers book about Abelian variaties (page 12). Here is it:
Question: Why the assumption $k= \...
- 6,006
6
votes
0
answers
270
views
Tropical abelian variety as a limit
A tropical abelian variety is given by a quotient of a real vector space $V \cong \mathbb{R}^g$ with a fixed integral structure $\Gamma_2$, by a lattice $\Gamma_1$, equipped with some aditional ...
- 61
3
votes
1
answer
641
views
Uniqueness of presentation for semi-abelian varieties
Let $k$ be any field and $G$ a semi-abelian variety over $k$, i.e., an algebraic group that fits into an exact sequence
$$ 1 \to T \to G \to A \to 1$$
of algebraic groups, where $T$ is an algebraic ...
- 533
2
votes
0
answers
176
views
Outer Galois representations and Tate modules of Jacobian varieties
Let $X$ be a proper smooth curve over a field $k$. Then we have an exact sequence of profinite groups
\begin{equation*}
1 \to \pi_1(X_{\overline k}) \to \pi_1(X) \to G_k \to 1,
\end{equation*}
...
- 988
2
votes
0
answers
162
views
Faltings' height theorem for isogenies over finite fields
For an Abelian scheme over a ring of integers in a number field, Faltings has a theorem that describes how the Faltings' height changes through an isogeny. There are multiple references for this ...
- 7,746
5
votes
0
answers
459
views
A functor on Abelian varieties corresponding to this operation on Weil numbers
Let $A/\mathbb F_q$ be an abelian variety over a finite field with Weil numbers $q^{1/2}\alpha_1,\dots,q^{1/2}\alpha_n$.
Consider the numbers $q^{d/2}\alpha_1,\dots,q^{d/2}\alpha_n$. These are still ...
- 7,746
3
votes
1
answer
223
views
What is the geometric quotient of the abelian threefold?
Consider a finite field $\mathbb{F}_p$ such that $p \equiv 1 \ (\mathrm{mod} \ 3)$ and its element $\zeta \neq 1$, $\zeta^3 = 1$.
Also, let $E\!: y^2 = x^3 + b$ be an elliptic curve of $j$-invariant ...
- 1,833
3
votes
1
answer
531
views
Can an abelian variety dominate a variety of general type?
Let $X$ be a projective (not necessarily smooth) normal variety of general type over $\mathbb{C}$. Let $A$ be an abelian variety and let $A\to X$ be a surjective morphism.
Is $X$ zero-...
- 41
34
votes
2
answers
3k
views
The work of E. Artin and F. K. Schmidt on (what are now called) the Weil conjectures.
I was reading Dieudonne's "On the history of the Weil conjectures" and found two things that surprised me. Dieudonne makes some assertions about the work of Artin and Schmidt which are no doubt ...
- 41.4k