Complex Lie algebras corresponding to weighted projective lines

Rujing Dou,Jie Sheng,Jie Xiao

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

2010-04-01

Abstract:The aim of this paper is to give an alternative proof of Kac's theorem for weighted projective lines (\cite{W}) over the complex field. The geometric realization of complex Lie algebras arising from derived categories (\cite{XXZ}) is essentially used.

Representation Theory

What problem does this paper attempt to address?

The Category of Coherent Sheaves over a Weighted Projective Line and Loop Algebras

Rujing Dou,Shiquan Ruan,Jie Xiao,Fan Xu

DOI: https://doi.org/10.1360/n012018-00011

2018-01-01

Abstract:In this survey paper, we introduce the approach to construct complex Lie algebras via root categories. For the category of coherent sheaves over a weighted projective line,the approach provides a realization of the loop algebra of the Kac-Moody algebra associated with the corresponding star graph.As an application, we categorify the Weyl group of the corresponding Kac-Moody algebra.
Weighted projective lines of tubular type and equivariantization

Jianmin Chen,Xiao-Wu Chen

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

IF: 0.908

2017-01-01

Journal of Algebra

Abstract:We prove that the categories of coherent sheaves over weighted projective lines of tubular type are explicitly related to each other via the equivariantization with respect to certain cyclic group actions.

mathematics
Admissible Homomorphisms and Equivariant Relations Between Weighted Projective Lines

Jianmin Chen,Yanan Lin,Shiquan Ruan,Hongxia Zhang

DOI: https://doi.org/10.1093/imrn/rnac364

2023-02-04

International Mathematics Research Notices

Abstract:Abstract The string group acts on the category of coherent sheaves over a weighted projective line by degree-shift actions. We study the equivariant relations induced by degree-shift actions between weighted projective lines. We prove that such an equivariant relation is characterized by an admissible homomorphism between the associated string groups. We classify all these equivariant relations for the weighted projective lines of domestic and tubular types, respectively.

mathematics
A Lie algebra attached to a projective variety

Eduard Looijenga,Valery A. Lunts

DOI: https://doi.org/10.1007/s002220050166

IF: 3.128

1997-01-01

Inventiones mathematicae

Abstract:bstract . Each choice of a Kähler class on a compact complex manifold defines an action of the Lie algebra sl (2) on its total complex cohomology. If a nonempty set of such Kähler classes is given, then we prove that the corresponding sl (2)-copies generate a semisimple Lie algebra. We investigate the formal properties of the resulting representation and we work things out explicitly in the case of complex tori, hyperkähler manifolds and flag varieties. We pay special attention to the cases where this leads to a Jordan algebra structure or a graded Frobenius algebra.
Geometric model for weighted projective lines of type $(p,q)$

Jianmin Chen,Shiquan Ruan,Hongxia Zhang

2023-10-07

Abstract:We give a geometric model for the category of coherent sheaves over the weighted projective line of type $(p,q)$ in terms of an annulus with marked points on its boundary. We establish a bijection between indecomposable sheaves over the weighted projective line and certain homotopy classes of oriented curves in the annulus, and prove that the dimension of extension group between indecomposable sheaves equals to the positive intersection number between the corresponding curves. By using the geometric model, we provide a combinatorial description for the titling graph of tilting bundles, which is composed by quadrilaterals (or degenerated to a line). Moreover, we obtain that the automorphism group of the coherent sheaf category is isomorphic to the mapping class group of the marked annulus, and show the compatibility of their actions on the tilting graph of coherent sheaves and on the triangulation of the geometric model respectively. A geometric description of the perpendicular category with respect to an exceptional sheaf is presented at the end of the paper.

Representation Theory
Equivariant approach to weighted projective curves

Qiang Dong,Shiquan Ruan,Hongxia Zhang

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

2021-04-19

Abstract:We investigate group actions on the category of coherent sheaves over weighted projective lines. We show that the equivariant category with respect to certain finite group action is equivalent to the category of coherent sheaves over a weighted projective curve, where the genus of the underlying smooth projective curve and the weight data are given by explicit formulas. Moreover, we obtain a trichotomy result for all such equivariant relations. This equivariant approach provides an effective way to investigate smooth projective curves via weighted projective lines. As an application, we give a description for the category of coherent sheaves over a hyperelliptic curve of arbitrary genus. Links to smooth projective curves of genus 2 and also to Arnold's exceptional unimodal singularities are also established.

Representation Theory,Algebraic Geometry
Equivariant mirror symmetry for the weighted projective line

Dun Tang

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

2018-08-09

Abstract:In this paper, we establish equivariant mirror symmetry for the weighted projective line. This extends the results by B. Fang, C.C. Liu and Z. Zong, where the projective line was considered [{\it Geometry \& Topology} 24:2049-2092, 2017]. More precisely, we prove the equivalence of the $R$-matrices for A-model and B-model at large radius limit, and establish isomorphism for $R$-matrices for general radius. We further demonstrate that the graph sum of higher genus cases are the same for both models, hence establish equivariant mirror symmetry for the weighted projective line.

Algebraic Geometry,Symplectic Geometry
Recollements and Ladders for weighted projective lines

Shiquan Ruan

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

2019-07-17

Abstract:In this paper, we construct recollements and ladders for exceptional curves by using reduction/insertion functors due to $p$-cycle construction. As applications to weighted projective lines, we classify recollements for the category of coherent sheaves over a weighted projective line, and give an explicit description of ladders in two different levels: the bounded derived category of coherent sheaves and the stable category of vector bundles.

Representation Theory
$\imath$Hall algebras of weighted projective lines and quantum symmetric pairs III: quasi-split type

Ming Lu,Shiquan Ruan

2024-11-20

Abstract:From a category $\mathcal{A}$ with an involution $\varrho$, we introduce $\varrho$-complexes, which are a generalization of (bounded) complexes, periodic complexes and modules of $\imath$quiver algebras. The homological properties of the category $\mathcal{C}_\varrho(\mathcal{A})$ of $\varrho$-complexes are given to make the machinery of semi-derived Ringel-Hall algebras applicable. The $\imath$Hall algebra of the weighted projective line $\mathbb{X}$ is the twisted semi-derived Ringel-Hall algebra of $\mathcal{C}_\varrho({\rm coh}(\mathbb{X}))$, where $\varrho$ is an involution of ${\rm coh}(\mathbb{X})$. This $\imath$Hall algebra is used to realize the quasi-split $\imath$quantum loop algebra, which is a generalization of the $\imath$quantum group arising from the quantum symmetric pair of quasi-split affine type ADE in its Drinfeld type presentation.

Quantum Algebra,Representation Theory
Quantum cluster algebras associated to weighted projective lines

Fan Xu,Fang Yang

DOI: https://doi.org/10.48550/arxiv.2207.02837

2022-01-01

Abstract: Let $\mathbb{X}_{\boldsymbol{p},\boldsymbol{\lambda}}$ be a weighted projective line. We define the quantum cluster algebra of $\mathbb{X}_{\boldsymbol{p},\boldsymbol{\lambda}}$ and realize its specialized version as the subquotient of the Hall algebra of $\mathbb{X}_{\boldsymbol{p},\boldsymbol{\lambda}}$ via the quantum cluster character map. Inspired by \cite{Chen2021}, we prove an analogue cluster multiplication formula between quantum cluster characters. As an application, we obtain the polynomial property of the cardinalities of Grassmannian varieties of exceptional coherent sheaves on $\mathbb{X}_{\boldsymbol{p},\boldsymbol{\lambda}}$ . In the end, we construct several bar-invariant $\mathbb{Z}[\nu^{\pm}]$-bases for the quantum cluster algebra of the projective line $\mathbb{P}^1$ and show how it coincides with the quantum cluster algebra of the Kronecker quiver.
Lie algebroid connections, twisted Higgs bundles and motives of moduli spaces

David Alfaya,André Oliveira

DOI: https://doi.org/10.1016/j.geomphys.2024.105195

IF: 1.38

2024-04-11

Journal of Geometry and Physics

Abstract:Let L=(L,[⋅,⋅],δ) be an algebraic Lie algebroid over a smooth projective curve X of genus g≥2 such that L is a line bundle whose degree is less than 2−2g . Let r and d be coprime numbers. We prove that the motivic class of the moduli space of L -connections of rank r and degree d over X does not depend on the Lie algebroid structure [⋅,⋅] and δ of L and neither on the line bundle L itself, but only on the degree of L (and of course on r , d and X ). In particular it is equal to the motivic class of the moduli space of KX(D) -twisted Higgs bundles of rank r and degree d , for D any effective divisor with the appropriate degree. As a consequence, similar results (actually slightly stronger) are obtained for the corresponding E -polynomials. Some applications of these results are then deduced.

mathematics,physics, mathematical
Hall algebras of weighted projective lines and quantum symmetric pairs II: injectivity

Ming Lu,Shiquan Ruan

DOI: https://doi.org/10.1007/s00209-024-03528-2

2024-06-20

Mathematische Zeitschrift

Abstract:We show that the morphism from the quantum loop algebra of split type to the Hall algebra of the weighted projective line is injective if is of finite or affine type. As a byproduct, we use the whole Hall algebra of the cyclic quiver to realize the quantum loop algebra of affine .

mathematics
Lie algebras arising from two-periodic projective complex and derived categories

Jiepeng Fang,Yixin Lan,Jie Xiao

2024-09-24

Abstract:Let $A$ be a finite-dimensional $\mathbb{C}$-algebra of finite global dimension and $\mathcal{A}$ be the category of finitely generated right $A$-modules. By using of the category of two-periodic projective complexes $\mathcal{C}_2(\mathcal{P})$, we construct the motivic Bridgeland's Hall algebra for $\mathcal{A}$, where structure constants are given by Poincaré polynomials in $t$, then construct a $\mathbb{C}$-Lie subalgebra $\mathfrak{g}=\mathfrak{n}\oplus \mathfrak{h}$ at $t=-1$, where $\mathfrak{n}$ is constructed by stack functions about indecomposable radical complexes, and $\mathfrak{h}$ is by contractible complexes. For the stable category $\mathcal{K}_2(\mathcal{P})$ of $\mathcal{C}_2(\mathcal{P})$, we construct its moduli spaces and a $\mathbb{C}$-Lie algebra $\tilde{\mathfrak{g}}=\tilde{\mathfrak{n}}\oplus \tilde{\mathfrak{h}}$, where $\tilde{\mathfrak{n}}$ is constructed by support-indecomposable constructible functions, and $\tilde{\mathfrak{h}}$ is by the Grothendieck group of $\mathcal{K}_2(\mathcal{P})$. We prove that the natural functor $\mathcal{C}_2(\mathcal{P})\rightarrow \mathcal{K}_2(\mathcal{P})$ together with the natural isomorphism between Grothendieck groups of $\mathcal{A}$ and $\mathcal{K}_2(\mathcal{P})$ induces a Lie algebra isomorphism $\mathfrak{g}\cong\tilde{\mathfrak{g}}$. This makes clear that the structure constants at $t=-1$ provided by Bridgeland in [5] in terms of exact structure of $\mathcal{C}_2(\mathcal{P})$ precisely equal to that given in [30] in terms of triangulated category structure of $\mathcal{K}_2(\mathcal{P})$.

Representation Theory,Quantum Algebra,Rings and Algebras
Applications of Mutations in the Derived Categories of Weighted Projective Lines to Lie and Quantum Algebras

Bangming Deng,Shiquan Ruan,Jie Xiao

DOI: https://doi.org/10.1093/imrn/rny175

2018-01-01

International Mathematics Research Notices

Abstract:Let $\textrm{coh}\ \mathbb{X}$ be the category of coherent sheaves over a weighted projective line $\mathbb{X}$ and let $D^b(\textrm{coh}\ \mathbb{X})$ be its bounded derived category. The present paper focuses on the study of the right and left mutation functors arising in $D^b(\textrm{coh}\ \mathbb{X})$ attached to certain line bundles. As applications, we first show that these mutation functors give rise to simple reflections for the Weyl group of the star-shaped quiver ${Q}$ associated with $\mathbb{X}$. By further dealing with the Ringel–Hall algebra of $\mathbb{X}$, we show that these functors provide a realization for Tits’ automorphisms of the Kac–Moody algebra ${\mathfrak g}_{Q}$ associated with ${Q}$, as well as for Lusztig’s symmetries of the quantum enveloping algebra of ${\mathfrak g}_{Q}$.
Graph complexes and Deformation theories of the (wheeled) properads of quasi- and pseudo-Lie bialgebras

Oskar Frost

2024-06-24

Abstract:Quasi-Lie bialgebras are natural extensions of Lie-bialgebras, where the cobracket satisfies the co-Jacobi relation up to some natural obstruction controlled by a skew-symmetric 3-tensor $\phi$. This structure was introduced by Drinfeld while studying deformation theory of universal enveloping algebras and has since seen many other applications in algebra and geometry. In this paper we study the derivation complex of strongly homotopy quasi-Lie bialgebra, both in the unwheeled (i.e standard) and wheeled case, and compute its cohomology in terms of Kontsevich graph complexes.

Quantum Algebra
Components of $V(ρ) \otimes V(ρ)$ and dominant weight polyhedra for affine Kac-Moody Lie algebras

Sam Jeralds,Shrawan Kumar

2023-07-28

Abstract:Kostant asked the following question: Let $\mathfrak{g}$ be a simple Lie algebra over the complex numbers. Let $\lambda$ be a dominant integral weight. Then, $V(\lambda)$ is a component of $V(\rho)\otimes V(\rho)$ if and only if $\lambda \leq 2 \rho$ under the usual Bruhat-Chevalley order on the set of weights. In an earlier work with R. Chirivi and A. Maffei the second author gave an affirmative answer to this question up to a saturation factor. The aim of the current work is to extend this result to untwisted affine Kac-Moody Lie algebra $\mathfrak{g}$ associated to any simple Lie algebra $\mathring{\mathfrak{g}}$ (up to a saturation factor). In fact, we prove the result for affine $sl_n$ without any saturation factor. Our proof requires some additional techniques including the Goddard-Kent-Olive construction and study of the characteristic cone of non-compact polyhedra.

Representation Theory,Group Theory
Moduli of codimension two linear sections of subadjoint varieties

Yingqi Liu

2024-03-26

Abstract:Let $G$ be a simple algebraic group of type $F_{4}$, $E_{6}$, $E_{7}$ or $E_{8}$, and let $\mathfrak{g}$ be its Lie algebra. The adjoint variety $X_{ad} \subseteq \mathbb{P} \mathfrak{g}$ is defined as the unique closed orbit of the adjoint action of $G$ on $\mathbb{P}\mathfrak{g}$. $X_{ad}$ is a Fano contact manifold covered by lines in $\mathbb{P} \mathfrak{g}$. The subadjoint variety $S \subseteq \mathbb{P} W$ is denoted by the variety of lines on $X_{ad}$ through a fixed point $x$, where $W \subseteq T_{x}X$ is taken as the contact hyperplane. It follows from a result in representation theory of Vinberg that the GIT quotient space of codimension two linear sections of $S$ is isomorphic to the weighted projective space $\mathbb{P}(1,3,4,6)$. In this note, we investigate the problem of finding a geometric interpretation of the above isomorphism. As a main result, for each $\mathfrak{g}$ of the above type, we construct a natural open embedding of the GIT quotient space of nonsingular codimension two linear sections of $S$ into $\mathbb{P}(1,3,4,6)$ whose complement is a fixed hypersurface of degree 12. The key ingredient of our construction is to apply a correspondence of Bahargava and Ho which relates the above moduli problem to a moduli problem on curves of genus one.

Algebraic Geometry
IVHS via Kuznetsov components and categorical Torelli theorems for weighted hypersurfaces

Xun Lin,Jørgen Vold Rennemo,Shizhuo Zhang

2024-08-16

Abstract:We study the categorical Torelli theorem for smooth (weighted) hypersurfaces in (weighted) projective spaces via the Hochschild--Serre algebra of its Kuznetsov component. In the first part of the paper, we show that a natural graded subalgebra of the Hochschild--Serre algebra of the Kuznetsov component of a degree $d$ weighted hypersurface in $\mathbb{P}(a_0,\ldots,a_n)$ reconstructs the graded subalgebra of the Jacobian ring generated by the degree $t:=\mathrm{gcd}(d,\Sigma_{i=0}^na_i)$ piece under mild assumptions. Using results of Donagi and Cox--Green, this gives a categorical Torelli theorem for most smooth hypersurfaces $Y$ of degree $d \le n$ in $\mathbb{P}^n$ such that $d$ does not divide $n+1$ (the exception being the cases of the form $(d,n) = (4, 4k + 2)$, for which a result of Voisin lets us deduce a generic categorical Torelli theorem when $k \ge 150$). Next, we show that the Jacobian ring of the Veronese double cone can be reconstructed from its graded subalgebra of even degree, thus proving a categorical Torelli theorem for the Veronese double cone. In the second part, we rebuild the infinitesimal Variation of Hodge structures of a series of (weighted) hypersurfaces from their Kuznetsov components via the Hochschild--Serre algebra. As a result, we prove categorical Torelli theorems for two classes of (weighted) hypersurfaces: $(1):$ Generalized Veronese double cone; $(2):$ Certain $k$-sheeted covering of $\mathbb{P}^n$, when they are generic. Then, we prove a refined categorical Torelli theorem for a Fano variety whose Kuznetsov component is a Calabi--Yau category of dimension $2m+1$. Finally, we prove the actual categorical Torelli theorem for generalized Veronese double cone and $k$-sheeted covering of $\mathbb{P}^n$.

Algebraic Geometry
Projective Banach Lie bialgebras, the projective Yang-Baxter equation and projective Poisson Lie groups

Zhonghua Li,Shukun Wang

2024-11-13

Abstract:In this paper, we first introduce the notion of projective Banach Lie bialgebras as the projective tensor product analogue of Banach Lie bialgebras. Then we consider the completion of the classical Yang-Baxter equation and classical r-matrices, and propose the notions of the projective Yang-Baxter equation and projective r-matrices. As in the finite-dimensional case, we prove that every quasi-triangular projective r-matrix gives rise to a projective Banach Lie bialgebra. Next adapting Poisson Banach-Lie groups to the projective tensor product setting, we propose the notion of projective Banach Poisson-Lie groups and show that the differentiation of a projective Banach Poisson-Lie group has the projective Banach Lie bialgebra structure. Finally considering bounded $\mathcal{O}$-operators on Banach Lie algebras, we give an equivalent description of triangular projective r-matrices.

Rings and Algebras,Differential Geometry

Complex Lie algebras corresponding to weighted projective lines

The Category of Coherent Sheaves over a Weighted Projective Line and Loop Algebras

Weighted projective lines of tubular type and equivariantization

Admissible Homomorphisms and Equivariant Relations Between Weighted Projective Lines

A Lie algebra attached to a projective variety

Geometric model for weighted projective lines of type $(p,q)$

Equivariant approach to weighted projective curves

Equivariant mirror symmetry for the weighted projective line

Recollements and Ladders for weighted projective lines

$\imath$Hall algebras of weighted projective lines and quantum symmetric pairs III: quasi-split type

Quantum cluster algebras associated to weighted projective lines

Lie algebroid connections, twisted Higgs bundles and motives of moduli spaces

Hall algebras of weighted projective lines and quantum symmetric pairs II: injectivity

Lie algebras arising from two-periodic projective complex and derived categories

Applications of Mutations in the Derived Categories of Weighted Projective Lines to Lie and Quantum Algebras

Graph complexes and Deformation theories of the (wheeled) properads of quasi- and pseudo-Lie bialgebras

Components of $V(ρ) \otimes V(ρ)$ and dominant weight polyhedra for affine Kac-Moody Lie algebras

Moduli of codimension two linear sections of subadjoint varieties

IVHS via Kuznetsov components and categorical Torelli theorems for weighted hypersurfaces

Projective Banach Lie bialgebras, the projective Yang-Baxter equation and projective Poisson Lie groups