Related papers: Localization problems of Quillen

Let F be a finitely generated discrete group. Given a covering map H to G of Lie groups with G either compact or complex reductive, there is an induced covering map Hom(F, H) to Hom(F, G). We show that when the fundamental group of G is…

Using the formalism of Grothendieck's derivators, we construct `the universal localizing invariant of dg categories'. By this, we mean a morphism U_l from the pointed derivator associated with the Morita homotopy theory of dg categories to…

Let $RQ$ be the path algebra of a Dynkin quiver $Q$ over a commutative noetherian ring $R$. We show that any homotopically smashing t-structure in the derived category of $RQ$ is compactly generated. We also give a complete description of…

Grothendieck proved in EGA IV that if any integral scheme of finite type over a locally noetherian scheme X admits a desingularization, then X is quasi-excellent, and conjectured that the converse is probably true. We prove this conjecture…

We construct new half-BPS line defects in 3d $\mathcal{N}=2$ supersymmetric quiver gauge theories whose Higgs branches are complete flag manifolds $X = {\rm Fl}(n)$. Upon circle compactification, the bulk theory flows to a non-linear sigma…

We aim to reconstruct a monoid scheme $X$ from the category of quasi-coherent sheaves over it. This is much in the vein of Gabriel's original reconstruction theorem. Under some finiteness condition on a monoid schemes $X$, we show that the…

Let $p \geq 5$ be a prime number and let $G = SL_2(\mathbb{Q}_p)$. Let $\Xi$ = Spec$(Z)$ denote the spectrum of the centre $Z$ of the pro-$p$ Iwahori Hecke algebra of $G$ with coefficients in a field $k$ of characteristic $p$. Let…

We study intersection theoretic problems in the setting of Chow-Witt groups with coefficients in a fixed Milnor-Witt cycle algebra over a perfect field. We prove that the product maps on such groups satisfy the following property: given two…

Let $M$ be a closed manifold and $\alpha : \pi_1(M)\to U_n$ a representation. We give a purely $K$-theoretic description of the associated element $[\alpha]$ in the $K$-theory of $M$ with $\R/\Z$-coefficients. To that end, it is convenient…

We prove an analogue of the Gabriel--Quillen embedding theorem for exact $\infty$-categories, giving rise to a presentable version of Klemenc's stable envelope of an exact $\infty$-category. Moreover, we construct a symmetric monoidal…

Let X be a separated finite type scheme over a noetherian base ring K. There is a complex C(X) of topological O_X-modules on X, called the complete Hochschild chain complex of X. To any O_X-module M - not necessarily quasi-coherent - we…

Ravenel proved the remarkable fact that the $K$-theoretic localization $L_K S^0$ of the sphere spectrum has $\mathbb{Q}/\mathbb{Z}$ as homotopy group in dimension -2. Mike Hopkins' chromatic splitting conjecture implies more generally that…

An action of a complex reductive group $\mathrm G$ on a smooth projective variety $X$ is regular when all regular unipotent elements in $\mathrm G$ act with finitely many fixed points. Then the complex $\mathrm G$-equivariant cohomology…

Given a compact Lie group $G$ acting on a space $X$, the classical Atiyah-Segal completion theorem identifies topological $K$-theory of the homotopy quotient $X/G$ with an explicit completion of $G$-equivariant topological $K$-theory of…

We give new homotopy theoretic criteria for deciding when a fibration with homotopy finite fibers admits a reduction to a fiber bundle with compact topological manifold fibers. The criteria lead to a new and unexpected result about…

Given a small category C, a C-module M is a functor from C to the category of finite-dimensional vector spaces over a field k. Associated to M is its local structure, given as a functor from C to the category of bi-closed multi-flags over…

Homotopy type theory is a formal language for doing abstract homotopy theory -- the study of identifications. But in unmodified homotopy type theory, there is no way to say that these identifications come from identifying the path-connected…

Let U be a smooth quasi-projective variety over a field k that is finite, the algebraic closure of a finite field or algebraically closed of characteristic 0. Let X be a suitable projective compactification of U, and D an effective divisor…

We show that every scheme/algebraic space/stack that is quasi-compact with quasi-finite diagonal can be approximated by a noetherian scheme/algebraic space/stack. More generally, we show that any stack which is etale-locally a global…

Building on the Waldhausen and Quillen models of higher algebraic $K$-theory for exact categories and Waldhausen categories attached to a non-commutative $n$-ary $\Ga$-semiring $(T,\Ga)$, we establish the fundamental formal properties of…