Additive diameters of group representations

2025-04-10T09:16:31Z

We explore the concept of additive diameters in the context of group representations, unifying various noncommutative Waring-type problems. Given a finite-dimensional representation $\rho \colon G \to \mathrm{GL}(V)$ and a subspace $U \leq V$ that generates $V$ as a $G$-module, we define the $G$-additive diameter of $V$ with respect to $U$ as the minimal number of translates of $U$ under the representation $\rho$ needed to cover $V$. We demonstrate that every irreducible representation of $\mathrm{SL}_2(\mathbf{C})$ exhibits optimal additive diameters and establish sharp bounds for the conjugation representation of $\mathrm{SL}_n(\mathbf{C})$ on its Lie algebra $\mathfrak{sl}_n(\mathbf{C})$. Additionally, we investigate analogous notions for additive diameters in Lie representations. We provide applications to additive diameters with respect to images of equivariant algebraic morphisms, linking them to the corresponding $G$-additive diameters of images of their differentials.

On exterior powers of reflection representations, II

2025-04-10T08:54:32Z

Let $W$ be a group endowed with a finite set $S$ of generators. A representation $(V,\rho)$ of $W$ is called a reflection representation of $(W,S)$ if $\rho(s)$ is a (generalized) reflection on $V$ for each generator $s \in S$. In this paper, we prove that for any irreducible reflection representation $V$, all the exterior powers $\bigwedge ^d V$, $d = 0, 1, \dots, \dim V$, are irreducible $W$-modules, and they are non-isomorphic to each other. This extends a theorem of R. Steinberg which is stated for Euclidean reflection groups. Moreover, we prove that the exterior powers (except for the 0th and the highest power) of two non-isomorphic reflection representations always give non-isomorphic $W$-modules. This allows us to construct numerous pairwise non-isomorphic irreducible representations for such groups, especially for Coxeter groups.

Projection algebras and free projection- and idempotent-generated regular $*$-semigroups

2025-04-10T07:27:36Z

The purpose of this paper is to introduce a new family of semigroups - the free projection-generated regular $*$-semigroups - and initiate their systematic study. Such a semigroup $PG(P)$ is constructed from a projection algebra $P$, using the recent groupoid approach to regular $*$-semigroups. The assignment $P\mapsto PG(P)$ is a left adjoint to the forgetful functor that maps a regular $*$-semigroup $S$ to its projection algebra $P(S)$. In fact, the category of projection algebras is coreflective in the category of regular $*$-semigroups. The algebra $P(S)$ uniquely determines the biordered structure of the idempotents $E(S)$, up to isomorphism, and this leads to a category equivalence between projection algebras and regular $*$-biordered sets. As a consequence, $PG(P)$ can be viewed as a quotient of the classical free idempotent-generated (regular) semigroups $IG(E)$ and $RIG(E)$, where $E=E(PG(P))$; this is witnessed by a number of presentations in terms of generators and defining relations. The semigroup $PG(P)$ can also be interpreted topologically, through a natural link to the fundamental groupoid of a simplicial complex explicitly constructed from $P$. The theory is then illustrated on a number of examples. In one direction, the free construction applied to the projection algebras of adjacency semigroups yields a new family of graph-based path semigroups. In another, it turns out that, remarkably, the Temperley-Lieb monoid $TL_n$ is the free regular $*$-semigroup over its own projection algebra $P(TL_n)$.

Hecke-Clifford algebras at roots of unity and conformal embeddings

2025-04-09T18:27:15Z

In this paper we give a combinatorial description of the Cauchy completion of the categories $\mathcal{E}_q$ and $\overline{\mathcal{SE}_N}$ recently introduced by the first author and Snyder. This in turns gives a combinatorial description of the categories $\overline{\operatorname{Rep}(U_q(\mathfrak{sl}_N))}_{A}$ where $A$ is the \`etale algebra object corresponding to the conformal embedding $\mathfrak{sl}_N$ level $N$ into $\mathfrak{so}_{N^2-1}$ level 1. In particular we give a classification of the simple objects of these categories, a formula for their quantum dimensions, and fusion rules for tensoring with the defining object. Our method of obtaining these results is the Schur-Weyl approach of studying the representation theory of certain endomorphism algebras in $\mathcal{E}_q$ and $\mathcal{SE}_N$, which are known to be subalgebras of Hecke-Clifford algebras. We build on existing literature to study the representation theory of the Hecke-Clifford algebras at roots of unity.

On Fundamental Theorems of Super Invariant Theory

2025-04-09T17:47:55Z

The purpose of this paper is to prove the First and Second Fundamental Theorems of invariant theory for the complex special linear supergroup and discuss the superalgebra of invariants, via the super Plucker relations.

A note on measurings and higher order Hochschild homology of algebras

2025-04-09T13:24:20Z

We know that coalgebra measurings behave like generalized maps between algebras. In this note, we show that coalgebra measurings between commutative algebras induce morphisms between higher order Hochschild homology groups of algebras. By higher order Hochschild homology, we mean the the Hochschild homology groups of a commutative algebra with respect to a simplicial set as introduced by Pirashvili.

Gabriel Quotient Rings

2025-04-09T12:33:19Z

In this paper we prove the following theorem. Let R be a prime Noetherian ring with krull dimension |R| = n where n is a positive integer. Let Q be the Goldie quotient ring of R. For a fixed positive integer m < n, let xm be the set of all prime ideals of R such that krull dimension R/p equals m. Call xm the set of m-full prime ideals of R. Let Cm be the set of elements c of R With krull dimension R/cR less than m. Call g as the m-gabriel filter, if g is the family of right ideals I of R with krull dimension R/I less than m. We construct an extension ring R(m) of R having the following properties (i) R(m) is a subring of Q with identity element 1 of R. (ii) If u(R(m)) is the set of units of R(m) then u(R(m) intersection R equals the set cm. (iii) For a full set of m-prime ideals of R the set cm is a right ore set of R . We call R(m) as the m-Gabriel quotient ring of R.

Applications of Poisson cohomology to the inducibility problems and study of deformation maps

2025-04-09T10:26:22Z

This paper provides some applications of the Poisson cohomology groups introduced by Flato, Gerstenhaber and Voronov. Given an abelian extension of a Poisson algebra by a representation, we first investigate the inducibility of a pair of Poisson algebra automorphisms and show that the corresponding obstruction lies in the second Poisson cohomology group. Consequently, we obtain the Wells exact sequence connecting various automorphism groups and the second Poisson cohomology group. Subsequently, we also consider the inducibility for a pair of Poisson algebra derivations, obtain the obstruction and construct the corresponding Wells-type exact sequence. To get another application, we introduce the notion of a `deformation map' in a proto-twilled Poisson algebra. A deformation map unifies various well-known operators such as Poisson homomorphisms, Poisson derivations, crossed homomorphisms, Rota-Baxter operators of any weight, twisted Rota-Baxter operators, Reynolds operators and modified Rota-Baxter operators on Poisson algebras. We show that a deformation map $r$ induces a new Poisson algebra structure and a suitable representation of it. The corresponding Poisson cohomology is defined to be the cohomology of the deformation map $r$. Finally, we study the formal deformations of the operator $r$ in terms of the cohomology.

Smoothness of commutative Hopf algebras

2025-04-08T22:57:50Z

Hopf algebras, most generally in a semisimple abelian symmetric monoidal category, are here supposed to be commutative but not to be of finite-type, and their (equivariant) smoothness are discussed. Given a Hopf algebra $H$ in a category such as above, it is proved that the following are equivalent: (i) $H$ is smooth as an algebra; (ii) $H$ is smooth as an $H$-comodule algebra; (iii) the product morphism $S_H^2(H^+) \to H^+$ defined on the 2nd symmetric power is monic. Working over a field $k$ of characteristic zero, we prove: (1) every ordinary Hopf algebra, i.e., such in the category $\mathsf{Vec}$ of vector spaces, satisfies the equivalent conditions (i)--(iii) and some others; (2) every Hopf algebra in the category $\mathsf{sVec}$ of super-vector spaces has a certain property that is stronger than (i). In the case where $\operatorname{char}k=p>0$, there are shown weaker properties of ordinary Hopf algebras and of Hopf algebras in $\mathsf{sVec}$ or in the ind-completion $\mathsf{Ver}_p^{\mathrm{ind}}$ of the Verlinde category.

Coprime extensions of indecomposable solutions to the Yang-Baxter equation

2025-04-08T18:21:47Z

In this article, we introduce a method to extend involutive nondegenerate set-theoretic solutions to the Yang--Baxter equation by means of equivariant mappings to graded modules, thus leading to the notion of a twisted extension. Furthermore, we define coprime extensions of solutions and prove that each coprime extension of indecomposable solutions can be obtained as a suitable twisted extension. We then apply our results to obtain a full description of indecomposable solutions of size $pqr$, where $p,q,r$ are different primes, from a structure theorem of Ced\'o and Okni\'nski. We close with some remarks on a cohomology theory for solutions developed by Lebed and Vendramin. We express our results in the language of cycle sets.

Parallels between quaternionic and matrix nullstellensätze

2025-04-08T17:17:57Z

We prove a new quaternionic and a new matrix nullstellensatz. We also show that both theories are intertwined.

K-theory and matrix transfers

2025-04-08T15:49:33Z

We introduce and study matrix transfers to achieve elementary models for bivariant $K$-theory. They share lots of common properties with Voevodsky's framed correspondences and lead to symmetric matrix motives of algebraic varieties introduced in this paper. Symmetric matrix motives recover $K$-motives and fit in a closed symmetric monoidal triangulated category of symmetric matrix motives constructed in this paper by using methods of enriched motivic homotopy theory.

Note on Wermuth's theorem on commuting operator exponentials

2025-04-08T15:46:41Z

We apply Wermuth's theorem on commuting operator exponentials to show that if $A, B \in B(X)$, $X$ being Banach space and $A$ of $2\pi i$-congruence free spectrum, then $e^A B = B e^A$ if and only if $AB=BA$. We employ this observation to provide alternative proof of similar result by Chaban and Mortad, applicable for $X$ being a Hilbert space.

The Quantum Double of Hopf Algebras Realized via Partial Dualization and the Tensor Category of Its Representations

2025-04-08T14:09:17Z

In this paper, we aim to study the (generalized) quantum double $K^{\ast\mathrm{cop}}\bowtie_\sigma H$ determined by a (skew) pairing between finite-dimensional Hopf algebras $K^{\ast\mathrm{cop}}$ and $H$, especially the tensor category $\mathsf{Rep}(K^{\ast\mathrm{cop}}\bowtie_\sigma H)$ of its finite-dimensional representations. Specifically, we show that $K^{\ast\mathrm{cop}}\bowtie_\sigma H$ is a left partially dualized (quasi-)Hopf algebra of $K^\mathrm{op}\otimes H$, and use this formulation to establish tensor equivalences from $\mathsf{Rep}(K^{\ast\mathrm{cop}}\bowtie_\sigma H)$ to the categories ${}^K_K\mathcal{M}^K_H$ and ${}^{K^\ast}_{K^\ast}\mathcal{M}^{H^\ast}_{K^\ast}$ of two-sided two-cosided relative Hopf modules, as well as the category ${}_H\mathfrak{YD}^K$ of relative Yetter-Drinfeld modules.

Braid group actions on branched coverings and full exceptional sequences

2025-04-08T13:06:47Z

We relate full exceptional sequences in Fukaya categories of surfaces or equivalently in derived categories of graded gentle algebras to branched coverings over the disk, building on a previous classification result of the first and third author. This allows us to apply tools from the theory of branched coverings such as Birman--Hilden theory and Hurwitz systems to study the natural braid group action on exceptional sequences. As an application, counterexamples are given to a conjecture of Bondal--Polishchuk on the transitivity of the braid group action on full exceptional sequences in a triangulated category.