Related papers: A dyadic view of rational convex sets

We consider those two-dimensional rational conformal field theories (RCFTs) whose chiral algebras, when maximally extended, are isomorphic to the current algebra formed from some affine non-twisted Kac--Moody algebra at fixed level. In this…

We study the algebraic sets of pairs of matrices defined by the vanishing of the anti-diagonal as well as the cross-diagonal of their commutator matrix. We prove that, over a field of prime characterisitic, the coordinate ring of the latter…

A rational group of hermitian type is an algebraic group over the rational numbers whose symmetric space is a hermitian symmetric space. We assume such a group $G$ to be given, which we assume is isotropic. Then, for any rational parabolic…

An important classical result in ZFC asserts that every infinite cardinal number is idempotent. Using this fact, we obtain several algebraic results in this article. The first result asserts that an infinite Abelian group has a proper…

For a field $F$ and an integer $d\geq 1$, we consider the universal associative $F$-algebra $A$ generated by two sets of $d+1$ mutually orthogonal idempotents. We display four bases for the $F$-vector space $A$ that we find attractive. We…

Let $F$ be a $p$-adic field and let $G$ be a connected reductive group defined over $F$. We assume $p$ is big. Denote $\mathfrak{g}$ the Lie algebra of $G$. To each vertex $s$ of the reduced Bruhat-Tits' building of $G$, we associate as…

Let $B$ and $C$ be non-degenerate idempotent algebras and assume that $E$ is a regular separability idempotent in $M(B\otimes C)$. Define $A=C\otimes B$ and $\Delta:A\to M(A\otimes A)$ by $\Delta(c\otimes b)=c\otimes E\otimes b$. The pair…

We give a direct straightforward proof that there is an isomorphism between the algebra of the Catalan monoid C_n that is, the monoid of all order-preserving, weakly increasing self-maps f of [n] = {1,...,n}, over any commutative ring with…

We establish an algebra-isomorphism between the complexified Grothendieck ring F of certain bimodule categories over a modular tensor category and the endomorphism algebra of appropriate morphism spaces of those bimodule categories. This…

Let p be an odd prime, F the field of p elements and G a finite abelian p-group with an arbitrary involutory automorphism. Extend this automorphism to the group algebra FG and consider the unitary and the symmetric normalized units of FG.…

Let $S$ be a $3$-dimensional quantum polynomial algebra, and $f \in S_2$ a central regular element. The quotient algebra $A = S/(f)$ is called a noncommutative conic. For a noncommutative conic $A$, there is a finite dimensional algebra…

Let D be a division algebra with center F. A maximal subfield of D is defined to be a field K such that CD(K) = K; that is, K is its own centralizer in D. A maximal subfield K is said to be self-invariant if it normalises by itself, i.e.…

Suppose $\ell$ is a prime number, ${\mathbf Q}_\ell$ is the field of $\ell$-adic numbers, ${\mathbf F}_\ell$ is the finite field of $\ell$ elements, and $d$ is a positive integer. Suppose $G$ is a finite subgroup of a symplectic group…

The paper presents a new algorithmic construction of a finite generating set of rational invariants for the rational action of an algebraic group on the affine space. The construction provides an algebraic counterpart of the moving frame…

We prove that two finite-dimensional commutative algebras over an algebraically closed field are isomorphic if and only if they give rise to isomorphic representations of the category of finite sets and surjective maps.

Every commutator preserving bijection of the unipotent radical $Up(2n, R)$ of the Borel subgroup of the classical symplectic group of rank at least 4 over a field $F$ such that $6F=F$ is shown to be the composition of a standard…

Let $G$ be an affine algebraic group scheme over a field $k$. We show there exists a unipotent normal subgroup of $G$ which contains all other such subgroups; we call it the restricted unipotent radical $\mathrm{Rad}_u(G)$ of $G$. We…

We prove conditions ensuring that a Lie ideal or an invariant additive subgroup in a ring contains all additive commutators. A crucial assumption is that the subgroup is fully noncentral, that is, its image in every quotient is noncentral.…

Given a set of forms f={f_1,...,f_m} in R=k[x_1,...,x_n], where k is a field of characteristic zero, we focus on the first syzygy module Z of the transposed Jacobian module D(f), whose elements are called differential syzygies of f. There…

Let $X = G/\Gamma$ be a quotient of a real Lie group by a non-uniform lattice. Consider a one-parameter subgroup $F$ of $G$ that is $\operatorname{Ad}$-diagonalizable over $\mathbb{C}$ and whose action on $(X,m_X)$ is mixing. In this…