
We study symplectic properties of monodromy map for second order linear
equation with meromorphic potential having only simple poles on a Riemann
surface. We show that the canonical symplectic structure on the cotangent
bundle $T^*M_{g,n}$ implies the Goldman bracket on the corresponding character
variety under the monodromy map, thereby extending the recent results of the
paper of M.Bertola, C.Norton and the author from the case of holomorphic to
meromorphic potentials with simple poles.

We describe projective structures on a Riemann surface corresponding to
monodromy groups which have trivial $SL(2)$ monodromies around singularities
and trivial $PSL(2)$ monodromies along homologically nontrivial loops on a
Riemann surface. We propose a natural higher genus analog of StieltjesBethe
equations. Links with branched projective structures and with Hurwitz spaces
with ramifications of even order are established. We find a higher genus analog
of the genus zero YangYang function (the function generating accessory
parameters) and describe its similarity and difference with Bergman
taufunction on the Hurwitz spaces.

We study special circle bundles over two elementary moduli spaces of
meromorphic quadratic differentials with real periods denoted by $\mathcal
Q_0^{\mathbb R}(7)$ and $\mathcal Q^{\mathbb R}_0([3]^2)$. The space
$\mathcal Q_0^{\mathbb R}(7)$ is the moduli space of meromorphic quadratic
differentials on the Riemann sphere with one pole of order 7 with real periods;
it appears naturally in the study of a neighbourhood of the Witten's cycle
$W_1$ in the combinatorial model based on JenkinsStrebel quadratic
differentials of $\mathcal M_{g,n}$. The space $\mathcal Q^{\mathbb
R}_0([3]^2)$ is the moduli space of meromorphic quadratic differentials on the
Riemann sphere with two poles of order at most 3 with real periods; it appears
in description of a neighbourhood of Kontsevich's boundary $W_{1,1}$ of the
combinatorial model. The application of the formalism of the Bergman
taufunction to the combinatorial model (with the goal of computing
analytically Poincare dual cycles to certain combinations of tautological
classes) requires the study of special sections of circle bundles over
$\mathcal Q_0^{\mathbb R}(7)$ and $\mathcal Q^{\mathbb R}_0([3]^2)$; in the
case of the space $\mathcal Q_0^{\mathbb R}(7)$ a section of this circle
bundle is given by the argument of the modular discriminant. We study the
spaces $\mathcal Q_0^{\mathbb R}(7)$ and $\mathcal Q^{\mathbb R}_0([3]^2)$,
also called the spaces of Boutroux curves, in detail, together with
corresponding circle bundles.

We introduce a natural symplectic structure on the moduli space of quadratic
differentials with simple zeros and describe its Darboux coordinate systems in
terms of socalled homological coordinates. We then show that this structure
coincides with the canonical Poisson structure on the cotangent bundle of the
moduli space of Riemann surfaces, and therefore the homological coordinates
provide a new system of Darboux coordinates. We define a natural family of
commuting "homological flows" on the moduli space of quadratic differentials
and find the corresponding actionangle variables.
The space of projective structures over the moduli space can be identified
with the cotangent bundle upon selection of a reference projective connection
that varies holomorphically and thus can be naturally endowed with a symplectic
structure. Different choices of projective connections of this kind (Bergman,
Schottky, Wirtinger) give rise to equivalent symplectic structures on the space
of projective connections but different symplectic polarizations: the
corresponding generating functions are found. We also study the monodromy
representation of the Schwarzian equation associated with a projective
connection, and we show that the natural symplectic structure on the the space
of projective connections induces the Goldman Poisson structure on the
character variety. Combined with results of Kawai, this result shows the
symplectic equivalence between the embeddings of the cotangent bundle into the
space of projective structures given by the Bers and Bergman projective
connections.

In this paper we study BakerAkhiezer spinor kernel on moduli spaces of
meromorphic differentials on Riemann surfaces. We introduce the BakerAkhiezer
taufunction which is related to both Bergman taufunction (which was studied
before in the context of Hurwitz spaces and spaces of holomorphic and quadratic
differentials) and KP taufunction on such spaces. In particular, we derive
variational formulas of RauchAhlfors type on moduli spaces of meromorphic
differentials with prescribed singularities: we use the system of homological
coordinates, consisting of absolute and relative periods of the meromorphic
differential, and show how to vary the fundamental objects associated to a
Riemann surface (the matrix of $b$periods, normalized Abelian differentials,
the Bergman bidifferential, the Szeg\"o kernel and the BakerAkhiezer spinor
kernel) with respect to these coordinates. The variational formulas encode
dependence both on the moduli of the Riemann surface and on the choice of
meromorphic differential (variation of the meromorphic differential while
keeping the Riemann surface fixed corresponds to flows of KP type). Analyzing
the global properties of the Bergman and BakerAkhiezer taufunctions we
establish relationships between various divisor classes on the moduli spaces.

The goal of this paper is to propose a new way to generalize the Weierstrass
sigmafunction to higher genus Riemann surfaces. Our definition of the odd
higher genus sigmafunction is based on a generalization of the classical
representation of the elliptic sigmafunction via Jacobi thetafunction.
Namely, the odd higher genus sigmafunction $\sigma_{\chi}(u)$ (for $u\in
\C^g$) is defined as a product of the thetafunction with odd halfinteger
characteristic $\beta^{\chi}$, associated with a spin line bundle $\chi$, an
exponent of a certain bilinear form, the determinant of a period matrix and a
power of the product of all even thetaconstants which are nonvanishing on a
given Riemann surface.
We also define an even sigmafunction corresponding to an arbitrary even spin
structure. Even sigmafunctions are constructed as a straightforward analog of
a classical formula relating even and odd sigmafunctions. In higher genus the
even sigmafunctions are welldefined on the moduli space of Riemann surfaces
outside of a subspace defined by vanishing of the corresponding even
thetaconstant.

The tau function on the moduli space of generic holomorphic 1differentials
on complex algebraic curves is interpreted as a section of a line bundle on the
projectivized Hodge bundle over the moduli space of stable curves. The
asymptotics of the tau function near the boundary of the moduli space of
1differentials is computed, and an explicit expression for the pullback of the
Hodge class on the projectivized Hodge bundle in terms of the tautological
class and the classes of boundary divisors is derived. This expression is used
to clarify the geometric meaning of the KontsevichZorich formula for the sum
of the Lyapunov exponents associated with the Teichm\"uller flow on the Hodge
bundle.