A linear algebraic group $G$ is represented by the linear space of its algebraic functions $F(G)$ endowed with multiplication and comultiplication which turn it into a Hopf algebra. Supplying $G$ with a Poisson structure, we get a quantized version $F_q(G)$ which has the same linear structure and comultiplication, but deformed multiplication. This paper develops a similar theory for abelian varieties. A description of abelian varieties $A$ in terms of linear algebra data was given by Mumford: $F(G)$ is replaced by the graded ring of theta functions with symmetric automorphy factors, and comultiplication is replaced by the Mumford morphism $M^*$ acting on pairs of points as $M(x,y)=M(x+y,x-y).$ After supplementing this by a Poisson structure and replacing the classical theta functions by the quantized ones, introduced by the author earlier, we obtain a structure which essentially coincides with the classical one so far as comultiplication is concerned, but has a deformed multiplication which moreover becomes only partial. The classical graded ring is thus replaced by a linear category. Another important difference from the linear case is that abelian varieties with different period groups (for multiplication) and different quantization parameters (for comultiplication) become interconnected after quantization.
We prove that an analogue of Jordan's theorem on finite subgroups of general linear groups does not hold for the group of bimeromorphic automorphisms of a product of the complex projective line and a complex torus of positive algebraic dimension.
We study the Albanese image of a compact Kähler manifold whose geometric genus is one. We prove that if the Albanese map is not surjective, then the manifold maps surjectively onto an ample divisor in some abelian variety, and in many cases the ample divisor is a theta divisor. With a further natural assumption on the topology of the manifold, we prove that the manifold is an algebraic fiber space over a genus two curve. Finally we apply these results to study the geometry of a compact Kähler manifold which has the same Hodge numbers as those of an abelian variety of the same dimension.
We generalize the standard combinatorial techniques of toric geometry to the study of log Calabi-Yau surfaces. The character and cocharacter lattices are replaced by certain integral linear manifolds described by Gross, Hacking, and Keel, and monomials on toric varieties are replaced with the canonical theta functions which GHK defined using ideas from mirror symmetry. We describe the tropicalizations of theta functions and use them to generalize the dual pairing between the character and cocharacter lattices. We use this to describe generalizations of dual cones, Newton and polar polytopes, M…
We show that the space of theta functions on tropical tori is identified with a convex polyhedron. We also show a Riemann-Roch inequality for tropical abelian surfaces by calculating the self-intersection numbers of divisors.
We propose a generalization of the classical theta function to higher cohomology of the polarization line bundle on a family of complex tori with positive index. The constructed cocycles vary horizontally with respect to the (projective) flat connection on this family coming from a heat operator. They also possess modular properties similar to the classical ones.
We conjecture that any connected component $Q$ of the moduli space of triples $(X,E=E_1+\dots+E_n,Θ)$ where $X$ is a smooth projective variety, $E$ is a normal crossing anti-canonical divisor with a 0-stratum, every $E_i$ is smooth, and $Θ$ is an ample divisor not containing any 0-stratum of $E$, is unirational. More precisely: note that $Q$ has a natural embedding into the Kollár-Shepherd-Barron-Alexeev moduli space of stable pairs, we conjecture that the induced compactification admits a finite cover by a complete toric variety. We construct the associated complete toric fan, generalizing th…
The purpose of this paper is to compute determinant index bundles of certain families of Real Dirac type operators on Klein surfaces as elements in the corresponding Grothendieck group of Real line bundles in the sense of Atiyah. On a Klein surface these determinant index bundles have a natural holomorphic description as theta line bundles. In particular we compute the first Stiefel-Whitney classes of the corresponding fixed point bundles on the real part of the Picard torus. The computation of these classes is important, because they control to a large extent the orientability of certain modu…
We study the birational geometry of some moduli spaces of abelian varieties with extra structure: in particular, with a symmetric theta structure and an odd theta characteristic. For a $(d_1,d_2)$-polarized abelian surface, we show how the parities of the $d_i$ influence the relation between canonical level structures and symmetric theta structures. For certain values of $d_1$ and $d_2$, a theta characteristic is needed in order to define Theta-null maps. We use these Theta-null maps and preceding work of other authors on the representations of the Heisenberg group to study the birational geom…
Quantum theta functions were introduced by the author in [Ma1]. They are certain elements in the function rings of quantum tori. By definition, they satisfy a version of the classical functional equations involving shifts by the multiplicative periods. This paper shows that for a certain subclass of period lattices (compatible with the quantization form), quantum thetas satisfy an analog of another classical functional equation related to an action of the metaplectic group upon the (half of) the period matrix. In the quantum case, this is replaced by the action of the special orthogonal group …
We study Jacobian varieties for tropical curves. These are real tori equipped with integral affine structure and symmetric bilinear form. We define tropical counterpart of the theta function and establish tropical versions of the Abel-Jacobi, Riemann-Roch and Riemann theta divisor theorems.
This is the first in a sequence of papers to develop the theory of levels in quantum K-theory and study its applications. Our main results in this paper are toric mirror theorems for permutation-equivariant quantum K-theory with level structure. In some of the simplest examples, we see the surprising appearance of Ramanujan's mock theta functions.
We introduce a new arithmetic invariant for hermitian line bundles on an arithmetic variety. We use this invariant to measure the variation of the volume function with respect to the metric. The main result of this paper is a generalized Hodge index theorem on arithmetic toric varieties.
Using heuristics from mirror symmetry, combinations of Gross, Hacking, Keel, Kontsevich, and Siebert have given combinatorial constructions of canonical bases of "theta functions" on the coordinate rings of various log Calabi-Yau spaces, including cluster varieties. We prove that the theta bases for cluster varieties are determined by certain descendant log Gromov-Witten invariants of the symplectic leaves of the mirror/Langlands dual cluster variety, as predicted in the Frobenius structure conjecture of Gross-Hacking-Keel. We further show that these Gromov-Witten counts are often given by nai…
As a noncommutative generalization of the addition formula of theta functions, we construct a class of theta functions which are closed with respect to the Moyal star product of a fixed noncommutative parameter. These theta functions can be regarded as bases of the space of holomorphic homomorphisms between holomorphic line bundles over noncommutative complex tori.
We construct explicitly noncommutative deformations of categories of holomorphic line bundles over higher dimensional tori. Our basic tools are Heisenberg modules over noncommutative tori and complex/holomorphic structures on them introduced by A. Schwarz. We obtain differential graded (DG) categories as full subcategories of curved DG categories of Heisenberg modules over the complex noncommutative tori. Also, we present the explicit composition formula of morphisms, which in fact depends on the noncommutativity.
We show that a large class of maximally degenerating families of n-dimensional polarized varieties come with a canonical basis of sections of powers of the ample line bundle. The families considered are obtained by smoothing a reducible union of toric varieties governed by a wall structure on a real n-(pseudo-)manifold. Wall structures have previously been constructed inductively for cases with locally rigid singularities and by Gromov-Witten theory for mirrors of log Calabi-Yau surfaces and K3 surfaces by various combinations of the authors. For trivial wall structures on the n-torus we retri…
We define an adelic version of a CM elliptic curve $E$ which is equipped with an action of the profinite completion of the endomorphism ring of $E$. The adelic elliptic curve so obtained is provided with a natural embedding into the adelic Heisenberg group. We embed into the adelic Heisenberg group the set of commensurability classes of arithmetic $1$-dimensional $\mathbb{K}$-lattices (here and subsequently, $\mathbb{K}$ denotes a quadratic imaginary number field) and define theta functions on it. We also embed the groupoid of commensurability modulo dilations into the union of adelic Heisenbe…
We explore a new direction in representation theory which comes from holomorphic gerbes on complex tori. The analogue of the theta group of a holomorphic line bundle on a (compact) complex torus is developed for gerbes in place of line bundles. The theta group of symmetries of the gerbe has the structure of a Picard groupoid. We calculate it explicitly as a central extension of the group of symmetries of the gerbe by the Picard groupoid of the underlying complex torus. We discuss obstruction to equivariance and give an example of a group of symmetries of a gerbe with respect to which the gerbe…
Let A be an indecomposable principally polarized abelian variety of dimension g . Third order theta functions embed A in a projective space P(V_3), while second order theta functions embed the Kummer variety K=A/<-1> in a projective space P(V_2). Coble observed that for g = 2 there is a unique cubic hypersurface in P(V_3) that is singular along A, and for g = 3 a unique quartic hypersurface in P(V_2) singular along K . We explain these facts by a simple analysis of the representations of the corresponding Heisenberg group.
The cohomology groups of line bundles over complex tori (or abelian varieties) are classically studied invariants of these spaces. In this article, we compute the cohomology groups of line bundles over various holomorphic, non-commutative deformations of complex tori. Our analysis interpolates between two extreme cases. The first case is a calculation of the space of (cohomological) theta functions for line bundles over constant, commutative deformations. The second case is a calculation of the cohomologies of non-commutative deformations of degree-zero line bundles.
The paper consists of two sections. The first section provides a new definition of mirror symmetry of abelian varieties making sense also over $p$-adic fields. The second section introduces and studies quantized theta-functions with two-sided multipliers, which are functions on non-commutative tori. This is an extension of an earlier work by the author. In the Introduction and in the Appendix the constructions of this paper are put into a wider context.
This paper outlines an approach to the non-abelian theta functions of the $SU(2)$-Chern-Simons theory with the methods used by A. Weil for studying classical theta functions. First we translate in knot theoretic language classical theta functions, the action of the finite Heisenberg group, and the discrete Fourier transform. Then we explain how the non-abelian counterparts of these arise in the framework of the quantum group quantization of the moduli space of flat $SU(2)$-connections on a surface, in the guise of the non-abelian theta functions, the action of a skein algebra, and the Reshetik…
Abelian Chern-Simons theory relates classical theta functions to the topological quantum field theory of the linking number of knots. In this paper we explain how to derive the constructs of abelian Chern-Simons theory directly from the theory of classical theta functions. It turns out that the theory of classical theta functions, from the representation theoretic point of view of A. Weil, is just an instance of Chern-Simons theory. The group algebra of the finite Heisenberg group is described as an algebra of curves on a surface, and its Schrodinger representation is obtained as an action on …
On a symplectic manifold $M$, the quantum product defines a complex, one parameter family of flat connections called the A-model or Dubrovin connections. Let $\hbar$ denote the parameter. Associated to them is the quantum $\mathcal{D}$ - module ${\mathcal{D}}/I$ over the Heisenberg algebra of first order differential operators on a complex torus. An element of $I$ gives a relation in the quantum cohomology of $M$ by taking the limit as $\hbar\to 0$. Givental (HomGeom), discovered that there should be a structure of a $\mathcal{D}$ - module on the (as yet not rigorously defined) ${S^1}$ equivar…
This is the first part of a two-part paper describing a new concept of separation of variables applied to the Clebsch integrable case of the Kirchhoff equations. There are two principal novelties: 1) Separating coordinates are constructed (not guessed) by solving the Kowalewski separability conditions. 2) The quadratures represent an apparently new generalization of the standard Jacobi inversion problem of algebraic geometry. Part I explains the Kowalewski separability conditions and their implementation to the Clebsch case. It is shown that the new separating coordinates lead to quadratures i…
In this thesis we looked into three different problems which share, as a common factor, the exstensive use of the Fourier--Mukai transform as research tool. In the first Part we investigated the syzygies of Kummer varieties (i.e. quotients of abelian varieties by the $\mathbb{Z}/2\Z$-action induced by the group operation), extending to higher syzygies results on projective normality and degree of equations of Sasaki, Kempf, and Khaled. The second Part of this Thesis (partially written in collaboration with Z.Jiang and M. Lahoz) is dedicated to the study of pluricanonical linear systems on vari…
We develop a new approach to the study of supersymmetric gauge theories on ALE spaces using the theory of framed sheaves on root toric stacks, which illuminates relations with gauge theories on $\mathbb{R}^4$ and with two-dimensional conformal field theory. We construct a stacky compactification of the minimal resolution $X_k$ of the $A_{k-1}$ toric singularity $\mathbb{C}^2/\mathbb{Z}_k$, which is a projective toric orbifold $\mathscr{X}_k$ such that $\mathscr{X}_k\setminus X_k$ is a $\mathbb{Z}_k$-gerbe. We construct moduli spaces of torsion free sheaves on $\mathscr{X}_k$ which are framed a…
