4
votes
0answers
88 views
A subring of the Serre Swinnerton -Dyer ring of level N modular power series
Suppose ell is prime and (N,ell)=1. Consider those power series over Z that are expansions at infinity of modular forms for gamma_0 (N) of weight a multiple of ell-1. I'll say that …
4
votes
1answer
145 views
Gauss mapping in finite characteristic
Suppose that $X\subset\mathbb P^n$ is a $d$-dimentional smooth projective variety (not a linear subspace) over an algebraically closed field. If $\gamma\colon X\to\mathrm{Gr}(d,\ma …
5
votes
1answer
155 views
Quotient of a reductive group by a non-smooth subgroup
This is a continuation of my question http://mathoverflow.net/questions/16261/.
Let $G$ be a smooth, connected, reductive $k$-group over a field $k$ of characteristic $p>0$.
Let $ …
19
votes
1answer
773 views
Have we ever proved any non-solvable case of reciprocity without the Langlands program ?
The reciprocity of the title is the following not completely well-posed problem:
Fix $P(X)$ a monic irreducible polynomial of degree $n$, with coefficients in $\mathbb Z$. "Descri …
1
vote
0answers
219 views
Decomposition theorem for principally 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 dimensio …
2
votes
1answer
126 views
Lifting vector fields to its resolution in char $p$
In this paper 4.7, the authors showed that on a normal variety $X$, if there is a tangent vector field on its smooth locus, then it can be lifted as a logarithmic tangent vector f …
4
votes
0answers
239 views
Are these empirical discoveries about the Serre Swinnerton-Dyer ring of prime level modular power series actual theorems?
In this question Joel Bellaiche constructed an algebra, M, of modular forms for
gamma_0 (N) in finite characteristic (which he called p, but I'll call ell) and asked to know its st …
7
votes
0answers
168 views
Level p characteristic 2 modular forms and thetas
BACKGROUND
Let p be an odd prime. An element of Z/2[[x]] is "modular of level p" if it is the mod 2 reduction of a g in Z[[x]] with g the Fourier expansion of a modular form for g …
16
votes
3answers
891 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 pictu …
4
votes
1answer
227 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 …
1
vote
0answers
96 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 \math …
7
votes
4answers
857 views
Characteristic zero and characteristic $p$ in algebraic geometry
Are there non-trivial (i.e. excluding concepts that can be defined only for $p>0$) statements in algebraic geometry that hold for all fields of characteristic $p$ for all prime $p …
10
votes
0answers
236 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 …
35
votes
12answers
4k views
Is there a high-concept explanation for why characteristic 2 is special?
The structure of the multiplicative groups of Z/pZ or of Zp is the same for odd primes, but not for 2. Quadratic reciprocity has a uniform statement for odd primes, but an extra s …
0
votes
0answers
85 views
Foliation over characteristic positive
Ekedahl wrote about foliation in characteristic positive, over the field $/frac{Z}{pZ}$ as a subsheaft of the tangent sheaft, that is closed over involution and $p$-power, My quest …

