Related papers: Free monodromic Hecke categories and their categor…

This paper is a continuation of previous work of the author. We use the categorical trace formalism to give a construction of the categorical Jordan decomposition for representations of finite groups of Lie type. As a second application, we…

We study rewriting for equational theories in the context of symmetric monoidal categories where there is a separable Frobenius monoid on each object. These categories, also called hypergraph categories, are increasingly relevant: Frobenius…

Generalizing the theory of parity sheaves on complex algebraic stacks due to Juteau-Mautner-Williamson, we develop a theory of twisted equivariant parity sheaves. We use this formalism to construct a modular incarnation of Lusztig and Yun's…

This work investigates the Frobenius morphism on derived categories associated with algebraic stacks in positive characteristic. Particularly, we show that in many cases sufficiently many Frobenius pushforwards of a compact generator…

We introduce continuous Frobenius categories. These are topological categories which are constructed using representations of the circle over a discrete valuation ring. We show that they are Krull-Schmidt with one indecomposable object for…

We introduce a commutative associative graded algebra structure on the direct sum Z of the centers of the Hecke algebras associated to the symmetric groups in n letters for all n. As a natural deformation of the classical construction of…

Given a symmetric monoidal $(\infty,2)$-category $\mathscr E$ we promote the trace construction to a functor. We then apply this formalism to the case when $\mathscr{E}$ is the $(\infty,2)$-category of $k$-linear presentable categories…

We give a natural-deduction-style type theory for symmetric monoidal categories whose judgmental structure directly represents morphisms with tensor products in their codomain as well as their domain. The syntax is inspired by Sweedler…

In this paper we consider Deligne-Lusztig varieties and their analogues when the Frobenius endomorphism is replaced with conjugation by an element in a group, especially a regular semisimple or regular unipotent one. We calculate their…

We develop a constructive theory of finite multisets in Homotopy Type Theory, defining them as free commutative monoids. After recalling basic structural properties of the free commutative-monoid construction, we formalise and establish the…

In this paper we prove a version of Deligne's conjecture for potentially automorphic motives, twisted by certain algebraic Hecke characters. The Hecke characters are chosen in such a way that we can use automorphic methods in the context of…

Let $F^n(-)$ be the Frobenius functor of Peskine and Szpiro. In this note, we show that the maximal Cohen-Macaulayness of $F^n(M)$ forces $M$ to be free, provided $M$ has a rank. We apply this result to obtain several Frobenius related…

We develop filtered-graded techniques for algebras in monoidal categories with the main goal of establishing a categorical version of Bongale's 1967 result: A filtered deformation of a Frobenius algebra over a field is Frobenius as well.…

We use the formalism of the (2-category) AGCat, developed in [GRV], and the operation of higher categorical trace to (re)derive a number of results in the Deligne-Lusztig theory.

We consider Frobenius objects in the category Span, where the objects are sets and the morphisms are isomorphism classes of spans of sets. We show that such structures are in correspondence with data that can be characterized in terms of…

We compare the (horizontal) trace of the affine Hecke category with the elliptic Hall algebra, thus obtaining an "affine" version of the construction of [14]. Explicitly, we show that the aforementioned trace is generated by the objects…

For an arbitrary rational polyhedron we consider its decompositions into Minkowski summands and, dual to this, the free extensions of the associated pair of semigroups. Being free for the pair of semigroups is equivalent to flatness for the…

We construct a compact closed category out of any symmetric monoidal category by freely adding adjoints to its objects. The morphisms of the completion are defined as string diagrams annotated by objects and morphisms from the original…

We define a category of planar diagrams whose Grothendieck group contains an integral version of the infinite rank Heisenberg algebra, thus yielding a categorification of this algebra. Our category, which is a q-deformation of one defined…

We establish a transfer of unitarity for a Bernstein component of the category of smooth representations of a reductive p-adic group to the associated Hecke algebra, in the framework of the theory of types, whenever the Hecke algebra is an…