Generalized boundary strata classes

We describe a generalization of the usual boundary strata classes in the Chow ring of $\overline{\mathcal{M}}_{g,n}$. The generalized boundary strata classes additively span a subring of the tautological ring. We describe a multiplication law satisfied by these classes and check that every double ramification cycle lies in this subring.Comment: For the Proceedings of the 2017 Abel Symposium, 10 page

Determinantal Characterization of Canonical Curves and Combinatorial Theta Identities

We characterize genus g canonical curves by the vanishing of combinatorial products of g+1 determinants of Brill-Noether matrices. This also implies the characterization of canonical curves in terms of (g-2)(g-3)/2 theta identities. A remarkable mechanism, based on a basis of H^0(K_C) expressed in terms of Szego kernels, reduces such identities to a simple rank condition for matrices whose entries are logarithmic derivatives of theta functions. Such a basis, together with the Fay trisecant identity, also leads to the solution of the question of expressing the determinant of Brill-Noether matrices in terms of theta functions, without using the problematic Klein-Fay section sigma.Comment: 35 pages. New results, presentation improved, clarifications added. Accepted for publication in Math. An

Computing top intersections in the tautological ring of MgM_g

We derive effective recursion formulae of top intersections in the tautological ring $R^*(M_g)$ of the moduli space of curves of genus $g\geq 2$. As an application, we prove a convolution-type tautological relation in $R^{g-2}(M_g)$.Comment: 18 page

On third Poisson structure of KdV equation

The third Poisson structure of KdV equation in terms of canonical ``free fields'' and reduced WZNW model is discussed. We prove that it is ``diagonalized'' in the Lagrange variables which were used before in formulation of 2D gravity. We propose a quantum path integral for KdV equation based on this representation.Comment: 6pp, Latex. to appear in ``Proceedings of V conference on Mathematical Physics, String Theory and Quantum Gravity, Alushta, June 1994'' Teor.Mat.Fiz. 199

Conformal blocks and generalized theta functions

Let M(r) be the moduli space of rank r vector bundles with trivial determinant on a Riemann surface X . This space carries a natural line bundle, the determinant line bundle L . We describe a canonical isomorphism of the space of global sections of L^k with a space known in conformal field theory as the ``space of conformal blocks", which is defined in terms of representations of the Lie algebra sl(r, C((z))).Comment: 43 pages, Plain Te

Lectures on the Asymptotic Expansion of a Hermitian Matrix Integral

In these lectures three different methods of computing the asymptotic expansion of a Hermitian matrix integral is presented. The first one is a combinatorial method using Feynman diagrams. This leads us to the generating function of the reciprocal of the order of the automorphism group of a tiling of a Riemann surface. The second method is based on the classical analysis of orthogonal polynomials. A rigorous asymptotic method is established, and a special case of the matrix integral is computed in terms of the Riemann $\zeta$-function. The third method is derived from a formula for the $\tau$-function solution to the KP equations. This method leads us to a new class of solutions of the KP equations that are \emph{transcendental}, in the sense that they cannot be obtained by the celebrated Krichever construction and its generalizations based on algebraic geometry of vector bundles on Riemann surfaces. In each case a mathematically rigorous way of dealing with asymptotic series in an infinite number of variables is established

Menelaus relation and Fay's trisecant formula are associativity equations

It is shown that the celebrated Menelaus relation and Fay's trisecant formula similar to the WDVV equation are associativity conditions for structure constants of certain three-dimensional algebra.Comment: Talk given at the Conference " Mathematics and Physics of Solitons and Integrable Systems", Dijon, 28.6-2.7, 2009. Minor misprints correcte

On some differential-geometric aspects of the Torelli map

In this note we survey recent results on the extrinsic geometry of the Jacobian locus inside $\mathsf{A}_g$. We describe the second fundamental form of the Torelli map as a multiplication map, recall the relation between totally geodesic subvarieties and Hodge loci and survey various results related to totally geodesic subvarieties and the Jacobian locus.Comment: To appear on Boll. UMI, special volume in memory of Paolo de Bartolomei

Filtered screens and augmented Teichm\"uller space

We study a new bordification of the decorated Teichm\"uller space for a multiply punctured surface F by a space of filtered screens on the surface that arises from a natural elaboration of earlier work of McShane-Penner. We identify necessary and sufficient conditions for paths in this space of filtered screens to yield short curves having vanishing length in the underlying surface F. As a result, an appropriate quotient of this space of filtered screens on F yields a decorated augmented Teichm\"uller space which is shown to admit a CW decomposition that naturally projects to the augmented Teichm\"uller space by forgetting decorations and whose strata are indexed by a new object termed partially oriented stratum graphs.Comment: Final version to appear in Geometriae Dedicat

Deformation of canonical morphisms and the moduli of surfaces of general type

In this article we study the deformation of finite maps and show how to use this deformation theory to construct varieties with given invariants in a projective space. Among other things, we prove a criterion that determines when a finite map can be deformed to a one--to--one map. We use this criterion to construct new simple canonical surfaces with different $c_1^2$ and $\chi$. Our general results enable us to describe some new components of the moduli of surfaces of general type. We also find infinitely many moduli spaces $\mathcal M_{(x',0,y)}$ having one component whose general point corresponds to a canonically embedded surface and another component whose general point corresponds to a surface whose canonical map is a degree 2 morphism.Comment: 32 pages. Final version with some simplifications and clarifications in the exposition. To appear in Invent. Math. (the final publication is available at springerlink.com