Questions tagged [theta-functions]
The theta-functions tag has no usage guidance.
128
questions
4
votes
0
answers
57
views
Elliptic integral as quantity associated with Riemann surface?
There are many elliptic integrals, so to show my point let me
just pick one of them (complete elliptic integral of the first
kind [1]):
$$K(k) = \int_{0}^{1} \frac {dx} {\sqrt{(1-x^{2})(1-k^{2}x^{2})}}...
- 4,760
2
votes
0
answers
72
views
How to write the division values of $\operatorname{sn}(u;k)$ as rational functions of theta functions with zero argument?
Define the "thetanulls" (theta functions (https://dlmf.nist.gov/20) with one argument equal to zero) as follows:
$$\vartheta_{00}(w) = \prod_{n = 1}^{\infty} (1-w^{2n})(1+w^{2n-1})^2,$$
$$\...
- 273
4
votes
1
answer
243
views
Is the left derivative of this theta function zero at $1$?
Is it true that
$$f(x):=\sum_{j=1}^\infty(-1)^j j^2 x^{j^2}\to0$$
as $x\uparrow1$?
(One may note that $f(x)=xh'(x)$, where $h(x):=\vartheta _4(0,x)/2$ and $\vartheta _4$ is a theta function, so that $...
- 110k
5
votes
0
answers
86
views
Ratio of theta functions as roots of polynomials
I already asked the same question here, but received no answer. I did some little progress and so I'm asking again.
I was playing with the theta functions with argument $ z = 0 $
$ \vartheta_2(q) =\...
- 191
2
votes
0
answers
87
views
Ratio of theta function derivatives with theta function
I have the following ratios I want to compute.
$$ \frac{ \left( \frac{\partial \vartheta_3(v, q)}{\partial v} \right)^2 }{C + \left(\vartheta_3(v, q)\right)^2 }, $$
where $C$ is a constant.
$$ \frac{ \...
- 159
1
vote
0
answers
90
views
Reference for modularity of the Andrews–Gordon–Rogers–Ramanujan identities?
The right-hand side of the identity https://mathworld.wolfram.com/Andrews-GordonIdentity.html is a $q$-series $\frac{(q^i,q^{2k+1-i},q^{2k+1};q^k)_\infty}{(q;q)_\infty}$; is there a reference of its ...
- 390
1
vote
0
answers
61
views
Reference for the asymptotic mixing time of the random walk on the cycle
In Diaconis's book Group Representations in Probability and Statistics, Chapter 3C, there are explicit computations for the mixing time of the random walk on the cycle graph $\mathbb{Z}_{p}$, with $p$ ...
- 111
3
votes
0
answers
76
views
Additional symmetries in Theta-like function
cross-posted from https://math.stackexchange.com/questions/4708694/curious-symmetry-in-a-theta-like-function
Let $\Theta : \mathfrak{h}\times \mathfrak{h} \to \mathbb{R}$ be defined as follows
$$ \...
- 541
1
vote
1
answer
142
views
The theta function of an odd Dirichlet character
The theta function $\theta_\chi(t)$ of a Dirichlet character $\chi$ is defined to be $\theta_\chi(t) = \frac{1}{2} \sum\limits_{n=-\infty}^\infty \chi(n) e^{2\pi i n^2 t}$ if $\chi(-1) = 1$ (i.e., $\...
- 536
2
votes
1
answer
160
views
2D lattice sum with numerator
I've been struggling a bit with a double sum that arose as the trace of an operator:
$$\sum_{(j,k)\in Z^2 \setminus (0,0)} \frac{(j+k)^n}{(j^2+k^2)^n},$$
where $n$ is an even natural number. Is there ...
- 31
2
votes
0
answers
132
views
Theta characteristics of surfaces and theta functions
A theta-characteristic of a Riemann surface is commonly defined as a spinor bundle, i.e., a holomorphic line bundle whose square is the canonical line bundle. These are in a natural one-to-one ...
- 8,352
5
votes
3
answers
406
views
Generalizing Klein's order 7 formula $y\left(y^2+7\Big(\tfrac{1-\sqrt{-7}}{2}\Big)y+7\Big(\tfrac{1+\sqrt{-7}}{2}\Big)^3\right)^3 = j$ to order 13?
I. Level 7
In Klein's "On the Order-Seven Transformations of Elliptic Functions", he gave two elegant resolvents of degrees 8 and 7 in pages 306 and 313. Translated to more understandable ...
- 11.7k
3
votes
0
answers
76
views
Theta lifting over function fields
Let $F$ be a number field and $\mathbb{A}$ its adele ring.
For a dual reductive pair $G$ and $H$, let $\pi$ be a cuspidal irreducible representation of $G(\mathbb{A})$. Let $\Theta(\pi)$ be the global ...
- 1,739
2
votes
0
answers
108
views
Eta product of squared tau function
The Ramanujan tau function is the coefficient of the 24th power of the Dedekind eta function.
$$ \eta(x)^{24}= x\prod_{m=1}^\infty (1 - x^m)^{24} =\sum_{n=1}^\infty \tau(n)\,x^n , $$
I want to know ...
- 365
4
votes
1
answer
150
views
Evaluation of mock modular forms at elliptic points
The holomorphic function
$$F(\tau)=-\frac{1}{\vartheta_4(\tau)}\sum_{n\in\mathbb Z}\frac{(-1)^nq^{\frac{n^2}{2}-\frac 18}}{1-q^{n-\frac12}}=2q^{\frac38}(1+3q^{\frac12}+7q+14q^{\frac32}+\dots),$$
is a ...
- 87
3
votes
1
answer
263
views
Siegel modular forms in Mathematica
Is there a convenient way to work with Siegel modular forms in Mathematica? I am interested in doing analytic computations using the $\chi_{10}(\Omega)$ Siegel modular form, where $\Omega$ is the $2\...
- 173
0
votes
0
answers
165
views
Completing some of Ramanujan's results on $p = 5, 7, 9, 13, 25$?
This gathers scattered results together to see if they can be extended. The question is at the end. Given the Ramanujan theta function $f(a,b)$ and define Ramanujan's theta ratio formula,
$$r_k = (-1)^...
- 11.7k
10
votes
3
answers
527
views
On the Klein quartic and the similar $a^2b+b^2c+c^2a$?
Given the Ramanujan theta function,
$$f(a,b) = \sum_{n=-\infty}^\infty a^{n(n+1)/2} \; b^{n(n-1)/2}$$
Let $q = e^{2\pi i \tau}$ and assume $\tau = \sqrt{-d}$.
I. Degree 5
\begin{align}
a &= q^{11/...
- 11.7k
1
vote
0
answers
131
views
What pre knowledge does Mumford's Tata collections on theta need?
I am a sophomore and have the foundation of complex analysis and abstract algebra. I have learned Legendre elliptic integral and Jacobian elliptic function, and it is through this that I know theta ...
- 11
5
votes
1
answer
315
views
What is the relationship between the Leech lattice and Dedekind eta function?
Like this old question, A conceptual proof of Jacobi's product formula for $\Delta$ ?, I am asking again for a conceptual proof of Jacobi's miraculous product formula for $\Delta$ (the unique ...
- 569
3
votes
1
answer
155
views
Entire function with almost periodic boundary condition?
Let $v_1 =\lambda_1 \zeta_1$ and $v_2 = \lambda_2 \zeta_2$ with $\zeta_1 = \frac{4\pi i\omega}{3}$ and $\zeta_2 = \frac{4\pi i\omega^2}{3}$ where $\omega = e^{2\pi i/3}$ is the third root of unity and ...
- 53
5
votes
0
answers
146
views
Higher Cardano formulae in terms of $\Theta$
Consider a polynomial in one variable with complex coefficient
$$f(x) = x^n + a_{n-1} x^{n-1} + \cdots + a_1 x + a_0$$
we are interested in its roots. Babylonian solved for $n = 2$, and Cardano did it ...
- 4,760
3
votes
1
answer
178
views
Equation about Jacobi Theta Functions
Reading some Conformal Field Theory, I came across the following equation
about the Jacobi Theta functions without any justification:
Let $$\theta_{2}(q)=\sum_{n \in \mathbb{Z}}q^{(n+\frac{1}{2})^{2}}$...
- 31
3
votes
0
answers
327
views
How to prove Gauss's identities on the action of the theta operator $f' = x\frac{df}{dx}$ on Jacobi theta functions?
(I have previously posted this question on mathstackexchange, but after getting no response there I decided to ask it again here. Here is a link to the same question there, so if this question is not ...
- 1,769
4
votes
0
answers
232
views
Geometric interpretation of Theta functions and the Jacobi inversion problem
A great part of complex geometry and, algebraic geometry has been developed to address the theory of abelian integrals/functions. A very special problem that kept many great mathematicians busy was ...
4
votes
0
answers
126
views
How to obtain the harmonic theta series via the global theta correspondence explicitly?
I am interested in the following kind of modular forms: let $(L,q)$ be an even unimodular lattice inside $V:=L\otimes \mathbb{Q}$, and $P$ is a harmonic homogeneous polynomial of degree $d$ on $\...
- 286
6
votes
1
answer
346
views
How to work out this elliptic function?
Let $f(x) = \sum\limits_{(n,m)\in\mathbb{Z}^2} \frac{1}{(x+ n + i m )^2}$
If feel it should be $1/E(x)$ where $E$ is some elliptic function, like $sn^2$. But Wolfram Alpha is giving me some strange ...
- 255
3
votes
0
answers
76
views
Two pairings on the group $K(L)$ associated with a non-degenerate line bundle $L$ on an abelian variety
Let $A$ be an abelian variety over a field and let $L$ be a non-degenerate line bundle on $A$.
Then $L$ gives rise to a morphism $\lambda:A\to A^*$ from $A$ to its dual.
As usual, let $K(L):=\ker(\...
- 3,016
13
votes
1
answer
370
views
Geometric explanation for coincidence in lengths of 16-dimensional even unimodular lattices?
Question
Up to equivalence, there are two positive-definite even unimodular lattices in $16$ dimensions: $D_{8}^{+}\oplus D_{8}^{+}$ and $D_{16}^{+}$. As observed by Witt in 1941, the theory of ...
- 381
1
vote
1
answer
111
views
Estimating two dimensional theta function
My feeling is that this should be written somewhere but I don't know what to search for.
Let $Q(x,y)$ be a binary quadratic form over $\mathbb{C}$, with $\operatorname{Re}(Q)$ positive definite. Then ...
- 1,958
11
votes
2
answers
684
views
Reference on the Chern-Simons theory and WZW models for mathematicians
I would like to ask if there are any beginner friendly references for learning CS theory and WZW models. It seems that most mathematical texts on the subjects begin with convenient definitions that ...
- 81
2
votes
3
answers
539
views
Infinite product of $1-q^{n^2}$
Is there anything known about the following product? Is it a known function or related to a known function?
$$\prod_{n\geqslant1}(1-q^{n^2})$$
- 539
5
votes
1
answer
227
views
Approximation for a series involving the derivative of a Jacobi theta function
I’ve considered the diffusion equation $$\frac{\partial f(x,t)}{\partial t}=\frac12 \frac{\partial^2 f(x,t)}{\partial x^2}$$ with the conditions $f(x,0)=\delta(x)$ and $f(-1,t)=f(1,t)=0\ \forall t>...
1
vote
1
answer
54
views
operations on matrices preserving the property of being the Riemann matrix of a surface
I have heard about the Schottky problem and the related Novikov's conjecture about the characterization of matrices in the Siegel upper half-space which are indeed the Riemann matrix of a compact ...
- 13
8
votes
0
answers
250
views
Positive integer solutions of $ab+ac+ad+bc+bd+cd=n$
Consider a quadratic form $Q(a,b,c,d)=ab+ac+ad+bc+bd+cd$ on $\mathbb Z^4$.
For some reason I am interested in the number of solutions $(a,b,c,d)\in\mathbb Z_{> 0}^4$ of $Q(a,b,c,d)=n$ as a function ...
- 4,741
1
vote
0
answers
132
views
From a factor of automorphy on an abelian variety to a divisor
Given a complex abelian variety $A = V/\Gamma$ (for $\Gamma$ being a lattice in the complex vector space $V$), one knows how to describe a holomorphic line bundle in terms of factors of automorphy: By ...
- 11.8k
4
votes
0
answers
221
views
Computing theta functions of lattices in practice
I am motivated by a problem in 2d CFT to compute "generalized theta functions," expressions of the form
\begin{equation}
\vartheta_{L,u}(\tau) := \sum_{\alpha \in L} u(\alpha) q^{{\langle\...
- 41
0
votes
0
answers
77
views
The loss of double periodicity (ellipticity)
Consider a meromorphic function $f(\mathfrak{a}_1, \mathfrak{a}_2)$, such that
$$
\begin{align}
f(\mathfrak{a}_1, \mathfrak{a}_2) = f (\mathfrak{a}_1 + 1, \mathfrak{a}_2) = f(\mathfrak{a}_1 + \tau, \...
- 857
0
votes
1
answer
116
views
Obtain a series expansion of $a^2(q)a^2(q^4)$
Let $a(q)$ denote the Borwein function $$a(q)=\sum_{m,n=-\infty}^\infty q^{n^2+nm+m^2}.$$
In this research paper the author has obtained the series expansion for $a(q)a(q^4)$. I want the series ...
- 11
5
votes
0
answers
221
views
Validity of $\ln z=\frac{\pi}{\operatorname{AGP}(\theta_2^2(1/z),\theta_3^2(1/z))}$
Definitions
For the definitions of $\operatorname{AGP}$ and $\operatorname{AGO}$, see here or here. $\theta_2(z)$ and $\theta_3(z)$ are defined as follows:
$$\theta_2(z)=\sum_{n=-\infty}^\infty z^{(n+...
- 73
9
votes
0
answers
311
views
When exactly is the principal AGM equal to the optimal AGM?
Definitions
Following the terminology of SageMath, let the principal arithmetic-geometric mean, $\operatorname{AGP}$, of $(a,b)\in\mathbb{C}^2$ for $a\ne 0$, $b\ne 0$, $a\ne\pm b$ be defined as ...
- 73
12
votes
0
answers
302
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 ...
- 17.2k
3
votes
1
answer
182
views
Can the following sum be counted or expressed in terms of special functions?
Let us define this sum as a function of $z \in \mathbb{C}$ with some positive parameter $a$
$$
f(z; a) = \sum\limits_{n = 0}^{\infty}\frac{|z|^{2n}}{n!}e^{-ian^2}.
$$
Probably, it can be expressed (or ...
- 325
6
votes
1
answer
241
views
Jacobi forms and Kato's modular units
this is pretty much just a silly literature question; apologies in advance. Kato uses the following theta function (or slight variants thereof) in his construction of his Euler system:
$$\Theta(\tau, ...
- 1,932
0
votes
0
answers
71
views
Proving the Immersion part of an Embedding
Trying to see the proof of embedding the Jacobian of a Compact Riemann Surface $X$ using Theta functions. So, using the Theta divisor we have the corresponding line bundle say $L$, we want to prove ...
- 749
2
votes
1
answer
184
views
Semidirect product of metaplectic group and Heisenberg group
I know that Symplectic group has an action on Heisenberg group.
I am wondering how to extend this to non-trivial two fold metaplectic covering?
Thanks in advance!
- 1,739
1
vote
0
answers
85
views
Construct a doubly periodic function on $\mathbb{C}$ using Jacobi elliptic functions with anti-holomorphic involution
I would like to find explicit examples of non-constant meromorphic doubly periodic $f(z)$ on $\mathbb{C}$, i.e. a meromorphic function on $\mathbb{C} / \Gamma$ for some lattice $\Gamma$, such that ...
- 23
3
votes
1
answer
116
views
" Laurent expansion" of quasi-periodic complex complex function
Suppose a complex function $f(z)$ depends only on $z$, and satisfies the quasi-periodicity in both directions:
$$f(z+ a_x)= e^{i \theta_{a_x}} f(z)$$
$$f(z+ i a_y)= e^{i \theta_{a_y}} f(z)$$
where $\...
- 487
11
votes
1
answer
2k
views
Reference request: proof of Ramanujan's Cos/Cosh Identity
The Ramanujan Cos/Cosh Identity, as stated here, is
$$\left[1+2\sum_{n=1}^{\infty}\frac{\cos n\theta}{\cosh n\pi}\right]^{-2}+
\left[1+2\sum_{n=1}^{\infty}\frac{\cosh n\theta}{\cosh n\pi}\right]^{-2}=...
17
votes
0
answers
559
views
Finite version special case Jacobi triple product formula
In this paper, Shanks uses the following formula:
$$ \sum_{s=0}^{n-1}q^{s(2n+1)} \times \left( \prod_{k=s+1}^{n} \dfrac{1-q^{2k}}{1-q^{2k-1}}\right) = \sum_{s=1}^{2n} q^{\frac{s(s-1)}{2}}$$
to get a ...
- 7,010