Questions tagged [theta-functions]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
3 votes
1 answer
127 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 ...
  • 513
5 votes
0 answers
124 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,453
3 votes
1 answer
109 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
2 votes
0 answers
234 views

How to prove Gauss's identities on the action of the 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,499
4 votes
0 answers
196 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 ...
3 votes
0 answers
91 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 $\...
  • 131
5 votes
1 answer
326 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 ...
  • 225
3 votes
0 answers
51 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(\...
13 votes
1 answer
289 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
93 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,811
11 votes
2 answers
490 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
492 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})$$
  • 531
5 votes
1 answer
186 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
51 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
246 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 ...
1 vote
0 answers
100 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 ...
4 votes
0 answers
156 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\...
0 votes
0 answers
75 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, \...
  • 817
0 votes
1 answer
111 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
210 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
304 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
291 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 ...
3 votes
1 answer
177 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 ...
6 votes
1 answer
195 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,580
0 votes
0 answers
63 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 ...
  • 515
2 votes
1 answer
159 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,535
1 vote
0 answers
80 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 ...
3 votes
1 answer
103 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 $\...
  • 477
10 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
524 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 ...
  • 6,531
3 votes
0 answers
177 views

Rationality of Eisenstein series g2 and g3 for elliptic curves defined over numberfields

Let $K$ be a number field and let $E/K$ be an elliptic curve. (Fix an embedding of $K$ into the complex numbers $\mathbb{C}$). Let $\eta$ be the invariant differential of $E/K$. Let $\omega_1$ and $\...
  • 129
1 vote
0 answers
83 views

Decomposing functions on the fundamental domain of the torus into cusp forms, eisenstein series

I am trying to do some elementary calculations to understand the properties of the following spectral resolution on $H/SL(2,\mathbf{Z})$. (Half plane mod modular group; fundamental domain of the torus)...
  • 242
3 votes
0 answers
110 views

An elliptic function built from a log-theta-function integral?

I'm studying the apparent ellipticity of $$\Theta(z,a):=\frac{\exp(\tfrac2a\int_0^a\ln\vartheta(x+z)\,dx)}{\vartheta(z)\vartheta(z+a)},\tag1$$with $a$ is a free parameter and \begin{align}\vartheta(z)&...
2 votes
0 answers
130 views

theta function with a low bound in the sum

I encounter a sum similar to the Jacobi Theta function except there is a lower bound $-J$ with $J\geq 0$: \begin{equation} f(q,x)=\sum_{n=-J}^\infty q^{n^2}x^n. \end{equation} My question is whether ...
  • 99
5 votes
1 answer
220 views

"One half of a theta-function" - is there something in the literature about it?

In an answer to my question Enumeration of lattice paths of a specific type (which was in turn caused by an older one, "Special" meanders) I encountered the series $$ F(t,q):=\sum_{n=1}^\...
7 votes
0 answers
134 views

Random walk on $\mathbf{Z}_d$ with Jacobi $\theta$ transition probabilities

In the context of a finite-dimensional quantum mechanical problem, I was led to study the random walk on $\mathbf{Z}_d$ (i.e the integers modulo $d$), $d$ odd with transition probabilities given by: $...
2 votes
0 answers
105 views

Algebraic theta-functions of level $2$ on an elliptic curve

Consider an elliptic curve $E\!: y^2 = x(x-1)(x-\lambda)$, where $\lambda \in k \setminus \{0, 1\}$ for some field $k$ of $\mathrm{char}(k) \neq 2$. Also consider the ample divisor $D = 2P_0$, where $...
2 votes
0 answers
99 views

Understanding proof of q-theta function expression

In arXiv:math/0309252v4 at the bottom of page 11, the following result is proposed $$ b_1 \theta(b_0 b_1^{\pm};p) \frac{z^{-1}\theta(z^2;p)}{\theta(b_0 z^{\pm};p)\theta(b_1 z^{\pm};p)} = (p;p)^{-2}\...
  • 181
3 votes
0 answers
94 views

Evaluating a Fermi gas problem for a SO(2N+1) matrix integral

I have the following multiple integral derived from a random matrix calculation I wish to evaluate $$\int_0^{\pi} dx_1 dx_2 \cdots dx_n \rho(x_1,x_2)\cdots \rho(x_n,x_1)$$ where the $\rho$ functions ...
  • 181
4 votes
1 answer
302 views

Weight, Index, and Congruence Subgroup of Classical Jacobi Theta Functions

On the very first page in the Introduction of Eichler and Zagier's text on Jacobi forms, they mention that the theta function $$\Theta_{x_{0}}(\tau, z) = \sum_{x \in \mathbb{Z}^{N}} q^{Q(x)} y^{B(x, ...
  • 1,611
0 votes
0 answers
75 views

Deriving "quasi-theta" functions from theta functions' zeros

I've been trying to sift the zeros of \begin{align}\vartheta(z)&=e^{-\pi z^2}\prod_{k\ge1}(1+e^{-(2k-1)\pi+2\pi z})(1+e^{-(2k-1)\pi-2\pi z})\\ &=\prod_{k\ge1}(1+e^{-(2k-1)\pi+2i\pi z})(1+e^{-(...
5 votes
1 answer
353 views

$q$-analog of an integral from quantum field theory?

This question has been completely reformulated and a new property for the function $f_q$ has been added due to a series of helpful comments by fedja. Consider the integral from quantum field theory ...
  • 4,710
1 vote
1 answer
203 views

How does $\prod_{\zeta}\varphi(q^{1/5}\zeta) = \varphi^6(q)/\varphi(q^5) $ hold?

While I check the proof for entry 10(vii) in Chapter 19 in Ramanujan's notebook, I couldn't understand one equality. It is \begin{equation} \prod_{\zeta}\varphi(q^{1/5}\zeta) = \varphi^6(q)/\varphi(q^...
3 votes
1 answer
171 views

"Sparse" Theta Series

The number of integer points with a given norm in the integer grid $\mathbb{Z} \times \mathbb{Z}$ may be calculated via the generating function $$\theta_3(q)^2= \left(\sum_{n \in \mathbb{Z}} q^{n^2}\...
  • 790
4 votes
0 answers
181 views

A statement in Siegel's paper on Riemann-Siegel Formula

Siegel left the following comment in the last paragraph of his famous "Über Riemanns Nachlaß zur analytischen Zahlentheorie", Section 1: Das Integral $\Phi(u)$ ist ein Spezialfall des Integrales $$\...
  • 3,237
1 vote
0 answers
164 views

Basic properties of prime forms

The prime form of a Riemann surface of genus $g$ can be defined in terms of multi-dimensional $\vartheta$-functions as follows: $$E(z,w) = \frac{\vartheta\Big[\genfrac{}{}{0pt}{}{\vec{a}}{\vec{b}} \...
  • 163
5 votes
0 answers
361 views

modularity of Theta functions attached to Hecke characters

Let $K/\mathbb{Q}$ be a quadratic imaginary field, and let $\chi$ be a Hecke character on $K$. Using Poisson summation, one can show that the theta function $$ \theta(z):=\sum_{I\subseteq \mathcal{O}...
  • 3,130
6 votes
3 answers
578 views

Alternating power series $\sum_{k\geq 0}(-1)^k z^{(2k+1)^2}$

Suppose that $f(x):=\sum_{k\geq 0}(-1)^ke^{-(2k+1)^2x}$ has a holomorphic continuation to a neighborhood of $0$, that is, $f(x)=\sum_{n\geq 0}a_n x^n$ for $x> 0$ small. I want to know the value of $...
  • 61
1 vote
0 answers
158 views

Theta functions, a natural basis.

Let $L$ be the principal polarization of an abelian variety $A$. Some people say that the theta functions with characteristics form a natural basis of the global section $\Gamma(A,L^{\otimes n})$ for $...
4 votes
0 answers
219 views

Expansion of Jacobi theta function at $p$-torsion

I am aware of the formula $$\Theta(z,q)=z\exp\left( -2\sum_{k\geq 1} \frac{z^{2k}}{(2k)!}E_{2k}(q)\right)$$ for the Jacobi theta function at the origin $z=0$. The definition I am using for the theta ...