All Questions
583 questions with no upvoted or accepted answers
68
votes
0
answers
4k
views
Constructing non-torsion rational points (over $\mathbb{Q}$) on elliptic curves of rank $>1$
Consider an elliptic curve $E$ defined over $\mathbb Q$. Assume that the rank of $E(\mathbb Q)$ is $\geq2$. (Assume the Birch-Swinnerton-Dyer conjecture if needed, so that analytic rank $=$ algebraic ...
- 20.2k
25
votes
0
answers
1k
views
Status of the Euler characteristic in characteristic p
In the introduction to the Asterisque 82-83 volume on `Caractérisque d'Euler-Poincaré, Verdier writes:
Enfin signalons que la situation en caractéristique positive est loin
d'être aussi ...
- 8,723
24
votes
0
answers
894
views
Nekrasov-Okounkov hook length formula
I am now reading the paper An explicit expansion formula for the powers of the Euler Product in terms of partition hook lengths by Guo-Niu Han. The author rediscovered what he calls the Nekrasov-...
- 609
23
votes
0
answers
832
views
Eichler-Shimura over Totally Real Fields
By Eichler-Shimura over totally real fields I mean the following conjecture.
Conjecture. Let $K$ be a totally real field. Let $f$ be a Hilbert eigenform with rational eigenvalues, of parallel weight $...
- 3,142
21
votes
0
answers
900
views
Deciding whether a given power series is modular or not
The degree 3 modular equation for the Jacobi modular invariant
$$
\lambda(q)=\biggl(\frac{\sum_{n\in\mathbb Z}q^{(n+1/2)^2}}{\sum_{n\in\mathbb Z}q^{n^2}}\biggr)^4
$$
is given by
$$
(\alpha^2+\beta^2+6\...
- 13.5k
20
votes
0
answers
408
views
Ado's theorem and the reduction to positive characteristic
The synopsis: proofs of Ado theorem in positive characteristic are simple, and in characteristic $0$ are difficult. Can one infer the characteristic $0$ case from the positive characteristic case?
The ...
- 2,934
20
votes
0
answers
1k
views
How to approach the Mazur-Wiles paper on Iwasawa theory?
I would like to read and understand the Mazur-Wiles paper on Iwasawa theory: "Class Fields of Abelian Extensions of $\Bbb Q$". What would be the right way to approach this paper?
Currently, my ...
- 7,746
19
votes
0
answers
1k
views
Does this variant of a theorem of Hasse (really due to Gauss) have an "elementary" proof?
BACKGROUND
Here are 3 theorems of varying difficulty. Let $M$ be the $Z/2$ subspace of $Z/2[[x]]$ spanned by $f^k$, with the $k>0$ and odd, and $f=x+x^9+x^{25}+x^{49}+\cdots$. For $g$ in $M$, let $...
- 5,422
17
votes
0
answers
604
views
Trying to reconcile two facts about the Appell-Lerch sum learned from Polishchuk and Zwegers
One of the key characters in the thesis of Zwegers is the modular correction $\tilde\mu(u,v;\tau)=\mu(u,v;\tau)+\frac i2R(u-v;\tau)$ of the Lerch sum $\mu(u,v;\tau)=\frac{e^{\pi i u}}{\vartheta(v;\tau)...
- 18.4k
17
votes
0
answers
1k
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 1N]...
- 18.7k
17
votes
0
answers
788
views
How many Hecke operators span the Hecke algebra?
This is a generalisation of my earlier question about generators for the level 1 Hecke algebra.
Let $\Gamma$ be a congruence subgroup of $\operatorname{SL}_2(\mathbb{Z})$, and $k \ge 1$ an integer. ...
- 37k
16
votes
0
answers
274
views
Why should an abelian variety with few places of bad reduction and a lot of endomorphisms not have many points?
In the paper "Points of Order 13 on Elliptic Curves" by Mazur-Tate, they say in the introduction:
It seemed ... that if such an abelian variety $J$, which has bad reduction at only one ...
- 7,746
16
votes
0
answers
399
views
Power series which are $p$-adic modular forms for all $p$
Suppose that, for some integer $k$, a series $f(q) \in \mathbb Q \otimes \mathbb Z[[q]]$ has the property that for every prime $p$, $f(q)$ is the $q$-expansion of a $p$-adic modular form of weight $k$ ...
- 3,910
16
votes
0
answers
1k
views
Structure of the algebra of mod $p$ modular forms
Let me first define the algebra $M$ I am talking about: let us fix a prime $p$, an integer $N$
not divisible by $p$. For $k$ an integer, let me call $N_k$ the $\mathbb{Z}$-module of modular
forms of ...
- 26.1k
16
votes
0
answers
11k
views
Deligne's letter to Jean-Pierre Serre
I'm looking for another letter of Pierre Deligne, this time to Jean-Pierre Serre (from around 1974 I think), in which he proves that the Galois representation associated to a certain Hecke eigenform ...
15
votes
0
answers
768
views
Wherefore art thou a Borcherds Product?
This question essentially asks how can one recognize (or rule out) that a generating function of combinatorial origin may be given as a Borcherds type product. I'll start with a motivational example: ...
- 85.6k
15
votes
0
answers
289
views
What's the dimension of the space of CM cusp forms?
I would guess that the following is very well known, but I don't know the answer and I couldn't find anything with some googling.
Let $\Gamma \subset \mathrm{SL}(2,\mathbf Z)$ be a congruence ...
- 40.3k
15
votes
0
answers
2k
views
Why was it so difficult to define the relative de Rham-Witt complex?
In Illusie's original article, the de Rham-Witt complex is defined for a smooth scheme over a perfect characteristic $p$ base $S$, without reference to $S$. Some 25 years later, Langer and Zink ...
- 16.2k
15
votes
0
answers
779
views
Lifting varieties from char. $p$ to char. 0 after alterations
The question is related to this MO question:
Lifting varieties to characteristic zero.
Let $X$ be a projective smooth variety over $k$ alg. closed field of char. $p.$ Does there always exist an ...
- 4,265
14
votes
0
answers
932
views
Relation between Igusa tower and $p$-adic modular forms
As the title suggests, my question is devoted to understand (and maybe get some good references) the relation between the Igusa tower for a modular curves and $p$, or maybe $T$-adic modular forms. I ...
- 445
14
votes
0
answers
1k
views
A slick proof (?) of Zariski-Nagata purity in characteristic $p$
I am trying to understand the MathSciNet review written by Mark Kisin of the paper "Almost etale extensions" of Faltings. There Kisin illustrates Faltings' approach to the almost purity theorem with ...
- 2,663
13
votes
0
answers
626
views
On Ramanujan's pi formula $\frac 1\pi=\sum_{k=0}^\infty\frac {(4k)!}{k!^4}\frac {Ak+B}{396^{4k}}$ and the solvable quintic $z^5-5z-396 = 0$?
(Updated with new information.)
I. Five eta quotients and the Monster?
Given Dedekind eta function $\eta(\tau)$, define the five eta quotients which in fact are the McKay-Thompson series 1A, 2A, 3A, ...
- 12.6k
13
votes
0
answers
319
views
Work of Atkin on the 26th power of eta
The 26th power of the Dedekind $\eta$ function has been mentioned several times here on MO:
A 14th and 26th-power Dedekind eta function identity?
What's the status of the following relationship ...
- 18.4k
13
votes
0
answers
749
views
Rings whose Frobenius is flat
Let $R$ be a ring of characteristic $p>0$. The (absolute) Frobenius is the map of rings $F_R:R\rightarrow R$ defined by $x\mapsto x^p$.
I am interested in rings for which $F_R$ is flat (hence ...
anon1432
13
votes
0
answers
943
views
Beilinson-Bernstein localization in positive characteristic
This is a follow-up to this question; in particular, I'm wondering if anyone can expand upon the interesting answers given by Kevin McGerty and David Ben-Zvi there. (In particular, in this question I'...
- 3,637
12
votes
0
answers
560
views
Additive and multiplicative convolution deeply related in modular forms
From the fact spaces of modular forms are finite dimensional, from the decomposition in Hecke eigenforms, and from the duplication formula for $\Gamma(s)$ there are a lot of identities mixing additive ...
- 3,403
12
votes
0
answers
729
views
Elkies' supersingularity theorem in higher dimension (in terms of the associated Newton polygon)
Elkies' supersingularity theorem: Given an elliptic curve $E$ over $\mathbb{Q}$, there are infinitely many primes $p$ such that $E$ is supersingular over $\mathbb{F}_p$.
I have seen another post on ...
- 3,539
12
votes
0
answers
638
views
The operator $\left(q\frac{d}{dq}\right)^s$ and fractional derivatives of modular forms
Recall the notion of a "nearly holomorphic modular form" introduced by Shimura:
A function $f : \mathfrak h \to \mathbb C$ is said to be nearly
holomorphic of level $\Gamma_1(N)$, weight $k$ and ...
- 3,910
12
votes
0
answers
509
views
Weyl law for Maass forms with nontrivial character
The classical Weyl law for $\Gamma = \mathrm{SL}_2(\mathbb{Z})$ counts the number of Maass cusp forms on $\Gamma \backslash \mathbb{H}$ with Laplace eigenvalue less than $T$. This is originally due to ...
- 8,374
12
votes
0
answers
1k
views
A conceptual proof of Jacobi's product formula for $\Delta$ ?
Let $\Delta$ be the unique normalized cusp form of weight 12 and level $1$. Then Jacobi's
wel-known formula states:
$$\Delta(z) = q \prod_{n=1}(1-q^n)^{24},$$
where $q=e^{2 i \pi z}$.
For a graduate ...
- 26.1k
12
votes
0
answers
716
views
Lifting abelian varieties in (the closed fiber of) a fixed Neron model
Suppose that $R$ is a dvr with field of fractions $K$ and residue field $k$ and that $A_K$ is an abelian variety over $K$ with Neron model $A$ over $R$. Then the closed fiber $A_k$ is a smooth ...
- 1,609
11
votes
0
answers
240
views
Representation of the space of lattices in $\Bbb R^n$
The space of 2D lattices in $\Bbb R^2$ can be represented with the two Eisenstein series $G_4$ and $G_6$. Each lattice uniquely maps to a point in $\Bbb C^2$ using these two invariants, and the points ...
- 4,907
11
votes
0
answers
382
views
What are the possible bad reductions for an abelian variety of dimension $g$ and a maximal endomorphism ring?
Perhaps the most basic fact about abelian varieties with CM is they have an everywhere potential good reduction (Serre-Tate). On the face of it it might appear that there isn't much more to be added ...
- 13.8k
11
votes
0
answers
231
views
Eisenstein series for non congruence subgoups
What is the present status of the Eisenstein series for noncongruence subgroups?
I am aware of work of A. Scholl and Rohrlich work on the subject.
Is there any specific examples that has been ...
- 248
11
votes
0
answers
548
views
Zero-free theta functions in the upper half plane
Problem $1$. Which full rank lattices $\Lambda \subset \mathbb R^d$ have their corresponding theta function $\theta_{\Lambda}(\tau):= \sum_{\bf n \in \Lambda } e^{\pi i \tau ||n||^2} $ zero-free in ...
- 623
11
votes
0
answers
449
views
Linear eta product identities - how many are there?
For the Dedekind eta function, defined as usual by $\eta(q) = q^{\frac1{24}} \prod\limits_{n=1}^{\infty} (1-q^{n}) $, let for brevity $e_k:=\eta(q^k)$. With this notation, a blog entry of Michael ...
- 13.4k
11
votes
0
answers
574
views
Sums of four squares and the modular invariant
The question accounts my curiosity only, and may not be as deep as I think.
One of recent talks at our local seminar was devoted to the proof of the
classical formula
$$
F(q)=\sum_{n=0}^\infty r_4(n)...
- 13.5k
11
votes
0
answers
454
views
Is the Gouvea-Mazur problem related to symmetric square $L$-functions?
Here's an idea that I've found appealing but have never been able to get anywhere with.
One way to frame the Gouvea-Mazur question (for lack of a better term, since the original conjecture by the ...
- 2,783
11
votes
0
answers
576
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 ...
- 5,422
11
votes
0
answers
1k
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 ...
- 1,764
10
votes
0
answers
371
views
How large must the characteristic of $k$ be, for the cohomology of the Lie algebra $\mathfrak{sl}_n(k)$ to be exterior as in characteristic zero?
$\DeclareMathOperator\SU{SU}$In this question, all Lie algebra cohomology is of the form $H^*(\mathfrak{g}; k)$, with $k$ the trivial one-dimensional representation of $\mathfrak{g}$. All Lie algebra ...
- 1,335
10
votes
0
answers
213
views
Are topological theta series (taking values in tmf(N)) of lattices good for anything?
I'm going to start with Mike Hopkins' great survey article in the ICM on topological modular forms (https://arxiv.org/abs/math/0212397). In it, he outlines a construction, for even unimodular lattices,...
- 345
10
votes
0
answers
152
views
Is there some precise way in which modular cocycle $c/(c\tau +d)$ "is" the generator of $H^1(\mathcal{M}_{ell}, \omega^2) \cong \mathbb{Z}/12$?
It is semiclassical that the extension class $\text{Ext}^1(\omega^{-1},\omega)\cong H^1(\mathcal{M}_{ell},\omega^2)$ over the modular stack $\mathcal{M}_{ell}/\mathbb{Z}$ is nonvanishing, being cyclic ...
- 2,054
10
votes
0
answers
352
views
Riemann–Hilbert-type problem
Let $P$ be a fixed pentagon in the hyperbolic plane $\mathbb H^2$ with all the angles equal to $\pi / 3$. Let $w_1, w_2, \dots, w_5$ be the sides
of $P$ going in the counterclockwise order. We are ...
- 121
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 ...
- 5,422
9
votes
1
answer
650
views
Sum of three squares as class numbers and Waldspurger's formula
It is known that the number of ways to express $n \in \mathbb{Z}_{\geq 0}$ as a sum of three squares (let's denote it as $r_3(n)$) can be expressed as Hurwitz-Kronecker class number (certain weighted ...
- 2,215
9
votes
0
answers
208
views
Unexpected patterns on the graph of an L-function on the critical line
Let $L(s)$ be the $L$-function associated to the (only) classical modular form of weight $26$ and level $1$.
The completed L-function $\Lambda(s)=2(2\pi)^{-s}\Gamma(s) L(s)$ is symmetric with respect ...
- 9,501
9
votes
0
answers
400
views
Generalizing Ramanujan's and the Chudnovskys' 1/pi formula (Part 1)
Some years ago, I asked in MSE a question about the Chudnovsky brothers pi formula. Later, I asked in MO a related question. The former was unanswered until a few days ago when L. Miller gave me a ...
- 12.6k
9
votes
0
answers
147
views
Terminology question for the cohomology of the Hilbert modular group
Let $\Gamma$ be the Hilbert modular group of determinant one matrices with entries in the ring of integers of a real quadratic field $F$, and let $M$ be a $\Gamma$-module. Is there a standard name for ...
- 91
9
votes
0
answers
271
views
How explain these remarkable empirical observations about mod 3 modular forms of levels 1 and 5?
Define $b(n)$ by $b(0)= 0$, $b(3n)= 9b(n)$, $b(3n+1)= 9b(n) + 1$, $b(3n+2)= 9b(n) + 3$. (This sequence does not show up in the OEIS, but the similar Moser-de Bruijn sequence A000695 appears in many ...
- 5,422