Symmetric Algebra Research Articles

Graded picture invariants and polynomial invariants for mixed tensor superspaces

In this paper we consider the mixed tensor space of a Z2-graded vector space. We obtain a spanning set of invariants of the associated symmetric algebra under the action of the general linear supergroup as well as the queer supergroup over the Grassmann algebra. As a consequence, we give a generating set of polynomial invariants for the simultaneous adjoint action of the general linear supergroup on several copies of its Lie superalgebra. We show that in this special case, this set turns out to be the set of supertrace monomials, which is analogous to the result of Procesi for the general linear group. A queer supergroup analogue of these results is also obtained.

A BV-algebra structure on Hochschild cohomology of the integral group ring of finitely generated Abelian groups

We study a Batalin-Vilkovisky algebra structure on the Hochschild cohomology of the group ring of finitely generated abelian groups. The Batalin-Vilkovisky algebra structure for finite abelian groups comes from the fact that the group ring of finite groups is a symmetric algebra, and the Batalin-Vilkovisky algebra structure for free abelian groups of finite rank comes from the fact that its group ring is a Calabi-Yau algebra.

Collineation groups of octonionic and split-octonionic planes

We present a Veronese formulation of the octonionic and split-octonionic projective and hyperbolic planes. This formulation of the incidence planes highlights the relationship between the Veronese vectors and the rank-1 elements of the Albert algebras over octonions and split-octonions, yielding to a clear formulation of the relationship with the real forms of the Lie groups arising as collineation groups of these planes. The Veronesean representation also provides a novel and minimal construction of the same octonionic and split-octonionic planes, by exploiting two symmetric composition algebras: the Okubo algebra and the paraoctonionic algebra. Besides the intrinsic mathematical relevance of this construction of the real forms of the Cayley–Moufang plane, we expect this approach to have implications in all mathematical physics related with exceptional Lie Groups of type [Formula: see text] and [Formula: see text].

On the lengths of Okubo algebras

The lengths of two particular cases of (possibly non-unital) composition algebras, namely standard composition algebras and Okubo algebras over an arbitrary field, are computed. These results finish the complete description of lengths of symmetric composition algebras and finite-dimensional flexible composition algebras.

The one-sided cycle shuffles in the symmetric group algebra

The one-sided cycle shuffles in the symmetric group algebra

Geometric realization of the Sasa-Satsuma equation on the symmetric space SU(3)/U(2)

The analytic property of the Sasa-Satsuma equation has been well-explored via using an array of mathematical tools (such as the inverse scattering transformation, the Hirota bilinear method and the Darboux transformation). This paper devotes to exploring geometric properties of this equation via the zero curvature representation in terms of the language in Yang-Mills theory. The generalized Landau-Lifshitz type model of Sym-Pohlmeyer moving curves evolving in the symmetric Lie algebra g=k⊕m with initial data being suitably restricted is gauge equivalent to the Sasa-Satsuma equation. This gives a geometric realization of the Sasa-Satsuma equation.

Higher resonance schemes and Koszul modules of simplicial complexes

Each connected graded, graded-commutative algebra A of finite type over a field k\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\Bbbk $$\\end{document} of characteristic zero defines a complex of finitely generated, graded modules over a symmetric algebra, whose homology graded modules are called the (higher) Koszul modules of A. In this note, we investigate the geometry of the support loci of these modules, called the resonance schemes of the algebra. When A=k⟨Δ⟩\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$A=\\Bbbk \\langle \\Delta \\rangle $$\\end{document} is the exterior Stanley–Reisner algebra associated to a finite simplicial complex Δ\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\Delta $$\\end{document}, we show that the resonance schemes are reduced. We also compute the Hilbert series of the Koszul modules and give bounds on the regularity and projective dimension of these graded modules. This leads to a relationship between resonance and Hilbert series that generalizes a known formula for the Chen ranks of a right-angled Artin group.

Hybrid algebras

We introduce a new class of symmetric algebras, which we call hybrid algebras. This class contains on one extreme Brauer graph algebras, and on the other extreme general weighted surface algebras. We show that hybrid algebras are precisely the blocks of idempotent algebras of weighted surface algebras, up to socle deformations. More generally, for tame symmetric algebras whose Gabriel quiver is 2-regular, we show that the tree class of an arbitrary Auslander–Reiten component is Dynkin or Euclidean or one of the infinite trees A∞,A∞∞\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$A_{\\infty }, A_{\\infty }^{\\infty }$$\\end{document} or D∞\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$D_{\\infty }$$\\end{document}.

Modularity conditions in Leibniz algebras

In this paper, we continue the study of the subalgebra lattice of a Leibniz algebra. In particular, we find out that solvable Leibniz algebras with an upper semi-modular lattice are either almost-abelian or have an abelian ideal spanned by the elements with square zero. We also study Leibniz algebras in which every subalgebra is a weak quasi-ideal, as well as modular symmetric Leibniz algebras.

On a theorem of Knörr

Knörr has constructed an ideal, in the center of the p-modular group algebra of a finite group G, whose dimension is the number of p-blocks of defect zero in G/Q; here p is a prime and Q is a normal p-subgroup of G. We generalize his construction to symmetric algebras.

A dichotomy between twisted tensor products of bialgebras and Frobenius algebras

We endow twisted tensor products with a natural notion of counit and comultiplication, and we provide sufficient and necessary conditions making the twisted tensor product a counital coassociative coalgebra. We then characterize when the twisted tensor product of bialgebras is a bialgebra, and when the twisted tensor product of Frobenius algebras is a Frobenius algebra. Our methods are purely diagrammatic, so these results hold for (braided) monoidal categories. As an application, we recover that some quantum complete intersections are Frobenius algebras, and we construct families of noncommutative symmetric Frobenius algebras. Along the way, we also characterize when twisted tensor products of separable algebras are separable, and we prove that twisted tensor products of special Frobenius algebras are special Frobenius.

Kostant’s generating functions and Mckay–Slodowy correspondence

Let [Formula: see text] be a pair of finite subgroups of [Formula: see text] and [Formula: see text] a finite-dimensional fundamental [Formula: see text]-module. We study Kostant’s generating functions for the decomposition of the [Formula: see text]-module [Formula: see text] restricted to [Formula: see text] in connection with the McKay–Slodowy correspondence. In particular, the classical Kostant formula was generalized to a uniform version of the Poincaré series for the symmetric invariants in which the multiplicities of any individual module in the symmetric algebra are completely determined.

Tame symmetric algebras of period four

In this paper, we are concerned with the structure of tame symmetric algebras Λ\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\Lambda $$\\end{document} of period four (TSP4 algebras for short). For a tame algebra, the number of arrows starting or ending at a given vertex cannot be large. Here we will mostly focus on the case when the Gabriel quiver of Λ\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\Lambda $$\\end{document} is biserial, that is, there are at most two arrows ending and at most two arrows starting at each vertex. We present a range of properties (with relatively short proofs) which must hold for the Gabriel quiver of such an algebra. In particular, we show that triangles (and squares) appear naturally, so as for weighted surface algebras (Erdmann and Skowroński in J Algebra 505:490–558, 2018, J Algebra 544:170–227, 2020, J Algebra 569:875–889, 2021). Furthermore, we prove results on the minimal relations defining the ideal I for an admissible presentation of Λ\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\Lambda $$\\end{document} in the form KQ/I. This will be the input for the classification of all TSP4 algebras with biserial Gabriel quiver.

Generalized F-signatures of the rings of invariants of finite group schemes

Let k be a perfect field of prime characteristic p, G a finite group scheme over k, and V a finite-dimensional G-module. Let S=SymV be the symmetric algebra with the standard grading. Let M be a Q-graded S-finite S-free (G,S)-module, and L be its S-reflexive graded (G,S)-submodule. Assume that the action of G on V is small in the sense that there exists some G-stable Zariski closed subset F of V of codimension two or more such that the action of G on V∖F is free. Generalizing the result of P. Symonds and the first author, we describe the Frobenius limit FL(LG) of the SG-module LG. In particular, we determine the generalized F-signature s(M,SG) for each indecomposable gradable reflexive SG-module M. In particular, we prove the fact that the F-signature s(SG)=s(SG,SG) equals 1/dim⁡k[G] if G is linearly reductive (already proved by Watanabe–Yoshida, Carvajal-Rojas–Schwede–Tucker, and Carvajal-Rojas) and 0 otherwise (some important cases have already been proved by Broer, Yasuda, Liedtke–Martin–Matsumoto).

Constructing Symmetric Equality Algebras

In this paper, we introduce the notion of strong fuzzy filter on hyper equality algebras and investigate some equivalence definitions of it. Then by using this notion we constructed a symmetric equality algebra and define a special form of classes. By using these, we define the concept of a fuzzy hyper congruence relation on hyper equality algebra and we prove that the quotient is made by it is an equality algebra. Also, by using a fuzzy equivalence relation on hyper equality, we introduce a fuzzy hyper congruence relation and prove that this fuzzy hyper congruence is regular and finally we prove that the quotient structure that is made by it is a symmetric hyper equality algebra.

Ternary $$Z_3$$-symmetric algebra and generalized quantum oscillators

Ternary $$Z_3$$-symmetric algebra and generalized quantum oscillators

Ternary $Z_3$-symmetric algebra and generalized quantum oscillators

Основная цель статьи - представить обобщенную версию квантового осциллятора, задающегося с помощью тернарной алгебры Гейзенберга. Эта модель приводит к гамильтониану шестого порядка, энергетические уровни которого можно сделать дискретными, применяя процедуру квантования Бора-Зоммерфельда. Эта модель имеет сходство с $Z_3$-расширенной версией уравнения Дирака, примененной к квантовой хромодинамике кварков, которая также приводит к полевым уравнениям шестого порядка. Представлено подробное описание $Z_3$-градуированных структур, включая тернарные алгебры, которые составляют математическую основу предлагаемого обобщения. Обсуждаются свойства симметрии модели.

Lie algebra actions on module categories for truncated shifted yangians

Abstract We develop a theory of parabolic induction and restriction functors relating modules over Coulomb branch algebras, in the sense of Braverman-Finkelberg-Nakajima. Our functors generalize Bezrukavnikov-Etingof’s induction and restriction functors for Cherednik algebras, but their definition uses different tools. After this general definition, we focus on quiver gauge theories attached to a quiver $\Gamma $ . The induction and restriction functors allow us to define a categorical action of the corresponding symmetric Kac-Moody algebra $\mathfrak {g}_{\Gamma }$ on category $ \mathcal {O}$ for these Coulomb branch algebras. When $ \Gamma $ is of Dynkin type, the Coulomb branch algebras are truncated shifted Yangians and quantize generalized affine Grassmannian slices. Thus, we regard our action as a categorification of the geometric Satake correspondence. To establish this categorical action, we define a new class of ‘flavoured’ KLRW algebras, which are similar to the diagrammatic algebras originally constructed by the second author for the purpose of tensor product categorification. We prove an equivalence between the category of Gelfand-Tsetlin modules over a Coulomb branch algebra and the modules over a flavoured KLRW algebra. This equivalence relates the categorical action by induction and restriction functors to the usual categorical action on modules over a KLRW algebra.

On $\tau$-tilting Finiteness of Symmetric Algebras of Polynomial Growth

On $\tau$-tilting Finiteness of Symmetric Algebras of Polynomial Growth

Graphical methods and rings of invariants on the symmetric algebra

Abstract Let G be a complex classical group, and let V be its defining representation (possibly plus a copy of the dual). A foundational problem in classical invariant theory is to write down generators and relations for the ring of G-invariant polynomial functions on the space $\mathcal P^m(V)$ of degree-m homogeneous polynomial functions on V. In this paper, we replace $\mathcal P^m(V)$ with the full polynomial algebra $\mathcal P(V)$ . As a result, the invariant ring is no longer finitely generated. Hence, instead of seeking generators, we aim to write down linear bases for bigraded components. Indeed, when G is of sufficiently high rank, we realize these bases as sets of graphs with prescribed number of vertices and edges. When the rank of G is small, there arise complicated linear dependencies among the graphs, but we remedy this setback via representation theory: in particular, we determine the dimension of an arbitrary component in terms of branching multiplicities from the general linear group to the symmetric group. We thereby obtain an expression for the bigraded Hilbert series of the ring of invariants on $\mathcal P(V)$ . We conclude with examples using our graphical notation, several of which recover classical results.