# Questions tagged [theta-functions]

The theta-functions tag has no usage guidance.

The theta-functions tag has no usage guidance.

108
questions

3
votes

1
answer

127
views

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 ...

5
votes

0
answers

124
views

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 ...

3
votes

1
answer

109
views

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}}$...

2
votes

0
answers

234
views

(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 ...

4
votes

0
answers

196
views

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

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 $\...

5
votes

1
answer

326
views

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 ...

3
votes

0
answers

51
views

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

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 ...

1
vote

1
answer

93
views

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 ...

11
votes

2
answers

490
views

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 ...

2
votes

3
answers

492
views

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})$$

5
votes

1
answer

186
views

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

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 ...

8
votes

0
answers

246
views

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

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

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

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, \...

0
votes

1
answer

111
views

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 ...

5
votes

0
answers

210
views

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+...

9
votes

0
answers

304
views

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 ...

12
votes

0
answers

291
views

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

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

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, ...

0
votes

0
answers

63
views

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 ...

2
votes

1
answer

159
views

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
vote

0
answers

80
views

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

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 $\...

10
votes

1
answer

2k
views

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

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 ...

3
votes

0
answers

177
views

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 $\...

1
vote

0
answers

83
views

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)...

3
votes

0
answers

110
views

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

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 ...

5
votes

1
answer

220
views

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

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

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

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}\...

3
votes

0
answers

94
views

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 ...

4
votes

1
answer

302
views

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, ...

0
votes

0
answers

75
views

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

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 ...

1
vote

1
answer

203
views

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

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}\...

4
votes

0
answers

181
views

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 $$\...

1
vote

0
answers

164
views

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}} \...

5
votes

0
answers

361
views

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}...

6
votes

3
answers

578
views

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 $...

1
vote

0
answers

158
views

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

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 ...