Related papers: On algebraic fiber spaces
Fix a smooth projective family of curves $C \to S$ and a split reductive group scheme $G$ over a Noetherian base scheme $S$. For any (possibly nonreduced) fixed relative Cartier divisor $D$, we provide a treatment of the moduli of…
We establish an Eichler-Shimura isomorphism for weakly modular forms of level one. We do this by relating weakly modular forms with rational Fourier coefficients to the algebraic de Rham cohomology of the modular curve with twisted…
We present two approaches to the study of the cohomology of moduli spaces of curves. Together, they allow us to compute the rational cohomology of the moduli space \Mbar_4 of stable complex curves of genus 4, with its Hodge structure.
We study sheaves on holomorphic spaces of loops and apply this to the study of the complex, defined in \cite{BdSHK}, governing deformations of the \emph{Poisson vertex algebra} structure on the space of holomorphic loops into a Poisson…
Let $M= G/\Gamma$ be a compact nilmanifold endowed with an invariant complex structure. We prove that, on an open set of any connected component of the moduli space ${\cal C} ({\frak g})$ of invariant complex structures on $M$, the…
Perverse-Hodge complexes are objects in the derived category of coherent sheaves obtained from Hodge modules associated with Saito's decomposition theorem. We study perverse-Hodge complexes for Lagrangian fibrations and propose a symmetry…
In this paper, we explore a notion of nonabelian Hodge structure on the fundamental group of an algebraic variety. This is approach is compared to some alternative approaches due to Morgan, Hain and others. We also give criteria for a…
The Dolbeault resolution of the sheaf of holomorphic vector fields $Lie$ on a complex manifold $M$ relates $Lie$ to a sheaf of differential graded Lie algebras, known as the Fr\"olicher-Nijenhuis algebra $g$. We establish - following B. L.…
In this note, we show that the cohomology groups of (virtually) nilpotent K\"ahler groups are naturally endowed with a mixed Hodge structure. These structures make the Hopf morphisms into mixed Hodge structures morphisms. We illustrate this…
We study de Rham character sheaves on a commutative connected algebraic group $G$, defined as multiplicative line bundles with integrable connection. We construct a group algebraic space $G^\flat$ representing their moduli problem on…
We explain a method for calculating the cohomology of line bundles on a toric variety in terms of the cohomology of certain constructible sheaves on the polytope. We show its effective use by means of some examples.
De Rham cohomology, $d_V$- and $d_H$-cohomology of the differential algebra of locally pull-back exterior forms on the infinite-order jet manifold of a smooth fibre bundle are calculated.
We define the secondary Hochschild complex for an entwining structure over a commutative $k$-algebra $B$. We show that this complex carries the structure of a weak comp algebra. We obtain two distinct cup product structures for the…
We prove a formality theorem for algebraic objects internal to smooth complex varieties that are not compact but whose mixed Hodge structure has a certain purity property.
We provide a new formalism of de Rham--Witt complexes in the logarithmic setting. This construction generalizes a result of Bhatt--Lurie--Mathew, and agrees with those of Hyodo--Kato and Matsuue for log-smooth schemes of log-Cartier type.…
We start with a curve over an algebraically closed ground field of positive characteristic $p>0$. By using specialization techniques, under suitable natural coprimality conditions, we prove a cohomological Simpson Correspondence between the…
In this paper we look at the notion of cohomological triviality of fibrations of homogeneous spaces of affine algebraic groups defined over $\mathbb{C}$ and use topological methods, primarily the theory of covering spaces. This is made…
Let $A$ be a real soft function algebra. In arXiv:2208.11431 we have obtained a canonical splitting $\mathrm{H}^* (\Omega ^\bullet _{A|\mathrm{R}}) \cong \mathrm{H} ^* (X,\mathrm{R})\oplus \text{(something)}$ via the canonical maps…
We construct correspondences in logarithmic Hodge theory over a perfect field of arbitrary characteristic. These are represented by classes in the cohomology of sheaves of differential forms with log poles and, notably, log zeroes on…
Let $f : X \to S$ be a family of smooth projective algebraic varieties over a smooth connected quasi-projective base $S$, and let $\mathbb{V} = R^{2k} f_{*} \mathbb{Z}(k)$ be the integral variation of Hodge structure coming from degree $2k$…