Related papers: Tannaka duality and stable infinity-categories
We study the monoidal closed category of symmetric multicategories, especially in relation with its cartesian structure and with sequential multicategories (whose arrows are sequences of concurrent arrows in a given category). Then we…
We show that every thick subcategory of the singularity category of a complete intersection ring is self dual. We also prove the analogous statement for thick subcategories of the bounded derived category and give applications to the…
In this paper, we introduce a symmetric continuous cohomology of topological groups. This is obtained by topologizing a recent construction due to Staic (J. Algebra 322 (2009), 1360-1378), where a symmetric cohomology of abstract groups is…
By a theorem due to the first author, the bounded derived category of a finite-dimensional algebra over a field embeds fully faithfully into the stable category over its repetitive algebra. This embedding is an equivalence iff the algebra…
We define a comonad cohomology of track categories and we show it is linked by a long exact sequence to its Dwyer-Kan-Smith cohomology . Under mild hypothesis on the track category, we show that its comonad cohomology coincides, up to…
We introduce a derived smooth duality functor on the unbounded derived category of smooth mod p representations of a p-adic Lie group. Using this functor we relate various subcategories of admissible complexes.
In this paper, we first introduce the notion of double Satake diagrams for compact symmetric triads. In terms of this notion, we give an alternative proof for the classification theorem for compact symmetric triads, which was originally…
The Tannakian formalism allows to attach to any subvariety of an abelian variety an algebraic group in a natural way. The arising groups are closely related to moduli questions such as the Schottky problem, but their geometric…
We show that every exact fully faithful functor from the category of perfect complexes on the spectrum of dual numbers to the bounded derived category of a noetherian separated scheme is of Fourier-Mukai type. The kernel turns out to be an…
We introduce a notion of Milnor square of stable $\infty$-categories and prove a criterion under which algebraic K-theory sends such a square to a cartesian square of spectra. We apply this to prove Milnor excision and proper excision…
In this paper, we discuss a relationship between representation theory of graded self-injective algebras and that of algebras of finite global dimension. For a positively graded self-injective algebra $A$ such that $A_0$ has finite global…
We revisit the definition of Cartesian differential categories, showing that a slightly more general version is useful for a number of reasons. As one application, we show that these general differential categories are comonadic over…
We extend the homotopy theories based on point reduction for finite spaces and simplicial complexes to finite acyclic categories and $\Delta$-complexes, respectively. The functors of classifying spaces and face posets are compatible with…
We introduce a new way to encode semicyclic structures using a stack of broken cycles. (We also prove an analogue for paracyclic structures.) This was motivated not only by higher algebra but also by Fukaya-categorical considerations. We…
We introduce the relative Matsui spectrum, a new invariant associated with a stable \(\infty\)-category equipped with an action. This construction generalizes both Balmer's tensor triangular spectra and Matsui's triangular spectra, and…
A class of partially wrapped Fukaya categories in $T^* N$ are proven to be well defined and then studied. In the case of $N$ diffeomorphic to $\mathbb{R}^m \times \mathbb{T}^n$, it is shown that these categories provide homological mirrors…
We introduce and study several homological notions which generalise the discrete derived categories of D. Vossieck. As an application, we show that Vossieck discrete algebras have this property with respect to all bounded t-structures. We…
Given a symmetric monoidal stable $\infty$-category $\mathcal{C}$ and a left adjoint symmetric monoidal fiber functor to $\operatorname{Mod}_A^{\otimes}$ for some $\mathbb{E}_{\infty}$-ring $A$, one can construct a derived group scheme $G$…
The main result of this thesis is the construction of a tannakian context over the category of sup-lattices, associated with an arbitrary Grothendieck topos, and the attainment of new results in tannakian representation theory from it.…
We construct a category equivalent to the category $\mathbf{Mon}$ of monoids and monoid homomorphisms, based on categories with strict factorization systems. This equivalence is then extended to the category $\mathbf{Mon_s}$ of unital…