Showing 1–14 of 14 results for author: Koziarz, V

Variation of Hodge structure and enumerating tilings of surfaces by triangles and squares

Authors: Vincent Koziarz, Duc-Manh Nguyen

Abstract: 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 $κ$ is a profile for triangulations (resp.… ▽ More 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 $κ$ is a profile for triangulations (resp. quadrangulations) of $S$, for any $m\in \mathbb{Z}_{>0}$, denote by $\mathscr{T}(κ,m)$ (resp. $\mathscr{Q}(κ,m)$) the set of (equivalence classes of) triangulations (resp. quadrangulations) with profile $κ$ which contain at most $m$ triangles (resp. squares). In this paper, we will show that if $κ$ is a profile for triangulations (resp. for quadrangulations) of $S$ such that none of the indices in $κ$ is divisible by $6$ (resp. by $4$), then $\mathscr{T}(κ,m)\sim c_3(κ)m^{2g+|κ|-2}$ (resp. $\mathscr{Q}(κ,m) \sim c_4(κ)m^{2g+|κ|-2}$), where $c_3(κ) \in \mathbb{Q}\cdot(\sqrt{3}π)^{2g+|κ|-2}$ and $c_4(κ)\in \mathbb{Q}\cdotπ^{2g+|κ|-2}$. The key ingredient of the proof is a result of J. Kollár 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 $π$) of the Masur-Veech volume of arithmetic affine submanifolds of translation surfaces that are transverse to the kernel foliation. △ Less

Submitted 2 April, 2021; v1 submitted 8 July, 2020; originally announced July 2020.

Comments: 24 pages, to appear in Journal de l'Ecole Polytechnique: Mathématiques

MSC Class: 14D23; 14D07; 51M15

Stability of the Albanese fibration on the Cartwright-Steger surface

Authors: Vincent Koziarz, Sai-Kee Yeung

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

Submitted 7 January, 2020; originally announced January 2020.

The Bolza curve and some orbifold ball quotient surfaces

Authors: Vincent Koziarz, Carlos Rito, Xavier Roulleau

Abstract: 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 quo… ▽ More 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. △ Less

Submitted 14 February, 2020; v1 submitted 1 April, 2019; originally announced April 2019.

MSC Class: 22E40 (14L30 20H15 14J26)

Complex hyperbolic volume and intersection of boundary divisors in moduli spaces of genus zero curves

Authors: Vincent Koziarz, Duc-Manh Nguyen

Abstract: We show that the complex hyperbolic metrics defined by Deligne-Mostow and Thurston on ${\mathcal{M}}_{0,n}$ are singular Kähler-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… ▽ More We show that the complex hyperbolic metrics defined by Deligne-Mostow and Thurston on ${\mathcal{M}}_{0,n}$ are singular Kähler-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. △ Less

Submitted 21 June, 2016; v1 submitted 20 January, 2016; originally announced January 2016.

Comments: Added a new expression of the divisor whose self-intersection computes the volume in Theorem 1.1. Exposition improved

Maximal representations of uniform complex hyperbolic lattices

Authors: Vincent Koziarz, Julien Maubon

Abstract: Let $ρ$ be a maximal representation of a uniform lattice $Γ\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 $ρ$-equivariant map from complex hyperbolic space to the symmetric space associated to ${\rm SU}(p,q)$. This map is moreover a totally geodesic homot… ▽ More Let $ρ$ be a maximal representation of a uniform lattice $Γ\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 $ρ$-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 $ρ$ extends to a representation of ${\rm SU}(n,1)$ in ${\rm SU}(p,q)$. △ Less

Submitted 23 August, 2016; v1 submitted 24 June, 2015; originally announced June 2015.

Comments: 35 pages. Final version before publication

On the Cartwright-Steger surface

Authors: Donald I. Cartwright, Vincent Koziarz, Sai-Kee Yeung

Abstract: 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. 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. △ Less

Submitted 10 March, 2015; v1 submitted 12 December, 2014; originally announced December 2014.

Comments: 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

On the equidistribution of totally geodesic submanifolds in compact locally symmetric spaces and application to boundedness results for negative curves and exceptional divisors

Authors: Vincent Koziarz, Julien Maubon

Abstract: 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 numbe… ▽ More 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. △ Less

Submitted 6 November, 2015; v1 submitted 24 July, 2014; originally announced July 2014.

Comments: 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

Extensions with estimates of cohomology classes

Authors: Vincent Koziarz

Abstract: 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ähler manifold 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ähler manifold △ Less

Submitted 25 June, 2010; originally announced June 2010.

Comments: to appear in Manuscripta Mathematica

On the second cohomology of Kähler groups

Authors: Bruno Klingler, Vincent Koziarz, Julien Maubon

Abstract: Carlson and Toledo conjectured that any infinite fundamental group $Γ$ of a compact Kähler manifold satisfies $H^2(Γ,\R)\not =0$. We assume that $Γ$ admits an unbounded reductive rigid linear representation. This representation necessarily comes from a complex variation of Hodge structure ($\C$-VHS) on the Kähler manifold. We prove the conjecture under some assumption on the $\C$-VHS. We also stud… ▽ More Carlson and Toledo conjectured that any infinite fundamental group $Γ$ of a compact Kähler manifold satisfies $H^2(Γ,\R)\not =0$. We assume that $Γ$ admits an unbounded reductive rigid linear representation. This representation necessarily comes from a complex variation of Hodge structure ($\C$-VHS) on the Kähler 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. △ Less

Submitted 9 December, 2010; v1 submitted 19 April, 2010; originally announced April 2010.

Comments: 21 pages. Exposition improved. Final version

Numerical character of the effectivity of adjoint line bundles

Authors: Frédéric Campana, Vincent Koziarz, Mihai Paun

Abstract: In this note we show that given a lc pair $(X, Δ)$, a large enough multiple of the bundle $K_X+ Δ$ is effective provided that its Chern class contains an effective $\bQ$-divisor. In this note we show that given a lc pair $(X, Δ)$, a large enough multiple of the bundle $K_X+ Δ$ is effective provided that its Chern class contains an effective $\bQ$-divisor. △ Less

Submitted 27 June, 2010; v1 submitted 5 April, 2010; originally announced April 2010.

Comments: Corollary 3 was modified, the rest is unchanged

The Toledo invariant on smooth varieties of general type

Authors: Vincent Koziarz, Julien Maubon

Abstract: 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 pro… ▽ More 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. △ Less

Submitted 27 October, 2008; originally announced October 2008.

Comments: 19 pages

Nonexistence of holomorphic submersions between complex unit balls equivariant with respect to a lattice and their generalizations

Authors: Vincent Koziarz, Ngaiming Mok

Abstract: 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 o… ▽ More 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. △ Less

Submitted 14 April, 2008; originally announced April 2008.

Representations of complex hyperbolic lattices into rank 2 classical Lie groups of Hermitian type

Authors: Vincent Koziarz, Julien Maubon

Abstract: Let G be either SU(p,2) with p>=2, Sp(2,R) or SO(p,2) with p>=3. The symmetric spaces associated to these G's are the classical bounded symmetric domains of rank 2, with the exceptions of SO*(8)/U(4) and SO*(10)/U(5). Using the correspondence between representations of fundamental groups of Kähler manifolds and Higgs bundles we study representations of uniform lattices of SU(m,1), m>1, into G. W… ▽ More Let G be either SU(p,2) with p>=2, Sp(2,R) or SO(p,2) with p>=3. The symmetric spaces associated to these G's are the classical bounded symmetric domains of rank 2, with the exceptions of SO*(8)/U(4) and SO*(10)/U(5). Using the correspondence between representations of fundamental groups of Kähler manifolds and Higgs bundles we study representations of uniform lattices of SU(m,1), m>1, into G. We prove that the Toledo invariant associated to such a representation satisfies a Milnor-Wood type inequality and that in case of equality necessarily G=SU(p,2) with p>=2m and the representation is reductive, faithful, discrete, and stabilizes a copy of complex hyperbolic space (of maximal possible induced holomorphic sectional curvature) holomorphically and totally geodesically embedded in the Hermitian symmetric space SU(p,2)/S(U(p)xU(2)), on which it acts cocompactly. △ Less

Submitted 7 March, 2007; v1 submitted 6 March, 2007; originally announced March 2007.

Harmonic maps and representations of non-uniform lattices of PU(m,1)

Authors: Vincent Koziarz, Julien Maubon

Abstract: We study representations of lattices of PU(m,1) into PU(n,1). We show that if a representation is reductive and if m is at least 2, then there exists a finite energy harmonic equivariant map from complex hyperbolic m-space to complex hyperbolic n-space. This allows us to give a differential geometric proof of rigidity results obtained by M. Burger and A. Iozzi. We also define a new invariant ass… ▽ More We study representations of lattices of PU(m,1) into PU(n,1). We show that if a representation is reductive and if m is at least 2, then there exists a finite energy harmonic equivariant map from complex hyperbolic m-space to complex hyperbolic n-space. This allows us to give a differential geometric proof of rigidity results obtained by M. Burger and A. Iozzi. We also define a new invariant associated to representations into PU(n,1) of non-uniform lattices in PU(1,1), and more generally of fundamental groups of orientable surfaces of finite topological type and negative Euler characteristic. We prove that this invariant is bounded by a constant depending only on the Euler characteristic of the surface and we give a complete characterization of representations with maximal invariant, thus generalizing the results of D. Toledo for uniform lattices. △ Less

Submitted 1 April, 2004; v1 submitted 11 September, 2003; originally announced September 2003.

Comments: v2: the case of lattices of PU(1,1) has been rewritten and is now treated in full generality + other minor modifications