Related papers: The strong Macdonald conjecture and Hodge theory o…

We prove by induction on dimension the Hodge conjecture for smooth complex projective varieties. Let $X$ be a smooth complex projective variety. Then $X$ is birational to a possibly singular projective hypersurface, hence to a smooth…

It is well-known that the existence of more than two ends in the sense of J.R. Stallings for a finitely generated discrete group $G$ can be detected on the cohomology group $\mathrm{H}^1(G,R[G])$, where $R$ is either a finite field, the…

We prove that extension groups in strict polynomial functor categories compute the rational cohomology of classical algebraic groups. This result was previously known only for general linear groups. We give several applications to the study…

This paper presents our proof of the "strong Macdonald constant term conjecture" of P. Hanlon and B. Feigin.

Structure monoids and groups are algebraic invariants of equational varieties. We show how to construct presentations of these objects from coherent categorifications of equational varieties, generalising several results of Dehornoy. We…

In this paper, we investigate the $L^2$-Dolbeault cohomology of the symmetric power of cotangent bundles of ball quotients with finite volume, as well as their toroidal compactification. Through the application of Hodge theory for complete…

We construct a new cohomology theory for proper smooth (formal) schemes over the ring of integers of C_p. It takes values in a mixed-characteristic analogue of Dieudonne modules, which was previously defined by Fargues as a version of…

Let $X$ be a complete smooth variety defined over number field $K$ and $i$ an integer. The absolute Galois group of $K$ acts on the $i$th $l$-adic etale cohomology of $X$ for all $l$, producing a system of $l$-adic representations…

For an isotropic reductive group G satisfying a suitable rank condition over an infinite field k, we show that the sections of the $\mathbb{A}^1$-fundamental group sheaf of G over an extension field L/k can be identified with the second…

We prove a positive combinatorial formula for the Schur expansion of LLT polynomials indexed by a 3-tuple of skew shapes. This verifies a conjecture of Haglund. The proof requires expressing a noncommutative Schur function as a positive sum…

The paper describes the algebraic structure of the graded algebra of differentially homogeneous polynomials of fixed finite order. We show that it is a finitely generated algebra, and we exhibit a minimal set of generators. Along the way,…

For a compact, oriented, hyperbolic $n$-manifold $(M,g)$, realised as $M= \Gamma \backslash \mathbb{H}^{n}$ where $\Gamma$ is a torsion-free cocompact subgroup of $SO(n,1)$, we establish and study a relationship between differential…

Let $G$ be a reductive group, and let $X$ be a smooth quasi-projective complex variety. We prove that any $G$-irreducible, $G$-cohomologically rigid local system on $X$ with finite order abelianization and quasi-unipotent local monodromies…

We extend some classical results - such as Quillen's Theorem A, the Grothendieck construction, Thomason's Theorem and the characterisation of homotopically cofinal functors - from the homotopy theory of small categories to polynomial monads…

We study various kinds of Grassmannians or Lagrangian Grassmannians over $\mathbb{R}$, $\mathbb{C}$ or $\mathbb{H}$, all of which can be expressed as $\mathbb{G}/\mathbb{P}$ where $\mathbb{G}$ is a classical group and $\mathbb{P}$ is a…

Let (M,I, \omega, \Omega) be a nearly Kaehler 6-manifold, that is, an SU(3)-manifold with the (3,0)-form \Omega and the Hermitian form \omega which satisfies $d\omega=3\lambda\Re\Omega, d\Im\Omega=-2\lambda\omega^2$, for a non-zero real…

We prove that the integral cohomology ring modulo torsion $H^*(\mathrm{Sym}^n X;\mathbb{Z})/\mathrm{Tor}$ for the symmetric product of a connected CW-complex $X$ of finite homology type is a functor of $H^*(X;\mathbb{Z})/\mathrm{Tor}$ (see…

We generalize a formula due to Macdonald that relates the singular Betti numbers of $X^{n}/G$ to those of $X$, where $X$ is a compact manifold and $G$ is any subgroup of the symmetric group $S_{n}$ acting on $X^{n}$ by permuting…

Let $k$ be an algebraically closed field of characteristic $p > 0$, and let $G$ be a simple, simply connected algebraic group defined over $\mathbb{F}_p$. Given $r \geq 1$, set $q=p^r$, and let $G(\mathbb{F}_q)$ be the corresponding finite…

Recently, Darmon and Vonk initiated the theory of rigid meromorphic cocycles for the group $\mathrm{SL}_2(\mathbb{Z}[1/p])$. One of their major results is the algebraicity of the divisor associated to such a cocycle. We generalize the…