Related papers: Mixed Hodge structures and formality
We explain some fundamental differences between the theories of mixed Hodge modules and mixed twistor modules (including the difference in weight system on the nearby cycle functor) which do not seem to be clarified explicitly in the…
Deformation theory is treated for locally notherian formal schemes (non necessarily smooth). The cotangent complex is defined in the derived category through the homology localization functor. The basic properties and results of a…
In this paper we propose two guiding principles that suggest a number of conjectures (some now proved) about various forms of rigidity for moduli spaces arising in algebraic geometry. Such conjectures have group-theoretic, topological and…
We present the theory of higher order invariants and higher order automorphic forms in the simplest case, that of a compact quotient. In this case many things simplify and we are thus able to prove a more precise structure theorem than in…
We study the asymptotic behaviour of polarization form in the variation of mixed Hodge structure associated to isolated hypersurface singularities. The contribution characterizes a modification of Grothendieck residue as the polarization on…
In this paper, we show that the mixed Hodge structures of character varieties are of Hodge--Tate type and that the mixed Hodge polynomials are independent of the choice of generic eigenvalues, which is a conjecture due to Hausel, Letellier…
We announce the construction of toroidal partial compactifications of the moduli spaces of mixed Hodge structures with polarized graded quotients. They are moduli spaces of log mixed Hodge structures with polarized graded quotients. We…
We introduce the notion of being cohomologically complete for objects of the derived category of sheaves of $Z[\hbar]$-modules on a topological space. Then we consider a $Z[\hbar]$-algebra satisfying some suitable conditions and prove…
This paper describes a formal theory of smooth vector fields, Lie groups and the Lie algebra of a Lie group in the theorem prover Isabelle. Lie groups are abstract structures that are composable, invertible and differentiable. They are…
We define and discuss G-formality for certain spaces endowed with an action by a compact Lie group. This concept is essentially formality of the Borel construction of the space in a category of commutative differential graded algebras over…
We produce examples of complex algebraic surfaces with isolated singularities such that these singularities are not metrically conic, i.e. the germs of the surfaces near singular points are not bi-Lipschitz equivalent, with respect to the…
This paper determines all the possible endomorphism algebras for polarizable Q-Hodge structures of type (n,0,...,0,n). This generalizes the classification of the possible endomorphism algebras of abelian varieties by Albert and Shimura. As…
We study the mixed Hodge structure on the third homology group of a threefold which is the double cover of projective three-space ramified over a quartic surface with a double conic. We deal with the Torelli problem for such threefolds.
We show that hyperplane sections of strongly formal manifolds inherit strong formality. In particular, this property holds for generalized complete intersections defined by positive line bundles with trivial first de Rham cohomology group.…
In this paper we study structural properties of residuated lattices that are idempotent as monoids. We provide descriptions of the totally ordered members of this class and obtain counting theorems for the number of finite algebras in…
We prove several related results on the low-degree Hodge numbers of proper smooth rigid analytic varieties over non-archimedean fields. Our arguments rely on known structure theorems for the relevant Picard varieties, together with recent…
We characterize the Gorenstein nilpotent scheme structures on a smooth algebraic variety as support, in terms of a duality property of the graded objects associated to two canonical filtrations.
We establish a duality between monads and monadic morphisms in any $(\infty,2)$-category and characterize monadic morphisms in a wide class of examples. This duality unifies several dualities between algebraic structures and their…
We explain a correct proof of the decomposition theorem for direct images of constant Hodge modules by proper K\"ahler morphisms of complex manifolds. We also give some examples showing certain difficulty in the non-constant Hodge module…
On a smooth algebraic curve X with genus greater than 1 we consider a flat principal bundle with a reductive structure group S and a vector bundle associated with it. To this set of information we put in correspondence a pro-algebraic group…