All Questions
1,203 questions
6
votes
0
answers
343
views
Are all stabilizer groups of the co-adjoint action smooth?
Let $k$ be a (non-archimedean) local field of positive characteristic $p$ and $\mathfrak{n}$ be any finite-dimensional nilpotent Lie algebra over $k$ with nilpotence length $l<p$. It is well-known ...
- 1,702
15
votes
0
answers
579
views
Geometry underlying a comparison of Dieudonné theories
Maybe these hypotheses aren't necessary, but for me $\mathbb G$ will be a smooth formal group of dimension 1 and finite height over a perfect field $k$.
There are several presentations of the ...
- 6,308
1
vote
1
answer
241
views
locally closed orbits in metric Hausdorff topology
I learned the following fact from Bruhat and Tits's paper "Homomorphismes “abstraits” de groupes algebriques simples" Section 3.18 that
Let $k$ be a local field. Suppose that a $k$-group $H$ acts $k$...
- 1,702
1
vote
0
answers
187
views
Unitary dual of the Heisenberg group over non-archimedean local fields of characteristic two
What is the unitary dual of the Heisenberg group over non-archimedean local fields k of characteristic two? This is well-known for the real Heisenberg group and in fact, when local fields have ...
- 1,702
18
votes
2
answers
1k
views
Albanese variety over non-perfect fields
It is a result of Serre (Morphismes universels et varietes d'albanese) that the Albanese (abelian) variety, i.e. an initial object for morphisms to (torsors over) abelian varieties, exists for any ...
- 1,553
2
votes
1
answer
259
views
Isogeny from kernel in higher dimensional abelian varieties
Is there any kind of generalization of Vélu formulae for Jacobians?
The question technically is:
Given a hyperelliptic curve $H/\overline{\mathbb{F}}_q$ and its jacobian $J_H$ of dimension $2$, if $...
6
votes
0
answers
467
views
Torsionfree crystalline cohomology implies torsionfree etale cohomology?
Let $X$ be a smooth projective variety over an algebraically closed field $k$ of characteristic $p>0$. Let $W=W(k)$ be the ring of Witt vectors of $k$.
Assume that the crystalline cohomology $H^2_{...
- 91
3
votes
1
answer
283
views
Polarization on Prym varieties
Let $C\rightarrow C'$ be a double cover of curves, the restriction of the polarisation of $J_C$ to the Prym varieties $P$ attached to this double cover, gives a polarization on $P$,
Does this ...
- 39
5
votes
0
answers
354
views
Line bundles of characteristic $0$ on abelian varieties
Maybe what I'm asking is well-known to the experts, however I was not able to find a suitable reference. Any pointer to the literature will be appreciated.
For the notation and teminology, I refer ...
- 66.3k
7
votes
0
answers
374
views
Arbitrarily non-degenerate Hodge to de Rham spectral sequence
It is true that for any $n$ there exists a compact complex manifold which Frolicher spectral sequence does not degenerate at the $n$-th page(https://arxiv.org/pdf/0709.0481.pdf).
Does the analogous ...
- 7,377
3
votes
1
answer
265
views
Geometric (or at least non-cohomological) proof of Lefschetz trace formula for curves
There is an isomorphism between (rational) correspondences on a curve $C/\mathbb{F}_p$ orthogonal to the "valence zero" ones (i.e. orthogonal under intersection pairing to $\{*\}\times C$ and $C\times ...
- 693
15
votes
0
answers
517
views
Zariski vs etale torsors over abelian varieties
Question. Let $A$ be an abelian variety (say, over the complex numbers), $G$ an algebraic group, $c$ a class in $H^1_{\rm et}(A, G)$. Denote the multiplication by $N$ map on A by $m_N:A\to A$. Does ...
- 16.2k
4
votes
1
answer
622
views
finitness of syntomic/fppf cohomology with coefficients in a finite flat group scheme
Let $X/k$ be a smooth projective variety over a finite field of characteristic $p$ and $\mathscr{A}/X$ be an Abelian scheme.
Is then $H^1_\mathrm{SYN}(X,\mathscr{A}[p]) = H^1_\mathrm{fppf}(X,\mathscr{...
user19475
0
votes
1
answer
204
views
Prime divisors on the Jacobian of a genus 2 curve over $\mathbb{F}_q$ under the $n$ map
Let $H$ be a hyperelliptic curve geometrically irreducible of genus 2 over $\mathbb{F}_q$ with a rational point $\infty$ given by the model $y^2=f(x)$, where $f$ is monic of degree 5.
Consider the ...
18
votes
1
answer
1k
views
On Tate's "Endomorphisms of Abelian Varieties over Finite Fields", sketch of proof of main result?
Let $k$ be a field, $\overline{k}$ its algebraic closure, and $A$ an abelian variety defined over $k$, of dimension $g$. For each integer $m \ge 1$, let $A_m$ denote the group of elements $a \in A(\...
user97565
5
votes
1
answer
626
views
What is the maximal order of the automorphism group of a given Shimura variety?
Background:
Given an elliptic curve $E$, it seems that $max(ord(Aut(E)))$ over the prime 2 is 24, and $(max(ord(Aut(E)))$ over the prime 3 is 12.
The endomorphism algebra of an elliptic curve over $...
- 3,539
1
vote
0
answers
149
views
Smoothability of stable curves in mixed characteristic
Let $R$ be a complete DVR with residue field $k$ algebraically closed of characteristic $p$ and fraction field $K$ of characteristic zero. Let $C$ be a stable curve (in the sense of Mumford-Deligne) ...
- 2,323
1
vote
0
answers
118
views
Poincare complete reducibility with an endomorphism ring
Let $A$ be an abelian variety over a field of characteristic $0$ and let $R \subset \mathrm{End}(A)$ be a (commutative, if that matters) subring. Suppose that $B \subset A$ is an $R$-stable abelian ...
- 2,663
2
votes
0
answers
345
views
Examples of semi-stable models of curves
Let $R$ be a discrete valuation ring with fraction field $K$ of characteristic zero and residue field $k$ of characteristic $p>0$. Assume $k$ is algebraically closed. I want to produce examples of ...
- 2,323
2
votes
0
answers
248
views
What are the point-like objects in $D^b(X)$ when $X$ is an abelian variety?
Let $X$ be a projective variety over an algebraically closed field $k$ and $D^b(X)$ be the derived category of bounded complexes of coherent sheaves on $X$. Let $S$ be the Serre functor on $D^b(X)$. ...
- 9,019
10
votes
1
answer
845
views
How to compute the formal group law of a Shimura variety (using its invariant differentials)?
I have a 3 dimensional abelian variety whose formal group law breaks into a formal summand where one of the pieces is one-dimensional.
I am desperately wondering how to compute the $p$-series of ...
- 3,539
4
votes
1
answer
272
views
Finiteness of cohomology with finite coefficients
Let $G$ be a finite abelian group and let $S$ be a variety over $\mathbb{F}_p$. It is natural (I think) to expect that the cohomology group $H^i(S,G)$ is finite. But with respect to which cohomology?
...
- 41
1
vote
0
answers
102
views
Base locus of the Eigen spaces of global sections of totally symmetric line bundle
Let $X$ be an abelian surface over complex numbers. Let $L$ be a totally symmetric line bundle of type $(r,r)$ for $r\geq 2$.
The involution $i$ on $X$ gives an action on $H=H^0(X,L)$ thus giving a ...
- 179
2
votes
0
answers
187
views
How can I find a basis of $H^0(Y, -K_Y)$ for the del Pezzo surface $Y$ of degree 5?
Consider the surface $X \subset \mathbb{P}^2_{x, y, z}\times\mathbb{P}^1_{t, s}$:
$$
s^3y^2 + t^3yz = (t+s)x^2 + tsxz + t(t^2 +s^2)z^2
$$
over a finite field $k = \mathbb{F}_{2^d}$, $\mathrm{gcd}(d, 6)...
- 1,833
11
votes
3
answers
552
views
When $k = \mathbb{F}_q$ finite field, $X$ always has $k$-rational point, and so $A \simeq X$?
Let $k$ be an arbitrary field. Let $(A, e)$ be an abelian variety over $k$, and let $X$ be a torsor for $A$, i.e. $X$ is a proper smooth $k$-variety, and there is an $A$-action acting $:A \times X \to ...
user97565
3
votes
1
answer
484
views
Harish-Chandra isomorphism for characteristic $p$
I am trying to understand the proof of Theorem 1 from this paper V. Kac and B. Weisfeiler (Indag. Math. 1976, DOI link).
Theorem 1. Let either $p\neq 2$ or $\varrho\in X(\mathscr{T})$. Then $\gamma(...
- 385
4
votes
0
answers
173
views
Are there methods to compute the induced action of Frobenius map on the Neron-Severi group of a supersingular abelian surface over a finite field?
Let $A$ be a supersingular abelian surface over a finite field $\mathbb{F}_q$. In that case the Neron-Severi group $NS(A\otimes\overline{\mathbb{F}_q})$ is the lattice of rank $6$. Are there methods ...
- 1,833
1
vote
0
answers
189
views
Mumford's claim on the quasi-projectiveness of the coarse moduli of ppav over $\mathbb{Z}$
In paragraph 3 of chapter 7 of Mumford's Geometric Invariant Theory, the author proves that the coarse moduli space $A_{g,d,n}$ of abelian varieties of dimension $g$, with a degree $d^2$ polarization ...
user85435
0
votes
0
answers
263
views
Translation morphism of abelian variety
I am new to study of abelian varieties. But I need it in my work. Let $X$ be a ppav, say a Jacobian of a genus 2 curve. Let $L$ be a very ample line bundle on $X$.
The set $K(L)=\{x\in X : T_x^* L\...
- 179
6
votes
1
answer
696
views
Selmer Group versus Selmer Variety
For an abelian variety $A$, the $p$-adic Selmer group is defined to be the subset of $H^1(G_k,H_1^{et}(A;\mathbb{Q}_{p}))$ whose restriction to $G_{k_v}$ is in the image of $A(k_v)$ for all places $v$ ...
- 15.4k
2
votes
2
answers
321
views
What are sufficient and necessary conditions to be a generalized Zariski surface over a finite field?
Let $X$ be an absolutely irreducible reduced surface over a finite field $k$ of characteristic $p$. What are sufficient and necessary conditions for $X$ to be a generalized Zariski surface over $k$ (...
- 1,833
2
votes
0
answers
148
views
Purely inseparable $k$-rational dominant maps between an absolutely irreducible $k$-surface and $\mathbb{P}^2$
Let $X$ be an absolutely irreducible surface over an algebraically closed or finite field $k$ of characteristic $p$. Is it true that the following conditions are equivalent?
There is a purely ...
- 1,833
0
votes
1
answer
354
views
Reference for Hodge loci on moduli space of principally polarised abelian varieties
Can someone suggest a reference to study Hodge locus, period mappings and period domains on moduli space of principally polarised abelian varieties?
More precisely, consider the moduli space of ...
- 1,981
5
votes
0
answers
206
views
Real field of definition of an abelian variety of CM-type?
Question 0. Can a field of definitions (without automorphisms) of an (almost arbitrary) abelian variety of CM-type, originally defined over ${\mathbb{C}}$,
be chosen to be a totally real number ...
- 14.2k
2
votes
0
answers
137
views
Is a supersingular Kummer surface $k$-unirational in characteristic 2?
Let $k$ be a perfect field of even characteristic. Consider the simplest example of a supersingular genus 2 curve, i.e.,
$$
C\!: y^2 + y = x^5.
$$
By the article of J. S. Müller "Explicit Kummer ...
- 1,833
11
votes
0
answers
310
views
Surfaces with $q=2$ and generically finite Albanese map
I have a family of surfaces of general type $S$ with $q(S)=2$, and such that the Albanese map $$\alpha \colon S \longrightarrow A:=\mathrm{Alb}(S)$$ is generically finite of degree $n$. By a result of ...
- 66.3k
10
votes
1
answer
577
views
Does every Shimura variety contain a generic point defined over a number field?
This question is related to my previous question, to which I got a partial answer.
Consider the cyclotomic field $L={{\mathbb{Q}}}(\zeta_8)={{\mathbb{Q}}}(\sqrt{2},i)$, where $\zeta_8$ is a primitive ...
- 14.2k
11
votes
2
answers
653
views
Abelian variety with prescribed endomorphism ring
Consider the cyclotomic field $L={{\mathbb{Q}}}(\zeta_8)={{\mathbb{Q}}}(\sqrt{2},i)$, where $\zeta_8$ is a primitive 8-th root of unity. Let $\Lambda={{\mathbb{Z}}}[\zeta_8]$ denote the ring of ...
- 14.2k
4
votes
1
answer
746
views
Vanishing of $\text{Ext}^2$ sheaf from abelian variety to multiplicative group
Does anyone know a proof or reference for the following statement? Or if it's false (which seems unlikely to me), a counterexample?
Let $k$ be a field (maybe we need it to be perfect) and $A$ an ...
- 3,605
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
6
votes
1
answer
551
views
Fields generated by torsion points of CM elliptic curves
I'm using the same setup as Corollary 1.7 on p. 44 of de Shalit manuscript (Iwasawa theory of elliptic curves with complex multiplication).
I think there is a mistake in his Corollary 1.7 and I'm ...
- 7,609
8
votes
1
answer
823
views
Does complex multiplication for higher dimensional abelian varieties give some generalization of class field theory?
I am currently learning some aspects of the theory of complex multiplication for elliptic curves, and the relationship with class field theory.
As I understand it, there is a very special class of ...
- 3,058
5
votes
1
answer
704
views
How to construct an abelian variety with CM by a given CM field?
Let $F$ be a totally real number field, and let $K$ be a quadratic extension of $F$ which cannot be embedded into $\mathbb{R}$.
Then $K$ is a so called CM field.
For instance, take $F = \mathbb{Q}(\...
- 11.3k
4
votes
0
answers
176
views
Is a Kummer surface unirational over a sufficiently large finite field of characteristic 2?
Let $A$ be a supersingular abelian surface over a sufficiently large finite field $\mathbb{F}_q$ of characteristic $2$ and let $K_A = A/(-1)$ be the Kummer surface. Shioda ("Kummer surfaces in ...
- 1,833
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
11
votes
0
answers
524
views
Singular curve on an abelian surface
Let $C_2$ be a smooth genus $2$ curve and $J(C_2)$ its Jacobian. It is well known that the blow-up of $J(C_2)$ at the origin $o$ is isomorphic to the second symmetric product $\textrm{Sym}^2(C_2)$, ...
- 66.3k
2
votes
2
answers
328
views
How to prove that $A$ is supersingular iff the Picard number $\rho(A)$ is equal to the second $l$-adic Betti number $b_2(A) = 6$?
Let $A$ be an abelian surface over algebraically closed field $k$ of characteristic $p > 2$. How to prove that $A$ is supersingular (in other words, there is an isogeny between $A$ and $E^2$, where ...
- 1,833
5
votes
1
answer
251
views
Bilinearity of the Cassels-Tate pairing
Let $K$ be a number field and let $A$ be an abelian variety over $K$ (I'm mostly interested in the case that $A$ is an elliptic curve). We use $v$ to denote places of $K$ and we write $H^i(k, A)$ for ...
user74564
2
votes
0
answers
336
views
Reduction "modulo $p$" of $\mathfrak{p}$-torsion points of CM elliptic curves
Let $E/L$ be an elliptic curve defined over a number field $L$. Assume moreover that $E$ has complex multiplication by an imaginary quadratic field $K$. Let $\mathfrak{p}$ be a prime ideal of $K$. ...
- 7,609
5
votes
0
answers
177
views
Is a Kummer surface over an finite field $\mathbb{F}_q$ supersingular iff $\mathbb{F}_q$-unirational?
Let $A$ be an abelian surface over an finite field $\mathbb{F}_q$. In particular, I am interested in the case when $A$ is a Jacobian variety. Is the Kummer surface $K_A/\mathbb{F}_q$ Shioda-...
- 1,833