To any Frobenius superalgebra $A$ we associate towers of Frobenius nilCoxeter algebras and Frobenius nilHecke algebras. These act naturally, via Frobenius divided difference operators, on Frobenius polynomial algebras. When $A$ is the ground ring, our algebras recover the classical nilCoxeter and nilHecke algebras. When $A$ is the two-dimensional Clifford algebra, they are Morita equivalent to the odd nilCoxeter and odd nilHecke algebras.
We formulate and study the spin nilHecke algebras ${}^\mathfrak{b}\!{\mathrm{NH}}_n^-$ and ${}^\mathfrak{d}\!{\mathrm{NH}}_n^-$ of type B/D, which differ from the usual nilHecke algebras by some odd signs. The type B spin nilHecke algebra is a nil version of the spin type B Hecke algebra introduced earlier by the second author and Khongsap, but not for the type D one. We construct faithful polynomial representations $\mathrm{Pol}_n^-$ of the nilHecke algebras via odd Demazure operators. We formulate the spin Schubert polynomials, and use them to show that the spin nilHecke algebras are matrix …
We introduce an odd version of the nilHecke algebra and develop an odd analogue of the thick diagrammatic calculus for nilHecke algebras. We graphically describe idempotents which give a Morita equivalence between odd nilHecke algebras and the rings of odd symmetric functions in finitely many variables. Cyclotomic quotients of odd nilHecke algebras are Morita equivalent to rings which are odd analogues of the cohomology rings of Grassmannians. Like their even counterparts, odd nilHecke algebras categorify the positive half of quantum sl(2).
In this note presentations are given for the nilHecke algebras implicit in the work of Bressler and Evens on Schubert calculus for generalized cohomology theories. Such algebras do not usually satisfy the braid relation. Here the obstruction to the braid relation being satisfied is given explicitly and a connection with the deformation theory of algebras is made.
We formulate a type B extended nilHecke algebra, following the type A construction of Naisse and Vaz. We describe an action of this algebra on extended polynomials and describe some results on the structure on the extended symmetric polynomials. Finally, following Appel, Egilmez, Hogancamp, and Lauda, we prove a result analogous to a classical theorem of Solomon connecting the extended symmetric polynomial ring to a ring of usual symmetric polynomials and their differentials.
We equip the odd nilHecke algebra and its associated thick calculus category with digrammatically local differentials. The resulting differential graded Grothendieck groups are isomorphic to two different forms of the positive part of quantum sl(2) at a fourth root of unity.
In this paper we study the structure of the cyclotomic nilHecke algebras $\HH_{\ell,n}^{(0)}$, where $\ell,n\in\N$. We construct a monomial basis for $\HH_{\ell,n}^{(0)}$ which verifies a conjecture of Mathas. We show that the graded basic algebra of $\HH_{\ell,n}^{(0)}$ is commutative and hence isomorphic to the center $Z$ of $\HH_{\ell,n}^{(0)}$. We further prove that $\HH_{\ell,n}^{(0)}$ is isomorphic to the full matrix algebra over $Z$ and construct an explicit basis for the center $Z$. We also construct a complete set of pairwise orthogonal primitive idempotents of $\HH_{\ell,n}^{(0)}$. F…
Symmetric functions appear in many areas of mathematics and physics, including enumerative combinatorics, the representation theory of symmetric groups, statistical mechanics, and the quantum statistics of ideal gases. In the commutative (or "even") case of these symmetric functions, Kostant and Kumar introduced a nilHecke algebra that categorifies the quantum group $U_q(\mathfrak{sl}_2)$. This categorification helps to better understand Khovanov homology, which has important applications in studying knot polynomials and gauge theory. Recently, Ellis and Khovanov initiated the program of "oddi…
Let $\ell, n$ be positive integers such that $\ell\geq n$. Let $\mathbb{G}_{n,\ell}$ be the Grassmannian which consists of the set of $n$-dimensional subspaces of $\mathbb{C}^{\ell}$. There is a $\mathbb{Z}$-graded algebra isomorphism between the cohomology $H^*(\mathbb{G}_{n,\ell},\mathbb{Z})$ of $\mathbb{G}_{n,\ell}$ and a natural $\mathbb{Z}$-form $B$ of the $\mathbb{Z}$-graded basic algebra of the type $A$ cyclotomic nilHecke algebra $H_{\ell,n}^{(0)}=\langleψ_1,\cdots,ψ_{n-1},y_1,\cdots,y_n\rangle$. In this paper, we show that the isomorphism can be chosen such that the image of each (geo…
We investigate analogs of symmetric functions arising from an extension of the nilHecke algebra defined by Naisse and Vaz. These extended symmetric functions form a subalgebra of the polynomial ring tensored with an exterior algebra. We define families of bases for this algebra and show that it admits a family of differentials making it a sub-DG-algebra of the extended nilHecke algebra. The ring of extended symmetric functions equipped with this differential is quasi-isomorphic to the cohomology of a Grassmannian. We also introduce new deformed differentials on the extended nilHecke algebra th…
Gendo-Frobenius algebras are a common generalisation of Frobenius algebras and of gendo-symmetric algebras. A comultiplication is constructed for gendo-Frobenius algebras, which specialises to the known comultiplications on Frobenius and on gendo-symmetric algebras. In addition, Frobenius algebras are shown to be precisely those gendo-Frobenius algebras that have a counit compatible with this comultiplication. Moreover, a new characterisation of gendo-Frobenius algebras is given. This new characterisation is a key for constructing the comultiplication of gendo-Frobenius algebras.
This article is divided into two parts. In the first part we work over a field $\mathbb{k}$ and prove that the Frobenius space associated to a Frobenius algebra is generated as left A-module by the Frobenius coproduct. In particular, we prove that the Frobenius dimension coincides with the dimension of the algebra. In the second part we work with a commutative ring $k$. We introduce the concept of nearly Frobenius algebras in this context and construct solutions of the Yang-Baxter equation starting from elements in the Frobenius space. Also, we give a list of equivalent characterizations of ne…
In this paper, we compute the Frobenius dimension of any cluster tilted algebra of finite type. Moreover, we give conditions on the bounded quiver of a cluster tilted algebra $Λ$ such that $Λ$ has non-trivial open Frobenius structures.
In this article we continue with the study started in [1] of nearly Frobenius structures in some representative families of finite dimensional algebras, as the radical square zero algebras, string algebras and the toupie algebras. We prove that the radical square zero algebras with at least one path of length two are nearly Frobenius. As for the string algebras, in the ones that are not gentle, we can afirm that there is at least one non-trivial nearly Frobenius structure. Finally, in the case of the toupie algebras, we prove that the existence of monomial relations is a suficient condition to…
We study the existence of a Batalin-Vilkovisky differential on the complete cohomology ring of a Frobenius algebra.We construct a Batalin-Vilkovisky differential on the complete cohomology ring in the case of Frobenius algebras with diagonalizable Nakayama automorphisms.
For a Frobenius cellular algebra, we prove that if the left (right) dual basis of a cellular basis is again cellular, then the algebra is symmetric. Moreover, some ideals of the center are constructed by using the so-called Nakayama twisted center.
We discuss when the incidence coalgebra of a locally finite preordered set is right co-Frobenius. As a consequence, we obtain that a structural matrix algebra over a field $k$ is Frobenius if and only if it consists, up to a permutation of rows and columns, of diagonal blocks which are full matrix algebras over $k$.
The aim of this paper is mainly to build a new representation-theoretic realization of finite root systems through the so-called Frobenius-type triangular matrix algebras by the method of reflection functors over any field. Finally, we give an analog of APR-tilting module for this class of algebras. The major conclusions contains the known results as special cases, e.g. that for path algebras over an algebraically closed field and for path algebras with relations from symmetrizable cartan matrices. Meanwhile, it means the corresponding results for some other important classes of algebras, that…
In this note we prove a generalization of the Frobenius-Schur theorem for finite groups for the case of semisimple Hopf algebra over an algebraically closed field of characteristic 0. A similar result holds in characteristic $p > 2$ if the Hopf algebra is also cosemisimple. In fact we show a more general version for any finite-dimensional semisimple algebra with an involution.
We study cup product and cap product in Tate-Hochschild theory for a finite dimensional Frobenius algebra. We show that Tate-Hochschild cohomology ring equipped with cup product is isomorphic to singular Hochschild cohomology ring introduced by Wang. An application of cap product occurs in Tate-Hochschild duality; as in Tate (co)homology of a finite group, the cap product with the fundamental class of a finite dimensional Frobenius algebra provides certain duality result between Tate-Hochschild cohomology and homology groups. Moreover, we characterize minimal complete resolutions over a finite…
We show how the existence of a PBW-basis and a large enough central subalgebra can be used to deduce that an algebra is Frobenius. This is done by considering the examples of rational Cherednik algebras, Hecke algebras, quantised universal enveloping algebras, quantum Borels and quantised function algebras. In particular, we give a positive answer to \cite[Problem 6]{Rouquier} stating that the restricted rational Cherednik algebra at the value $t=0$ is symmetric.
We study the Frobenius-Perron dimension of representation-directed algebras and quotient algebras of canonical algebras of type ADE, prove that the Frobenius-Perron dimension of a representation-directed algebra is always zero and the Frobenius-Perron dimension of a quotient algebra of canonical algebras of type ADE is 0 or 1. Moreover, we give a sufficient and necessary condition for a quotient algebra of a canonical algebra of type ADE under which its Frobenius-Perron dimension is 0.
We characterize Frobenius and separable monoidal algebra extensions $i: R\ra S$ in terms given by $R$ and $S$. For instance, under some conditions, we show that the extension is Frobenius, respectively separable, if and only if $S$ is a Frobenius, respectively separable, algebra in the category of bimodules over $R$. In the case when $R$ is separable we show that the extension is separable if and only if $S$ is a separable algebra. Similarly, in the case when $R$ is Frobenius and separable in a sovereign monoidal category we show that the extension is Frobenius if and only if $S$ is a Frobeniu…
The spectral radius of matrix, also known as Frobenius-Perron dimension, is a useful tool for studying linear algebras and plays an important role in the classification of the representation categories of algebras. In this paper, we study the Frobenius-Perron theory of the representation categories of bound quiver algebras containing loops, find a way to calculate the Frobenius-Perron dimension of these algebras when they satisfy the commutativity condition of loops. As an application, we prove that the Frobenius-Perron dimension of the representation category of a modified ADE bounded quiver …
We provide an explicit construction for a class of commutative, non-associative algebras for each of the simple Chevalley groups of simply laced type. Moreover, we equip these algebras with an associating bilinear form, which turns them into Frobenius algebras. This class includes a 3876-dimensional algebra on which the Chevalley group of type E8 acts by automorphisms. We also prove that these algebras admit the structure of (axial) decomposition algebras.
We introduce a new filtration on Hopf algebras, the standard filtration, generalizing the coradical filtration. Its zeroth term, called the Hopf coradical, is the subalgebra generated by the coradical. We give a structure theorem: any Hopf algebra with injective antipode is a deformation of the bosonization of the Hopf coradical by its diagram, a connected graded Hopf algebra in the category of Yetter-Drinfeld modules over the latter. We discuss the steps needed to classify Hopf algebras in suitable classes accordingly. For the class of co-Frobenius Hopf algebras, we prove that a Hopf algebra …
We establish relations between Frobenius parts and between flat-dominant dimensions of algebras linked by Frobenius bimodules. This is motivated by the Nakayama conjecture and an approach of Martinez-Villa to the Auslander-Reiten conjecture on stable equivalences. We show that the Frobenius parts of Frobenius extensions are again Frobenius extensions. Further, let $A$ and $B$ be finite-dimensional algebras over a field $k$, and let $\dm(_AX)$ stand for the dominant dimension of an $A$-module $X$. If $_BM_A$ is a Frobenius bimodule, then $\dm(A)\le \dm(_BM)$ and $\dm(B)\le \dm(_A\Hom_B(M, B))$.…
We establish relations between representation dimensions of two algebras connected by a Frobenius bimodule or extension. Consequently, upper bounds and equality formulas for representation dimensions of group algebras, symmetric separably equivalent algebras and crossed products are obtained. Particularly, for any subgroup H of a finite group G, if [G:H] is invertible in a field, then the representation dimensions of the group algebras of G and H over the field are the same.
To each symmetric graded Frobenius superalgebra we associate a W-algebra. We then define a linear isomorphism between the trace of the Frobenius Heisenberg category and a central reduction of this W-algebra. We conjecture that this is an isomorphism of graded superalgebras.
We introduce a decomposition of associative algebras into a tensor product of cyclic modules. This produces a means to encode a basis with logarithmic information and thus extends the reach of calculation with large algebras. Our technique is an analogue to the Schreier-Sims algorithm for permutation groups and is a by-product of Frobenius reciprocity.
The index of a seaweed Lie algebra can be computed from its associated meander graph. We examine this graph in several ways with a goal of determining families of Frobenius (index zero) seaweed algebras. Our analysis gives two new families of Frobenius seaweed algebras as well as elementary proofs of known families of such Lie algebras.
We introduce and study the notion of pseudo-Frobenius graded algebra with enough idempotents, showing that it follows the pattern of the classical concept of pseudo-Frobenius (PF) and Quasi-Frobenius (QF) rings, in particular finite dimensional self-injective algebras, as studied by Nakayama, Morita, Faith, Tachikawa, etc. We show that such an algebra is characterized by the existence of a graded Nakayama form. Moreover, we prove that the pseudo-Frobenius property is preserved and reflected by covering functors, a fact that makes the concept useful in Representation Theory.
We extend the set of known infinite families of Frobenius seaweed Lie subalgebras of $\mathfrak{sl}_{n}$ to include a family which is the first non-trivial general family containing algebras whose associated meanders have an arbitrarily large number of parts.
Friedrich Knop has given an example of a polynomial algebra A in characteristic two with an unusual SL_2 action. We exhibit a nontrivial class in H^1(SL_2,A), not detected by Frobenius kernels.
Let g be the Lie algebra of a connected, simply connected semisimple algebraic group over an algebraically closed field of sufficiently large positive characteristic. We study the compatibility between the Koszul grading on the restricted enveloping algebra (Ug)_0 of g constructed in a previous paper, and the structure of Frobenius algebra of (Ug)_0. This answers a question raised to the author by W. Soergel.
For a finite dimensional Frobenius cellular algebra, a sufficient and necessary condition for a simple cell module to be projective is given. A special case that dual bases of the cellular basis satisfying a certain condition is also considered. The result is similar to that in symmetric case.
"Co-Frobenius" coalgebras were introduced as dualizations of Frobenius algebras. Recently, it was shown in \cite{I} that they admit left-right symmetric characterizations analogue to those of Frobenius algebras: a coalgebra $C$ is co-Frobenius if and only if it is isomorphic to its rational dual. We consider the more general quasi-co-Frobenius (QcF) coalgebras; in the first main result we show that these also admit symmetric characterizations: a coalgebra is QcF if it is weakly isomorphic to its (left, or equivalently right) rational dual $Rat(C^*)$, in the sense that certain coproduct or prod…
The quantum Frobenius map and it splitting are shown to descend to corresponding maps for generalized $q$-Schur algebras at a root of unity. We also define analogs of $q$-Schur algebras for any affine algebra, and prove the corresponding results for them.
We prove a super Frobenius formula for the characters of the cyclotomic Hecke algebras by applying the super Schur-Weyl reciprocity between the quantum superalgebras and cyclotomic Hecke algebras, which is a super analogue of the Frobenius formula in (T. Shoji, J. Algebra 226: 2000, 818--856) and a cyclotomic analogue of the super Frobeinus formula in (H. Mitsuhashi, Linear Multilinear Algebra 58: 2010, 941--955).
Mason and Ng have given a generalization to semisimple quasi-Hopf algebras of Linchenko and Montgomery's generalization to semisimple Hopf algebras of the classical Frobenius-Schur theorem for group representations. We give a simplified proof, in particular a somewhat conceptual derivation of the appropriate form of the Frobenius-Schur indicator that indicates if and in which of two possible fashions a given simple module is self-dual.
Lusztig has constructed a Frobenius morphism for quantum groups at an $\ell$-th root of unity, which gives an integral lift of the Frobenius map on universal enveloping algebras in positive characteristic. Using the Hall algebra we give a simple construction of this map for the positive part of the quantum group attached to an arbitrary Cartan datum in the nondivisible case.
We establish a super Frobenius formula for the characters of Iwahori-Hecke algebras. We show that the Hall-Littlewood sypersymmetric function, up to constant, generates the values of the irreducible characters of Iwahori-Hecke algebras at the elements corresponding to cycle permutations. Our formula in this article includes both the ordinary quantum case and the classical super case.
We show that the bigroupoid of separable symmetric Frobenius algebras over an algebraically closed field and the bigroupoid of finitely semi-simple Calabi-Yau categories are equivalent. To this end, we construct a trace on the category of finitely-generated representations of a symmetric, separable Frobenius algebra, given by the composite of the Frobenius form with the Hattori-Stallings trace. In order to put this result into perspective, we introduce the concept of the equivariantization of a 2-functor between bicategories endowed with a G-action. We prove that the equivalence between Froben…
For a finite dimensional semisimple Lie algebra and a root of unity, Lusztig defined an infinite dimensional quantum group of divided powers. Under certain restrictions on the order of the root of unity, he constructed a Frobenius homomorphism with finite dimensional Hopf kernel and with image the universal enveloping algebra. In this article we define and describe the Frobenius homomorphism for arbitrary roots of unity by systematically using the theory of Nichols algebras. In several new exceptional cases the Frobenius-Lusztig kernel is associated to a different Lie algebra than the initial …
We provide a new virtual description of the symmetric group action on the cohomology of ordered configuration space on SU_2 up to translations. We use this formula to prove the Moseley-Proudfoot-Young conjecture. As a consequence we obtain the graded Frobenius character of the Orlik-Terao algebra of type A_n.
The explicit description of the Frobenius structure for the elliptic root system of type $D_4^{(1,1)}$ in terms of the characters of an affine Lie algebra of type $D_4^{(1)}$ is given.
The classical Frobenius-Schur indicators for finite groups are character sums defined for any representation and any integer m greater or equal to 2. In the familiar case m=2, the Frobenius-Schur indicator partitions the irreducible representations over the complex numbers into real, complex, and quaternionic representations. In recent years, several generalizations of these invariants have been introduced. Bump and Ginzburg, building on earlier work of Mackey, have defined versions of these indicators which are twisted by an automorphism of the group. In another direction, Linchenko and Montg…
We consider Drinfeld-Sokolov bihamiltonian structure associated to a distinguished nilpotent elements of semisimple type and the space of common equilibrium points defined by its leading term. On this space, we construct a local bihamiltonian structure which form an exact Poisson pencil, defines an algebraic classical $W$-algebra, admits a dispersionless limit, and its leading term defines an algebraic Frobenius manifold. This leads to a uniform construction of algebraic Frobenius manifolds corresponding to regular cuspidal conjugacy classes in irreducible Weyl groups.
