arXiv subjects
Publications and source records attributed to Louis Rowen.
In a previous paper we studied ``weakly primitive axial algebras'' with respect to more general fusion rules, for which at least one axis satisfies the fusion rules. In this continuation, a concise description is provided of the $2$-generated algebras we obtained in that paper and we show that in certain cases, the algebras have a Frobenius form, a key tool in their study.
This is part of an ongoing project to find a general algebraic framework for semiring theory. The structure theory of semirings is quite challenging, largely because of the lack of negation, and such basic properties such as unique factorization of polynomials, multiplicativity of determinants, and the characteristic polynomial of a matrix, all fail. (In fact in the max-plus algebra, the sum of two nonzero elements is never zero!) Consequently 0 is replaced by a distinguished T-submodule $ A_0$ of $ A,$ and $( A, A_0)$ is called a ``pair.'' This paper treats linear algebra over a (not necessarily distributive) semiring pair, with a range of applications to tropical algebra as well as related areas such as hyperrings and fuzzy rings. We turn to matrices and the question of whether the row rank, column rank, and submatrix rank of a matrix are equal. The submatrix rank is less than or equal to the row rank and the column rank in many cases, including ``metatangible pairs'' with unique negation, but there is a counterexample to equality, discovered some time ago by the second author, which we provide in a more general setting (``pairs of the second kind'') that includes the hyperfield of signs. We do find situations when equality holds, encompassing results by Akian, Gaubert, Guterman, Izhakian, Knebusch, and Rowen, including versions of Cramer's rule. We pay special attention to the question of Baker and Zhang whether $n+1$ vectors of length $n$ need be dependent. At the conclusion of the main part, we consider surpassing relations, which permit us to tighten our results. The categorical setting is given in the appendix.
Extending the theory of systems, we introduce a theory of Lie semialgebra ``pairs'' which parallels the classical theory of Lie algebras, but with a ``null set'' replacing $0$. A selection of examples is given. These Lie pairs comprise two categories in addition to the universal algebraic definition, one with ``weak Lie morphisms'' preserving null sums, and the other with ``$\preceq$-morphisms'' preserving a surpassing relation $\preceq$ that replaces equality. We provide versions of the PBW (Poincare-Birkhoff-Witt) Theorem in these three categories.
We show that primitive 4-generated axial algebras of Jordan type are at most 81-dimensional.
Over the years questions have arisen about T-ideals of (noncommutative) polynomials. But when evaluating a noncentral polynomial in subalgebras of matrices, one often has little control in determining the specific evaluations of the polynomial. One way of overcoming this difficulty in characteristic 0, is to reduce to multilinear polynomials and utilizing the representation theory of the symmetric group. But this technique is unavailable in characteristic $p>0$. An alternative method, which succeeds, is the process of ``hiking'' a polynomial, in which one specializes its indeterminates in several stages, to obtain a polynomial that contains Capelli polynomials, in order to get control on its evaluations. This method was utilized on homogeneous polynomials in the proof of Specht's conjecture for affine algebras over fields of positive characteristic. In this paper we develop hiking further to nonhomogeneous polynomials, to apply to the representability question. Kemer proved in 1988 that every affine relatively free PI algebra over an infinite field, is representable. In 2010, the first author of this paper proved more generally that every affine relatively free PI algebra over any commutative Noetherian unital ring is representable. We present a different, complete, proof, based on hiking nonhomogeneous polynomials, over finite fields. We then obtain the full result over a Noetherian commutative ring, using Noetherian induction on T-ideals. The bulk of the proof is for the case of a base field of positive characteristic. Here, whereas the usage of hiking is more direct than in proving Specht's conjecture, one must consider nonhomogeneous polynomials when the base ring is finite, which entails certain difficulties to be overcome. In the appendix we show how hiking can be adapted to prove the involutory versions, as well as various graded and nonassociative theorems.
Hyperfields and systems are two algebraic frameworks which have been developed to provide a unified approach to classical and tropical structures. All hyperfields, and more generally hyperrings, can be represented by systems. Conversely, we show that the systems arising in this way, called {\it hypersystems}, are characterized by certain elimination axioms. Systems are preserved under standard algebraic constructions; for instance matrices and polynomials over hypersystems are systems, but not hypersystems. We illustrate these results by discussing several examples of systems and hyperfields, and constructions like matroids over systems.
The generalized L'vov-Kaplansky conjecture states that for any finite-dimensional simple algebra $A$ the image of a multilinear polynomial on $A$ is a vector space. In this paper we prove it for the algebra of octonions $\mathbb{O}$ over a field satisfying certain specified conditions (in particular, we prove it for quadratically closed field and for field $\mathbb{R}$). In fact, we prove that the image set must be either $\{0\}$, $F$, the space of pure octonions $V$, or $\mathbb{O}$. We discuss possible evaluations of semihomogeneous polynomials on $\mathbb{O}$ and of arbitrary polynomials on the corresponding Malcev algebra.
We develop a general axiomatic theory of algebraic pairs, which simultaneously generalizes several algebraic structures, in order to bypass negation as much as feasible. We investigate several classical theorems and notions in this setting including fractions, integral extensions, and Hilbert's Nullstellensatz. Finally, we study a notion of growth in this context.
The notion of axial algebra is closely related to $3$-transposition groups, the Monster group and vertex operator algebras. In this work we continue our previous works and compete the proof that all algebras generated by a set of primitive axes not necessarily of the same type (see the definition in the body of the paper), are primitive axial algebras of Jordan type.
"Fusion rules" are laws of multiplication among eigenspaces of an idempotent. This terminology is relatively new and is closely related to axial algebras, introduced recently by Hall, Rehren and Shpectorov. Axial algebras, in turn, are closely related to $3$-transposition groups and Vertex operator algebras. In this paper we consider fusion rules for semisimple idempotents, following Albert in the power-associative case. We examine the notion of an axis in the non-commutative setting and show that the dimension $d$ of any algebra $A$ generated by a pair $a,b$ of (not necessarily Jordan) axes of respective types $(\lambda,\delta)$ and $(\lambda',\delta')$ must be at most $5$; $d$ cannot be $4.$ If $d\le 3$ we list all the possibilities for $A$ up to isomorphism. We prove a variety of additional results and mention some research questions at the end.
The Peirce decomposition of a Jordan algebra with respect to an idempotent is well known. This decomposition was taken one step further and generalized recently by Hall, Rehren and Shpectorov, withtheir introduction of {\it axial algebras}, and in particular {\it primitive axial algebras of Jordan type} (PJs for short). It turns out that these notions are closely related to $3$-transposition groups and vertex operator algebras. De Medts, Peacock, Shpectorov, and M. Van Couwenberghe generalized axial algebrasto {\it decomposition algebras} which, in particular, are not necessarily commutative. This paper deals with decomposition algebras which are non-commutative versions of PJs.
We introduce a theory of Clifford semialgebra systems, with application to representation theory via Hasse-Schmidt derivations on exterior semialgebras. Our main result, after the construction of the Clifford semialgebra, is a formula describing the exterior semialgebra as a representation of the Clifford semialgebra, given by the endomorphisms of the first wedge power.
``Fusion rules'' are laws of multiplication among eigenspaces of an idempotent. We establish fusion rules for flexible power-associative algebras, following Albert. We define the notion of an axis in the noncommutative setting (compare with [HRS]) and accumulate information about pairs of axes. We also describe a class of noncommutative examples of flexible power-associative algebras.
This note concerns the still open question of representability of Noetherian PI-algebras. Extending a result of Rowen and Small (with an observation of Bergman) that every finitely generated module over a commutative Noetherian ring containing a field is representable, we provide a representability machinery for a Noetherian PI-algebra $R$ containing a field, which includes the case that $R$ is finite (as a module) over a commutative subalgebra isomorphic to $R/N$. We construct a family of non-representable PI-algebras demonstrating the sharpness of these results, as well as of some well known previous representability results.
We develop the rudiments of a tropical homology theory, based on "triples" and "systems." Results include a version of Schanuel's lemma, projective dimension, the homology semi-module, and a weak Snake lemma.
Let $p$ be a polynomial in several non-commuting variables with coefficients in a field $K$ of arbitrary characteristic. It has been conjectured that for any $n$, for $p$ multilinear, the image of $p$ evaluated on the set $M_n(K)$ of $n$ by $n$ matrices is either zero, or the set of scalar matrices, or the set ${\rm sl}_n(K)$ of matrices of trace 0, or all of $M_n(K)$. This expository paper describes research on this problem and related areas. We discuss the solution of this conjecture for $n=2$ in Section 2, some decisive results for $n=3$ in Section 3, and partial information for $n\geq 3$ in Section 4, also for non-multilinear polynomials. In addition we consider the case of $K$ not algebraically closed, and polynomials evaluated on other finite dimensional simple algebras (in particular the algebra of the quaternions). This review recollects results and technical material of our previous papers, as well as new results of other researches, and applies them in a new context. This article also explains the role of the Deligne trick, which is related to some nonassociative cases in new situations, underlying our earlier, more straightforward approach. We pose some problems for future generalizations and point out possible generalizations in the present state of art, and in the other hand providing counterexamples showing the boundaries of generalizations.
We present the rudiments of the Morita theory of module systems (over semirings), paralleling the classical Morita theory over associative rings.
We examine the problem of the linearity of an algebraic torus action in the associative setting. We prove the free algebra analog of a classical theorem of BialynickiBirula, which establishes linearity of maximal torus action. Additionally, we formulate and prove linearity theorems for specific classes of regular actions, and provide a framework for constructing non-linearizable actions, analogous to the work of Asanuma. This framework has applications in the study of the Associative Cancellation Conjecture. Furthermore, we show the existence of two non-isomorphic algebras, whose free products with a polynomial ring are isomorphic.