Search

Let $S$ be a connected closed oriented surface of genus $g$. Given a triangulation (resp. quadrangulation) of $S$, define the index of each of its vertices to be the number of edges originating from this vertex minus $6$ (resp. minus $4$). Call the set of integers recording the non-zero indices the profile of the triangulation (resp. quadrangulation). If $\kappa$ is a profile for triangulations (resp. quadrangulations) of $S$, for any $m\in \mathbb{Z}_{>0}$, denote by $\mathscr{T}(\kappa,m)$ (resp. $\mathscr{Q}(\kappa,m)$) the set of (equivalence classes of) triangulations (resp. quadrangulations) with profile $\kappa$ which contain at most $m$ triangles (resp. squares). In this paper, we will show that if $\kappa$ is a profile for triangulations (resp. for quadrangulations) of $S$ such that none of the indices in $\kappa$ is divisible by $6$ (resp. by $4$), then $\mathscr{T}(\kappa,m)\sim c_3(\kappa)m^{2g+|\kappa|-2}$ (resp. $\mathscr{Q}(\kappa,m) \sim c_4(\kappa)m^{2g+|\kappa|-2}$), where $c_3(\kappa) \in \mathbb{Q}\cdot(\sqrt{3}\pi)^{2g+|\kappa|-2}$ and $c_4(\kappa)\in \mathbb{Q}\cdot\pi^{2g+|\kappa|-2}$. The key ingredient of the proof is a result of J. Koll\'ar on the link between the curvature of the Hogde metric on vector subbundles of a variation of Hodge structure over algebraic varieties, and Chern classes of their extensions. By the same method, we also obtain the rationality (up to some power of $\pi$) of the Masur-Veech volume of arithmetic affine submanifolds of translation surfaces that are transverse to the kernel foliation., Comment: 24 pages, to appear in Journal de l'Ecole Polytechnique: Math\'ematiques

We verify that the Albanese fibration of the Cartwright-Steger surface is stable, answering a problem left open in [CKY].

We study Deraux's non arithmetic orbifold ball quotient surfaces obtained as birational transformations of a quotient $X$ of a particular Abelian surface $A$. Using the fact that $A$ is the Jacobian of the Bolza genus $2$ curve, we identify $X$ as the weighted projective plane $\mathbb{P}(1,3,8)$. We compute the equation of the mirror $M$ of the orbifold ball quotient $(X,M)$ and by taking the quotient by an involution, we obtain an orbifold ball quotient surface with mirror birational to an interesting configuration of plane curves of degrees $1,2$ and $3$. We also exhibit an arrangement of four conics in the plane which provides the above-mentioned ball quotient orbifold surfaces.

We show that the complex hyperbolic metrics defined by Deligne-Mostow and Thurston on ${\mathcal{M}}_{0,n}$ are singular K\"ahler-Einstein metrics when ${\mathcal{M}}_{0,n}$ is embedded in the Deligne-Mumford-Knudsen compactification $\overline{\mathcal{M}}_{0,n}$. As a consequence, we obtain a formula computing the volumes of ${\mathcal{M}}_{0,n}$ with respect to these metrics using intersection of boundary divisors of $\overline{\mathcal{M}}_{0,n}$. In the case of rational weights, following an idea of Y. Kawamata, we show that these metrics actually represent the first Chern class of some line bundles on $\overline{\mathcal{M}}_{0,n}$, from which other formulas computing the same volumes are derived., Comment: Added a new expression of the divisor whose self-intersection computes the volume in Theorem 1.1. Exposition improved

Let $\rho$ be a maximal representation of a uniform lattice $\Gamma\subset{\rm SU}(n,1)$, $n\geq 2$, in a classical Lie group of Hermitian type $H$. We prove that necessarily $H={\rm SU}(p,q)$ with $p\geq qn$ and there exists a holomorphic or antiholomorphic $\rho$-equivariant map from complex hyperbolic space to the symmetric space associated to ${\rm SU}(p,q)$. This map is moreover a totally geodesic homothetic embedding. In particular, up to a representation in a compact subgroup of ${\rm SU}(p,q)$, the representation $\rho$ extends to a representation of ${\rm SU}(n,1)$ in ${\rm SU}(p,q)$., Comment: 35 pages. Final version before publication

In this article, we study various concrete algebraic and differential geometric properties of the Cartwright-Steger surface. In particular, we determine the genus of a generic fiber of the Albanese fibration, and deduce that the singular fibers are not totally geodesic, answering an open problem about fibrations of a complex ball quotient over a Riemann surface., Comment: A longer version of this paper, which contains some geometric results we have omitted here, provides more details of some calculations, and adopts a different approach to proving some results, can be found on the webpage of the first named author (see reference [CKY]). It is an update of version 1 of this paper

We prove an equidistribution result for totally geodesic submanifolds in a compact locally symmetric space. In the case of Hermitian locally symmetric spaces, this gives a convergence theorem for currents of integration along totally geodesic subvarieties. As a corollary, we obtain that on a complex surface which is a compact quotient of the bidisc or of the 2-ball, there is at most a finite number of totally geodesic curves with negative self intersection. More generally, we prove that there are only finitely many exceptional totally geodesic divisors in a compact Hermitian locally symmetric space of the noncompact type of dimension at least 2., Comment: The paper has been substantially rewritten. Corollary 1.3 in the previous versions was false as stated. This has been corrected (see Corollary 1.5). The main results are not affected

We prove an extension theorem of "Ohsawa-Takegoshi type" for Dolbeault q$-classes of cohomology ($q\geq 1$) on smooth compact hypersurfaces in a weakly pseudoconvex K\"ahler manifold, Comment: to appear in Manuscripta Mathematica

Carlson and Toledo conjectured that any infinite fundamental group $\Gamma$ of a compact K\"ahler manifold satisfies $H^2(\Gamma,\R)\not =0$. We assume that $\Gamma$ admits an unbounded reductive rigid linear representation. This representation necessarily comes from a complex variation of Hodge structure ($\C$-VHS) on the K\"ahler manifold. We prove the conjecture under some assumption on the $\C$-VHS. We also study some related geometric/topological properties of period domains associated to such $\C$-VHS., Comment: 21 pages. Exposition improved. Final version

In this note we show that given a lc pair $(X, \Delta)$, a large enough multiple of the bundle $K_X+ \Delta$ is effective provided that its Chern class contains an effective $\bQ$-divisor., Comment: Corollary 3 was modified, the rest is unchanged

We propose a definition of the Toledo invariant for representations of fundamental groups of smooth varieties of general type into semisimple Lie groups of Hermitian type. This definition allows to generalize the results known in the classical case of representations of complex hyperbolic lattices to this new setting: assuming that the rank of the target Lie group is not greater than two, we prove that the Toledo invariant satisfies a Milnor-Wood type inequality and we characterize the corresponding maximal representations., Comment: 19 pages

In this article we prove first of all the nonexistence of holomorphic submersions other than covering maps between compact quotients of complex unit balls, with a proof that works equally well in a more general equivariant setting. For a non-equidimensional surjective holomorphic map between compact ball quotients, our method applies to show that the set of critical values must be nonempty and of codimension 1. In the equivariant setting the line of arguments extend to holomorphic mappings of maximal rank into the complex projective space or the complex Euclidean space, yielding in the latter case a lower estimate on the dimension of the singular locus of certain holomorphic maps defined by integrating holomorphic 1-forms. In another direction, we extend the nonexistence statement on holomorphic submersions to the case of ball quotients of finite volume, provided that the target complex unit ball is of dimension m>=2, giving in particular a new proof that a local biholomorphism between noncompact m-ball quotients of finite volume must be a covering map whenever m>=2. Finally, combining our results with Hermitian metric rigidity, we show that any holomorphic submersion from a bounded symmetric domain into a complex unit ball equivariant with respect to a lattice must factor through a canonical projection to yield an automorphism of the complex unit ball, provided that either the lattice is cocompact or the ball is of dimension at least 2.