All Questions
1,203 questions
8
votes
1
answer
1k
views
Semisimplicity of Frobenius on *integral* Tate module
Let $K$ be a number field and $A/K$ an Abelian variety; let $l$ be a (rational) prime. Do there exist infinitely many primes $\mathfrak{p}$ of $K$ such that the Frobenius at $\mathfrak{p}$ acts ...
- 23k
25
votes
3
answers
2k
views
product of all F_p, p prime
Let $R$ be the ring $$R = \prod_{p\ \text{prime}} \mathbb{F}_p$$ where $\mathbb{F}_p$ is the field having $p$ elements.
Is it true that $R$ has a quotient by a maximal ideal which is a field of ...
- 5,163
3
votes
1
answer
642
views
Decomposition theorem for polarized abelian varieties in positive characteristic
In characteristic zero we have the following decomposition theorem for polarized abelian varieties: it gives an isomorphism between a PPAV and a product of PPAV's of lower dimension and is valid (as ...
- 614
6
votes
1
answer
419
views
independence of $\ell$ of characteristic polynomial of Frobenius on $\ell$-adic Tate module of Abelian varieties over number fields
I am looking for a reference for the independence of $\ell$ of the characteristic polynomial of the Frobenius $\mathrm{det}(1-|\kappa(v)|^{-s}\mathrm{Frob}_v \mid (V_\ell A)^{I_v})$ acting on the $\...
user19475
2
votes
1
answer
207
views
Subschemes in group action
Let $k$ be a field, of any characteristic. Let $G$ be a smooth group scheme over $k$ and let $X$ be a smooth scheme of finite type over $k$. Let $Y\subseteq X$ be a smooth subscheme of $X$, and let $...
- 21
14
votes
1
answer
2k
views
The Tate conjecture for abelian varieties
Let $k$ be a number field. Recall that Faltings proved the famous Tate conjecture, which states that for any abelian variety $X$ over $k$ and any prime $\ell$, the natural map
$$\mathrm{End}(X) \...
- 21.4k
24
votes
1
answer
2k
views
When is "independence of l" known?
My question is for which varieties over local fields is "independence of l" known for
etale cohomology. Say $X/{\mathbb Q}_p$ is a complete non-singular variety and $W_l$ is the (complex) Weil-...
- 5,363
13
votes
0
answers
348
views
An example of curves with the same Jacobian, but different Jacobian automorphism groups (wrt their respective canonical principal polarizations)?
I am trying to understand examples of differing curves with the same Jacobian, and the quirks of the Jacobian.
Here is my question: What is an example where $Aut(Jac(X, a))$ and $Aut(Jac(X', a'))$ ...
- 3,539
5
votes
1
answer
860
views
Identifying the canonical principal polarization of a Jacobian
Let $X$ be a curve over an algebraically closed field $k$ (even over $k = \mathbb{C}$ if you want), let $J = Pic^0_{X/k}$ be its Jacobian, let $P \in X(k)$ be a point, and let $i \colon X \...
- 2,663
4
votes
0
answers
468
views
Quaternion algebras in characteristic 2
Let $k$ be a field and let $Q$ be a quaternion algebra over $k$.
It is well known that, if $\mathrm{char}\,k\neq 2$, one can define $Q$ as the $k$-algebra of dimension $4$ generated by elements $x,y$ ...
- 375
18
votes
2
answers
2k
views
Are Jacobians principally polarized over non-algebraically closed fields?
How does one define the Torelli map $M_g \to A_g$ of moduli stacks? On geometric points a curve maps to its principally polarized Jacobian.
So what I am asking is: if I have a curve $C$ over a non-...
- 10.5k
5
votes
3
answers
2k
views
Elliptic curves on abelian surface
Let $Y$ be an abelian surface. Is it true that for every general point $P \in Y$, there exists an elliptic curve passing through $P$?
- 427
3
votes
0
answers
144
views
Are there three ordinary elliptic curves $E$, $E_1$, $E_2$ such that $E^2 \cong E_1 \!\times\! E_2$?
Consider the elliptic curve $E\!: y^2 = x^3 + 1$ of $j$-invariant $0$ over an algebraically closed field $k$ of characteristics $p$. Let me remind that $E$ is ordinary (i.e., non-supersingular) iff $p ...
- 1,833
3
votes
0
answers
409
views
Non algebraizable formal abelian schemes
I'd like to collect a good number of examples of formal schemes over $\text{Spf}(\mathbf{Z}_p)$, whose special fiber is a projective variety over $\mathbf{F}_p$, but that are not algebraizable.
If ...
user97068
15
votes
5
answers
3k
views
Can we count isogeny classes of abelian varieties?
Let's fix a finite field F and consider abelian varieties of dimension g over F. Can we say how many isogeny classes there are? Is it even clear that there's more than one isogeny class? For g=1, ...
- 1,988
6
votes
3
answers
811
views
Torsion group of the following elliptic curve
Let $p_1=2, p_2 = 3,\ldots,$ be the prime numbers, and define $n_i = \prod_{j=1}^i p_j$. Moreover, let $E_i $ be the elliptic curve defined by $y^2 = x^3 + n_i$.
Can one compute the torsion group $...
- 63
8
votes
1
answer
2k
views
About the Serre-Tate theorem
It is somehow a general principle that the (infinitesimal) local behavior of a representable moduli functor $X$ at some point $x$ is closely related to the deformation problem of the structure ...
- 1,305
18
votes
1
answer
1k
views
Torsion points of abelian varieties in the perfect closure of a function field
The following is a problem, which was recently brought to my attention by H. Esnault and A. Langer.
Let $K$ be the function field of a smooth curve over the algebraic closure $k$ of the finite field ...
- 3,076
1
vote
1
answer
280
views
Norms of elements in Artin-Schreier extensions
The following is claimed in the proof of Theorem 7.5 of Auslander, Goldman, "The Brauer group of a commutative ring":
Let $k$ be a nonperfect field of positive characteristic $p$, let $K := k(x)$ ...
- 428
3
votes
1
answer
404
views
Mumford-Tate groups of abelian surfaces
For elliptic curves, one may easily compute Mumford-Tate groups; there are just two cases:
1) $E$ has no complex multiplication, and the Mumford-Tate group of $E$ is $GL_2$
2) $E$ has complex ...
user94490
5
votes
0
answers
268
views
Principally Polarized CM Abelian Variety
I am interested in considering examples of abelian varieties that are principally polarized with CM in dimension three. However, I am struggling to construct or find even a single instance.
In ...
- 51
6
votes
1
answer
3k
views
Why is dual lattice a lattice, in the context of complex tori
I have a simple linear algebra question regarding the definition of dual of a lattice; it was asked by someone else here three months ago on mathstackexchange but got no answer and few views, so ...
- 785
5
votes
0
answers
206
views
Intermediate Jacobian of abelian varieties
Is the intermediate Jacobian of an abelian variety again an abelian variety?
- 1,593
12
votes
2
answers
1k
views
Modularity of higher dimensional abelian varieties
In another question I asked about strategies for giving an effective version of the Shafarevich conjecture for abelian varieties over $\mathbb{Q}$.
For elliptic curves, one can give a proof using ...
- 7,072
7
votes
1
answer
1k
views
Ordinary abelian varieties over a finite field
Let $q$ be a power of a prime $p$. Deligne's paper "Variétés abéliennes ordinaires sur un corps fini" seems to describe an equivalence of categories between
ordinary abelian varieties over a finite ...
- 647
10
votes
1
answer
625
views
Can a division algebra have degree divisible by its characteristic?
I apologize in advance if this is easy, but I've tried Googling, and had no luck.
I'm currently working on a proof, and I realized in the course of writing that this proof will break if out there ...
- 44.7k
2
votes
1
answer
526
views
extending homomorphisms of Abelian schemes
Let $S$ be an integral scheme with function field $K = K(S)$. Let $\mathscr{A}, \mathscr{B}$ be Abelian schemes over $S$. Let $L/K$ be a separable field extension. Given $f_L \in \mathrm{Hom}(\mathscr{...
user19475
2
votes
1
answer
153
views
Pull-back of polarization
Let $(X, L)$ and $(Y, M)$ be two polarized abelian varieties .
According to Birkenhake C. and Lange H. in Complex Abelian Varieties a homomorphism of polarized abelian varieties $f:(Y, M)\...
- 560
5
votes
1
answer
369
views
Do Abelian varieties isomorphic to all their conjugates descend?
Suppose $A$ is an abelian variety over $\overline{\mathbb{Q}}$ of dimension $g$, such that $A$ is isomorphic to all of its Galois conjugates. Note that I'm not including any polarization data.
Can I ...
- 2,834
18
votes
1
answer
2k
views
Independence of $\ell$ of Betti numbers
When $X$ is a smooth proper variety over $\mathbb F_q$, we know by Deligne's theory of weights that the dimension of $H^i_{\operatorname{\acute et}}(\bar X, \mathbb Q_\ell)$ does not depend on $\ell$. ...
- 28.8k
4
votes
0
answers
293
views
Derived categories of coherent sheaves and degenerations of abelian varieties
By the work of Burban-Drozd (https://projecteuclid.org/euclid.dmj/1076621984), we know what happens to the derived category of coherent sheaves when an elliptic curve degenerates into a nodal curve or ...
- 3,187
3
votes
1
answer
459
views
Frobenius functor and length of local cohomology
Let $(R,\mathfrak{m})$ be a Noetherian local ring of positive prime characteristic $p$ and let $F$ be the Frobenius functor. Write $d$ for dimension of $R$. Assume that for some $0\leq i< d $ the ...
- 3,101
4
votes
0
answers
122
views
dual of quotient abelian variety
Let $A$ be an complex abelian variety and $S\subset A$ a finite subgroup.
How to calculate the dual abelian variety of $A/S$?
- 1,891
10
votes
1
answer
1k
views
Are there "reasonable" criteria for existence/non-existence of Levi factors or their conjugacy in prime characteristic?
Classical theorems attributed to Levi, Mal'cev, Harish-Chandra for a finite
dimensional Lie algebra over a field of characteristic 0 state that it has a Levi decomposition (semisimple subalgebra plus ...
- 52.9k
2
votes
2
answers
1k
views
About Weil's proof of "Weil conjectures for curves and abelian varieties"
I know that the Weil's proof of the Weil conjectures for curves and abelian varieties is made under the lenguage of his "Foundation of algebraic geometry", however in "Polarizations and Grothendieck's ...
user56715
5
votes
2
answers
1k
views
Weil Conjectures for Grassmannians
To establish the Weil conjectures for $n$-dimensional projective space over a finite field is elementary. Does there exist a simple direct proof of the conjectures for finite field Grassmannians?
- 1,462
3
votes
0
answers
151
views
Variety Isomorphism Problem for Abelian Surfaces
This is a special case of this question, where it is asked whether there exists an algorithm to determine whether two varieties are isomorphic. There, an answer by Bjorn Poonen explains how to solve ...
- 437
11
votes
2
answers
918
views
On a proposition in Hartshorne's paper "Ample vector bundles on curves"
In Prop. 4.1, p. 87 of the article "Ample vector bundles on curves" (Nagoya Math. J. 43 [1971], 73--89), R. Hartshorne states the following:
Let $A$ be an abelian variety [over an alg. closed field $...
- 3,076
0
votes
0
answers
60
views
abelian variety with all over non degenerate pairing
Suppose we have an abelian variety $A$ defined over the rational numbers $\mathbb{Q}$. It is known that the Weil pairing
$$
e_\ell: A[\ell]\times A[\ell] \rightarrow \mu_\ell
$$
is non degenerate, ...
- 389
21
votes
1
answer
2k
views
When does the relative differential $df=0$ imply that $f$ comes from the base?
Let $A \to B$ be a map of commutative rings, and $d : B \to I/I^2$ be
defined by $df = f\otimes 1 - 1\otimes f$, where $I$ is the kernel of
$B \otimes_A B \to B$, as in [Hartshorne II.8].
If $df=0$,...
- 27.9k
2
votes
1
answer
791
views
Branching rule for classical Lie algebras in positive characteristic
The restriction of an irreducible $\mathfrak{sl}_n(\mathbb{C})$-module to $\mathfrak{sl}_{n-1}(\mathbb{C})$ is described by a branching rule which says that if $L(\lambda)$ is the simple $\mathfrak{sl}...
- 2,721
3
votes
0
answers
135
views
Is the generalized Kummer threefold rational in characteristics 3?
Let $E_i\!: y_i^2 = x_i^3 - x_i$, $i = 1, 2, 3$ be three copies of the supersingular elliptic curve in characteristics $3$. Consider on $E_i$ the following automorphism of order $3$:
$$
\sigma(x_i,...
- 1,833
2
votes
2
answers
563
views
morphism of abelian variety
Let $f: A \rightarrow B$ be a morphism of abelian varieties defined over a finite field $k$. Let $G$ be a finite group of $A$ and $\pi:A\rightarrow A/G$ the quotient morphism.
Looking at just the ...
- 389
6
votes
1
answer
250
views
Are there curves of genus 2 with real multiplication by a non-maximal order?
Let us work over $\mathbb{C}$ for the moment.
Assume we are given a real quadratic field $K$ with ring of integers $\mathcal{O}_K$.
$\mathbf{Question:}$ Is there a smooth projective curve $C$ of ...
- 1,025
11
votes
5
answers
1k
views
Schottky locus in genus 2
Let $\phi_g : \mathcal{M}_g \rightarrow \mathcal{A}_g$ be the period mapping from the open moduli space of genus $g$ Riemann surfaces to the moduli space of $g$-dimensional principally polarized ...
- 113
2
votes
1
answer
202
views
Identification of cohomology sheaf in the definition of the Kodaira-Spencer morphism for abelian schemes
Let $p:A \to S$ be a projective abelian scheme, where $S$ is some smooth scheme over a base field $k$. Then we have the Kodaira-Spencer morphism
$$
\kappa : T_{S/k} \to R^1p_*T_{A/S}
$$
where $T_{S/k}$...
user85435
12
votes
4
answers
2k
views
Finite subgroups of $PGL_2(K)$ in characteristic $p$
Let $K$ be a field of characteristic $p$. What are the finite subgroups of $PGL_2(K)$ whose orders are divisible by $p$? And if $G$ and $H$ are two such subgroups that are isomorphic, can one say when ...
- 1,199
14
votes
1
answer
1k
views
Do varieties with ample canonical bundle have finite automorphism group in small characteristic?
Suppose $X$ is a smooth projective variety over a field $k$, with ample canonical bundle. If $\operatorname{char}(k)=0$ or $\operatorname{char}(k)>\dim(X)$ and $X$ lifts to $W_2(k)$ (thanks ...
- 23k
8
votes
1
answer
774
views
Abelian varieties with good reduction everywhere over function fields
There is a famous theorem due to J.-M. Fontaine,
Il n'y a pas de variété abélienne sur Z
(and independently by V.A. Abrashkin) that there are no abelian varieties over Z. I was wondering whether ...
- 83
2
votes
1
answer
690
views
Restricted universal enveloping algebra of Abelian p-Lie algebra
Question: Let $p$ be a prime. Let $k$ be a commutative ring such that $p=0$ in $k$.
Let $\mathfrak g$ be an abelian $p$-restricted Lie algebra over $k$. In other words, let $\mathfrak g$ be a $k$-...
- 33.8k