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.     

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$.     

Classification of metabelian 2-groups G with Gab ≃ (2,2n),n ≥ 2, and rank d(G′)=2; Applications to real quadratic number fields

We characterize all finite metabelian 2-groups G whose abelianizations $G^{\mathrm{ab}}$ are of type $(2,2^n)$, with $n\ge 2$, and for which their commutator subgroups $G^{\prime }$ have $\text{rank}=2$. This is given in terms of the order of the abelianizations of the maximal subgroups and the structure of the abelianizations of those normal subgroups of index 4 in G. We then translate these group theoretic properties to give a characterization of number fields k with 2-class group ${\mathrm{Cl}}_2(k)?(2,2^n)$, $n\ge 2$, such that the rank of ${\mathrm{Cl}}_2(k^1)=2$ where $k^1$ is the Hilbert 2-class field of k. In particular, we apply all this to real quadratic number fields whose discriminants are a sum of two squares.     

Mori Dream Spaces and blow-ups of weighted projective spaces

For every $n\ge 3$, we find a sufficient condition for the blow-up of a weighted projective space $\mathbb{P}(a,b,c,d_1,?,d_{n?2})$ at the identity point not to be a Mori Dream Space. We exhibit several infinite sequences of weights satisfying this condition in all dimensions $n\ge 3$.     

A note on the Hambleton-Taylor-Williams conjecture

I. Hambleton, L. Taylor and B. Williams conjectured a general formula in the spirit of H. Lenstra for the decomposition of $G_n(RG)$ for any finite group G and noetherian ring R. The conjectured decomposition was shown to hold for some large classes of finite groups. D. Webb and D. Yao discovered that the conjecture failed for the symmetric group $S_5$, but remarked that it still might be reasonable to expect the HTW-decomposition for solvable groups. In this paper we show that the solvable group $\mathrm{SL}(2,{\mathbb{F}}_3)$ is also a counterexample to the conjectured HTW-decomposition. Nevertheless, we prove that for any finite group G the rank of $G_1(\mathbb{Z}G)$ does not exceed the rank of the expression in the HTW-decomposition. We also show that the HTW-decomposition predicts correct torsion for $G_1(\mathbb{Z}G)$ for any finite group G. Furthermore, we prove that for any degree other than $n=1$ the conjecture gives a correct prediction for the rank of $G_n(\mathbb{Z}G)$.     

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).     

Generating infinitely many satisfactory colorings of positive integers

An $n$-satisfactory coloring of the $n$-smooth integers is an assignment of $n$ colors to the positive integers whose prime factors are at most $n$ so that for each such $m$, the integers $m,2m,\dots ,nm$ receive different colors. In this note, we give a short proof that infinitely many 6-satisfactory colorings of the 6-smooth integers exist and show how the technique of the proof can be applied more generally, including for $n\in \{8,10,12\}$.     

A plurality problem with three colors and query size three

The Plurality problem - introduced by Aigner - has many variants. In this article we deal with the following version: suppose we are given n balls, each of them colored by one of three colors. A plurality ball is one such that its color class is strictly larger than any other color class. Questioner asks a triplet (or a k-set in general), and Adversary as an answer gives the partition of the triplet (or the k-set) into color classes. Questioner wants to find a plurality ball as soon as possible or show that there is no such ball, while Adversary wants to postpone this.We denote by $A_p(n,k)$ the largest number of queries needed to ask in the worst case if both play optimally. We provide an almost precise result in the case of even n by proving that for $n\ge 4$ even we have$\frac{3}{4}n?2\le A_p(n,3)\le \frac{3}{4}n?\frac{1}{2},$ and for $n\ge 3$ odd we have$\frac{3}{4}n?O(\log ?n)\le A_p(n,3)\le \frac{3}{4}n?\frac{1}{2}.$We also prove some bounds on the number of queries needed to ask in the case $k\ge 3$.     

Multiplicative preprojective algebras of Dynkin quivers

For a commutative ring R and an ADE Dynkin quiver Q, we prove that the multiplicative preprojective algebra of Crawley-Boevey and Shaw, with parameter $q=1$, is isomorphic to the (additive) preprojective algebra as R-algebras if and only if the bad primes for Q – 2 in type D, 2 and 3 for $Q=E_6$, $E_7$ and 2, 3 and 5 for $Q=E_8$ – are invertible in R. We construct an explicit isomorphism over $\mathbb{Z}[1/2]$ in type D, over $\mathbb{Z}[1/2,1/3]$ for $Q=E_6$, $E_7$ and over $\mathbb{Z}[1/2,1/3,1/5]$ for $Q=E_8$. Conversely, if some bad prime is not invertible in R, we show that the additive and multiplicative preprojective algebras differ in zeroth Hochschild homology, and hence are not isomorphic. In fact, one only needs the vanishing of certain classes in zeroth Hochschild homology of the multiplicative preprojective algebra, utilizing a rigidification argument for isomorphisms that may be of independent interest.In the setting of Ginzburg dg-algebras, our obstructions are new in type E and give a more elementary proof of the negative result of Etgü–Lekili [5, Theorem 13] in type D. Moreover, the zeroth Hochschild homology of the multiplicative preprojective algebra, computed in Section 4, can be interpreted as the space of unobstructed deformations of the multiplicative Ginzburg dg-algebra by Van den Bergh duality. Finally, we observe that the multiplicative preprojective algebra is not symmetric Frobenius if $Q\ne A_1$, a departure from the additive preprojective algebra in characteristic 2 for $Q=D_{2n}$, $n\ge 2$ and $Q=E_7$, $E_8$.     

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.     

The Whitehead group of (almost) extra-special p-groups with p odd

Let p be an odd prime number. We describe the Whitehead group of all extra-special and almost extra-special p-groups. For this we compute, for any finite p-group P, the subgroup $C{l}_1(\mathbb{Z}P)$ of $S{K}_1(\mathbb{Z}P)$, in terms of a genetic basis of P. We also introduce a deflation map $C{l}_1(\mathbb{Z}P)\to C{l}_1(\mathbb{Z}(P/N))$, for a normal subgroup N of P, and show that it is always surjective. Along the way, we give a new proof of the result describing the structure of $S{K}_1(\mathbb{Z}P)$, when P is an elementary abelian p-group.     

A combinatorial proof of a formula for the Lucas-Narayana polynomials

In 2020, Bennett, Carrillo, Machacek and Sagan gave a polynomial generalization of the Narayana numbers and conjectured that these polynomials have positive integer coefficients for $1\le k\le n$ and for $n\ge 1$. In 2020, Sagan and Tirrell used a powerful algebraic method to prove this conjecture (in fact, they extend and prove the conjecture for more than just the type A case). In this paper we give a combinatorial proof of a formula satisfied by the Lucas-Narayana polynomials described by Bennett et al. This gives a combinatorial proof that these polynomials have positive integer coefficients. A corollary of our main result establishes a parallel theorem for the FiboNarayana numbers $N_{n,k,F}$, providing a combinatorial proof of the conjecture that these are positive integers for $n\ge 1$.     

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)$.     

On bifurcation of eigenvalues along convex symplectic paths

We consider a continuously differentiable curve $t?\gamma (t)$ in the space of $2n\times 2n$ real symplectic matrices, which is the solution of the following ODE:

$\frac{\mathrm{d}\gamma }{\mathrm{d}t}(t)=J_{2n}A(t)\gamma (t),\gamma (0)\in \mathrm{Sp}(2n,\mathbb{R}),$

where $J=J_{2n}\stackrel{\text{def}}{=}\left[\begin{array}{cc}\hfill 0\hfill & \hfill {\mathrm{Id}}_n\hfill \\ \hfill ?{\mathrm{Id}}_n\hfill & \hfill 0\hfill \end{array}\right]$ and $A:t?A(t)$ is a continuous path in the space of $2n\times 2n$ real matrices which are symmetric. Under a certain convexity assumption (which includes the particular case that $A(t)$ is strictly positive definite for all $t\in \mathbb{R}$), we investigate the dynamics of the eigenvalues of $\gamma (t)$ when t varies, which are closely related to the stability of such Hamiltonian dynamical systems. We rigorously prove the qualitative behavior of the branching of eigenvalues and explicitly give the first order asymptotics of the eigenvalues. This generalizes classical Krein–Lyubarskii theorem on the analytic bifurcation of the Floquet multipliers under a linear perturbation of the Hamiltonian. As a corollary, we give a rigorous proof of the following statement of Ekeland: $\{t\in \mathbb{R}:\gamma (t)\text{ has a Krein indefinite eigenvalue of modulus }1\}$ is a discrete set.