Related papers: A Hodge filtration of logarithmic vector fields fo…
Under suitably nice conditions, given a coalgebra object in a tensor category we compute the layers of its coradical (socle) filtration.
Topological abstractions offer a method to summarize the behavior of vector fields but computing them robustly can be challenging due to numerical precision issues. One alternative is to represent the vector field using a discrete approach,…
We describe the Harder--Narasimhan filtration of the Hodge bundle for Teichm\"uller curves in the non-varying strata of quadratic differentials appearing in [CM2]. Moreover, we show that the Hodge bundle on the non-varying strata away from…
There are many examples of optimization problems whose associated polyhedra can be described much nicer, and with way less inequalities, by projections of higher dimensional polyhedra than this would be possible in the original space.…
The computation of the cohomology for finite groups of Lie type in the describing characteristic is a challenging and difficult problem. In earlier work, the authors constructed an induction functor which takes modules over the finite group…
The focus of this article is to develop computationally efficient mathematical morphology operators on hypergraphs. To this aim we consider lattice structures on hypergraphs on which we build morphological operators. We develop a pair of…
We introduce the notion of a favourable module for a complex unipotent algebraic group, whose properties are governed by the combinatorics of an associated polytope. We describe two filtrations of the module, one given by the total degree…
We develop the theory of Hodge ideals for Q-divisors by means of log resolutions, extending our previous work on reduced hypersurfaces. We prove local (non-)triviality criteria and a global vanishing theorem, as well as other analogues of…
Let $X$ be a quasi-compact quasi-separated $p$-adic formal scheme that is smooth either over a perfectoid $\mathbb{Z}_p$-algebra or over some ring of integers of a $p$-adic field. We construct a fully faithful functor from perfect complexes…
Fedorov and Sabbah--Yu calculated the (irregular) Hodge numbers of hypergeometric connections. In this paper, we study the irregular Hodge filtrations on hypergeometric connections defined by rational parameters, and provide a new proof of…
We construct two categorifications of the Lusztig--Vogan module associated to a real reductive algebraic group. The first categorification is given by semisimple complexes in an equivariant derived category, and the second is constructed as…
We compute the behaviour of Hodge data under additive middle convolution for irreducible variations of polarized complex Hodge structures on punctured complex affine lines.
We introduce analogues of Soergel bimodules for complex reflection groups of rank one. We give an explicit parametrization of the indecomposable objects of the resulting category and give a presentation of its split Grothendieck ring by…
For any subfield K of the complex numbers which is not contained in an imaginary quadratic number field, we construct conjugate varieties whose algebras of K-rational (p,p)-classes are not isomorphic. This compares to the Hodge conjecture…
For an embedding of sufficiently high degree of a smooth projective variety X into projective space, we use residues to define a filtered holonomic D-module (M, F) on the dual projective space. This gives a concrete description of the…
Given a reflection group $G$ acting on a complex vector space $V$, a reflection map is the composition of an embedding $X \hookrightarrow V$ with the orbit map $V\to\mathbb C^p$ that maps a $G$-orbit to a point. Reflection maps can be very…
For a reductive group $G$ we equip the category of $G_\mathcal{O}$-equivariant polarizable pure Hodge modules on the affine Grassmannian $\mathrm{Gr}_G$ with a structure of neutral Tannakian category. We show that it is equivalent to a…
This note shows that the module of smooth vector fields on ${\mathbb{R}}^n$, which are invariant under the linear action of a compact Lie group $G$ is finitely generated by polynomial vector fields on ${\mathbb{R}}^n$ which are invariant…
We generalize the logarithmic decomposition theorem of Deligne-Illusie to a filtered version. There are two applications. The easier one provides a mod $p$ proof for a vanishing theorem in characteristic zero. The deeper one gives rise to a…
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…