Mathematics

In this paper, we study ideal quotients of triangulated categories by higher cluster tilting subcategories. Koenig and Zhu proved that the ideal quotient by a $2$-cluster tilting subcategory is an abelian category; moreover, by Morita's…

A limit of a (small) diagram $d : J \to E$ in a complete category $E$ can be thought of as specifying a set of equations involving the objects of $E$. To motivate this intuitively, one can think of each object $d(j)$ as a "variable" and…

We study the asymptotic behavior of Stiefel--Whitney classes of irreducible orthogonal representations of the finite general linear groups $\mathrm{GL}_n(\mathbb{F}_q)$. Building on recent formulas expressing these classes in terms of…

Let $G$ be a simple, simply connected, simply laced algebraic group. We construct a monoidal category of representations of the quantum affine algebra $U_q(\widehat{\mathfrak{g}})$ whose Grothendieck ring contains a cluster algebra with…

We make a systematic study of duality phenomena in tensor-triangular geometry, generalising and complementing previous results of Balmer--Dell'Ambrogio--Sanders and Dwyer--Greenlees--Iyengar. A key feature of our approach is the use of…

We prove that any weakly idempotent complete $d$-exact category is equivalent to a $d$-cluster tilting subcategory of a weakly idempotent complete exact category, and that any weakly idempotent complete algebraic $(d+2)$-angulated category…

For any persistence module $M$ over a finite poset $\mathbf{P}$, and any interval $I$ of $\mathbf{P}$, we give a formula for the multiplicity $d_M(V_I)$ of the interval module $V_I$ in the indecomposable decomposition of $M$ in terms of the…

These are expanded notes of a two-semester course on Lie groups and Lie algebras given by the author at MIT.

We classify connected finite acyclic graded quivers $Q$ for which the graded path algebra $kQ$, regarded as a formal dg algebra, is silting-discrete. We prove that $kQ$ is silting-discrete if and only if it is derived-discrete, and that…

We identify the dominant part of the Frenkel-Reshetikhin $q$-character with a natural invariant arising from the Langlands/Zelevinsky parameterization for affine Hecke algebras. We introduce the reciprocal character of a module over a…

Double (quasi-)Poisson brackets were introduced on associative algebras by Van den Bergh to induce a (quasi-)Poisson structure on their representation spaces naturally equipped with a $\mathrm{GL}$-action (type $\mathtt{A}$). If there…

In this work, we establish a relationship between the sum of irreducible character degrees and the number of twisted involutions associated with the automorphisms of a finite group. We develop algorithmic frameworks for evaluating these…

The recent proof of the unramified Geometric Langlands Conjecture has attracted a lot of publicity, so this seems like a good time to address the title question. In one line, the Geometric Langlands correspondence is an algebraic spectral…

We construct an explicit isomorphism between the generalised Khovanov arc algebras of type D and the basic algebras of the anti-spherical Hecke category associated to the maximal parabolic subgroup $W (A_{n-1})$ of $W (Dn)$. This…

We determine which quasi-simple groups have a non-principal $2$-block that is stable under complex conjugation. As a corollary, we determine that the Mathieu group $M_{22}$ is the only simple group not possessing a nontrivial irreducible…

In this paper we construct classifying localic categories and groupoids for various bundles equipped with logical structure. When these bundles are local homeomorphisms, we recover the localic groupoids that classify geometric theories,…

We give an elementary proof of the statement that if an idempotent complete preadditive category has weak kernels and weak cokernels, then it has $n$-kernels if and only if it has $n$-cokernels, where $n$ is a nonnegative integer. As a…

In the context of ideally exact categories, we introduce the notions of internal coherent action and internal ideal action that generalise different aspects of unital actions of rings and algebras. We prove that every ideal action is…

We propose a definition of double categories whose composition of 1-cells is weak in both directions. Namely, a doubly weak double category is a double computad -- a structure with 2-cells of all possible double-categorical shapes --…

We introduce rigid algebras, a generalization of rigid categories to arbitrary symmetric monoidal $(\infty,2)$-categories. We develop their general theory, showing in particular that the a priori $(\infty,2)$-category of rigid algebras is…