Orthogonal webs and semisimplification

Elijah Bodish,Daniel Tubbenhauer

2024-01-01

Abstract:We define a diagrammatic category that is equivalent to tilting representations for the orthogonal group. Our construction works in characteristic not equal to two. We also describe the semisimplification of this category.

Representation Theory,Category Theory,Rings and Algebras

What problem does this paper attempt to address?

Semi-orthogonal decomposition and smoothing

Yujiro Kawamata

2024-10-20

Abstract:We investigate the behavior of semi-orthogonal decompositions of bounded derived categories of singular varieties under flat deformations to smooth varieties. We consider a Q-Gorenstein smoothing of a surface with a quotient singularity, and prove that a pretilting sheaf, which is constructed from a non-commutative deformation of a divisorial sheaf and generates a semi-orthogonal component of a bounded derived category, deforms to a direct sum of exceptional vector bundles which are mutually totally orthogonal.

Algebraic Geometry
Webs for the Quantum Orthogonal Group

Elijah Bodish,Haihan Wu

2023-09-07

Abstract:We give a generators and relations presentation for the full monoidal subcategory of representations of the quantum orthogonal group generated by the quantum exterior powers of the defining representation.

Representation Theory,Quantum Algebra
Representable diagrammatic sets as a model of weak higher categories

Amar Hadzihasanovic

DOI: https://doi.org/10.48550/arXiv.1909.07639

2019-09-17

Abstract:Developing an idea of Kapranov and Voevodsky, we introduce a model of weak omega-categories based on directed complexes, combinatorial presentations of pasting diagrams. We propose this as a convenient framework for higher-dimensional rewriting. We define diagrammatic sets to be presheaves on a category of directed complexes presenting pasting diagrams with spherical boundaries. Diagrammatic sets have structural face and degeneracy operations, but no structural composition. We define a notion of equivalence cell in a diagrammatic set, and say that a diagrammatic set is representable if all pasting diagrams with spherical boundaries are connected to individual cells -- their weak composites -- by a higher-dimensional equivalence cell. We develop the basic theory of representable diagrammatic sets (RDSs), and prove that equivalence cells satisfy the expected properties in an RDS. We study nerves of strict omega-categories as RDSs and prove that 2-truncated RDSs are equivalent to bicategories. Finally, we connect the combinatorics of diagrammatic sets and simplicial sets, and prove a version of the homotopy hypothesis for "groupoidal" RDSs: there exists a geometric realisation functor for diagrammatic sets, inducing isomorphisms between combinatorial and classical homotopy groups, which has a homotopical right inverse.

Category Theory
Semiorthogonal decomposition via categorical action

You-Hung Hsu

DOI: https://doi.org/10.1016/j.jalgebra.2023.08.041

IF: 0.908

2024-01-01

Journal of Algebra

Abstract:We show that the categorical action of the shifted q = 0 affine algebra can be used to construct semiorthogonal decomposition on the weight categories. In particular, this construction recovers Kapranov's exceptional collection when the weight categories are the derived categories of coherent sheaves on Grassmannians and n-step partial flag varieties. Finally, as an application, we use this result to construct a semiorthogonal decomposition on the derived categories of coherent sheaves on Grassmannians of a coherent sheaf with homological dimension ≤1 over a smooth projective variety X.

mathematics
Model Categories for Orthogonal Calculus

David Barnes,Peter Oman

DOI: https://doi.org/10.2140/agt.2013.13.959

2012-08-10

Abstract:We restate the notion of orthogonal calculus in terms of model categories. This provides a cleaner set of results and makes the role of O(n)-equivariance clearer. Thus we develop model structures for the category of n-polynomial and n-homogeneous functors, along with Quillen pairs relating them. We then classify n-homogeneous functors, via a zig-zag of Quillen equivalences, in terms of spectra with an O(n)-action. This improves upon the classification of Weiss. As an application, we develop a variant of orthogonal calculus by replacing topological spaces with orthogonal spectra.

Algebraic Topology
Categorifications from planar diagrammatics

Mikhail Khovanov

DOI: https://doi.org/10.1007/s11537-010-0925-x

2010-12-01

Japanese journal of mathematics

Abstract:Abstract.A diagrammatic presentation of functors and natural transformations and the virtues of biadjointness are discussed. We then review a graphical description of the category of Soergel bimodules and a diagrammatic categorification of positive halves of quantum groups. These notes are a write-up of Takagi Lectures given by the author in Hokkaido University in June 2009.

mathematics
An explicit bijection between semistandard tableaux and non-elliptic sl_3 webs

Heather M. Russell

DOI: https://doi.org/10.48550/arXiv.1204.1037

2012-04-04

Combinatorics

Abstract:The sl_3 spider is a diagrammatic category used to study the representation theory of the quantum group U_q(sl_3). The morphisms in this category are generated by a basis of non-elliptic webs. Khovanov- Kuperberg observed that non-elliptic webs are indexed by semistandard Young tableaux. They establish this bijection via a recursive growth algorithm. Recently, Tymoczko gave a simple version of this bijection in the case that the tableaux are standard and used it to study rotation and joins of webs. We build on Tymoczko's bijection to give a simple and explicit algorithm for constructing all non-elliptic sl_3 webs.
Affine and cyclotomic webs

Linliang Song,Weiqiang Wang

2024-06-19

Abstract:Generalizing the polynomial web category, we introduce a diagrammatic $\Bbbk$-linear monoidal category, the affine web category, for any commutative ring $\Bbbk$. Integral bases consisting of elementary diagrams are obtained for the affine web category and its cyclotomic quotient categories. Connections between cyclotomic web categories and finite $W$-algebras are established, leading to a diagrammatic presentation of idempotent subalgebras of $W$-Schur algebras introduced by Brundan-Kleshchev. The affine web category will be used as a basic building block of another $\Bbbk$-linear monoidal category, the affine Schur category, formulated in a sequel.

Representation Theory
Obstructions to semiorthogonal decompositions for singular projective varieties II: Representation theory

Martin Kalck,Carlo Klapproth,Nebojsa Pavic

2024-06-18

Abstract:We show that odd-dimensional projective varieties with tilting objects and only ADE-hypersurface singularities are nodal, i.e. they only have $A_1$-singularities. This is a very special case of more general obstructions to the existence of semiorthogonal decompositions for projective Gorenstein varieties. More precisely, for many isolated hypersurface singularities, we show that Kuznetsov-Shinder's categorical absorptions of singularities cannot contain tilting objects. The key idea is to compare singularity categories of projective varieties to singularity categories of finite-dimensional associative Gorenstein algebras. The former often contain special generators, called cluster-tilting objects, which typically have loops and $2$-cycles in their quivers. In contrast, quivers of cluster-tilting objects in the latter categories, can never have loops or $2$-cycles.

Algebraic Geometry,Commutative Algebra,Representation Theory
Producing "new" semi-orthogonal decompositions in arithmetic geometry

Mikhail V. Bondarko

2023-11-25

Abstract:This paper is devoted to constructing "new" admissible subcategories and semi-orthogonal decompositions of triangulated categories out of "old" ones. For two triangulated subcategories $T$ and $T'$ of a certain $D$ and a decomposition $(L,R)$ of $T$ we look either for a decomposition $(L',R')$ of $T'$ such that there are no non-zero $D$-morphisms from $L$ into $L'$ and from $R$ into $R'$, or for a decomposition $(L_D,R_D)$ of $D$ such that $L_D\cap T=L$ and $R_D\cap T=R$. We prove some general existence statements (that also extend to semi-orthogonal decompositions with any number of components) and apply them to various derived categories of coherent sheaves over a scheme $X$ that is proper over a noetherian ring $R$. This gives a one-to-one correspondence between semi-orthogonal decompositions of $D_{perf}(X)$ and $D^b_{coh}(X)$; the latter extend to $D^-_{coh}(X)$, $D^+_{coh}({Qcoh}(X))$, $D_{coh}({Qcoh}(X))$, and $D({Qcoh}(X))$ under very mild conditions. In particular, we obtain a vast generalization of a theorem of J. Karmazyn, A. Kuznetsov, and E. Shinder. These applications rely on recent results of Neeman that express $D^b_{coh}(X)$ and $D^-_{coh}(X)$ in terms of $D_{perf}(X)$ along with its new variations corresponding to $D^+_{coh}({Qcoh}(X))$ and $D_{coh}({Qcoh}(X))$. We also discuss an application of this theorem to the construction of certain adjoint functors.

Algebraic Geometry,K-Theory and Homology
On straightening for Segal spaces

Joost Nuiten,Nuiten,Joost

DOI: https://doi.org/10.1112/s0010437x23007674

2024-02-23

Compositio Mathematica

Abstract:The straightening–unstraightening correspondence of Grothendieck–Lurie provides an equivalence between cocartesian fibrations between -categories and diagrams of -categories. We provide an alternative proof of this correspondence, as well as an extension of straightening–unstraightening to all higher categorical dimensions. This is based on an explicit combinatorial result relating two types of fibrations between double categories, which can be applied inductively to construct the straightening of a cocartesian fibration between higher categories.

mathematics
Tilting sheaves for real groups and Koszul duality

Andrei Ionov,Zhiwei Yun

2023-06-09

Abstract:For a certain class of real analytic varieties with Lie group actions we develop a theory of (free-monodromic) tilting sheaves, and apply it to flag varieties stratified by real group orbits. For quasi-split real groups, we construct a fully faithful embedding of the category of tilting sheaves to a real analog of the category of Soergel bimodules, establishing real group analogs of Soergel's Structure Theorem and Endomorphism Theorem. We apply these results to give a purely geometric proof of the theorem of Bezrukavnikov and Vilonen which proves Soergel's conjecture for quasi-split groups.

Algebraic Geometry,Representation Theory
Semiorthogonal decompositions in algebraic geometry

Alexander Kuznetsov

DOI: https://doi.org/10.48550/arXiv.1404.3143

2014-04-11

Algebraic Geometry

Abstract:In this review we discuss what is known about semiorthogonal decompositions of derived categories of algebraic varieties. We review existing constructions, especially the homological projective duality approach, and discuss some related issues such as categorical resolutions of singularities.
Symmetric Khovanov--Rozansky link homologies

Louis-Hadrien Robert,Emmanuel Wagner

DOI: https://doi.org/10.48550/arXiv.1801.02244

2019-09-05

Abstract:We provide a finite dimensional categorification of the symmetric evaluation of $\mathfrak{sl}_N$-webs using foam technology. As an output we obtain a symmetric link homology theory categorifying the link invariant associated to symmetric powers of the standard representation of $\mathfrak{sl}_N$. In addition, the construction is actually made in an equivariant setting. We prove also that there is a spectral sequence from the Khovanov-Rozansky triply graded link homology to the symmetric one and provide along the way a foam interpretation of Soergel bimodules.

Geometric Topology,Quantum Algebra
Semisimplicity of certain representation categories

John E. Foster

DOI: https://doi.org/10.48550/arXiv.1509.01633

2015-09-05

Abstract:We exhibit a correspondence between subcategories of modules over an algebra and sub-bimodules of the dual of that algebra. We then prove that the semisimplicity of certain such categories is equivalent to the existence of a Peter-Weyl decomposition of the corresponding sub-bimodule. Finally, we use this technique to establish the semisimplicity of certain finite-dimensional representations of the quantum double of sl_2 for generic q.

Quantum Algebra,Representation Theory
Diagrammatics for Soergel categories

Ben Elias,Mikhail Khovanov

DOI: https://doi.org/10.1155/2010/978635

2016-03-06

Abstract:The monoidal category of Soergel bimodules can be thought of as a categorification of the Hecke algebra of a finite Weyl group. We present this category, when the Weyl group is the symmetric group, in the language of planar diagrams with local generators and local defining relations.

Representation Theory,Quantum Algebra
A G ] 1 S ep 2 02 1 Semiorthogonal decomposition of D b ( Bun L 2 )

Kai Xu,Shing-Tung Yau

2021-01-01

Abstract:We study the derived category of coherent sheaves on various versions of moduli space of vector bundles on curves by the Borel-Weil-Bott theory for loop groups and Θ-stratification, and construct a semiorthogonal decomposition with blocks given by symmetric powers of the curve.
Polar Brauer categories, infinitesimal braids and Lie superalgebra representations

Gustav Lehrer,Ruibin Zhang

2024-03-31

Abstract:We define a class of monoidal categories whose morphisms are diagrams, and which are enhancements and generalisations of the Brauer category obtained by adjoining infinitesimal braids, "coupons" and poles. Properties of these categories are explored, particularly diagrammatic equations. We construct functors from certain of them to categories of representations of Lie algebras and superalgebras. Applications include a diagrammatic construction of the centre of the universal enveloping superalgebra and certain "characteristic identities", as well as an analysis of certain tensor representations. We show how classical diagram categories arising in invariant theory are special cases of our constructions, placing them in a single unified framework.

Representation Theory
On rank one 2-representations of web categories

Daniel Tubbenhauer

2023-10-02

Abstract:We classify rank one 2-representations of SL2, GL2 and SO3 web categories. The classification is inspired by similar results about quantum groups, given by reducing the problem to the classification of bilinear and trilinear forms, and is formulated such that it can be adapted to other web categories.

Representation Theory,Category Theory,Quantum Algebra
A G ] 3 0 A Ug 2 02 1 Semiorthogonal Decomposition of D B ( Bun L 2 )

Kai Xu,S. Yau

2021-01-01

Abstract:We study the derived category of coherent sheaves on various versions of moduli space of vector bundles on curves by the Borel-Weil-Bott theory for loop groups and Θ-stratification, and construct a semiorthogonal decomposition with blocks given by symmetric powers of the curve.

Orthogonal webs and semisimplification

Semi-orthogonal decomposition and smoothing

Webs for the Quantum Orthogonal Group

Representable diagrammatic sets as a model of weak higher categories

Semiorthogonal decomposition via categorical action

Model Categories for Orthogonal Calculus

Categorifications from planar diagrammatics

An explicit bijection between semistandard tableaux and non-elliptic sl_3 webs

Affine and cyclotomic webs

Obstructions to semiorthogonal decompositions for singular projective varieties II: Representation theory

Producing "new" semi-orthogonal decompositions in arithmetic geometry

On straightening for Segal spaces

Tilting sheaves for real groups and Koszul duality

Semiorthogonal decompositions in algebraic geometry

Symmetric Khovanov--Rozansky link homologies

Semisimplicity of certain representation categories

Diagrammatics for Soergel categories

A G ] 1 S ep 2 02 1 Semiorthogonal decomposition of D b ( Bun L 2 )

Polar Brauer categories, infinitesimal braids and Lie superalgebra representations

On rank one 2-representations of web categories

A G ] 3 0 A Ug 2 02 1 Semiorthogonal Decomposition of D B ( Bun L 2 )