The theta-function tag has no wiki summary.

**35**

votes

**0**answers

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

**28**

votes

**3**answers

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

**19**

votes

**1**answer

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

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

**10**

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

**9**

votes

**1**answer

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

**9**

votes

**0**answers

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

**8**

votes

**2**answers

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

**8**

votes

**2**answers

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

**8**

votes

**0**answers

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

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

**6**

votes

**4**answers

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

**5**

votes

**1**answer

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

**5**

votes

**1**answer

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

**5**

votes

**0**answers

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

**4**

votes

**2**answers

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

**4**

votes

**1**answer

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

**4**

votes

**1**answer

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

**3**

votes

**3**answers

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

**3**

votes

**2**answers

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

**3**

votes

**1**answer

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

**2**

votes

**1**answer

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

**2**

votes

**2**answers

166 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

**1**answer

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

**1**

vote

**1**answer

406 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

**3**answers

350 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

**1**answer

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

**1**

vote

**0**answers

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

**1**

vote

**0**answers

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

**1**

vote

**0**answers

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

**1**

vote

**0**answers

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

**0**

votes

**0**answers

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

**0**

votes

**0**answers

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

**0**

votes

**0**answers

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