9
votes
1answer
565 views

The “Level N modular equation for delta” in characteristics 3, 5, 7 and 13

When $N > 1$, the modular forms $\Delta(z)$ and $\Delta(Nz)$ are algebraically independent over the complexes, and the same then is true of their expansions at infinity. But using the fact that the ...
10
votes
0answers
326 views

Katz--Mazur for abelian varieties

Over $\mathbb Z$, there is a smooth DM stack $A_g$ classifying abelian varieties. Over $\mathbb Z[\frac 1N]$, there is finite etale cover $A_g(N)_{\mathbb Z[\frac 1N]}\to A_g\otimes\mathbb Z[\frac ...
4
votes
0answers
133 views

Are these subspaces of $\mathbb{Z}/3[[x]]$ stable under the shallow Hecke algebra?

This is a characteristic $3$ analog of part of my earlier question, "Are these two subspaces of $\mathbb{Z}/2[[x]]$ the same?" Notation Fix a prime $N$ other than $3$. Let $F,G \in ...
4
votes
1answer
188 views

$(\varphi, \Gamma)$-module of dimension 2 modulo $p$

Let $p$ be a prime number $\geq 3$. Let $V$ be a representation of $Gal(\bar{\mathbb{Q}}_p/ \mathbb{Q}_p)$ with coefficients in $\mathbb{F}_p$. Assume $V$ is a non-split extension of two characters ...
15
votes
1answer
608 views

Higher level analogs of Nicolas-Serre theory

NICOLAS-SERRE THEORY Let $F \in Z/2[[x]]$ be $x+x^9+x^{25}+...$, the exponents being the odd squares, and $V$ be the space spanned by the $F^k$ with $k$ odd. Nicolas and Serre define formal Hecke ...
4
votes
0answers
150 views

Does this space of mod 2 modular forms admit a (Z/8)* degree decomposition?

Fix an odd N>0. Let M consist of all odd elements of Z/2[[x]] that are the mod 2 reductions of elements of Z[[x]] arising as the Fourier expansions of modular forms for (Gamma_0)(N); it's easy to see ...
4
votes
0answers
105 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 an element of ...
5
votes
0answers
288 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 structure. Matt ...
7
votes
0answers
200 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 gamma_0(p). In ...
10
votes
0answers
274 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 ...
3
votes
0answers
391 views

Explicit description of O^{cris}_n in Fontaine/Messing

Let $k$ be a perfect field of characteristic $p$, $W(k)$ the Witt ring and $K$ its quotient field. In their article "$p$-adic periods and $p$-adic etale cohomology" Fontaine and Messing give in II.1.4 ...
3
votes
0answers
273 views

Invertible Hasse-Witt for non-ordinary curves

Assume that $S$ is a smooth curve of over a field $k$ of characteristic $p>0$ and $f\colon X\to S$ is a relative curve over $S$ (i.e., the fibers are curves). It is well-known that when all the ...
9
votes
0answers
438 views

Function fields of characteristic p modular curves, and mod p reductions of the classical modular equation

Let l and p be distinct primes, l>2. There are "characteristic p modular curves" X_0(l) and X(l), defined over an algebraic closure, K, of Z/p, solving moduli problems for elliptic curves with some ...
4
votes
1answer
360 views

More questions involving characteristic 2 theta series identities

In my answer to my earlier question, "Existence of certain identities involving characteristic 2 thetas", I established some curious identities when the thetas have prime "level" congruent to 1 mod 4 ...
6
votes
2answers
482 views

How does one compute induced representations for modular representations?

The set-up is this: Let $G$ be a finite group, and $H$ a subgroup. We are given an irreducible representation of $H, \rho: H\rightarrow GL_n(K)$ (I will notationally identify $\rho$ with its ...
13
votes
1answer
532 views

Help wanted with Chebotarev condition in characteristic 2

Having promised a longtime collaborator that I would clear my plate to finish up some joint work of ours, I am swallowing my pride and tossing up the following technical point of function field ...
7
votes
2answers
396 views

Tameness for the Galois closure of a map of curves

Say we are working over some $K=\overline{K}$, of characteristic $p>0$. Let $\phi: Y\rightarrow X$ be a nonconstant map of smooth projective curves. To this map we can associate a map $\psi: ...
0
votes
2answers
732 views

non discrete valuation ring [closed]

Hi, I am looking for examples of non-discrete valuation rings. Could you help me? Thanks
11
votes
0answers
479 views

What's known about the mod 2 reduction of the level l Jacobi modular equation?

Motivation: Let $\ell$ be an odd prime. Let $A$ in ${\mathbb Z}/2[[x]]$ be $x+x^9+x^{25}+x^{49}+...$, and $B=A(x^\ell)$. One can use the level $\ell$ Jacobi modular equation to get a polynomial ...
9
votes
0answers
884 views

Do the Standard Conjectures imply parts of the “Weil II” Riemann Hypothesis?

It is known that Grothendieck's Standard Conjectures on algebraic cycles imply the Riemann Hypothesis of the original Weil Conjectures. However, do they also say something about the version of the ...
4
votes
0answers
328 views

Given two linear operators A and B over a finite field, is there a third operator C whose kernel is the intersection of kernels of A and B?

Let $V$ be a finite dimensional linear space over a finite field $k$. Let $A$ and $B$ be two endomorphisms of $V$. Question 1. Is there an endomorphism $C$ of $V$, which is expressed in terms of ...
6
votes
1answer
458 views

Geometric (or intuitive) interpretation of additional derivatives in characteristic p > 0

In characteristic $p > 0$ there are "extra" differential operators, i.e., ones that are outside the algebra generated by first-order derivations. Is there any interpretation of these operators in ...
20
votes
3answers
2k views

Is there a nice proof of the fact that there are (p-1)/24 supersingular elliptic curves in characteristic p?

If $k$ is a characteristic $p$ field containing a subfield with $p^2$ elements (e.g., an algebraic closure of $\mathbb{F}_p$), then the number of isomorphism classes of supersingular elliptic curves ...
22
votes
1answer
1k views

Wanted: Quadratic Space in Characteristic 2 as a Counterexample to a Theorem of Arf

Hi. Peter Roquette sent me an email asking for an example of a quadratic space in characteristic 2 having certain features. I have no idea on this, but maybe someone reading this does. He would ...
4
votes
2answers
349 views

lower bound for torsion of abelian varieties

Let $A$ be an abelian variety defined over a field $K$ of characteristic $p>0$. Let $A[\ell]$ be the group of $\ell$-torsion points, $\ell\neq p$ a prime. Are there positive constants $C, \eta$ ...
20
votes
3answers
1k views

One dimensional (phi,Gamma)-modules in char p

I would like to better understand the simplest case of the correspondence between Galois representations and (phi,Gamma)-modules. Namely, consider 1-dimensional Galois representations of $G_{Q_p}$ ...
25
votes
3answers
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 ...
19
votes
4answers
3k views

What would a “moral” proof of the Weil Conjectures require?

At the very end of this 2006 interview (rm), Kontsevich says "...many great theorems are originally proven but I think the proofs are not, kind of, "morally right." There should be better ...
21
votes
2answers
1k 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 ...
6
votes
3answers
2k views

congruent to 1 mod p

This is a somewhat vague question: for a prime number p, we often see that various counts come out to be 1 modulo p. What are the possible reasons for this? Here are some I've encountered: For some ...
14
votes
2answers
578 views

Can the failure of the multiplicativity of Euler factors at bad primes be corrected?

Warning: This one of those does-anyone-know-how-to-fix-this-vague-problem questions, and not an actual mathematics question at all. If $X$ is a scheme of finite type over a finite field, then the ...
19
votes
4answers
2k 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 ...
6
votes
0answers
393 views

On periods of algebraic integers modulo rational primes

I run, somewhat indirectly, into the following problem and I have no hints where to look in the literature in search for answers or clues. Let $K$ be a number field, which we may assume Galois if it ...
11
votes
2answers
1k 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 ...
32
votes
2answers
4k 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 ...
8
votes
2answers
536 views

How does the order of a pole of a zeta function indicate any geometric information?

Here, I'm primarily concerced about zeta functions of hypersurfaces over fields of finite characteristic. Assume $F_q$ to be a finite field with q elements. Consider the zeta function of the ...
2
votes
1answer
615 views

A strange logical implication in algebraic geometry

So there's an old theorem of Lang and Weil showing that the Riemann hypothesis for curves over finite fields implies a kind of quasi-riemann hypothesis for surfaces over finite fields. I am ...
12
votes
2answers
662 views

Is the tangent space functor from PD formal groups to Lie algebras an equivalence?

The previous version of this question was rather badly broken, and I hope this version makes some sense. There have been a few questions on MathOverflow about how much representation-theoretic ...
1
vote
2answers
1k views

Reference of primitive root mod p

Can any body give me a reference of the result about primitive root mod p for a class of prime number p. The result that I am looking for is something along this line: $2$ is a primitive root mod ...
4
votes
2answers
635 views

Notation/name for “Artin-Schreier roots”?

If x is an element of a field K and n is a positive integer, we have both a symbol and a name for a root of the polynomial t^n - x = 0: we denote it by x^{1/n} and call it an nth root of x. Of course ...
15
votes
3answers
1k views

Elkies' supersingularity theorem in higher dimension

The following is a theorem of Elkies: Let $X$ be an elliptic curve over $\mathbb{Q}$. Then there are infinitely many primes $p$ such that the action of Frobenius on $H^1(\mathcal{O}, X)$ is zero. ...
10
votes
2answers
742 views

Does a universal Frobenius map exist?

For any prime p, one has the Frobenius homomorphism Fp defined on rings of characteristic p. Is there any kind of object, say U, with a "universal Frobenius map" F such that for any prime p and any ...
10
votes
2answers
355 views

Counting points on varieties of low codimension

The graduate students here at MIT have been thinking about questions like the following: Over $\mathbb{F}\_q$, how many symmetric matrices are there with nonzero determinant and $0$'s on the diagonal? ...
15
votes
5answers
2k 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, ...
5
votes
4answers
961 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 ...
6
votes
2answers
2k views

What does “supersingular” mean?

Are supersingular primes and supersingular elliptic curves related? (this was essentially a subquestion in my earlier question, but still looks sufficiently different to me to deserve a separate ...
6
votes
1answer
421 views

Ways to characterize supersingular primes?

I've read the definition, and it basically says p is a supersingular prime iff the fundamental domain of a group generated by \Gamma(p) and a matrix ((0, 1), (-p, 0)) is rational. And there's a ...
42
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 statement for 2. So ...
8
votes
4answers
1k views

Equivalent Statements of Riemann Hypothesis in the Weil Conjectures

In the cohomological incarnation, the Riemann hypothesis part of the Weil conjectures for a smooth proper scheme of finite type over a finite field with q elements says that: the eigenvalues of ...