arXiv research

Even Artin groups generalize right-angled Artin groups by allowing the labels in the defining graph to be even. In this paper a complete characterization of quasi-projective even Artin groups is given in terms of their defining graphs. Also, it is shown that quasi-projective even Artin groups are realizable by K(pi,1) …

Study surfaces with free product fundamental groups, proving existence and properties.

Resolves conjectures on non-abelian Hodge loci for quasi-projective varieties.

Analyzes the moduli space of Higgs bundles to prove its quasi-projectivity.

The present paper studies the structure of characteristic varieties of fundamental groups of graph manifolds. As a consequence, a simple proof of Papadima's question is provided on the characterization of algebraic links that have quasi-projective fundamental groups. The type of quasi-projective obstructions used here …

Integral points are potentially dense in character varieties of quasi-projective varieties.

Study shows quantum behavior near infinity in metric asymptotics.

Nilmanifolds are shown to be diffeomorphic to trivial bundles over tori.

Maps complex varieties into buildings with harmonic properties.

We discuss properties of complex algebraic orbifold groups, their characteristic varieties, and their abelian covers. In particular, we deal with the question of (quasi)-projectivity of orbifold groups. We also prove a structure theorem for the variety of characters of normal-crossing quasi-projective orbifold groups. …

The present paper describes a relation between the quotient of the fundamental group of a smooth quasi-projective variety by its second commutator and the existence of maps to orbifold curves. It extends previously studied cases when the target was a smooth curve. In the case when the quasi-projective variety is a comp…

Study on Kähler-Einstein metrics on quasi-projective manifolds.

We give an elementary proof to the asymptotic expansion formula of Rochon-Zhang for the unique complete Kähler-Einstein metric of Cheng-Yau, Kobayashi, Tian-Yau and Bando on quasi-projective manifolds. The main tools are the solution formula for second order ODE's with constant coefficients and spectral theory for Lapl…

We prove two results relating 3-manifold groups to fundamental groups occurring in complex geometry. Let N be a compact, connected, orientable 3-manifold. If N has non-empty, toroidal boundary, and π_1(N) is a Kaehler group, then N is the product of a torus with an interval. On the other hand, if N has either empty or …

We establish the correspondence between tame harmonic bundles and $μ_L$-stable parabolic Higgs bundles with trivial characteristic numbers. We also show the Bogomolov-Gieseker type inequality for $μ_L$-stable parabolic Higgs bundles. Then we show that any local system on a smooth quasi projective variety can be deforme…

Let $(M,ω)$ be a compact Kähler manifold with negative holomorphic sectional curvature. It was proved by Wu-Yau and Tosatti-Yang that $M$ is necessarily projective and has ample canonical bundle. In this paper, we show that any irreducible subvariety of $M$ is of general type. Moreover, we can extend the theorem to the…

Stability results for complex Monge-Ampère equations in various classes.

Let $L$ be a local system on a smooth quasi projective variety over $\cnum$. We see that $L$ is semisimple if and only if there exists a tame pure imaginary pluri-harmonic metric on $L$. Although it is a rather minor refinement of a result of Jost and Zuo, it is significant for the study of harmonic bundles and pure tw…

The paper extends orientability results for DT invariants on Calabi-Yau 4-folds.

Researchers create a projective space for quasimaps and study its connections to Calabi-Yau fibrations.

We introduce generalized Monge-Ampère capacities and use these to study complex Monge-Ampère equations whose right-hand side is smooth outside a divisor. We prove, in many cases, that there exists a unique normalized solution which is smooth outside the divisor.

We define notions of higher order spectra of a complex quasi-projective manifold with an action of a finite group $G$ and with a $G$-equivariant automorphism of finite order, some of their refinements and give Macdonald type equations for them.

Generalizing the well-known Shafarevich hyperbolicity conjecture, it has been conjectured by Viehweg that a quasi-projective manifold that admits a generically finite morphism to the moduli stack of canonically polarized varieties is necessarily of log general type. Given a quasi-projective threefold Y that admits a no…

This paper has two purposes. First it partially extends the result in the author's previous work concerning the asymptotic expansion of the Tian-Yau metrics, by considering a slightly larger class of quasi-projective manifolds. This text is also intended to provide a quick introductory reference to the study of Ricci-f…

Study torsion-free nilpotent fundamental groups of smooth varieties up to rank 7.

We consider the moduli space MN of flat unitary connections on an open Kaehler manifold U (complement of a divisor with normal crossings) with restrictions on their monodromy transformations. Using intersection and L2 cohomologies with degenerating coefficients we construct a natural symplectic form F on MN. When U is …

Proves cohomology theorems for tropical varieties.

Study on positivity of CM line bundles on moduli space of klt good minimal models with κ=1.

In this paper, we construct a completion of the moduli space for polarized Calabi-Yau manifolds by using Ricci-flat Kähler-Einstein metrics and the Gromov-Hausdorff topology, which parameterizes certain Calabi-Yau varieties. We then study the algebro-geometric perperties and the Weil-Petersson geometry of such completi…

We survey our recent papers (some being joint ones) about the relation between the geometry of a compact Kähler manifold and the existence of automorphisms of positive entropy on it. We also use the language of log minimal model program (LMMP) in biraitonal geometry, but not its more sophisticated technical part. We gi…

We define the C^*-action on moduli spaces of reductive representations of fundamental groups of quasi-compact Kaehler manifolds by solving Hermitian-Yang-Mills equation. As applications in algebraic geometry we show a non-abelian Hodge (p,q)-type theorem for families of quasi-projective manifolds. We also prove that an…

In this work, we describe the asymptotic behavior of complete metrics with prescribed Ricci curvature on open Kahler manifolds that can be compactified by the addition of a smooth and ample divisor. First, we construct a explicit sequence of Kahler metrics with special approximating properties. Using those metrics as s…

We prove that the uniformizing map of any arithmetic quotient, as well as the period map associated to any pure polarized $\mathbb{Z}$-variation of Hodge structure $\mathbb{V}$ on a smooth complex quasi-projective variety $S$, are topologically tame. As an easy corollary of these results and of Peterzil-Starchenko's o-…

We reformulate the construction of Kontsevich's completion and use Lawson homology to define many new motivic invariants. We show that the dimensions of subspaces generated by algebraic cycles of the cohomology groups of two $K$-equivalent varieties are the same, which implies that several conjectures of algebraic cycl…

The study proves rigidity for mixed Hodge structures and applies to curve families.

We consider a geometric property of the closest-points projection to a geodesic in Teichmüller space: the projection is called contracting if arbitrarily large balls away from the geodesic project to sets of bounded diameter. (This property always holds in negatively curved spaces.) It is shown here to hold if and only…

The paper finds non-isotopic exact Lagrangians in symplectic manifolds with $\mathbb{C}^*$-actions.

Let $K$ be a closed polydisc or ball in $\C^n$, and let $Y$ be a quasi projective algebraic manifold which is Zariski locally equivalent to $\C^p$, or a complement of an algebraic subvariety of codimension $\ge 2$ in such manifold. If $r$ is an integer satisfying $(n-r+1) (p-r+1)\geq 2$ then every holomorphic map from …

In this note, we prove that there is a canonical continuous Hermitian metric on the CM line bundle over the proper moduli space $\bar{\mathcal{M}}$ of smoothable Kahler-Einstein Fano varieties. The curvature of this metric is the Weil-Petersson current, which exists as a positive (1,1)-current on $\bar{\mathcal{M}}$ an…

We realise Stroppel's extended arc algebra in the Fukaya-Seidel category of a natural Lefschetz fibration on the generic fiber of the adjoint quotient map on a type $A$ nilpotent slice with two Jordan blocks, and hence obtain a symplectic interpretation of certain parabolic two-block versions of Bernstein-Gelfan'd-Gelf…

Counterexample disproves log canonical Beauville--Bogomolov decomposition.

We study codimension one holomorphic distributions on the projective three-space, analyzing the properties of their singular schemes and tangent sheaves. In particular, we provide a classification of codimension one distributions of degree at most 2 with locally free tangent sheaves, and show that codimension one distr…

In this note, we report on a work jointly done with C. Simpson on a generalization of Reznikov's theorem which says that the Chern-Simons classes and in particular the Deligne Chern classes (in degrees $> 1$) are torsion, of a flat vector bundle on a smooth complex projective variety. We consider the case of a smooth q…

Consider a smooth, projective family of canonically polarized varieties over a smooth, quasi-projective base manifold Y, all defined over the complex numbers. It has been conjectured that the family is necessarily isotrivial if Y is special in the sense of Campana. We prove the conjecture when Y is a surface or threefo…

This paper constructs and proves the uniqueness of pluriharmonic maps to Euclidean buildings.

Study on how incomplete smooth metrics degenerate from asymptotically conical Ricci-flat Kähler metrics.

The paper connects Kähler-Ricci shrinkers to Fano fibrations in algebraic geometry.

For G a complex reductive group and X a smooth projective or convex quasi-projective polarized G-variety we construct a formal map in quantum K-theory from the equivariant quantum K-theory $QK^G(X)$ to the quantum K-theory of the git quotient $QK(X//G)$ assuming the quotient $X//G$ is a smooth Deligne-Mumford stack wit…