Graded identities for algebras with elementary gradings over an infinite field

Let $F$ be an infinite field of positive characteristic $p > 2$ and let $G$ be a group. In this paper, we study the graded identities satisfied by an associative algebra equipped with an elementary $G$ -grading. Let $E$ be the infinite-dimensional Grassmann algebra. For every $a$ , $b\in \mathbb {N}$ , we provide a basis for the graded polynomial identities, up to graded monomial identities, for the verbally prime algebras $M_{a,b}(E)$ , as well as their tensor products, with their elementary gradings. Moreover, we give an alternative proof of the fact that the tensor product $M_{a,b}(E)\otimes M_{r,s}(E)$ and $M_{ar+bs,as+br}(E)$ are $F$ -algebras which are not PI equivalent. Actually, we prove that the $T_{G}$ -ideal of the former algebra is contained in the $T$ -ideal of the latter. Furthermore, the inclusion is proper. Recall that it is well known that these algebras satisfy the same multilinear identities and hence in characteristic 0 they are PI equivalent.

A sandwich in thin lie algebras

A thin Lie algebra is a Lie algebra $L$ , graded over the positive integers, with its first homogeneous component $L_1$ of dimension two and generating $L$ , and such that each non-zero ideal of $L$ lies between consecutive terms of its lower central series. All homogeneous components of a thin Lie algebra have dimension one or two, and the two-dimensional components are called diamonds. Suppose the second diamond of $L$ (that is, the next diamond past $L_1$ ) occurs in degree $k$ . We prove that if $k>5$ , then $[Lyy]=0$ for some non-zero element $y$ of $L_1$ . In characteristic different from two this means $y$ is a sandwich element of $L$ . We discuss the relevance of this fact in connection with an important theorem of Premet on sandwich elements in modular Lie algebras.

Commutator length of powers in free products of groups

Given groups $A$ and $B$ , what is the minimal commutator length of the 2020th (for instance) power of an element $g\in A*B$ not conjugate to elements of the free factors? The exhaustive answer to this question is still unknown, but we can give an almost answer: this minimum is one of two numbers (simply depending on $A$ and $B$ ). Other similar problems are also considered.

Some generating functions and inequalities for the andrews–stanley partition functions

Let $\mathcal {O}(\pi )$ denote the number of odd parts in an integer partition $\pi$ . In 2005, Stanley introduced a new statistic $\operatorname {srank}(\pi )=\mathcal {O}(\pi )-\mathcal {O}(\pi ')$ , where $\pi '$ is the conjugate of $\pi$ . Let $p(r,\,m;n)$ denote the number of partitions of $n$ with srank congruent to $r$ modulo $m$ . Generating function identities, congruences and inequalities for $p(0,\,4;n)$ and $p(2,\,4;n)$ were then established by a number of mathematicians, including Stanley, Andrews, Swisher, Berkovich and Garvan. Motivated by these works, we deduce some generating functions and inequalities for $p(r,\,m;n)$ with $m=16$ and $24$ . These results are refinements of some inequalities due to Swisher.

Exact solutions and critical behaviour for a linear growth-diffusion equation on a time-dependent domain

A linear growth-diffusion equation is studied in a time-dependent interval whose location and length both vary. We prove conditions on the boundary motion for which the solution can be found in exact form and derive the explicit expression in each case. Next, we prove the precise behaviour near the boundary in a ‘critical’ case: when the endpoints of the interval move in such a way that near the boundary there is neither exponential growth nor decay, but the solution behaves like a power law with respect to time. The proof uses a subsolution based on the Airy function with argument depending on both space and time. Interesting links are observed between this result and Bramson's logarithmic term in the nonlinear FKPP equation on the real line. Each of the main theorems is extended to higher dimensions, with a corresponding result on a ball with a time-dependent radius.

Some embeddings between symmetric R. thompson groups

Let $m\leqslant n\in \mathbb {N}$ , and $G\leqslant \operatorname {Sym}(m)$ and $H\leqslant \operatorname {Sym}(n)$ . In this article, we find conditions enabling embeddings between the symmetric R. Thompson groups ${V_m(G)}$ and ${V_n(H)}$ . When $n\equiv 1 \mod (m-1)$ , and under some other technical conditions, we find an embedding of ${V_n(H)}$ into ${V_m(G)}$ via topological conjugation. With the same modular condition, we also generalize a purely algebraic construction of Birget from 2019 to find a group $H\leqslant \operatorname {Sym}(n)$ and an embedding of ${V_m(G)}$ into ${V_n(H)}$ .

Crystal flex bases and the RUM spectrum

A theory of infinite spanning sets and bases is developed for the first-order flex space of an infinite bar-joint framework, together with space group symmetric versions for a crystallographic bar-joint framework ${{\mathcal {C}}}$ . The existence of a crystal flex basis for ${{\mathcal {C}}}$ is shown to be closely related to the spectral analysis of the rigid unit mode (RUM) spectrum of ${{\mathcal {C}}}$ and an associated geometric flex spectrum. Additionally, infinite spanning sets and bases are computed for a range of fundamental crystallographic bar-joint frameworks, including the honeycomb (graphene) framework, the octahedron (perovskite) framework and the 2D and 3D kagome frameworks.

On free subalgebras of varieties

We show that some results of L. Makar-Limanov, P. Malcolmson and Z. Reichstein on the existence of free-associative algebras are valid in the more general context of varieties of algebras.

A weight-homogenous condition to the real Jacobian conjecture in

It is known that a polynomial local diffeomorphism $(f,\, g): {\mathbb {R}}^{2} \to {\mathbb {R}}^{2}$ is a global diffeomorphism provided the higher homogeneous terms of $f f_x+g g_x$ and $f f_y+g g_y$ do not have real linear factors in common. Here, we give a weight-homogeneous framework of this result. Our approach uses qualitative theory of differential equations. In our reasoning, we obtain a result on polynomial Hamiltonian vector fields in the plane, generalization of a known fact.