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

We define and construct mixed Hodge structures on real schematic homotopy types of complex projective varieties, giving mixed Hodge structures on their homotopy groups and pro-algebraic fundamental groups. We also show that these split on…

To a finite group G one can associate a tower of wreath products S_n[G]. It is well known that the graded direct sum of the Grothendieck groups of the categories of finite dimensional complex representations of these groups can be given the…

We extend the construction of the DAHA-Jones polynomials for any reduced root systems and DAHA-superpolynomials in type A from the iterated torus knots (our previous paper) to links, including arbitrary algebraic links. Such a passage…

We establish a decomposition of stable homology of automorphism groups of free groups with polynomial contravariant coefficients in term of functor homology. This allows several explicit computations, intersecting results obtained by…

Let $G$ be a group and $S$ a unital epsilon-strongly $G$-graded algebra. We construct spectral sequences converging to the Hochschild (co)homology of $S$. Each spectral sequence is expressed in terms of the partial group (co)homology of $G$…

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…

We discuss inequalities between the values of \emph{homotopical and cohomological Poincar\'e polynomials} of the self-products of rationally elliptic spaces. For rationally elliptic quasi-projective varieties, we prove inequalities between…

Given a projective algebraic set X, its dual graph G(X) is the graph whose vertices are the irreducible components of X and whose edges connect components that intersect in codimension one. Hartshorne's connectedness theorem says that if…

Our starting point is Mumford's conjecture, on representations of Chevalley groups over fields, as it is phrased in the preface of "Geometric Invariant Theory". After extending the conjecture appropriately, we show that it holds over an…

We show, up to h-cobordism, that the existence and uniqueness of connected sum decompositions of oriented 4-dimensional manifolds is an invariant of homotopy equivalence, assuming that the fundamental group of each summand is "good" in the…

For each partition $\tau$ of $N$ there are irreducible modules of the symmetric groups $\mathcal{S}_{N}$ or the corresponding Hecke algebra $\mathcal{H}_{N}\left( t\right) $ whose bases consist of reverse standard Young tableaux of shape…

We extend the decomposition conjecture to 2d quantum field theories with a gauged $\text{Rep}(H)$ symmetry category for $H$ a finite-dimensional semisimple Hopf algebra with $\text{Rep}(G)$ trivially-acting and $\text{Vec}(\Gamma)$ the…

Given a scheme in characteristic p together with a lifting modulo p^2, 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…

Every principal G-bundle is classified up to equivalence by a homotopy class of maps into the classifying space of G. On the other hand, for every nice topological space Milnor constructed a strict model of loop space, that is a group.…

In this paper we consider non-abelian 1-cohomology for groups with coefficients in other groups. We prove versions of the `five lemma' arising from this situation. We go on to show that a connected unipotent algebraic group Q acted on…

We show that Hopf invariants, defined by evaluation in Harrison cohomology of the commutative cochains of a space, calculate the logarithm map from a fundamental group to its Malcev Lie algebra. They thus present the zeroth Harrison…

An algebraic theory $T$ is a category with objects $t_0,t_2...$ such that for each $n$ the object $t_n$ is an $n$-fold categorical product of $t_1$. A strict $T$-algebra is a product preserving functor $A: T\to Spaces$. Lawvere showed that…

In this paper we prove the Mumford-Tate conjecture in degree 2 for the product of an abelian surface $A$ and a K3 surface $X$ over a finitely generated field $K \subset \mathbb{C}$. The Mumford-Tate conjecture is a precise way of saying…

We prove a Macdonald polynomial analogue of the celebrated Nekrasov-Okounkov hook-length formula from the theory of random partitions. As an application we obtain a proof of one of the main conjectures of Hausel and Rodriguez-Villegas from…

Generalizing a theorem of Macdonald, we show a formula for the mixed Hodge structure on the cohomology of the symmetric products of bounded complexes of mixed Hodge modules by showing the existence of the canonical action of the symmetric…