Related papers: A cancellation theorem for Milnor-Witt corresponde…

Consider a complete discrete valuation ring $\mathcal{O}$ with quotient field $F$ and finite residue field. Then the inclusion map $\mathcal{O} \hookrightarrow F$ induces a map $\hat{\mathrm{K}}^\mathrm{M}_*\mathcal{O} \to…

We give an alternate proof of Wise's Malnormal Special Quotient Theorem (MSQT), avoiding cubical small cancellation theory. We also show how to deduce Wise's Quasiconvex Hierarchy Theorem from the MSQT and theorems of Hsu--Wise and…

A vanishing theorem is proved for Ext groups over non-commutative graded algebras. Along the way, an "infinite" version is proved of the non-commutative Auslander-Buchsbaum theorem.

Chevalley's theorem on the images of morphisms of schemes and the principle of quantifier elimination for the theory of algebraically closed fields are widely understood to be two perspectives on the same theorem. In this paper, we…

We prove a general finite convergence theorem for "upward-guarded" fixpoint expressions over a well-quasi-ordered set. This has immediate applications in regular model checking of well-structured systems, where a main issue is the eventual…

We construct derived fundamental group schemes for Tate motives over connected smooth schemes over fields. We show that there exists a pro affine derived group scheme over the rationals such that its category of perfect representations…

We show various vanishing theorems for the cohomology groups of compact hermitian manifolds for which the Bismut connection has (restricted) holonomy contained in SU(n) and classify all such manifolds of dimension four. In this way we…

The classic Mckay correspondence gives a connection between finite subgroups of $\operatorname{SU}(2)$ and the simply-laced Dynkin diagrams. In this article, a direct proof is presented. The bipartite structure of the Mckay diagrams is…

We prove that the projectors arising from the decomposition theorem applied to a projective map of quasi projective varieties are absolute Hodge, Andr\'e motivated, Tate and Ogus classes. As a by-product, we introduce, in characteristic…

We improve some foundational connectivity results and the relative Hurewicz theorem in motivic homotopy theory, study functorial central series in motivic local group theory, establish the existence of functorial Moore--Postnikov…

We expose in full detail a constructive procedure to invert the so--called "finite Markov moment problem". The proofs rely on the general theory of Toeplitz matrices together with the classical Newton's relations.

We give a new proof for a theorem of Ehrhart regarding the quasi-polynomiality of the function that counts the number of integer points in the integral dilates of a rational polytope. The proof involves a geometric bijection,…

In this paper, we present a general approach to establish motivic cohomology and build part of its six operations formalism. Applying this together with symplectic orientation on MW-motivic cohomology, we discuss the embedding theorem of…

We provide a proof in the language of model categories and symmetric spectra of Lurie's theorem that topological complex $K$-theory represents orientations of the derived multiplicative group. Then we generalize this result to the motivic…

We prove the finiteness of the kernel of the localization map in the Galois cohomology of a connected reductive group over a global field

Let W be a smooth complex quasiprojective variety with the action of a connected reductive group G. Adapting the stratification approach of Teleman to a microlocal context, we prove a vanishing theorem for the functor of G-invariant…

The classical theorem of Milnor on pullback rings states that the category of projective modules over a pullback ring is equivalent to a certain category of gluing triples consisting of projective modules. We prove an analogous result on…

We introduce a general theory of homological Milnor-Witt cycle modules over an excellent base scheme equipped with a dimension function, extending both Rost's cycle modules and Feld's theory over fields. To any such module we associate a…

We study the construction of a modular generalized Springer correspondence for a possibly disconnected complex reductive algebraic group.

We prove the vanishing of bounded cohomology with separable dual coefficients for many groups of interest in geometry, dynamics, and algebra. These include compactly supported structure-preserving diffeomorphism groups of certain manifolds;…