• ### Logarithmic connections, WZNW action, and moduli of parabolic bundles on the sphere(1407.6752)

March 25, 2019 hep-th, math.AG, math.CV
Moduli spaces of stable parabolic bundles of parabolic degree $0$ over the Riemann sphere are stratified according to the Harder--Narasimhan filtration of underlying vector bundles. Over a Zariski open subset $\mathscr{N}_{0}$ of the open stratum depending explicitly on a choice of parabolic weights, a real-valued function $\mathscr{S}$ is defined as the regularized critical value of the non-compact Wess--Zumino--Novikov--Witten action functional. The definition of $\mathscr{S}$ depends on a suitable notion of parabolic bundle uniformization map' following from the Mehta--Seshadri and Birkhoff--Grothendieck theorems. It is shown that $-\mathscr{S}$ is a primitive for a (1,0)-form $\vartheta$ on $\mathscr{N}_{0}$ associated with the uniformization data of each intrinsic irreducible unitary logarithmic connection. Moreover, it is proved that $-\mathscr{S}$ is a K\"ahler potential for $(\Omega-\Omega_{\mathrm{T}})|_{\mathscr{N}_{0}}$, where $\Omega$ is the Narasimhan--Atiyah--Bott K\"ahler form in $\mathscr{N}$ and $\Omega_{\mathrm{T}}$ is a certain linear combination of tautological $(1,1)$-forms associated with the marked points. These results provide an explicit relation between the cohomology class $[\Omega]$ and tautological classes, which holds globally over certain open chambers of parabolic weights where $\mathscr{N}_{0} = \mathscr{N}$.
• ### Local index theorem for orbifold Riemann surfaces(1701.00771)

March 28, 2017 math.AG
We derive a local index theorem in Quillen's form for families of Cauchy-Riemann operators on orbifold Riemann surfaces (or Riemann orbisurfaces) that are quotients of the hyperbolic plane by the action of cofinite finitely generated Fuchsian groups. Each conical point (or a conjugacy class of primitive elliptic elements in the Fuchsian group) gives rise to an extra term in the local index theorem that is proportional to the symplectic form of a new K\"{a}hler metric on the moduli space of Riemann orbisurfaces. We find a simple formula for a local K\"{a}hler potential of the elliptic metric and show that when the order of elliptic element becomes large, the elliptic metric converges to the cuspidal one corresponding to a puncture on the orbisurface (or a conjugacy class of primitive parabolic elements). We also give a simple example of a relation between the elliptic metric and special values of Selberg's zeta function.
• ### Weyl type asymptotics and bounds for the eigenvalues of functional-difference operators for mirror curves(1510.00045)

Jan. 10, 2016 hep-th, math-ph, math.MP, math.SP
We investigate Weyl type asymptotics of functional-difference operators associated to mirror curves of special del Pezzo Calabi-Yau threefolds. These operators are $H(\zeta)=U+U^{-1}+V+\zeta V^{-1}$ and $H_{m,n}=U+V+q^{-mn}U^{-m}V^{-n}$, where $U$ and $V$ are self-adjoint Weyl operators satisfying $UV=q^{2}VU$ with $q=e^{i\pi b^{2}}$, $b>0$ and $\zeta>0$, $m,n\in\mathbb{N}$. We prove that $H(\zeta)$ and $H_{m,n}$ are self-adjoint operators with purely discrete spectrum on $L^{2}(\mathbb{R})$. Using the coherent state transform we find the asymptotical behaviour for the Riesz mean $\sum_{j\ge 1}(\lambda-\lambda_{j})_{+}$ as $\lambda\to\infty$ and prove the Weyl law for the eigenvalue counting function $N(\lambda)$ for these operators, which imply that their inverses are of trace class.
• ### Potentials and Chern forms for Weil-Petersson and Takhtajan-Zograf metrics on moduli spaces(1508.02102)

Sept. 16, 2015 math.AG
For the TZ metric on the moduli space $\mathscr{M}_{0,n}$ of $n$-pointed rational curves, we construct a K\"ahler potential in terms of the Fourier coefficients of the Klein's Hauptmodul. We define the space $\mathfrak{S}_{g,n}$ as holomorphic fibration $\mathfrak{S}_{g,n}\rightarrow\mathfrak{S}_{g}$ over the Schottky space $\mathfrak{S}_{g}$ of compact Riemann surfaces of genus $g$, where the fibers are configuration spaces of $n$ points. For the tautological line bundles $\mathscr{L}_{i}$ over $\mathfrak{S}_{g,n}$ we define Hermitian metrics $h_{i}$ in terms of Fourier coefficients of a covering map $J$ of the Schottky domain. We define the regularized classical Liouville action $S$ and show that $\exp\{S/\pi\}$ is a Hermitian metric in the line bundle $\mathscr{L}=\otimes_{i=1}^{n}\mathscr{L}_{i}$ over $\mathfrak{S}_{g,n}$. We explicitly compute the Chern forms of these Hermitian line bundles $$c_{1}(\mathscr{L}_{i},h_{i})=\frac{4}{3}\omega_{\mathrm{TZ},i},\quad c_{1}(\mathscr{L},\exp\{S/\pi\})=\frac{1}{\pi^{2}}\omega_{\mathrm{WP}}.$$ We prove that a smooth real-valued function $-\mathscr{S}=-S+\pi\sum_{i=1}^{n}\log h_{i}$ on $\mathfrak{S}_{g,n}$, a potential for this special difference of WP and TZ metrics, coincides with the renormalized hyperbolic volume of a corresponding Schottky $3$-manifold. We extend these results to the quasi-Fuchsian groups of type $(g,n)$.
• ### On Bott-Chern forms and their applications(1102.1105)

Jan. 11, 2015 hep-th, math.DG
We use Chern-Weil theory for Hermitian holomorphic vector bundles with canonical connections for explicit computation of the Chern forms of trivial bundles with special non-diagonal Hermitian metrics. We prove that every del-dellbar exact real form of the type (k,k) on an n-dimensional complex manifold X arises as a difference of the Chern character forms of trivial Hermitian vector bundles with canonical connections, and that (modulo the image of del and delbar) every real form of type (k,k), k<n, arises as a Bott-Chern form for two Hermitian metrics on some trivial vector bundle over X. The latter result is a complex manifold analogue of Proposition 2.6 in the paper arXiv: 0810.4935 by J. Simons and D. Sullivan. As an application, we obtain an explicit formula for the Bott-Chern form of a short exact sequence of holomorphic vector bundles, considered by Bott and Chern in classic 1965 paper, for the case when the first term is a line bundle. We also present a very simple explicit formula for the total Chern form of a hypersurface in the complex projective space.
• ### On the spectral theory of one functional-difference operator from conformal field theory(1408.0307)

Aug. 1, 2014 hep-th, math-ph, math.MP, math.CA, math.SP
In the paper we consider a functional-difference operator $H=U+U^{-1}+V$, where $U$ and $V$ are self-adjoint Weyl operators satisfying $UV=q^{2}VU$ with $q=e^{\pi i\tau}$ and $\tau>0$. The operator $H$ has applications in the conformal field theory and in the representation theory of quantum groups. Using modular quantum dilogarithm - a $q$-deformation of the Euler's dilogarithm - we define the scattering solution and the Jost solutions, derive an explicit formula for the resolvent of the self-adjoint operator $H$ in the Hilbert space $L^{2}(\mathbb{R})$, and prove the eigenfunction expansion theorem. The latter is a $q$-deformation of the well-known Kontorovich-Lebedev transform in the theory of special functions. We also present a formulation of the scattering theory for the operator $H$.
• ### Quantum Field Theories on Algebraic Curves. I. Additive bosons(0812.0169)

Dec. 28, 2013 hep-th, math.AG, math.QA, math.RT
Using Serre's adelic interpretation of cohomology, we develop a differential and integral calculus' on an algebraic curve X over an algebraically closed filed k of constants of characteristic zero, define algebraic analogs of additive multi-valued functions on X and prove corresponding generalized residue theorem. Using the representation theory of the global Heisenberg and lattice Lie algebras, we formulate quantum field theories of additive and charged bosons on an algebraic curve X. These theories are naturally connected with the algebraic de Rham theorem. We prove that an extension of global symmetries (Witten's additive Ward identities) from the k-vector space of rational functions on X to the vector space of additive multi-valued functions uniquely determines these quantum theories of additive and charged bosons.
• ### The first Chern form on moduli of parabolic bundles(math/0609739)

Oct. 8, 2007 hep-th, math.DG, math.AG
For moduli space of stable parabolic bundles on a compact Riemann surface, we derive an explicit formula for the curvature of its canonical line bundle with respect to Quillen's metric and interpret it as a local index theorem for the family of dbar-operators in associated parabolic endomorphism bundles. The formula consists of two terms: one standard (proportional to the canonical Kaehler form on the moduli space), and one nonstandard, called a cuspidal defect, that is defined by means of special values of the Eisenstein-Maass series. The cuspidal defect is explicitly expressed through curvature forms of certain natural line bundles on the moduli space related to the parabolic structure. We also compare our result with Witten's volume computation.
• ### Normal matrix models, dbar-problem, and orthogonal polynomials on the complex plane(0708.3867)

Aug. 28, 2007 math-ph, math.MP, math.CA, nlin.SI
We introduce a dbar-formulation of the orthogonal polynomials on the complex plane, and hence of the related normal matrix model, which is expected to play the same role as the Riemann-Hilbert formalism in the theory of orthogonal polynomials on the line and for the related Hermitian model. We propose an analog of Deift-Kriecherbauer-McLaughlin-Venakides-Zhou asymptotic method for the analysis of the relevant dbar-problem, and indicate how familiar steps for the Hermitian model, e.g. the g-function undressing'', might look like in the case of the normal model. We use the particular model considered recently by P. Elbau and G. Felder as a case study.
• ### Quantum Liouville theory in the background field formalism I. Compact Riemann surfaces(hep-th/0508188)

Dec. 5, 2006 hep-th, math-ph, math.MP, math.CV
Using Polyakov's functional integral approach with the Liouville action functional defined in \cite{ZT2} and \cite{LTT}, we formulate quantum Liouville theory on a compact Riemann surface X of genus g > 1. For the partition function <X> and for the correlation functions with the stress-energy tensor components $<\prod_{i=1}^{n}T(z_{i})\prod_{k=1}^{l}\bar{T}(\w_{k})X>$, we describe Feynman rules in the background field formalism by expanding corresponding functional integrals around a classical solution - the hyperbolic metric on X. Extending analysis in \cite{LT1,LT2,LT-Varenna,LT3}, we define the regularization scheme for any choice of global coordinate on X, and for Schottky and quasi-Fuchsian global coordinates we rigorously prove that one- and two-point correlation functions satisfy conformal Ward identities in all orders of the perturbation theory. Obtained results are interpreted in terms of complex geometry of the projective line bundle $\cE_{c}=\lambda_{H}^{c/2}$ over the moduli space $\mathfrak{M}_{g}$, where c is the central charge and $\lambda_{H}$ is the Hodge line bundle, and provide Friedan-Shenker \cite{FS} complex geometry approach to CFT with the first non-trivial example besides rational models.
• ### Holomorphic factorization of determinants of laplacians on Riemann surfaces and a higher genus generalization of Kronecker's first limit formula(math/0410294)

Sept. 29, 2006 hep-th, math.CV, math.SP
For a family of compact Riemann surfaces X_t of genus g>1 parametrized by the Schottky space S_g, we define a natural basis for the holomorphic n-differentials on X_t which varies holomorphically with t and generalizes the basis of normalized abelian differentials of the first kind for n=1. We introduce a holomorphic function F(n) on S_g which generalizes the classical product \prod(1-q^m)^2 appearing in the Dedekind eta function for n=1 and g=1. We prove a holomorphic factorization formula expressing the regularized determinant of the Laplacian as a product of |F(n)|^2, a holomorphic anomaly depending on the classical Liouville action (a Kahler potential of S_g), and the determinant of the Gram matrix of the natural basis. The factorization formula reduces to Kronecker's first limit formula when n=1 and g=1, and to Zograf's factorization formula for n=1 and g>1.
• ### Weil-Petersson metric on the universal Teichmuller space II. Kahler potential and period mapping(math/0406408)

June 21, 2004 hep-th, math.DG, math.CV
We study the Hilbert manifold structure on $T_{0}(1)$ -- the connected component of the identity of the Hilbert manifold T(1). We characterize points on $T_{0}(1)$ in terms of Bers and pre-Bers embeddings, and prove that the Grunsky operators $B_{1}$ and $B_{4}$, associated with the points in $T_{0}(1)$ via conformal welding, are Hilbert-Schmidt. We define a universal Liouville action'' -- a real-valued function $\SSS_{1}$ on $T_{0}(1)$, and prove that it is a K\"{a}hler potential of the Weil-Petersson metric on $T_{0}(1)$. We also prove that $\SSS_{1}$ is $-\tfrac{1}{12\pi}$ times the logarithm of the Fredholm determinant of associated quasi-circle, which generalizes classical results of Schiffer and Hawley. We define the universal period mapping $\hat{\cP}: T(1)\to\cB(\ell^{2})$ of T(1) into the Banach space of bounded operators on the Hilbert space $\ell^{2}$, prove that $\hat{\cP}$ is a holomorphic mapping of Banach manifolds, and show that $\hat{\cP}$ coincides with the period mapping introduced by Kurillov and Yuriev and Nag and Sullivan. We prove that the restriction of $\hat{\cP}$ to $T_{0}(1)$ is an inclusion of $T_{0}(1)$ into the Segal-Wilson universal Grassmannian, which is a holomorphic mapping of Hilbert manifolds. We also prove that the image of the topological group $S$ of symmetric homeomorphisms of $S^{1}$ under the mapping $\hat{\cP}$ consists of compact operators on $\ell^{2}$.
• ### Weil-Petersson metric on the universal Teichmuller space I: Curvature properties and Chern forms(math/0312172)

June 21, 2004 hep-th, math.DG, math.CV
We prove that the universal Teichmuller space T(1) carries a new structure of a complex Hilbert manifold. We show that the connected component of the identity of T(1), the Hilbert submanifold T_{0}(1), is a topological group. We define a Weil-Petersson metric on T(1) by Hilbert space inner products on tangent spaces, compute its Riemann curvature tensor, and show that T(1) is a Kahler-Einstein manifold with negative Ricci and sectional curvatures. We introduce and compute Mumford-Miller-Morita characteristic forms for the vertical tangent bundle of the universal Teichmuller curve fibration over the universal Teichmuller space. As an application, we derive Wolpert curvature formulas for the finite-dimensional Teichmuller spaces from the formulas for the universal Teichmuller space.
• ### Liouville action and Weil-Petersson metric on deformation spaces, global Kleinian reciprocity and holography(math/0204318)

May 21, 2002 hep-th, math.DG, math.CV
We rigorously define the Liouville action functional for finitely generated, purely loxodromic quasi-Fuchsian group using homology and cohomology double complexes naturally associated with the group action. We prove that the classical action - the critical point of the Liouville action functional, considered as a function on the quasi-Fuchsian deformation space, is an antiderivative of a 1-form given by the difference of Fuchsian and quasi-Fuchsian projective connections. This result can be considered as global quasi-Fuchsian reciprocity which implies McMullen's quasi-Fuchsian reciprocity. We prove that the classical action is a Kahler potential of the Weil-Petersson metric. We also prove that Liouville action functional satisfies holography principle, i.e., it is a regularized limit of the hyperbolic volume of a 3-manifold associated with a quasi-Fuchsian group. We generalize these results to a large class of Kleinian groups including finitely generated, purely loxodromic Schottky and quasi-Fuchsian groups and their free combinations.
• ### Free bosons and tau-functions for compact Riemann surfaces and closed smooth Jordan curves I. Current correlation functions(math/0102164)

Feb. 20, 2001 hep-th, math.QA, math.CV
We study families of quantum field theories of free bosons on a compact Riemann surface of genus g. For the case g > 0 these theories are parameterized by holomorphic line bundles of degree g-1, and for the case g=0 - by smooth closed Jordan curves on the complex plane. In both cases we define a notion of tau-function as a partition function of the theory and evaluate it explicitly. For the case g > 0 the tau-function is an analytic torsion [3], and for the case g=0 - the regularized energy of a certain natural pseudo-measure on the interior domain of a closed curve. For these cases we rigorously prove the Ward identities for the current correlation functions and determine them explicitly. For the case g > 0 these functions coincide with those obtained in [21,36] using bosonization. For the case g=0 the tau-function we have defined coincides with the tau-function introduced in [29,44,24] as a dispersionless limit of the Sato's tau-function for the two-dimensional Toda hierarchy. As a corollary of the Ward identities, we obtain recent results [44,24] on relations between conformal maps of exterior domains and tau-functions. For this case we also define a Hermitian metric on the space of all contours of given area. As another corollary of the Ward identities we prove that the introduced metric is Kahler and the logarithm of the tau-function is its Kahler potential.
• ### Generating Functional in CFT on Riemann Surfaces II: Homological Aspects(math/0006147)

June 20, 2000 hep-th, math-ph, math.MP, math.AT, math.QA
We revisit and generalize our previous algebraic construction of the chiral effective action for Conformal Field Theory on higher genus Riemann surfaces. We show that the action functional can be obtained by evaluating a certain Deligne cohomology class over the fundamental class of the underlying topological surface. This Deligne class is constructed by applying a descent procedure with respect to a \v{C}ech resolution of any covering map of a Riemann surface. Detailed calculations are presented in the two cases of an ordinary \v{C}ech cover, and of the universal covering map, which was used in our previous approach. We also establish a dictionary that allows to use the same formalism for different covering morphisms. The Deligne cohomology class we obtain depends on a point in the Earle-Eells fibration over the Teichm\"uller space, and on a smooth coboundary for the Schwarzian cocycle associated to the base-point Riemann surface. From it, we obtain a variational characterization of Hubbard's universal family of projective structures, showing that the locus of critical points for the chiral action under fiberwise variation along the Earle-Eells fibration is naturally identified with the universal projective structure.
• ### Equivalence of Geometric h<1/2 and Standard c>25 Approaches to Two-Dimensional Quantum Gravity(hep-th/9509026)

Sept. 6, 1995 hep-th
We show equivalence between the standard weak coupling regime c>25 of the two-dimensional quantum gravity and regime h<1/2 of the original geometric approach of Polyakov [1,2], developed in [3,4,5].