Group gradings on the superalgebras M(m,n), A(m,n) and P(n)

We classify gradings by arbitrary abelian groups on the classical simple Lie superalgebras $P(n)$, $n\ge 2$, and on the simple associative superalgebras $M(m,n)$, $m,n\ge 1$, over an algebraically closed field: fine gradings up to equivalence and G-gradings, for a fixed group G, up to isomorphism. As a corollary, we also classify up to isomorphism the G-gradings on the classical Lie superalgebra $A(m,n)$ that are induced from G-gradings on $M(m+1,n+1)$. In the case of Lie superalgebras, the characteristic is assumed to be 0.     

Universal deformation rings and self-injective Nakayama algebras

Let k be a field and let Λ be an indecomposable finite dimensional k-algebra such that there is a stable equivalence of Morita type between Λ and a self-injective split basic Nakayama algebra over k. We show that every indecomposable finitely generated Λ-module V has a universal deformation ring $R(\mathrm{\Lambda },V)$ and we describe $R(\mathrm{\Lambda },V)$ explicitly as a quotient ring of a power series ring over k in finitely many variables. This result applies in particular to Brauer tree algebras, and hence to p-modular blocks of finite groups with cyclic defect groups.     

Isomorphism problems for Hopf–Galois structures on separable field extensions

Let $L/K$ be a finite separable extension of fields whose Galois closure $E/K$ has Galois group G. Greither and Pareigis use Galois descent to show that a Hopf algebra giving a Hopf–Galois structure on $L/K$ has the form $E{[N]}^G$ for some group N of order $[L:K]$. We formulate criteria for two such Hopf algebras to be isomorphic as Hopf algebras, and provide a variety of examples. In the case that the Hopf algebras in question are commutative, we also determine criteria for them to be isomorphic as K-algebras. By applying our results, we complete a detailed analysis of the distinct Hopf algebras and K-algebras that appear in the classification of Hopf–Galois structures on a cyclic extension of degree $p^n$, for p an odd prime number.     

The space of lines in cyclic covers of projective space

Take positive integers m, n and d. Let Y be an m-fold cyclic cover of ${\mathbb{P}}^n$ ramified over a general hypersurface $X\subset P^n$ of degree md. In this paper we study the space $F(Y)$ of lines in Y and show that it is smooth of dimension $2(n-1)-d(m-1)$ if $md>2n-3$ and $2(n-1)-d(m-1)\ge 0$. When $2(n-1)=d(m-1)$, our result gives a formula on the number of m-contact order lines of X (see Definition 1.2).     

Tensor products of n-complete algebras

If A and B are n- and m-representation finite k-algebras, then their tensor product $\mathrm{\Lambda }=A{?}_{k}B$ is not in general $(n+m)$-representation finite. However, we prove that if A and B are acyclic and satisfy the weaker assumption of n- and m-completeness, then Λ is $(n+m)$-complete. This mirrors the fact that taking higher Auslander algebra does not preserve d-representation finiteness in general, but it does preserve d-completeness. As a corollary, we get the necessary condition for Λ to be $(n+m)$-representation finite which was found by Herschend and Iyama by using a certain twisted fractionally Calabi–Yau property.     

The nil Temperley–Lieb algebra of type affine C

We introduce a type affine C analogue of the nil Temperley–Lieb algebra, in terms of generators and relations. We show that this algebra $T(n)$, which is a quotient of the positive part of a Kac–Moody algebra of type $D_{n+1}^{(2)}$, has an easily described faithful representation as an algebra of creation and annihilation operators on particle configurations, reminiscent of the open TASEP model in statistical physics. The centre of $T(n)$ consists of polynomials in a certain element Q, and $T(n)$ is a free module of finite rank over its centre. We show how to localize $T(n)$ by adjoining an inverse of Q, and prove that the resulting algebra is a full matrix ring over a ring of Laurent polynomials over a field. Although $T(n)$ has wild representation type, over an algebraically closed field we can classify all the finite dimensional indecomposable representations of $T(n)$ in which Q acts invertibly.     

Graph immersions with parallel cubic form

We consider non-degenerate graph immersions into affine space ${\mathbb{A}}^{n+1}$ whose cubic form is parallel with respect to the Levi-Civita connection of the affine metric. There exists a correspondence between such graph immersions and pairs $(J,\gamma )$, where J is an n-dimensional real Jordan algebra and γ is a non-degenerate trace form on J. Every graph immersion with parallel cubic form can be extended to an affine complete symmetric space covering the maximal connected component of zero in the set of quasi-regular elements in the algebra J. It is an improper affine hypersphere if and only if the corresponding Jordan algebra is nilpotent. In this case it is an affine complete, Euclidean complete graph immersion, with a polynomial as globally defining function. We classify all such hyperspheres up to dimension 5. As a special case we describe a connection between Cayley hypersurfaces and polynomial quotient algebras. Our algebraic approach can be used to study also other classes of hypersurfaces with parallel cubic form.     

On the number of harmonic frames

There is a finite number $h_{n,d}$ of tight frames of n distinct vectors for ${\mathbb{C}}^d$ which are the orbit of a vector under a unitary action of the cyclic group ${\mathbb{Z}}_n$. These cyclic harmonic frames (or geometrically uniform tight frames) are used in signal analysis and quantum information theory, and provide many tight frames of particular interest. Here we investigate the conjecture that $h_{n,d}$ grows like $n^{d-1}$. By using a result of Laurent which describes the set of solutions of algebraic equations in roots of unity, we prove the asymptotic estimate$h_{n,d}\approx \frac{n^d}{\phi (n)}\ge n^{d-1},n\to \infty .$ By using a group theoretic approach, we also give some exact formulas for $h_{n,d}$, and estimate the number of cyclic harmonic frames up to projective unitary equivalence.     

On actions of Drinfel'd doubles on finite dimensional algebras

Let q be an nth root of unity for $n>2$ and let $T_n(q)$ be the Taft (Hopf) algebra of dimension $n^2$. In 2001, Susan Montgomery and Hans-Jürgen Schneider classified all non-trivial $T_n(q)$-module algebra structures on an n-dimensional associative algebra A. They further showed that each such module structure extends uniquely to make A a module algebra over the Drinfel'd double of $T_n(q)$. We explore what it is about the Taft algebras that leads to this uniqueness, by examining actions of (the Drinfel'd double of) Hopf algebras H “close” to the Taft algebras on finite-dimensional algebras analogous to A above. Such Hopf algebras H include the Sweedler (Hopf) algebra of dimension 4, bosonizations of quantum linear spaces, and the Frobenius–Lusztig kernel $u_q({\mathfrak{sl}}_2)$.     

Gaps in the number of generators of monomial Togliatti systems

Let $I_{d,n}?k[x_0,?,x_n]$ be a minimal monomial Togliatti system of forms of degree d. In [4], Mezzetti and Miró-Roig proved that the minimal number of generators $\mu (I_{d,n})$ of $I_{d,n}$ lies in the interval $[2n+1,\left(\begin{array}{c}n+d?1\\ n?1\end{array}\right)]$. In this paper, we prove that for $n\ge 4$ and $d\ge 3$, the integer values in $[2n+3,3n?1]$ cannot be realized as the number of minimal generators of a minimal monomial Togliatti system. We classify minimal monomial Togliatti systems $I_{d,n}?k[x_0,?,x_n]$ of forms of degree d with $\mu (I_{d,n})=2n+2$ or 3n (i.e. with the minimal number of generators reaching the border of the non-existence interval). Finally, we prove that for $n=4$, $d\ge 3$ and $\mu \in [9,\left(\begin{array}{c}d+3\\ 3\end{array}\right)]?\{11\}$ there exists a minimal monomial Togliatti system $I_{d,n}?k[x_0,?,x_n]$ of forms of degree d with $\mu (I_{n,d})=\mu$.     

Graded-division algebras and Galois extensions

Graded-division algebras are building blocks in the theory of finite-dimensional associative algebras graded by a group G. If G is abelian, they can be described, using a loop construction, in terms of central simple graded-division algebras.On the other hand, given a finite abelian group G, any central simple G-graded-division algebra over a field $\mathbb{F}$ is determined, thanks to a result of Picco and Platzeck, by its class in the (ordinary) Brauer group of $\mathbb{F}$ and the isomorphism class of a G-Galois extension of $\mathbb{F}$.This connection is used to classify the simple G-Galois extensions of $\mathbb{F}$ in terms of a Galois field extension $\mathbb{L}/\mathbb{F}$ with Galois group isomorphic to a quotient $G/K$ and an element in the quotient ${\mathrm{\text{Z}}}^2(K,{\mathbb{L}}^{\times })/{\mathrm{\text{B}}}^2(K,{\mathbb{F}}^{\times })$ subject to certain conditions. Non-simple G-Galois extensions are induced from simple T-Galois extensions for a subgroup T of G. We also classify finite-dimensional G-graded-division algebras and, as an application, finite G-graded-division rings.