The theta-function tag has no usage guidance.

**7**

votes

**2**answers

232 views

### How to estimate a specific infinite matrix sum

Let $M$ be an $n$ by $n$ matrix with each diagonal element equal to $k$ and each non-diagonal element equal to $k-1$ where $n$ and $k$ are positive integers. Let $k < n$ and we can assume both $k$ ...

**3**

votes

**0**answers

51 views

### Log-concavity of difference of theta functions

My knowledge on theta functions is limited, but I suspect that this is a quite challenging question. The 3rd Jacobian Theta function is given by
\begin{equation}
...

**3**

votes

**0**answers

98 views

### Siegel's article “The volume of the fundamental domain for some infinite groups”: trouble with understanding computations

This is the article I mentioned. While the idea of what Siegel is doing in order to compute the volume of the fundamental domain described in the article (the very first one, for there are discussed ...

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

**4**

votes

**1**answer

231 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

333 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)]}, ...

**2**

votes

**1**answer

183 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

**0**answers

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

**6**

votes

**1**answer

219 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

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

**22**

votes

**0**answers

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

**3**

votes

**1**answer

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

**11**

votes

**3**answers

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

**2**

votes

**1**answer

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

**6**

votes

**0**answers

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

**0**

votes

**1**answer

143 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

169 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

76 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

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

**2**

votes

**1**answer

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

**0**

votes

**0**answers

131 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

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

**3**

votes

**3**answers

748 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

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

**2**

votes

**0**answers

205 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

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

**36**

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

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

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

**1**

vote

**0**answers

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

**4**

votes

**1**answer

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

**10**

votes

**0**answers

428 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

452 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

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

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

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

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

**1**

vote

**1**answer

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

**8**

votes

**2**answers

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

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

**3**

votes

**2**answers

750 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

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

**20**

votes

**1**answer

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

**5**

votes

**1**answer

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

**9**

votes

**1**answer

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

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

**0**

votes

**0**answers

452 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

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