
Moduli spaces of stable parabolic bundles of parabolic degree $0$ over the
Riemann sphere are stratified according to the HarderNarasimhan 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
realvalued function $\mathscr{S}$ is defined as the regularized critical value
of the noncompact WessZuminoNovikovWitten action functional. The
definition of $\mathscr{S}$ depends on a suitable notion of parabolic bundle
`uniformization map' following from the MehtaSeshadri and
BirkhoffGrothendieck 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
NarasimhanAtiyahBott 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}$.

We derive a local index theorem in Quillen's form for families of
CauchyRiemann 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.

We investigate Weyl type asymptotics of functionaldifference operators
associated to mirror curves of special del Pezzo CalabiYau 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 selfadjoint 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 selfadjoint
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.

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 realvalued 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
quasiFuchsian groups of type $(g,n)$.

We use ChernWeil theory for Hermitian holomorphic vector bundles with
canonical connections for explicit computation of the Chern forms of trivial
bundles with special nondiagonal Hermitian metrics. We prove that every
deldellbar exact real form of the type (k,k) on an ndimensional 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 BottChern
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 BottChern 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.

In the paper we consider a functionaldifference operator $H=U+U^{1}+V$,
where $U$ and $V$ are selfadjoint 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 selfadjoint operator $H$ in the
Hilbert space $L^{2}(\mathbb{R})$, and prove the eigenfunction expansion
theorem. The latter is a $q$deformation of the wellknown KontorovichLebedev
transform in the theory of special functions. We also present a formulation of
the scattering theory for the operator $H$.

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 multivalued 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 kvector space of
rational functions on X to the vector space of additive multivalued functions
uniquely determines these quantum theories of additive and charged bosons.

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

We introduce a dbarformulation 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 RiemannHilbert formalism in the theory of orthogonal
polynomials on the line and for the related Hermitian model. We propose an
analog of DeiftKriecherbauerMcLaughlinVenakidesZhou asymptotic method for
the analysis of the relevant dbarproblem, and indicate how familiar steps for
the Hermitian model, e.g. the gfunction ``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.

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 stressenergy 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,LTVarenna,LT3}, we define the
regularization scheme for any choice of global coordinate on X, and for
Schottky and quasiFuchsian global coordinates we rigorously prove that one
and twopoint 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 FriedanShenker \cite{FS}
complex geometry approach to CFT with the first nontrivial example besides
rational models.

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
ndifferentials 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(1q^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.

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 preBers embeddings, and prove that the
Grunsky operators $B_{1}$ and $B_{4}$, associated with the points in $T_{0}(1)$
via conformal welding, are HilbertSchmidt. We define a ``universal Liouville
action''  a realvalued function $\SSS_{1}$ on $T_{0}(1)$, and prove that it
is a K\"{a}hler potential of the WeilPetersson 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 quasicircle, 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 SegalWilson 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}$.

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 WeilPetersson metric on T(1) by Hilbert space inner products on
tangent spaces, compute its Riemann curvature tensor, and show that T(1) is a
KahlerEinstein manifold with negative Ricci and sectional curvatures. We
introduce and compute MumfordMillerMorita 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 finitedimensional Teichmuller spaces from the formulas for
the universal Teichmuller space.

We rigorously define the Liouville action functional for finitely generated,
purely loxodromic quasiFuchsian 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 quasiFuchsian deformation space, is an
antiderivative of a 1form given by the difference of Fuchsian and
quasiFuchsian projective connections. This result can be considered as global
quasiFuchsian reciprocity which implies McMullen's quasiFuchsian reciprocity.
We prove that the classical action is a Kahler potential of the WeilPetersson
metric. We also prove that Liouville action functional satisfies holography
principle, i.e., it is a regularized limit of the hyperbolic volume of a
3manifold associated with a quasiFuchsian group. We generalize these results
to a large class of Kleinian groups including finitely generated, purely
loxodromic Schottky and quasiFuchsian groups and their free combinations.

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 g1, and for the case g=0  by smooth
closed Jordan curves on the complex plane. In both cases we define a notion of
taufunction as a partition function of the theory and evaluate it explicitly.
For the case g > 0 the taufunction is an analytic torsion [3], and for the
case g=0  the regularized energy of a certain natural pseudomeasure 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 taufunction we have defined coincides
with the taufunction introduced in [29,44,24] as a dispersionless limit of the
Sato's taufunction for the twodimensional Toda hierarchy. As a corollary of
the Ward identities, we obtain recent results [44,24] on relations between
conformal maps of exterior domains and taufunctions. 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 taufunction is its Kahler potential.

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 EarleEells fibration over the
Teichm\"uller space, and on a smooth coboundary for the Schwarzian cocycle
associated to the basepoint 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 EarleEells fibration is naturally identified with the
universal projective structure.

We show equivalence between the standard weak coupling regime c>25 of the
twodimensional quantum gravity and regime h<1/2 of the original geometric
approach of Polyakov [1,2], developed in [3,4,5].