Skip to main content

All Questions

Filter by
Sorted by
Tagged with
4 votes
3 answers
890 views

the dual abelian scheme

There are plenty of sources discussing dual abelian varieties, but I'm looking for a reference that discusses the construction and properties of the dual abelian scheme. I'm willing to accept general ...
1 vote
0 answers
220 views

Dimension of faithful irreducible representations of $\mathbb{Z}_q\rtimes \mathbb{Z}_{p^2}$ in characteristic p,q

Let $p,q$ be primes s.t. $q=np+1$. Denote $m=p^2$. Then $\mathbb{Z}_p$ acts non-trivially on $\mathbb{Z}_q$, so we have a non-abelian semi-direct product $\mathbb{Z}_q\rtimes \mathbb{Z}_m$, with the ...
4 votes
1 answer
998 views

Dimension of irreducible representations in characteristic p

Hi, I know that over $\mathbb{C}$ the dimension of an irreducible representation of a finite group $G$ must divide the order of the group. I've read somewhere that if $p$ does not divide the order of ...
15 votes
4 answers
2k views

Torsion points in Abelian varieties over number fields

Hello, Suppose $A$ is an Abelian variety of dimension $g$ over a number field $k$. Then using height functions one can show that there are non-torsion points in $A(\bar k)$. This looks like an ...
8 votes
0 answers
244 views

Corresponding notion of unramified for motives (or de Rham cohomology)

The etale cohomolgoy of a variety $X$ over a number field $K$ is a Galois representation of $\mathrm{Gal}(\overline K/K)$ with some properties coming from $X$, e.g., it is unramified outside $S$ if $X$...
2 votes
0 answers
377 views

Which curves cut the Hyperelliptic locus?

Consider the moduli space $\mathcal{A}_{g,n}$ of abelian varieties with some level $n \geq 3$ structure. For simplicity, we just denote it by $\mathcal{A}_{g}$ and drop $n$. Denote the locus of ...
4 votes
1 answer
434 views

(3,3) abelian surface and k3 surfaces

SOrry for the very specific question, but curiosity bites.... So here's the story: an idecomposable principally polarized abelian surface is embedded in $P^8=|3\Theta |^* $ as a deg 18 surface A. ...
4 votes
0 answers
289 views

Does the Albanese map satisfy Torelli's theorem

Let $M_h$ be the moduli space of canonically polarized varieties with Hilbert polynomial $h$. Let $M_h \to A_g$ be the Albanese map, with $g$ an integer which depends on $h$ and $A_g$ the moduli space ...
28 votes
3 answers
2k views

Intuitive pictures in characteristic p

This is a tough one, but does anyone know of any images that recall characteristic p geometry (over algebraically closed fields) in some sense? It is not enough if it is some picture that can be also ...
1 vote
0 answers
259 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$ ...
10 votes
0 answers
323 views

The mod 3 reduction of some powers of delta

Let f in Z/3[[x]] be the mod 3 reduction of the Fourier expansion of the normalized weight 12 cusp form delta for the full modular group. The exponents appearing in f are all 1 mod 3. Fix k>0 and ...
0 votes
0 answers
150 views

descent of a complex of sheaves

Let X a projective variety over an algebraically closed field on which an abelian variety $A$ acts freely. Then $X/A$ is a projective variety. Let $f:X\rightarrow X/A$ Let $K\in D_{c}^{\leq 0}(X,\bar{...
1 vote
1 answer
806 views

complex multiplication

For an abelian variety $A$, it is said to be have $complex \ multiplication$ if $\mathrm{End}(A) \otimes_{\mathbb{Z}} \mathbb{Q}$ contains a number filed $F$ of degree $2 \cdot \mathrm{dim} (A)$. (...
5 votes
1 answer
865 views

Properties of subvarieties of a simple abelian variety

Let $A$ be a simple abelian variety over a field $k$. (For simplicity, we assume char $k =0$.) Let $X$ be a smooth projective geometrically connected variety over $k$ of positive dimension. Suppose ...
14 votes
2 answers
1k views

Can a reductive group act non-linearly on a vector group?

Let $k$ be a field; I'm going to discuss linear algebraic groups over $k$. The question I'll pose is only interesting when the characteristic is $p>0$. 1. Some motivation A vector group is an ...
10 votes
2 answers
897 views

What are some consequences of the Mumford-Tate conjecture?

Let $A/K$ be an abelian variety over a number field. On the one hand we have the singular cohomology group $$V := H^1(A(\mathbb{C}),\mathbb{Q})$$ with respect to some fixed embedding $K \subset \...
4 votes
0 answers
249 views

Ordinary vs Non-ordinary for GL(2)-type Abelian Surfaces over Q

Let $A_f$ be an abelian surface over $\mathbf{Q}$ of $\mathbf{GL}_2$-type arising from a weight $2$ cuspidal eigenform $f\in S_2(\Gamma_0(N))$. What is known (or expected to be true) for the size of ...
9 votes
1 answer
1k views

Top chern class in positive characteristic

Given a nonsingular, projective variety $X$ of dimension $n$ over an algebraically closed field $k$. Over $k=\mathbb{C}$, the top chern class $c_n(T_X)$ of the tangent sheaf is the Euler ...
4 votes
0 answers
218 views

p-divisible group over an algebraically closed field of characteristic p arises from abelian variety

It may be trivially true or trivially false, just a quick ask, if $k=\overline{k}$ and char k = p>0, X is a p-divisible group over $k$, suppose the Newton polygon of $X$ is symmetric, then there ...
10 votes
0 answers
516 views

About the Bloch conjecture on entire curves

The Bloch conjecture states the following: Bloch's conjecture. Let $X$ be a compact complex Kähler variety such that the irregularity $q = h^0(X,\Omega^1_X)$ is larger than the dimension $n = \dim X$....
9 votes
1 answer
629 views

On simple factors of modular jacobians: endomorphism ring and simplicity of mod p reduction

Let $A_f$ be the abelian variety over $\mathbf{Q}$ arising as a $\mathbf{Q}$-simple factor of the Jacobian $J_0(N)$ of the modular curve associated to a normalized newform $f$ of weight $2$ on the ...
4 votes
0 answers
320 views

Dieudonné modules over rings of charateristic zero

Dear Colleagues, would appreciate if you could recommend references, if such a theory exits, for the following question. Let $A$ be an Abelian scheme over $\text{Spec}(R)$, where $R$ is a subring of ...
1 vote
1 answer
700 views

CM liftings of abelian varieties and liftings of Frobenius

It is well-known that if $A$ is an ordinary abelian variety over a finite perfect field $ k$ of characteristic $ p>0$ and $ W=W(k)$ is the ring of Witt vectors over $ k$, then the canonical ...
3 votes
0 answers
936 views

Grothendieck-Messing theory

Hello, I would like to work out some examples of deformation of isogenies via Grothendieck-Messing theory. Let's take an easy example: Let A be an abelian variety over $k=\overline{\mathbb{F}_p}$ and ...
6 votes
1 answer
404 views

Genus 2 curves vs Abelian surfaces

In the Satake compactification of abelian surfaces we have the following degeneration of a family of abelian surfaces in $\mathbf{H}_2$ $lim_{t \to \infty}\begin{pmatrix} it & b \\\ b & \tau\...
3 votes
3 answers
557 views

Another question related to the isogeny theorem for elliptic curves

I was reading the following question: About isogeny theorem for elliptic curves and was interested in the following statement at the end of Torsten Ekedahl's answer: "Note also that the situation is ...
7 votes
2 answers
494 views

Jacobians defined over smaller fields

Let $L/K$ be an extension of number fields. Let $X$ be a curve over $L$ which can not be defined over $K$. Let $J(X)$ be the Jacobian of $X$ over $L$. In general, the Jacobian $J(X)$ probably doesn'...
1 vote
0 answers
192 views

"Higher" Tangent spaces in char-p geometry - definition?

Hi, everyone! I have some construction that requires exact definition. I considered polynomial homomorphisms from $\Bbbk$ to $U_n(\Bbbk)$ (unitriangular matrices), where $char \Bbbk = p>0$ (more ...
14 votes
1 answer
729 views

Characterizations of Abelian varieties (3-folds) in positive characteristic

From this question Characterizations of complex Abelian varieties (especially 3-folds) among projective nonsingular varieties? I learned that if $X$ is a smooth complex projective variety of dimension ...
3 votes
1 answer
320 views

Explicit period lattices for abelian surfaces

Given an explicit description (as an intersection) of an abelian surface $A$ is there an algorithm for computing the period lattice of the surface? For the specific examples that I am interested in, ...
2 votes
1 answer
250 views

Can we control the size of the intersection of two abelian subfactors of an abelian variety ?

Let $A$ be an abelian variety over an algebraically closed field $K$, and $B$ an abelian subvariety. We know (for instance, from Milne course on AV) that there is an abelian "cofactor" $B'\subset A$ ...
14 votes
1 answer
1k views

Frobenius splitting of Fano varieties

Dear MO, Question 1. Do you know of an example of a Fano variety which is not Frobenius split? Background (1) A variety $X$ in characteristic $p$ is called Frobenius split if there is a "$p$-th ...
1 vote
1 answer
851 views

Serre-Tate canonical lifts for finite fields

A result of Serre-Tate states that we can canonically lift an ordinary abelian variety over a perfect field $k$ of positive characteristic to an abelian scheme over the ring of Witt vectors of $k$ and ...
3 votes
1 answer
1k views

books (or notes) on complex multiplication

This would be a vague question, but I still want to ask here. Do you have any recommended book on complex multiplicaton. I know only 2 books: Shimura's book ...
4 votes
0 answers
282 views

Does semi-stable reduction behave well with Weil restriction of scalars

Let $A$ be an abelian variety over a number field $K$ with semi-stable reduction over $O_K$. Does the Weil restriction $\textrm{Res}_{K/\mathbf{Q}}A$ of $A$ to $\mathbf{Q}$ have semi-stable reduction ...
11 votes
1 answer
761 views

Mordell-Weil group of the universal abelian scheme

Let $n>2$ and let $k$ be either $\bf Q$ or a finite field whose characteristic is prime to $n$. Let $A_{g,n}$ be the moduli scheme, which represents the functor, which with every $k$-scheme $S$ ...
1 vote
0 answers
162 views

Construction of RM abelian variety from eigenform

Let $f$ be a normalized eigenform of weight $2$ level $N$. If the Fourier coefficients of $f$ generate a totally real field $F$, then we associate to $f$ a system of $\ell$-adic Galois representations ...
0 votes
2 answers
336 views

Does the self-product of a $g$-dimensional abelian variety contain an abelian variety of dimension smaller than $g$ at some point

Let me be more precise than the title. (This will be my last attempt to do something with abelian varieties. Sorry for all the basic questions. The answers have been great!) Let $A$ be a simple ...
0 votes
1 answer
298 views

Is any simple abelian variety covered by a non-simple abelian variety

Let $A/k$ be a simple abelian variety. Does there exist a non-simple abelian variety $B/k$ and a finite homomorphism $f:B\to A$ over $k$? I don't need $f:B\to A$ to be etale.
3 votes
1 answer
492 views

Are abelian varieties degree two covers of some projective space

Let $A$ be an abelian variety over a field $k$ of dimension $g\geq 2$. There exists a finite morphism $A\to \mathbf{P}^g_k$. Here's the question. Does there exist a finite morphism $A\to \mathbf{P}^...
19 votes
1 answer
1k views

Is there a connected $k$-group scheme $G$ such that $G_{red}$ is not a subgroup?

I've been trying a learn a little more about group schemes by working through a set of exercises on Brian Conrad's website. Exercise 8.3 of http://math.stanford.edu/~conrad/papers/gpschemehw1.pdf ...
10 votes
6 answers
2k views

Proofs in the same vein as Ax-Grothendieck

I would like to see other examples of (ideas of) proofs and results in the same vein as the proof of the Ax-Grothendieck theorem. To explain what I mean by "in the same vein", I will quote from the ...
6 votes
2 answers
709 views

Ample vector bundles on complex tori

Let $X$ be a $n$-dimensional complex torus and $\omega$ a Kähler form on $X$. Then, it is well known that a real $(1,1)$-class $[\alpha]\in H^{1,1}(X,\mathbb R)$ is a Kähler class if and only if for ...
1 vote
0 answers
522 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 ...
7 votes
0 answers
207 views

Unicritical rational functions on curves in characteristic $p$

Let $k$ be an algebraically closed field of positive characteristic $p$, and let $X_{/k}$ be a smooth projective connected curve. Let $x_0$ be a point of $X(k)$. How precisely can one describe the ...
0 votes
0 answers
359 views

Chern class of line bundle inducing a principal polarisation

What can one say about the Chern class $c_1(\mathcal{L})$ of a line bundle $\mathcal{L}$ on an Abelian variety $A$ inducing a (principal) polarisation $A \to A^\vee$? Why am I asking this? My ...
4 votes
1 answer
918 views

Heisenberg group in characteristic two

I have seen two constructions called the Heisenberg group. If $k$ is a field of characteristic not equal to $2$ and $V$ is a $2n$-dimensional vector space over $k$ with symplectic form $\omega : V \...
10 votes
0 answers
492 views

Obstructions to deforming an abelian variety

Are abelian varieties unobstructed? That is, given an abelian scheme $X \to \mathrm{Spec}R $ for $R$ a local artinian ring and $\mathrm{Spec} R \to \mathrm{Spec} S $ a nilpotent thickening, can we ...
4 votes
2 answers
1k views

Is the absolute Galois group of the field of Laurent series in positive characteristic finitely generated?

If $K$ is an algebraically closed field of characteristic $p>0$, then $K((t))$, the field of Laurent series with coefficients in $K$, has infinitely many Galois extensions of degree $p$. Indeed, ...
2 votes
1 answer
359 views

kernel of an isogeny and coker of its induced map on the Tate module

In a proof in Milne's note "Abelian Variety" (top on p.52), I saw an equality: $ \mathrm{Ker}(\beta)(l) = \mathrm{Coker}(T_{l}(\beta))$, here $\beta$ is an (separable) isogeny of an abelian variety $A/...

1
18 19
20
21 22
25