arXiv research

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

We study the Harvey-Lawson spark characters of level p on complex manifolds. Presenting Deligne cohomology classes by sparks of level $p$, we give an explicit analytic product formula for Deligne cohomology. We also define refined Chern classes in Deligne cohomology for holomorphic vector bundles over complex manifolds…

Study rational homology of moduli space via Morse functions, proving stability phenomena.

For a gerbe $\Y$ over a smooth proper Deligne-Mumford stack $\B$ banded by a finite group $G$, we prove a structure result on the Gromov-Witten theory of $\Y$, expressing Gromov-Witten invariants of $\Y$ in terms of Gromov-Witten invariants of $\B$ twisted by various flat $U(1)$-gerbes on $\B$. This is interpreted as a…

The paper introduces a Deligne complex for Artin monoids and studies its properties.

We use Morse theory to prove that the Lefschetz Hyperplane Theorem holds for compact smooth Deligne-Mumford stacks over the site of complex manifolds. For $Z \subset X$ a hyperplane section, $X$ can be obtained from $Z$ by a sequence of deformation retracts and attachments of high-dimensional finite disc quotients. We …

We generalize Abel's classical theorem on linear equivalence of divisors on a Riemann surface. For every closed submanifold $M^d \subset X^n$ in a compact oriented Riemannian $n$--manifold, or more generally for any $d$--cycle $Z$ relative to a triangulation of $X$, we define a (simplicial) $(n-d-1)$--gerbe $Λ_{Z}$, th…

Let $S$ be a closed, oriented surface with a finite (possibly empty) set of points removed. In this paper we relate two important but disparate topics in the study of the moduli space $\M(S)$ of Riemann surfaces: Teichmüller geometry and the Deligne-Mumford compactification. We reconstruct the Deligne-Mumford compactif…

We construct projective unitary representations of the smooth Deligne cohomology group of a compact oriented Riemannian manifold of dimension 4k+1, generalizing positive energy representations of the loop group of the circle. We also classify such representations under a certain condition. The number of the equivalence…

Let $V$ be a finite dimensional complex vector space and $W\subset \GL(V)$ be a finite complex reflection group. Let $V^{\reg}$ be the complement in $V$ of the reflecting hyperplanes. A classical conjecture predicts that $V^{\reg}$ is a $K(pi,1)$ space. When $W$ is a complexified real reflection group, the conjecture f…

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…

We provide a generalization of the Deligne sheaf construction of intersection homology theory, and a corresponding generalization of Poincaré duality on pseudomanifolds, such that the Goresky-MacPherson, Goresky-Siegel, and Cappell-Shaneson duality theorems all arise as special cases. Unlike classical intersection homo…

Let $X\to B$ be a proper flat morphism between smooth quasi-projective varieties of relative dimension $n$, and $L\to X$ a line bundle which is ample on the fibers. We establish formulas for the first two terms in the Knudsen-Mumford expansion for $\det (π_* L^k)$ in terms of Deligne pairings of $L$ and the relative ca…

This paper classifies commensurability of Deligne-Mostow lattices.

We outline a cohomological treatment for multivalued (classical) action functionals. We point out that an application of Takens' theorem, after Zuckerman, Deligne and Freed, allows to conclude that multivalued functionals yield globally defined variational equations.

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.

This work characterizes global quotient stacks---smooth stacks associated to a finite group acting a manifold---among smooth quotient stacks $[M/G]$, where $M$ is a smooth manifold equipped with a smooth proper action by a Lie group $G$. The characterization is described in terms of the action of the connected componen…

Let $V$ be a finite dimensional complex vector space and $W\subseteq \GL(V)$ be a finite complex reflection group. Let $V^{\reg}$ be the complement in $V$ of the reflecting hyperplanes. We prove that $V^{\reg}$ is a $K(π,1)$ space. This was predicted by a classical conjecture, originally stated by Brieskorn for complex…

In the moduli space M_g of genus g Riemann surfaces, consider the locus RM_O of Riemann surfaces whose Jacobians have real multiplication by the order O in a totally real number field F of degree g. If g = 2 or 3, we compute the closure of RM_O in the Deligne-Mumford compactification of M_g and the closure of the locus…

Complete classification of Deligne-Mostow lattice representations into PGL(3,C).

We present a new method to solve certain $\bar{\partial}$-equations for logarithmic differential forms by using harmonic integral theory for currents on Kahler manifolds. The result can be considered as a $\bar{\partial}$-lemma for logarithmic forms. As applications, we generalize the result of Deligne about closedness…

We construct a triangulation of a compactification of the Moduli space of a surface with at least one puncture that is closely related to the Deligne-Mumford compactification. Specifically, there is a surjective map from the compactification we construct to the Deligne-Mumford compactification so that the inverse image…

We present two approaches to constructing an integration map for smooth Deligne cohomology. The first is defined in the simplicial model, where a class in Deligne cohomology is represented by a simplicial form, and the second in a related but more combinatorial model.

The Deligne groupoid is a functor from nilpotent differential graded Lie algebras concentrated in positive degrees to groupoids; in the special case of Lie algebras over a field of characteristic zero, it gives the associated simply connected Lie group. We generalize the Deligne groupoid to a functor gamma from L-infin…

On the basis of Brylinski's work, we introduce a notion of equivariant smooth Deligne cohomology group, which is a generalization of both the ordinary smooth Deligne cohomology and the ordinary equivariant cohomology. Using the cohomology group, we classify equivariant circle bundles with connection, and equivariant ge…

The classical Brody's theorem asserts the equivalence between two notions of hyperbolicity for compact complex spaces, one named after Kobayashi and one expressed in terms of lack of non constant holomorphic entire functions (compactness is only used to prove the harder implication). We extend this theorem to Deligne-M…

In this paper we prove the following results: $1)$ We show that any arithmetic quotient of a homogeneous space admits a natural real semi-algebraic structure for which its Hecke correspondences are semi-algebraic. A particularly important example is given by Hodge varieties, which parametrize pure polarized integral Ho…

In this paper we introduce the concept of Deligne cohomology of an orbifold. We prove that the third Deligne cohomology group of a smooth étale groupoid classify gerbes with connection over the groupoid. We argue that the $B$-field and the discrete torsion in type II superstring theories are special kinds of gerbes wit…

Deligne cohomology can be viewed as a differential refinement of integral cohomology, hence captures both topological and geometric information. On the other hand, it can be viewed as the simplest nontrivial version of a differential cohomology theory. While more involved differential cohomology theories have been expl…

We develop a universal framework to study smooth higher orbifolds on the one hand and higher Deligne-Mumford stacks (as well as their derived and spectral variants) on the other, and use this framework to obtain a completely categorical description of which stacks arise as the functor of points of such objects. We choo…

Based on projective representations of smooth Deligne cohomology groups, we introduce an analogue of the space of conformal blocks to compact oriented (4k+2)-dimensional Riemannian manifolds with boundary. For the standard (4k+2)-dimensional disk, we compute the space concretely to prove that its dimension is finite.

In this work we will build a fundamental domain for Deligne-Mostow lattices in PU(2,1) with 2-fold symmetry, which complete the whole list of Deligne-Mostow lattices in dimension 2. These lattices were introduced by Deligne and Mostow using monodromy of hypergeometric functions and have been reinterpreted by Thurston a…

We introduce a model for Hermitian holormorphic Deligne cohomology on a projective algebraic manifold which allows to incorporate singular hermitian structures along a normal crossing divisor. In the case of a projective curve, the cup-product in cohomology is shown to correspond to a generalization of the Deligne pair…

We study a natural functional on the space of holomorphic sections of the Deligne-Hitchin moduli space of a compact Riemann surface, generalizing the energy of equivariant harmonic maps corresponding to twistor lines. We give a link to a natural meromorphic connection on the hyperholomorphic line bundle recently constr…

Classifies Real line bundles with Real connections on manifolds with involution.

New method finds large curved subcomplexes, proving conjectures for specific groups.

The main goal of this paper is to prove the polystability of the logarithmic tangent sheaf $\mathscr T_X(-D)$ of a log canonical pair $(X,D)$ whose canonical bundle $K_X+D$ is ample, generalizing in a significant way a theorem of Enoki. We apply this result and the techniques involved in its proof to get a version of t…

A natural map from Lawson homology to Deligne cohomology groups for smooth complex projective varieties is constructed by using the Harvey-Lawson spark complexes. We also compare this to Abel-Jacobi type constructions by others.

Deligne and Mostow constructed a class of lattices in PU(2,1) using monodromy of hypergeometric functions. Later, Thurston reinterpreted them in terms of cone metrics on the sphere. In this spirit we construct a fundamental domain for all lattices with three fold symmetry in Deligne-Mostow list. This is a generalisatio…

We show that for a differential graded Lie algebra $\mathfrak{g}$ whose components vanish in degrees below -1 the nerve of the Deligne 2-groupoid is homotopy equivalent to the simplicial set of $\mathfrak{g}$-valued differential forms introduced by V.Hinich.

In 1969, P. Deligne and D. Mumford compactified the moduli space of curves. Their compactification is a projective algebraic variety, and as such, it has an underlying analytic structure. Alternatively, the quotient of the augmented Teichmueller space by the action of the mapping class group gives a compactification of…

In the first part of this paper, given a smooth family of Dirac-type operators on an odd-dimensional closed manifold, we construct an abelian gerbe-with-connection whose curvature is the three-form component of the Atiyah-Singer families index theorem. In the second part of the paper, given a smooth family of Dirac-typ…

Solves Deligne-Simpson problem for special connections on Gm.

The paper studies properties of Artin monoid Cayley graphs and their quasi-isometry to Deligne complexes.

Using the the theory of FS^op modules, we study the asymptotic behavior of the homology of $\overline M_{g,n}$, the Deligne--Mumford compactification of the moduli space of curves, for $n >> 0$. An FS^op module is a contravariant functor from the category of finite sets and surjections to vector spaces. Via maps that g…

We prove that K-polystable degenerations of Q-Fano varieties are unique. Furthermore, we show that the moduli stack of K-stable Q-Fano varieties is separated. Together with [Jia17,BL18], the latter result yields a separated Deligne-Mumford stack parametrizing all uniformly K-stable Q-Fano varieties of fixed dimension a…

In this paper, we formulate and prove a general compactness theorem for harmonic maps using Deligne-Mumford moduli space and families of curves. The main theorem shows that given a sequence of harmonic maps over a sequence of complex curves, there is a family of curves and a subsequence such that both the domains and t…

Researchers reinterpret complex hyperbolic orbifolds using line arrangements.