-
Supersymmetry and trace formulas III. Frenkel trace formula
Authors:
Changha Choi,
Leon A. Takhtajan
Abstract:
By applying the new supersymmetric localization principle introduced in \cite{Choi:2021yuz,Choi:2023pjn}, we present two complementary approaches for the path integral derivation of the `non-chiral' trace formula for a semisimple compact Lie group $G$, which generalizes the so-called Frenkel trace formula. Corresponding physical systems for each picture are the quantum mechanical sigma model on…
▽ More
By applying the new supersymmetric localization principle introduced in \cite{Choi:2021yuz,Choi:2023pjn}, we present two complementary approaches for the path integral derivation of the `non-chiral' trace formula for a semisimple compact Lie group $G$, which generalizes the so-called Frenkel trace formula. Corresponding physical systems for each picture are the quantum mechanical sigma model on $G$ and the gauged sigma model on $G\times G$, and the approaches closely follow the spirit of the Eskin trace formula \cite{Choi:2021yuz} and the Selberg trace formula \cite{Choi:2023pjn} respectively. These methods provide a natural conceptual bridge between two seemingly independent derivations in \cite{Choi:2021yuz} and \cite{Choi:2023pjn}.
△ Less
Submitted 14 February, 2025;
originally announced February 2025.
-
Supersymmetry and trace formulas II. Selberg trace formula
Authors:
Changha Choi,
Leon A. Takhtajan
Abstract:
By extending the new supersymmetric localization principle introduced in \cite{Choi:2021yuz}, we present a path integral derivation of the Selberg trace formula on arbitrary compact Riemann surfaces, including the case of arbitrary vector-valued automorphic form and weight corresponding to Maass Laplacian. We also generalize the method to formulate the Selberg trace formula on generic compact loca…
▽ More
By extending the new supersymmetric localization principle introduced in \cite{Choi:2021yuz}, we present a path integral derivation of the Selberg trace formula on arbitrary compact Riemann surfaces, including the case of arbitrary vector-valued automorphic form and weight corresponding to Maass Laplacian. We also generalize the method to formulate the Selberg trace formula on generic compact locally symmetric space.
△ Less
Submitted 6 February, 2025; v1 submitted 23 June, 2023;
originally announced June 2023.
-
Supersymmetry and trace formulas I. Compact Lie groups
Authors:
Changha Choi,
Leon A. Takhtajan
Abstract:
In the context of supersymmetric quantum mechanics we formulate new supersymmetric localization principle, with application to trace formulas for a full thermal partition function. Unlike the standard localization principle, this new principle allows to compute the supertrace of non-supersymmetric observables, and is based on the existence of fermionic zero modes. We describe corresponding new inv…
▽ More
In the context of supersymmetric quantum mechanics we formulate new supersymmetric localization principle, with application to trace formulas for a full thermal partition function. Unlike the standard localization principle, this new principle allows to compute the supertrace of non-supersymmetric observables, and is based on the existence of fermionic zero modes. We describe corresponding new invariant supersymmetric deformations of the path integral; they differ from the standard deformations arising from the circle action and require higher derivatives terms. Consequently, we prove that the path integral localizes to periodic orbits and not not only on constant ones. We illustrate the principle by deriving bosonic trace formulas on compact Lie groups, including classical Jacobi inversion formula.
△ Less
Submitted 6 February, 2025; v1 submitted 15 December, 2021;
originally announced December 2021.
-
Goldman form, flat connections and stable vector bundles
Authors:
Leon A. Takhtajan
Abstract:
We consider the moduli space $\mathscr{N}$ of stable vector bundles of degree $0$ over a compact Riemann surface and the affine bundle $\mathscr{A}\to\mathscr{N}$ of flat connections. Following the similarity between the Teichmüller spaces and the moduli of bundles, we introduce the analogue of of the quasi-Fuchsian projective connections - local holomorphic sections of $\mathscr{A}$ - that allow…
▽ More
We consider the moduli space $\mathscr{N}$ of stable vector bundles of degree $0$ over a compact Riemann surface and the affine bundle $\mathscr{A}\to\mathscr{N}$ of flat connections. Following the similarity between the Teichmüller spaces and the moduli of bundles, we introduce the analogue of of the quasi-Fuchsian projective connections - local holomorphic sections of $\mathscr{A}$ - that allow to pull back the Liouville symplectic form on $T^{*}\mathscr{N}$ to $\mathscr{A}$. We prove that the pullback of the Goldman form to $\mathscr{A}$ by the Riemann-Hilbert correspondence coincides with the pullback of the Liouville form. We also include a simple proof, in the spirit of Riemann bilinear relations, of the classic result - the pullback of Goldman symplectic form to $\mathscr{N}$ by the Narasimhan-Seshadri connection is the natural symplectic form on $\mathscr{N}$, introduced by Narasimhan and Atiyah & Bott.
△ Less
Submitted 3 March, 2022; v1 submitted 8 May, 2021;
originally announced May 2021.
-
Trace formulas for the modified Mathieu equation
Authors:
Leon A. Takhtajan
Abstract:
For the radial and one-dimensional Schrödinger operator $H$ with growing potential $q(x)$ we outline a method of obtaining the trace identities - an asymptotic expansion of the Fredholm determinant $\mathrm{det}_{F}(H-λI)$ as $λ\to-\infty$. As an illustrating example, we consider Schrödinger operator with the potential $q(x)=2\cosh 2x$, associated with the modified Mathieu equation.
For the radial and one-dimensional Schrödinger operator $H$ with growing potential $q(x)$ we outline a method of obtaining the trace identities - an asymptotic expansion of the Fredholm determinant $\mathrm{det}_{F}(H-λI)$ as $λ\to-\infty$. As an illustrating example, we consider Schrödinger operator with the potential $q(x)=2\cosh 2x$, associated with the modified Mathieu equation.
△ Less
Submitted 10 March, 2021; v1 submitted 26 February, 2021;
originally announced March 2021.
-
Etudes of the resolvent
Authors:
Leon A Takhtajan
Abstract:
Based on the notion of the resolvent and on the Hilbert identities, this paper presents a number of classical results in the theory of differential operators and some of their applications to the theory of automorphic functions and number theory from a unified point of view. For instance, for the Sturm-Liouville operator there is a derivation of the Gelfand-Levitan trace formula, and for the one-d…
▽ More
Based on the notion of the resolvent and on the Hilbert identities, this paper presents a number of classical results in the theory of differential operators and some of their applications to the theory of automorphic functions and number theory from a unified point of view. For instance, for the Sturm-Liouville operator there is a derivation of the Gelfand-Levitan trace formula, and for the one-dimensional Schroedinger operator a derivation of Faddeev's formula for the characteristic determinant and the Zakharov-Faddeev trace identities. Recent results on the spectral theory of a certain functional-difference operator arising in conformal field theory are then presented. The last section of the survey is devoted to the Laplace operator on a fundamental domain of a Fuchsian group of the first kind on the Lobachevsky plane. An algebraic scheme is given for proving analytic continuation of the integral kernel of the resolvent of the Laplace operator and the Eisenstein-Maass series. In conclusion, there is a discussion of the relation between the values of the Eisenstein-Maass series at Heegner points and Dedekind zeta-functions of imaginary quadratic fields, and it is explained why pseudo-cuspforms for the case of the modular group do not provide any information about the zeros of the Riemann zeta-function.
△ Less
Submitted 24 April, 2020;
originally announced April 2020.
-
On Kawai theorem for orbifold Riemann surfaces
Authors:
Leon A Takhtajan
Abstract:
We prove a generalization of Kawai theorem for the case of orbifold Riemann surface. The computation is based on a formula for the differential of a holomorphic map from the cotangent bundle of the Teichmüller space to the $\mathrm{PSL}(2,\mathbb{C})$-character variety, which allows to evaluate explicitly the pullback of Goldman symplectic form in the spirit of Riemann bilinear relations. As a cor…
▽ More
We prove a generalization of Kawai theorem for the case of orbifold Riemann surface. The computation is based on a formula for the differential of a holomorphic map from the cotangent bundle of the Teichmüller space to the $\mathrm{PSL}(2,\mathbb{C})$-character variety, which allows to evaluate explicitly the pullback of Goldman symplectic form in the spirit of Riemann bilinear relations. As a corollary, we obtain a generalization of Goldman's theorem that the pullback of Goldman symplectic from on $\mathrm{PSL}(2,\mathbb{R})$-character variety is a symplectic form of the Weil-Petersson metric on the Teichmüller space.
△ Less
Submitted 8 August, 2018; v1 submitted 29 August, 2017;
originally announced August 2017.
-
Local index theorem for orbifold Riemann surfaces
Authors:
Leon A. Takhtajan,
Peter Zograf
Abstract:
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…
▽ More
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ähler metric on the moduli space of Riemann orbisurfaces. We find a simple formula for a local Kä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.
△ Less
Submitted 18 April, 2024; v1 submitted 3 January, 2017;
originally announced January 2017.
-
Weyl type asymptotics and bounds for the eigenvalues of functional-difference operators for mirror curves
Authors:
Ari Laptev,
Lukas Schimmer,
Leon A. Takhtajan
Abstract:
We investigate Weyl type asymptotics of functional-difference operators associated to mirror curves of special del Pezzo Calabi-Yau threefolds. These operators are $H(ζ)=U+U^{-1}+V+ζ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πb^{2}}$, $b>0$ and $ζ>0$, $m,n\in\mathbb{N}$. We prove that $H(ζ)$ and $H_{m,n}$ are…
▽ More
We investigate Weyl type asymptotics of functional-difference operators associated to mirror curves of special del Pezzo Calabi-Yau threefolds. These operators are $H(ζ)=U+U^{-1}+V+ζ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πb^{2}}$, $b>0$ and $ζ>0$, $m,n\in\mathbb{N}$. We prove that $H(ζ)$ 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}(λ-λ_{j})_{+}$ as $λ\to\infty$ and prove the Weyl law for the eigenvalue counting function $N(λ)$ for these operators, which imply that their inverses are of trace class.
△ Less
Submitted 10 January, 2016; v1 submitted 30 September, 2015;
originally announced October 2015.
-
Potentials and Chern forms for Weil-Petersson and Takhtajan-Zograf metrics on moduli spaces
Authors:
Jinsung Park,
Leon A. Takhtajan,
Lee-Peng Teo
Abstract:
For the TZ metric on the moduli space $\mathscr{M}_{0,n}$ of $n$-pointed rational curves, we construct a Kähler 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 fiber…
▽ More
For the TZ metric on the moduli space $\mathscr{M}_{0,n}$ of $n$-pointed rational curves, we construct a Kähler 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/π\}$ 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}ω_{\mathrm{TZ},i},\quad c_{1}(\mathscr{L},\exp\{S/π\})=\frac{1}{π^{2}}ω_{\mathrm{WP}}.$$ We prove that a smooth real-valued function $-\mathscr{S}=-S+π\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)$.
△ Less
Submitted 15 September, 2015; v1 submitted 9 August, 2015;
originally announced August 2015.
-
On the spectral theory of one functional-difference operator from conformal field theory
Authors:
Ludwig D. Faddeev,
Leon A. Takhtajan
Abstract:
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^{πiτ}$ and $τ>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…
▽ More
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^{πiτ}$ and $τ>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$.
△ Less
Submitted 1 August, 2014;
originally announced August 2014.
-
Logarithmic connections, WZNW action, and moduli of parabolic bundles on the sphere
Authors:
Claudio Meneses,
Leon A. Takhtajan
Abstract:
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-compa…
▽ More
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ähler potential for $(Ω-Ω_{\mathrm{T}})|_{\mathscr{N}_{0}}$, where $Ω$ is the Narasimhan--Atiyah--Bott Kähler form in $\mathscr{N}$ and $Ω_{\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 $[Ω]$ and tautological classes, which holds globally over certain open chambers of parabolic weights where $\mathscr{N}_{0} = \mathscr{N}$.
△ Less
Submitted 3 January, 2022; v1 submitted 24 July, 2014;
originally announced July 2014.
-
On real projective connections, V.I. Smirnov's approach, and black hole type solutions of the Liouville equation
Authors:
Leon A Takhtajan
Abstract:
We consider real projective connections on Riemann surfaces and corresponding solutions of the Liouville equation. It is shown that these solutions have singularities of special type (of a black hole type) on a finite number of simple analytical contours. The case of the Riemann sphere with four real punctures, considered in V.I. Smirnov's thesis (Petrograd, 1918), is analyzed in detail.
We consider real projective connections on Riemann surfaces and corresponding solutions of the Liouville equation. It is shown that these solutions have singularities of special type (of a black hole type) on a finite number of simple analytical contours. The case of the Riemann sphere with four real punctures, considered in V.I. Smirnov's thesis (Petrograd, 1918), is analyzed in detail.
△ Less
Submitted 9 January, 2015; v1 submitted 7 July, 2014;
originally announced July 2014.
-
Explicit computation of the Chern character forms
Authors:
Leon A Takhtajan
Abstract:
We propose a method for explicit computation of the Chern character form of a holomorphic Hermitian vector bundle $(E,h)$ over a complex manifold $X$ in a local holomorphic frame. First, we use the descent equations arising in the double complex of $(p,q)$-forms on $X$ and find explicit degree decomposition of the Chern-Simons form $\mathrm{cs}_{k}$ associated to the Chern character form…
▽ More
We propose a method for explicit computation of the Chern character form of a holomorphic Hermitian vector bundle $(E,h)$ over a complex manifold $X$ in a local holomorphic frame. First, we use the descent equations arising in the double complex of $(p,q)$-forms on $X$ and find explicit degree decomposition of the Chern-Simons form $\mathrm{cs}_{k}$ associated to the Chern character form $\mathrm{ch}_{k}$ of $(E,h)$. Second, we introduce the `ascent' equations that start from the $(2k-1,0)$ component of $\mathrm{cs}_{k}$, and use Cholesky decomposition of the Hermitian metric $h$ to represent the Chern-Simons form, modulo $d$-exact forms, as a $\partial$-exact form. This yields a formula for the Bott-Chern form $\mathrm{bc}_{k}$ of type $(k-1,k-1)$ such that $\mathrm{ch}_{k}=\frac{\sqrt{-1}}{2π}\bar{\partial}\partial\,\mathrm{bc}_{k}$. Explicit computation is presented for the cases $k=2$ and $3$.
△ Less
Submitted 26 June, 2015; v1 submitted 25 February, 2014;
originally announced February 2014.
-
On Bott-Chern forms and their applications
Authors:
Vamsi P. Pingali,
Leon A. Takhtajan
Abstract:
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 c…
▽ More
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.
△ Less
Submitted 11 January, 2015; v1 submitted 5 February, 2011;
originally announced February 2011.
-
Quantum Field Theories on Algebraic Curves. I. Additive bosons
Authors:
Leon A. Takhtajan
Abstract:
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,…
▽ More
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.
△ Less
Submitted 28 December, 2013; v1 submitted 30 November, 2008;
originally announced December 2008.
-
Normal matrix models, dbar-problem, and orthogonal polynomials on the complex plane
Authors:
Alexander R. Its,
Leon A. Takhtajan
Abstract:
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 o…
▽ More
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.
△ Less
Submitted 28 August, 2007;
originally announced August 2007.
-
The first Chern form on moduli of parabolic bundles
Authors:
Leon A. Takhtajan,
Peter G. Zograf
Abstract:
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…
▽ More
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.
△ Less
Submitted 8 October, 2007; v1 submitted 26 September, 2006;
originally announced September 2006.
-
Quantum Liouville theory in the background field formalism I. Compact Riemann surfaces
Authors:
Leon A. Takhtajan,
Lee-Peng Teo
Abstract:
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…
▽ More
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}=λ_{H}^{c/2}$ over the moduli space $\mathfrak{M}_{g}$, where c is the central charge and $λ_{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.
△ Less
Submitted 5 December, 2006; v1 submitted 24 August, 2005;
originally announced August 2005.
-
Holomorphic factorization of determinants of laplacians on Riemann surfaces and a higher genus generalization of Kronecker's first limit formula
Authors:
Andrew McIntyre,
Leon A. Takhtajan
Abstract:
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 app…
▽ More
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.
△ Less
Submitted 29 September, 2006; v1 submitted 12 October, 2004;
originally announced October 2004.
-
Weil-Petersson metric on the universal Teichmuller space II. Kahler potential and period mapping
Authors:
Leon A. Takhtajan,
Lee-Peng Teo
Abstract:
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 r…
▽ More
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ähler potential of the Weil-Petersson metric on $T_{0}(1)$. We also prove that $\SSS_{1}$ is $-\tfrac{1}{12π}$ 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}$.
△ Less
Submitted 21 June, 2004;
originally announced June 2004.
-
Weil-Petersson metric on the universal Teichmuller space I: Curvature properties and Chern forms
Authors:
Leon A. Takhtajan,
Lee-Peng Teo
Abstract:
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 m…
▽ More
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.
△ Less
Submitted 21 June, 2004; v1 submitted 8 December, 2003;
originally announced December 2003.
-
Liouville action and Weil-Petersson metric on deformation spaces, global Kleinian reciprocity and holography
Authors:
Leon A. Takhtajan,
Lee-Peng Teo
Abstract:
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…
▽ More
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.
△ Less
Submitted 21 May, 2002; v1 submitted 25 April, 2002;
originally announced April 2002.
-
Free bosons and tau-functions for compact Riemann surfaces and closed smooth Jordan curves I. Current correlation functions
Authors:
Leon A. Takhtajan
Abstract:
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…
▽ More
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.
△ Less
Submitted 20 February, 2001;
originally announced February 2001.
-
Generating Functional in CFT on Riemann Surfaces II: Homological Aspects
Authors:
Ettore Aldrovandi,
Leon A. Takhtajan
Abstract:
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…
▽ More
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 Čech resolution of any covering map of a Riemann surface. Detailed calculations are presented in the two cases of an ordinary Č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üller 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.
△ Less
Submitted 20 June, 2000;
originally announced June 2000.
-
Generating Functional in CFT and Effective Action for Two-Dimensional Quantum Gravity on Higher Genus Riemann Surfaces
Authors:
Ettore Aldrovandi,
Leon A. Takhtajan
Abstract:
We formulate and solve the analog of the universal Conformal Ward Identity for the stress-energy tensor on a compact Riemann surface of genus $g>1$, and present a rigorous invariant formulation of the chiral sector in the induced two-dimensional gravity on higher genus Riemann surfaces. Our construction of the action functional uses various double complexes naturally associated with a Riemann su…
▽ More
We formulate and solve the analog of the universal Conformal Ward Identity for the stress-energy tensor on a compact Riemann surface of genus $g>1$, and present a rigorous invariant formulation of the chiral sector in the induced two-dimensional gravity on higher genus Riemann surfaces. Our construction of the action functional uses various double complexes naturally associated with a Riemann surface, with computations that are quite similar to descent calculations in BRST cohomology theory. We also provide an interpretation for the action functional in terms of the geometry of different fiber spaces over the Teichmüller space of compact Riemann surfaces of genus $g>1$.
△ Less
Submitted 3 September, 1996; v1 submitted 25 June, 1996;
originally announced June 1996.
