The theta-function tag has no usage guidance.

**4**

votes

**1**answer

201 views

### Summation of an infinite q-series

When calculating a Partition function, I encounter the following summation
$$\sum_{n=0}^{\infty} x^n q^{n^2}.$$
I know that the sum $\sum_{n=-\infty}^{\infty} x^n q^{n^2}$ is a Theta function, but I ...

**6**

votes

**1**answer

309 views

### Derivatives of theta functions at zero

Let $L$ be a line bundle over complex elliptic curve, $\deg L = k>0$. Theta functions
$$
\theta_s(z;\tau)_k=\sum_{r\in \mathbb{Z}} e^{\pi i [(\frac{s}{k} + r)^2 k \tau + 2kz(\frac{s}{k}+r)]}, ...

**6**

votes

**0**answers

171 views

### What is the $q$-analog of $\Gamma(z)\Gamma(1-z)=\frac\pi{\sin(\pi z)}$?

I would expect the $q$-Gamma function to have the property which would be the $q$-analog of the Euler reflection formula from my question title.
More concretely: $\Gamma(z)$ has simple poles at ...

**2**

votes

**1**answer

164 views

### Modular property of indefinite degenerate theta series

Is there anything known about the (mock)modular properties, if any, of the following theta series,
$\sum_{n\in {\mathbb Z}^r_+} e^{2\pi i \langle b, n\rangle} q^{\frac12 \langle n,n\rangle}$,
where ...

**6**

votes

**1**answer

206 views

### A Siegel modular form related to the product of two eta functions

I am looking for a Siegel modular form of genus $2$ (living on the Siegel modular 3-fold $A_2=\mathrm{Sp}(4,\mathbb{Z})\backslash \mathfrak H_2$) which becomes "roughly" the product of two eta ...

**7**

votes

**0**answers

87 views

### Equation of the curve corresponding to a polarization of an abelian surface

Let $\mathbb{C}^2/\Lambda$ be a polarized abelian surface. I think it is well-known how to write down the equation of the divisor corresponding to the polarization, in terms of theta functions etc. ...

**21**

votes

**0**answers

410 views

### Identities for power series like $\sum_n z^{n^3}$

Probably, one of the first power series that every mathematician encounter is the geometric series
$$\sum_{n=0}^\infty z^n = \frac1{1-z}, \quad z \in \mathbb{C},\; |z| < 1 .$$
Also, a particular ...

**2**

votes

**1**answer

163 views

### How can one parametrize a real elliptic normal curve such that four points are coplanar iff their parameters sum to zero?

Let $E \subset \mathbb{P}^3_{\mathbb{R}}$ be a real elliptic normal curve with two non-null-homotopic connected components. Is there a parametrization
$$ \chi: (\mathbb{R}/\mathbb{Z})\times ...

**61**

votes

**1**answer

7k views

### What is an étale theta function?

Let me start out by urging you to take seriously that whatever I write about the papers surrounding IUTT really are questions. If you would like to use it as a guide to the mathematics in any way, ...

**0**

votes

**1**answer

133 views

### holomorphic continuation

consider the function given by $f(t):=\sum\limits_{n=0}^{\infty}e^{-\left(n+\frac{1}{2}\right)^2t}$ for $t\in (0,\infty)$.
This function can be continued holomorphically for all complex numbers with ...

**0**

votes

**0**answers

162 views

### Is the Jacobi theta function invertible?

Let $\theta$ denote the Jacobi theta function:
$$\theta=\sum_{k=0}^{\infty}{(-1)^kq^{k(k+1)}sin((2k+1)\frac{2\pi}{\omega_1}Re(z))},$$
and we have a complex number $t$. Suppose that we know there ...

**1**

vote

**0**answers

73 views

### symmetric theta structures and arithmetic subgroups

A symmetric theta structure is a theta structure that commutes with (a lift of) the natural involution $\imath: A \to A$ an an abelian variety. For simplicity I will assume that $A$ is a surface.
...

**5**

votes

**1**answer

237 views

### Index of congruence modular subgroup of level (1,d)

Let $D = \text{diag}(1,d)\in M_{2}(\mathbb{Z})$ be a $2\times 2$ matrix, where $d$ is an odd integer. We define the subgroup $\Gamma_D\subset M_{4}(\mathbb{Z})$ as:
$$\Gamma_D := \left\lbrace R\in ...

**0**

votes

**0**answers

128 views

### Bound on integral of elliptic theta function

I need to prove that the following bound is true. I thought this might follow from the inversion property of the theta function, as the infinite sum in the integrand is precisely ...

**1**

vote

**0**answers

261 views

### Understanding Umemura's Theorem for roots of algebraic equations

I am trying to understand Umemura's Theorem for expressing the roots of any algebraic equation by higher genus theta functions. The original paper can be found here: ...

**6**

votes

**0**answers

346 views

### Why does the Rogers-Ramanujan continued fraction $R(q)$ appear in Emma Lehmer's quintic?

Define the Ramanujan theta function $f(a,b)$ as,
$$f(a,b) = \sum_{n=-\infty}^{\infty} a^{n(n+1)/2}\,b^{n(n-1)/2}$$
and the Dedekind eta function,
$$\eta(\tau) = q^{1/24}\prod_{n=1}^{\infty} ...

**3**

votes

**3**answers

730 views

### Mock Theta Functions

I am studying about Mock modular forms and Mock theta functions. I wonder how Zwegers connected mock theta functions with Harmonic Maass Forms? I mean, what was the philosophy/idea of Mock Theta ...

**2**

votes

**2**answers

219 views

### Ewald's generalized theta function

Could anyone provide me some materials on the derivation of Ewald's generalized theta function (in English)? The original paper was written in German :-(
Die Berechnung optischer und ...

**1**

vote

**0**answers

200 views

### Can the series $\sum\limits_{n=0}^\infty q^{F_n}$ be expressed in terms of theta functions?

Let $F_0=0,F_1=1,...$ be the Fibonacci numbers. Is there a known closed form for the sum $\sum\limits_{n=0}^\infty q^{F_n}$? By closed form, I mean in terms of well-known functions, the first ones to ...

**5**

votes

**1**answer

198 views

### Function transformation of exponentials

I came across the following function transformation:
$$
\sum_{j=-\infty}^{\infty} e^{(-j^2\cdot t)} = \sqrt{\frac{\pi}{t}} \cdot \sum_{j=-\infty}^{\infty} e^{(-\frac{\pi^2}{t}\cdot j^2)}
$$
where $ j ...

**1**

vote

**0**answers

81 views

### Non vanishing and cuspidality of the theta lift of trivial representation.

Hi!
Let E/F be a quadratic number field extension. Then we make some hermitian and skew hermition vector spaces and define unitary group on it.(namely U(1) and U(3))
Then, I am wondering whether the ...

**9**

votes

**2**answers

1k views

### Is there a “right” proof of Riemann's Theta Relation?

Let $\theta$ denote the usual Jacobi Theta function (with auxiliary parameter $\tau = i$, for simplicity), i.e.
$$
\theta(z) = \sum_{n \in \mathbb{Z}} \exp(-\pi (a + n)^2 + 2 \pi i n z) \ .
$$
I'm ...

**4**

votes

**1**answer

610 views

### Extension of the Jacobi triple product identity

The Jacobi triple product and the mathematical identity of it is:
$$\prod\limits_{n=1}^{ \infty }(1-q^{2n})(1+zq^{2n-1})(1+z^{-1}q^{2n-1})=\sum\limits_{n = - \infty }^ \infty z^n q^{n^2} $$
I would ...

**4**

votes

**1**answer

580 views

### Vector chromatic number and Lovasz theta

For $\alpha \ge 2$, an $\alpha$-vector coloring of a graph $X$ is an assignment of unit vectors to the vertices of $X$ such that vectors assigned to adjacent vertices have inner product less than or ...

**33**

votes

**3**answers

2k views

### What do theta functions have to do with quadratic reciprocity?

The theta function is the analytic function $\theta:U\to\mathbb{C}$ defined on the (open) right half-plane $U\subset\mathbb{C}$ by $\theta(\tau)=\sum_{n\in\mathbb{Z}}e^{-\pi n^2 \tau}$. It has the ...

**10**

votes

**0**answers

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

**2**

votes

**3**answers

436 views

### Express Weierstrass' g_2 and g_3 in terms of theta-functions of the periods

If E is a complex elliptic curve defined as the quotient of C over a lattice generated by w_1 and w_2, then it can be also written in Weierstrass form y^2=4*x^3-g_2*x-g_3. The coefficients g_2 and g_3 ...

**1**

vote

**0**answers

112 views

### pairing theta functions for different complex structures

I apologize for my previous attempt to ask this, which was very badly written.
Let us start with $\mathbb{C}\times\mathbb{C}$. To form an Hermitian line bundle over a complex torus with complex ...

**7**

votes

**4**answers

1k views

### Order of vanishing at the cusps for the modular theta function

I am trying to examine the behavior of the theta function $\theta(z)=\sum_{n\in\mathbb{Z}} e^{2\pi i n^2 z}$, which is modular for $\Gamma_0(4)$ of weight 1/2, at the cusps 0 and 1/2. My calculations ...

**9**

votes

**0**answers

625 views

### Convexity of Jacobi's theta function with zero argument

This question may be elementary, I have asked it on math.stackexchange.com but have not received any answer yet. Note that I am not an expert on theta/elliptic functions.
Define Jacobi's theta ...

**3**

votes

**2**answers

743 views

### What is the modern understanding of the order of a mock theta function?

Ramanujan introduced mock theta functions and described them by an "order" which he did not define. As a result of the work of Zwegers and others we now have a better understanding of mock theta ...

**1**

vote

**1**answer

313 views

### minimum rank - lovasz function inequality

hey,
does the following inequality holds for every graph?
$d(G)\geq\theta(G)$
while $\theta$ is the lovasz theta function and $d(G)$ is the minimum rank over all the matrices that represent the ...

**4**

votes

**1**answer

941 views

### What's the difference between a Riemann theta and a Siegel theta function?

One of the things I'm working on has required me to look into the literature of multidimensional theta functions, and I've gotten a bit confused on a few naming details.
A look at the DLMF says that ...

**1**

vote

**1**answer

214 views

### Are there three variable generalizations of Ramanujans theta function?

The Ramanujan theta function $$f(a,b) = \sum_{n \in \mathbb Z} a^{n(n+1)/2} b^{n(n-1)/2}$$ satisfies the following Jacobi triple product identity $f(a,b) = (-a;ab)\_\infty (-b;ab)\_\infty ...

**9**

votes

**1**answer

572 views

### Niemeier lattices and theta functions

I have an extremely elementary question. Let's say someone randomly hands you a theta function associated to a Niemeier lattice (unimodular even, n=24). What can you say about which Niemeier lattice ...

**7**

votes

**2**answers

1k views

### Relation between Theta series and Eisensteinseries

In "Mackey - Unitary Group Representation in Physics, Probability and Number Theory" on page 326, George Mackey mentions a result of Ludwig Siegel, which was later generalized to semi-simple Lie ...

**8**

votes

**2**answers

887 views

### Character of the Basic Representation for Affine E_8 in Terms of Jacobi Theta Functions

When $\mathfrak g$ is a complex, simple, simply laced Lie algebra of rank r then the (specialized) character of the basic representation for the corresponding affine Lie algebra $\hat {\mathfrak g}$ ...

**20**

votes

**1**answer

811 views

### Conformal blocks vector bundles on $\overline{M}_{g}$ in terms of generalized theta functions?

Conformal field theory uses representation theory to produce various vector bundles on the Deligne-Mumford compactified moduli spaces $\overline{M}_{g}$ and $\overline{M}_{g,n}$, known as bundles of ...

**37**

votes

**0**answers

2k views

### What does the theta divisor of a number field know about its arithmetic?

This question is about a remark made by van der Geer and Schoof in their beautiful article "Effectivity of Arakelov divisors and the theta divisor of a number field" (from '98) (link).
Let me first ...

**11**

votes

**3**answers

1k views

### How do modular forms of half-integral weight relate to the (quasi-modular) Eisenstein series?

The Eisenstein series
$$
G_{2k} = \sum_{(m,n) \neq (0,0)} \frac{1}{(m + n\tau)^{2k}}
$$
are modular forms (if $k>1$) of weight $2k$ and quasi-modular if $k=1$. It is clear that given modular forms ...

**11**

votes

**3**answers

1k views

### Can Fuchsian functions solve the general equation of degree n?

In the classic textbook Introduction to the Theory of Equations (Conkwright, 1941), on p. 85, the author writes that “the algebraic solution of the general equation of degree n is impossible if n is ...

**3**

votes

**1**answer

504 views

### Odd powers of the theta function as eigenforms

Is it "well-known" which odd powers of the theta function are eigenforms for the half-integral weight Hecke operators? If so, what is a good reference? Is there a slick algorithm for proving ...

**0**

votes

**0**answers

449 views

### Motivation of proof of Riemann-Roch for elliptic curve and generalizations

Given a lattice $L \subseteq \mathbb{C}$, Alain Robert defines a theta function as a meromorphic function such that $\theta(z+\omega)=a(\omega) e^{\pi h(\omega)(z+\frac{\omega}{2})} \theta(z)$ for all ...

**4**

votes

**2**answers

724 views

### Is there any literature on multivariable theta functions?

The theta function of a lattice is defined to be
$$ \vartheta_\Lambda = \sum_{v\in\Lambda} q^{{\Vert v\Vert}^2}$$
which yields as a coefficient of qk the number of vectors of norm-squared k.
On the ...

**2**

votes

**1**answer

679 views

### Theta Functions and Cousins

So I am (barely) familiar with the construction of the theta function of an integral lattice $L$. The theta function, as I understand it, is defined as the function which takes a variable $z$ and ...