Triangle presentations and tilting modules for SL₂k+1

DOI10.4171/JCA/50MaRDI QIDQ2233683zbMATH OpenFDO

Publication date 11 October 2021

Published in Journal of Combinatorial Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2005.07172

affine buildings fiber functors tilting modules

Connections of Hopf algebras with combinatorics (16T30) Quantum groups (quantized enveloping algebras) and related deformations (17B37) Monoidal categories, symmetric monoidal categories (18M05) Groups with a (BN)-pair; buildings (20E42) Linear algebraic groups over local fields and their integers (20G25) Buildings and the geometry of diagrams (51E24)

Abstract: Triangle presentations are combinatorial structures on finite projective geometries which characterize groups acting simply transitively on the vertices of a locally finite building of type

i l d e {e x t A}_{n - 1}

(

n g e 3

). From a type

i l d e {e x t A}_{n - 1}

triangle presentation on a geometry of order

q

, we construct a fiber functor on the diagrammatic monoidal category

e x t W e b (e x t {S L}_{n}^{-})

over any field

m a t h b b k

with characteristic

p g e n - 1

such that

q e q u i v 1

mod

p

. When

m a t h b b k

is algebraically closed and

n

odd, this gives new fiber functors on the category of tilting modules for

e x t {S L}_{n}

.

Review text

Let \(\Bbbk\) be an algebraically closed field of positive characteristic \(p\). The paper under review constructs fiber functors, i.e. monoidal \(\Bbbk\)-linear functors to the category \(\mathbf{Vec}\) of finite-dimensional vector spaces, from the category \(\operatorname{Tilt}(\operatorname{SL}_{n})\) of tilting modules for \(\operatorname{SL}_{n}(\Bbbk)\), for odd \(n\). Two diagrammatic categories, \(\operatorname{Web}(\operatorname{SL}_{n}^{+})\) and \(\operatorname{Web}(\operatorname{SL}_{n}^{-})\) are defined, using the diagrammatic presentation of the category of \(\operatorname{GL}_{n}(\Bbbk)\)-modules generated by exterior powers of the standard \(n\)-dimensional representation, constructed in [\textit{J. Brundan} et al., Adv. Math. 375, 37 p. (2020; Zbl 1494.18011)] . For all \(n\), the category \(\operatorname{Web}(\operatorname{SL}_{n}^{+})\) is monoidally equivalent to \(\operatorname{Tilt}(\operatorname{SL}_{n})\). If \(n\) is odd, we have \(\operatorname{Web}(\operatorname{SL}_{n}^{+}) = \operatorname{Web}(\operatorname{SL}_{n}^{-})\). For even \(n\), the two constructions are different. Given a triangle presentation \(\mathfrak{T}\) of type \(\widetilde{A}_{n-1}\), a fiber functor \(F_{\mathfrak{T}}\) on \(\operatorname{Web}(\operatorname{SL}_{n}^{-})\) is constructed. More precisely, the construction requires \(p \geq n-1\) and a finite projective geometry \(\Pi\) with involution, of algebraic dimension \(n\) and order \(q\), with \(q \equiv 1 \text{ mod } p\). The triangle presentation \(\mathfrak{T}\) is a combinatorial structure on \(\Pi\), and the construction of the fiber functor only uses the combinatorial properties of \(\mathfrak{T}\). For completeness, the article contains a short account of the setting of finite projective geometries and affine buildings, where the triangle presentations naturally arise. In particular, it contains the description of a group \(\Gamma\) associated to \(\mathfrak{T}\). By definition, the fiber functor \(F_\mathfrak{T}\) factors through the forgetful functor from the category \(\mathbf{Vec}(\Gamma)\) of \(\Gamma\)-graded vector spaces to \(\mathbf{Vec}\). For \(n\) odd, a fiber functor on \(\operatorname{Tilt}(\operatorname{SL}_{n})\) is obtained by combining the equivalence of \(\operatorname{Tilt}(\operatorname{SL}_{n})\) with \(\operatorname{Web}(\operatorname{SL}_{n}^{+})\), equality of \(\operatorname{Web}(\operatorname{SL}_{n}^{+})\) with \(\operatorname{Web}(\operatorname{SL}_{n}^{-})\), and the fiber functor \(F_{\mathfrak{T}}\) on \(\operatorname{Web}(\operatorname{SL}_{n}^{-})\). The category \(\operatorname{Web}(\operatorname{SL}_{n}^{-})\) is not braided, unless \(n\) is even. Despite that, it is shown that the obtained fiber functors yield involutive solutions to the Yang-Baxter equation, which are given explicitly as linear maps and further also described as ``positive characteristic deformations of familiar solutions in characteristic zero.

Recommendations

Cites work

Cited in

(3)

This page was built for publication: Triangle presentations and tilting modules for \(\operatorname{SL}_{2k+1}\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2233683)