On the category 𝒪 of a hybrid quantum group

We study the representation theory of a hybrid quantum group at root of unity <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="zeta"> <mml:semantics> <mml:mi>ζ</mml:mi> <mml:annotation encoding="application/x-tex">\zeta</mml:annotation> </mml:semantics> </mml:math> </inline-formula> introduced by Gaitsgory. After discussing some basic properties of its category <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="script upper O"> <mml:semantics> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mi class="MJX-tex-caligraphic" mathvariant="script">O</mml:mi> </mml:mrow> <mml:annotation encoding="application/x-tex">\mathcal {O}</mml:annotation> </mml:semantics> </mml:math> </inline-formula>, we study deformations of the category <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="script upper O"> <mml:semantics> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mi class="MJX-tex-caligraphic" mathvariant="script">O</mml:mi> </mml:mrow> <mml:annotation encoding="application/x-tex">\mathcal {O}</mml:annotation> </mml:semantics> </mml:math> </inline-formula>. For subgeneric deformations, we construct the endomorphism algebra of big projective object and compute it explicitly. Our main result is an algebra isomorphism between the center of deformed category <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="script upper O"> <mml:semantics> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mi class="MJX-tex-caligraphic" mathvariant="script">O</mml:mi> </mml:mrow> <mml:annotation encoding="application/x-tex">\mathcal {O}</mml:annotation> </mml:semantics> </mml:math> </inline-formula> and the equivariant cohomology of <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="zeta"> <mml:semantics> <mml:mi>ζ</mml:mi> <mml:annotation encoding="application/x-tex">\zeta</mml:annotation> </mml:semantics> </mml:math> </inline-formula>-fixed locus on the affine Grassmannian attached to the Langlands dual group.

Authors

Institutions

Publication Details

Journal
Representation Theory of the American Mathematical Society
Published
2024-10-17
DOI
https://doi.org/10.1090/ert/676
Citations
1
Primary Topic
Algebraic structures and combinatorial models
Type
article
Field-Weighted Citation Impact
1.01
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
article

On the category 𝒪 of a hybrid quantum group

Quan Situ
1 citations
Representation Theory of the American Mathematical Society
Algebraic structures and combinatorial models
1.01
article

On the category 𝒪 of a hybrid quantum group

Quan Situ
article en
1 citations

Abstract

We study the representation theory of a hybrid quantum group at root of unity <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="zeta"> <mml:semantics> <mml:mi>ζ</mml:mi> <mml:annotation encoding="application/x-tex">\zeta</mml:annotation> </mml:semantics> </mml:math> </inline-formula> introduced by Gaitsgory. After discussing some basic properties of its category <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="script upper O"> <mml:semantics> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mi class="MJX-tex-caligraphic" mathvariant="script">O</mml:mi> </mml:mrow> <mml:annotation encoding="application/x-tex">\mathcal {O}</mml:annotation> </mml:semantics> </mml:math> </inline-formula>, we study deformations of the category <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="script upper O"> <mml:semantics> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mi class="MJX-tex-caligraphic" mathvariant="script">O</mml:mi> </mml:mrow> <mml:annotation encoding="application/x-tex">\mathcal {O}</mml:annotation> </mml:semantics> </mml:math> </inline-formula>. For subgeneric deformations, we construct the endomorphism algebra of big projective object and compute it explicitly. Our main result is an algebra isomorphism between the center of deformed category <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="script upper O"> <mml:semantics> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mi class="MJX-tex-caligraphic" mathvariant="script">O</mml:mi> </mml:mrow> <mml:annotation encoding="application/x-tex">\mathcal {O}</mml:annotation> </mml:semantics> </mml:math> </inline-formula> and the equivariant cohomology of <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="zeta"> <mml:semantics> <mml:mi>ζ</mml:mi> <mml:annotation encoding="application/x-tex">\zeta</mml:annotation> </mml:semantics> </mml:math> </inline-formula>-fixed locus on the affine Grassmannian attached to the Langlands dual group.

Representation Theory of the American Mathematical SocietyVol. 28(11)
Department of Mathematical Sciences (RU), Institute of Mathematical Sciences (ES), Tsinghua University (CN)
Openalex Percentile: Top 23%
Algebraic structures and combinatorial models
1.01
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.