Hodge genera of algebraic varieties I

The aim of this paper is to study the behavior of Hodge‐theoretic (intersection homology) genera and their associated characteristic classes under proper morphisms of complex algebraic varieties. We obtain formulae that relate (parametrized families of) global invariants of a complex algebraic variety X to such invariants of singularities of proper algebraic maps defined on X. Such formulae severely constrain, both topologically and analytically, the singularities of complex maps, even between smooth varieties. Similar results were announced by the first and third author in [13, 32]. © 2007 Wiley Periodicals, Inc.     

Mixed Hodge complexes on algebraic varieties

Using the theory of mixed Hodge Modules, we introduce the notion of mixed Hodge complex on an algebraic variety, and establish the relation between the filtered complex of Du Bois and the corresponding complex of mixed Hodge Modules. Some application to the Du Bois singularity is given. Received: 20 February 1999     

Hodge genera of algebraic varieties, II

We study the behavior of Hodge-genera under algebraic maps. We prove that the motivic ${\chi^c_y}$ -genus satisfies the “stratified multiplicative property”, which shows how to compute the invariant of the source of a morphism from its values on varieties arising from the singularities of the map. By considering morphisms to a curve, we obtain a Hodge-theoretic version of the Riemann–Hurwitz formula. We also study the monodromy contributions to the ${\chi_y}$ -genus of a family of compact complex manifolds, and prove an Atiyah–Meyer type formula in the algebraic and analytic contexts. This formula measures the deviation from multiplicativity of the ${\chi_y}$ -genus, and expresses the correction terms as higher-genera associated to the period map; these higher-genera are Hodge-theoretic extensions of Novikov higher-signatures to analytic and algebraic settings. Characteristic class formulae of Atiyah–Meyer type are also obtained by making use of Saito’s theory of mixed Hodge modules.     

The heat flow in nonlinear Hodge theory

We study the nonlinear Hodge system dω=0 and δ(ρ(|ω|²)ω)=0 for an exterior form ω on a compact oriented Riemannian manifold M, where ρ(Q) is a given positive function. The solutions are called ρ-harmonic forms. They are the stationary points on cohomology classes of the functional with e′(Q)=ρ(Q)/2. The ρ-codifferential of a form ω is defined as δ_ρω=ρ⁻¹δ(ρω) with ρ=ρ(|ω|²).We evolve a given closed form ω₀ by the nonlinear heat flow system for a time-dependent exterior form ω(x,t) on M. This system is the differential of the normalized gradient flow for E(ω) with ω=ω₀+du. Under a technical assumption on the function 2ρ′(Q)Q/ρ(Q), we show that the nonlinear heat flow system , with initial condition ω(·,0)=ω₀, has a unique solution for all times, which converges to a ρ-harmonic form in the cohomology class of ω₀. This yields a nonlinear Hodge theorem that every cohomology class of M has a unique ρ-harmonic representative.     

Braid groups and Hodge theory

This paper gives an account of the unitary representations of the braid group that arise via the Hodge theory of cyclic branched coverings of ${\mathbb{P}^1}$ , highlighting their connections with ergodic theory, complex reflection groups, moduli spaces of 1-forms and open problems in surface topology.     

Integral $p$ -adic Hodge theory

Publications mathématiques de l'IHÉS - We construct a new cohomology theory for proper smooth (formal) schemes over the ring of integers of $mathbf {C}_{p}$ . It takes values in a...     

Gysin maps and cycle classes for Hodge cohomology

Iff:X→Y is a projective morphism between regular varieties over a field, we construct Gysin maps $$f_ * :H^i \left( {X,\Omega _{X/Z}^j } \right) \to H_{f(x)}^{i + d} \left( {X,\Omega _{Y/Z}^j } \right)$$ for the Hodge cohomology groups, whered-dimY-dimX. These Gysin maps have the expected properties, and in particular may be used to construct a cycle class map $$Cl_X :CH^i \left( {X,S} \right) \to H^i \left( {X,\Omega _{X/Z}^i } \right)$$ whereX is quasi-projective over a field,S is the singular locus, andCH ⁱ(X, S) is the relative Chow group of codimension-i cycles modulo rational equivalence. Simple properties of this cycle map easily imply the infinite dimensionality theorem for the Chow group of zero cycles of a normal projective varietyX overC with \(H^n \left( {X,\mathcal{O}_X } \right) \ne 0\) , wheren=dimX. One also recovers examples of Nori of affinen-dimensional varieties which support indecomposable vector bundles of rankn.     

Local Hodge theory of Soergel bimodules

We prove the local hard Lefschetz theorem and local Hodge–Riemann bilinear relations for Soergel bimodules. Using results of Soergel and Kübel, one may deduce an algebraic proof of the Jantzen conjectures. We observe that the Jantzen filtration may depend on the choice of non-dominant regular deformation direction.     

Cox rings and algebraic maps

Given a morphism from a Mori Dream Space X to a smooth Mori Dream Space Y and quasicoherent sheaves on X and on Y, we describe the inverse image of by F and the direct image of by F in terms of the corresponding modules over the Cox rings graded in the class groups.     

Nonabelian Hodge theory in characteristic p

Given a scheme in characteristic p together with a lifting modulo p ², we construct a functor from a category of suitably nilpotent modules with connection to the category of Higgs modules. We use this functor to generalize the decomposition theorem of Deligne-Illusie to the case of de Rham cohomology with coefficients.     

Statistical ranking and combinatorial Hodge theory

We propose a technique that we call HodgeRank for ranking data that may be incomplete and imbalanced, characteristics common in modern datasets coming from e-commerce and internet applications. We are primarily interested in cardinal data based on scores or ratings though our methods also give specific insights on ordinal data. From raw ranking data, we construct pairwise rankings, represented as edge flows on an appropriate graph. Our statistical ranking method exploits the graph Helmholtzian, which is the graph theoretic analogue of the Helmholtz operator or vector Laplacian, in much the same way the graph Laplacian is an analogue of the Laplace operator or scalar Laplacian. We shall study the graph Helmholtzian using combinatorial Hodge theory, which provides a way to unravel ranking information from edge flows. In particular, we show that every edge flow representing pairwise ranking can be resolved into two orthogonal components, a gradient flow that represents the l ₂-optimal global ranking and a divergence-free flow (cyclic) that measures the validity of the global ranking obtained—if this is large, then it indicates that the data does not have a good global ranking. This divergence-free flow can be further decomposed orthogonally into a curl flow (locally cyclic) and a harmonic flow (locally acyclic but globally cyclic); these provides information on whether inconsistency in the ranking data arises locally or globally. When applied to statistical ranking problems, Hodge decomposition sheds light on whether a given dataset may be globally ranked in a meaningful way or if the data is inherently inconsistent and thus could not have any reasonable global ranking; in the latter case it provides information on the nature of the inconsistencies. An obvious advantage over the NP-hardness of Kemeny optimization is that HodgeRank may be easily computed via a linear least squares regression. We also discuss connections with well-known ordinal ranking techniques such as Kemeny optimization and Borda count from social choice theory.     

The algebraic theory of the fundamental germ

This paper introduces a notion of fundamental group appropriate for laminations.     

Nonlinear Hodge theory on manifolds with boundary

Summary The intent of this paper is first to provide a comprehensive and unifying development of Sobolev spaces of differential forms on Riemannian manifolds with boundary. Second, is the study of a particular class of nonlinear, first order, ellipticPDEs, called Hodge systems. The Hodge systems are far reaching extensions of the Cauchy-Riemann system and solutions are referred to as Hodge conjugate fields. We formulate and solve the Dirichlet and Neumann boundary value problems for the Hodge systems and establish the ℒ^p for such solutions. Among the many desirable properties of Hodge conjugate fields, we prove, in analogy with the case of holomorphic functions on the plane, the compactness principle and a strong theorem on the removability of singularities. Finally, some relevant examples and applications are indicated. Entrata in Redazione il 4 dicembre 1997. The first two authors were partially supported by NSF grants DMS-9401104 and DMS-9706611. Bianca Stroffolini was supported by CNR. This work started in 1993 when all authors were in Syracuse.     

Word maps and word maps with constants of simple algebraic groups

In the present paper, we consider word maps w: G ^m → G and word maps with constants w _Σ: G ^m → G of a simple algebraic group G, where w is a nontrivial word in the free group F _m of rank m, w _Σ = w ₁ σ ₁ w ₂ ··· w _r σ _r w _{r + 1}, w ₁, …, w _{r + 1} ∈ F _m , w ₂, …, w _r ≠ 1, Σ = {σ ₁, …, σ _r | σ _i ∈ G Z(G)}. We present results on the images of such maps, in particular, we prove a theorem on the dominance of “general” word maps with constants, which can be viewed as an analogue of a well-known theorem of Borel on the dominance of genuine word maps. Besides, we establish a relationship between the existence of unipotents in the image of a word map and the structure of the representation variety R(Γ_w, G) of the group Γ_w = F _m /<w>.