Searcharxiv⌕ Search

arXiv subjects

Vincent Koziarz

Publications and source records attributed to Vincent Koziarz.

14 recordsLinked to original sources
arXiv2021

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

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.

math.GT↗
arXiv2020

The Bolza curve and some orbifold ball quotient surfaces

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.

math.AG↗
arXiv2016

Maximal representations of uniform complex hyperbolic lattices

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)$.

math.DG↗
arXiv2016

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

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.

math.AG↗
arXiv2015

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

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.

math.DG↗
arXiv2015

On the Cartwright-Steger 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.

math.AG↗
arXiv2010

On the second cohomology of Kähler groups

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.

math.DG↗
arXiv2008

The Toledo invariant on smooth varieties of general type

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.

math.DG↗
arXiv2008

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

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.

math.AG↗
arXiv2007

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

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.

math.DG↗
arXiv2004

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

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.

math.DG↗