Related papers: Parity Sheaves and Smith Theory

Motivated by the cohomology theory of loop spaces, we consider a special class of higher order homotopy commutative differential graded algebras and construct the filtered Hirsch model for such an algebra $A$. When $x\in H(A)$ with…

We introduce a notion of complexity of diagrams (and in particular of objects and morphisms) in an arbitrary category, as well as a notion of complexity of functors between categories equipped with complexity functions. We discuss several…

We develop the theory of semi-orthogonal decompositions and spherical functors in the framework of stable $\infty$-categories. Building on this, we study the relative Waldhausen S-construction $S_\bullet(F)$ of a spherical functor $F$ and…

We define the notion of sheaf in the context of doctrines. We prove the associate sheaf functor theorem. We show that grothendieck toposes and toposes obtained by the tripos to topos construction are instances of categories of sheaves for a…

We partially generalize the theory of semihomogeneous bundles on an abelian variety $A$ developed by Mukai. This involves considering abelian subvarieties $Y\subset X_A=A\times\hat{A}$ and studying coherent sheaves on $A$ invariant under…

Let $f \colon X \to Y$ be a morphism of concentrated schemes. We characterize $f$-perfect complexes $\mathcal{E}$ as those such that the functor $\mathcal{E} \otimes^{\mathbf{L}}_X \mathbf{L} f^*-$ preserves bounded complexes. We prove, as…

We compute, with Symplectic Field Theory techniques, the Gromov-Witten theory of the complex projective line with orbifold points. A natural subclass of these orbifolds, the ones with polynomial quantum cohomology, gives rise to a family of…

Weibel proved that $p$-inverted K-theory is $\mathbb{A}^1$-invariant on $\mathbb{F}_p$-schemes and K-theory with $\mathbb{Z}/p$-coefficients is $\mathbb{A}^1$-invariant on $\mathbb{Z}[\frac{1}{p}]$-schemes. We extend this result to all…

We show that the category of $n$-excisive functors from the $\infty$-category of spectra to a target stable $\infty$-category $\mathbf{E}$ is equivalent to the category of $\mathbf{E}$-valued Mackey functors on an indexing category built…

A new proof, depending only on genus theory, is given of a theorem of Stankewicz, which characterizes the primes $p$ for which the class equation $H_D(X)$ of the maximal order of the imaginary quadratic field $K=\mathbb{Q}(\sqrt{D})$ has a…

Let G be a finite group. We systematically exploit general homological methods in order to reduce the computation of G-equivariant KK-theory to topological equivariant K-theory. The key observation is that the functor assigning to a…

We develop various aspects of the theory of recollements of $\infty$-categories, including a symmetric monoidal refinement of the theory. Our main result establishes a formula for the gluing functor of a recollement on the right-lax limit…

We develop the geometric and homological framework for non-commutative $n$-ary $\Gamma$-semirings by constructing a sheaf and derived theory over their non-commutative $\Gamma$-spectrum. Starting with a non-commutative $n$-ary…

We show that the functor sending a locally compact Hausdorff space $X$ to the $\infty$-category of spectral sheaves $\mathrm{Shv}(X; \mathrm{Sp})$ is initial among all continuous six-functor formalisms on the category of locally compact…

Let $X$ be a smooth scheme with an action of an algebraic group $G$. We establish an equivalence of two categories related to the corresponding moment map $\mu : T^*X \to Lie(G)^*$ - the derived category of G-equivariant coherent sheaves on…

This thesis concerns embeddings and self-embeddings of foundational structures in both set theory and category theory. The first part of the work on models of set theory consists in establishing a refined version of Friedman's theorem on…

A solution is given to the following problem: how to compute the multiplicity, or more generally the Hilbert function, at a point on a Schubert variety in an orthogonal Grassmannian. Standard monomial theory is applied to translate the…

This paper develops two theories, the geometric theory of derived Grassmannians (and flag schemes) and the algebraic theory of derived Schur (and Weyl) functors, and establishes their connection, a derived generalization of the…

Motivated by the work of of A. Zelevinsky on positive self-adjoint Hopf algebras, we define what we call a symmetric self-adjoint Hopf structure for a certain kind of semisimple abelian categories. It is known that every positive…

We describe how an Ore category with a Garside family can be used to construct a classifying space for its fundamental group(s). The construction simultaneously generalizes Brady's classifying space for braid groups and the Stein--Farley…