On theorems of Delsarte–McEliece and Chevalley–Warning–Ax–Katz

We present a theorem that generalizes the result of Delsarte and McEliece on the p-divisibilities of weights in abelian codes. Our result generalizes the Delsarte–McEliece theorem in the same sense that the theorem of N. M. Katz generalizes the theorem of Ax on the p-divisibilities of cardinalities of affine algebraic sets over finite fields. As the Delsarte–McEliece theorem implies the theorem of Ax, so our generalization implies that of N. M. Katz. The generalized theorem gives the p-divisibility of the t-wise Hamming weights of t-tuples of codewords (c ⁽¹⁾, . . . ,c ^(t)) as these words range over a product of abelian codes, where the t-wise Hamming weight is defined as the number of positions i in which the codewords do not simultaneously vanish, i.e., for which ${(c^{(1)}_i,\ldots,c^{(t)}_i)\not=(0,\ldots,0)}$ . We also present a version of the theorem that, for any list of t symbols s ₁, . . . ,s _t , gives p-adic estimates of the number of positions i such that ${(c^{(1)}_i,\ldots,c^{(t)}_i)=(s_1,\ldots,s_t)}$ as these words range over a product of abelian codes.     

Discrete potential Ablowitz–Kaup–Newell–Segur equation

We establish a discrete model for the potential Ablowitz–Kaup–Newell–Segur equation via a generalized Cauchy matrix approach. Soliton solutions and Jordan block solutions of this equation are presented by solving the determining equation set. By applying appropriate continuum limits, we obtain two semi-discrete potential Ablowitz–Kaup–Newell–Segur equations. The reductions to real and complex discrete and semi-discrete potential modified Korteweg-de Vries equations are also discussed.     

Orlicz–Brunn–Minkowski inequalities for Blaschke–Minkowski homomorphisms

Orlicz–Brunn–Minkowski type inequalities for Blaschke–Minkowski homomorphisms and their polars are established.     

Multiple Vortices in the Aharony–Bergman–Jafferis–Maldacena Model

Vortices in non-Abelian gauge field theory play important roles in confinement mechanism and are governed by systems of nonlinear elliptic equations of complicated structures. In this paper, we present a series of existence and uniqueness theorems for multiple vortex solutions of the BPS vortex equations, arising in the dual-layered Chern–Simons field theory developed by Aharony, Bergman, Jafferis, and Maldacena, over ${\mathbb{R}^2}$ and on a doubly periodic domain. In the full-plane setting, we show that the solution realizing a prescribed distribution of vortices exists and is unique. In the compact setting, we show that a solution realizing n prescribed vortices exists over a doubly periodic domain ${\Omega}$ if and only if the condition $$n < \frac{\lambda |\Omega|}{2 \pi}$$ holds, where ${\lambda >0 }$ is the Higgs coupling constant. In this case, if a solution exists, it must be unique. Our methods are based on calculus of variations.     

Rota–Baxter Hom-Lie–Admissible Algebras

We study Hom-type analogs of Rota–Baxter and dendriform algebras, called Rota–Baxter G-Hom–associative algebras and Hom-dendriform algebras. Several construction results are proved. Free algebras for these objects are explicitly constructed. Various functors between these categories, as well as an adjunction between the categories of Rota–Baxter Hom-associative algebras and of Hom-(tri)dendriform algebras, are constructed.     

Set-Valued Kurzweil–Henstock–Pettis Integral

It is shown that the obvious generalization of the Pettis integral of a multifunction obtained by replacing the Lebesgue integrability of the support functions by the Kurzweil–Henstock integrability, produces an integral which can be described – in case of multifunctions with (weakly) compact convex values – in terms of the Pettis set-valued integral.Mathematics Subject Classifications (2000) Primary: 28B20; secondary: 26A39, 28B05, 46G10, 54C60.     

The Birman-Murakami-Wenzl algebras of type E n

The Birman-Murakami-Wenzl algebras (BMW algebras) of type E _n for n = 6; 7; 8 are shown to be semisimple and free over the integral domain \mathbbZ[ d^±1,l^±1,m ]

Brauer algebras of simply laced type

The diagram algebra introduced by Brauer that describes the centralizer algebra of the n-fold tensor product of the natural representation of an orthogonal Lie group has a presentation by generators and relations that only depends on the path graph A _{n − 1} on n − 1 nodes. Here we describe an algebra depending on an arbitrary graph Q, called the Brauer algebra of type Q, and study its structure in the cases where Q is a Coxeter graph of simply laced spherical type (so its connected components are of type A _{n − 1}, D _n , E₆, E₇, E₈). We find its irreducible representations and its dimension, and show that the algebra is cellular. The algebra is generically semisimple and contains the group algebra of the Coxeter group of type Q as a subalgebra. It is a ring homomorphic image of the Birman-Murakami-Wenzl algebra of type Q; this fact will be used in later work determining the structure of the Birman-Murakami-Wenzl algebras of simply laced spherical type.     

Decomposition of Jordan Automorphisms of Strictly Upper Triangular Matrix Algebra Over Commutative Rings

Over a 2-torsionfree commutative ring R with identity, the algebra of all strictly upper triangular n + 1 by n + 1 matrices is denoted by n ₁. In this article, we prove that any Jordan automorphism of n ₁ can be uniquely decomposed as a product of a graph automorphism, a diagonal automorphism, a central automorphism and an inner automorphism for n ≥ 3. In the cases n = 1, 2, we also give a decomposition for any Jordan automorphism of n ₁.     

On the Simplicity of Lie Algebras Associated to Leavitt Algebras

For any field 𝕂 and integer n ≥ 2, we consider the Leavitt algebra L _𝕂(n); for any integer d ≥ 1, we form the matrix ring S = M _d (L _𝕂(n)). S is an associative algebra, but we view S as a Lie algebra using the bracket [a, b] = ab ? ba for a, b ∈ S. We denote this Lie algebra as S ^?, and consider its Lie subalgebra [S ^?, S ^?]. In our main result, we show that [S ^?, S ^?] is a simple Lie algebra if and only if char(𝕂) divides n ? 1 and char(𝕂) does not divide d. In particular, when d = 1, we get that [L _𝕂(n)^?, L _𝕂(n)^?] is a simple Lie algebra if and only if char(𝕂) divides n ? 1.     

The Cohen–Macaulay and Gorenstein Properties of Rings Associated to Filtrations

Let (R, m) be a Cohen–Macaulay local ring, and let ? = {F _i } _i∈? be an F ₁-good filtration of ideals in R. If F ₁ is m-primary we obtain sufficient conditions in order that the associated graded ring G(?) be Cohen–Macaulay. In the case where R is Gorenstein, we use the Cohen–Macaulay result to establish necessary and sufficient conditions for G(?) to be Gorenstein. We apply this result to the integral closure filtration ? associated to a monomial parameter ideal of a polynomial ring to give necessary and sufficient conditions for G(?) to be Gorenstein. Let (R, m) be a Gorenstein local ring, and let F ₁ be an ideal with ht(F ₁) = g > 0. If there exists a reduction J of ? with μ(J) = g and reduction number u: = r _J (?), we prove that the extended Rees algebra R′(?) is quasi-Gorenstein with a-invariant b if and only if J ⁿ : F _u  = F _n+b?u+g?1 for every n ∈ ?. Furthermore, if G(?) is Cohen–Macaulay, then the maximal degree of a homogeneous minimal generator of the canonical module ω _G(?) is at most g and that of the canonical module ω _R′(?) is at most g ? 1; moreover, R′(?) is Gorenstein if and only if J ^u : F _u  = F _u . We illustrate with various examples cases where G(?) is or is not Gorenstein.     

The Stanley Depth in the Upper Half of the Koszul Complex

Let R = K[X₁, ?c, X_n] be a polynomial ring over some field K. In this article, we prove that the kth syzygy module of the residue class field K of R has Stanley depth n ? 1 for ?n/2? ≤k < n, as it had been conjectured by Bruns et al. in 2010. In particular, this gives the Stanley depth for a whole family of modules whose graded components have dimension greater than 1. So far, the Stanley depth is known only for a few examples of this type. Our proof consists in a close analysis of a matching in the Boolean algebra.     

Formally Real Involutions on Central Simple Algebras

An involution # on an associative ring R is formally real if a sum of nonzero elements of the form r ^# r where r ? R is nonzero. Suppose that R is a central simple algebra (i.e., R = M _n (D) for some integer n and central division algebra D) and # is an involution on R of the form r ^# = a ^?1 r? a, where ? is some transpose involution on R and a is an invertible matrix such that a? = ±a. In Section 1 we characterize formal reality of # in terms of a and ?| _D . In later sections we apply this result to the study of formal reality of involutions on crossed product division algebras. We can characterize involutions on D = (K/F, Φ) that extend to a formally real involution on the split algebra D ? _F K ? M _n (K). Every such involution is formally real but we show that there exist formally real involutions on D which are not of this form. In particular, there exists a formally real involution # for which the hermitian trace form x ? tr(x ^# x) is not positive semidefinite.     

Second Homology Groups and Universal Coverings of Steinberg Leibniz Algebras of Small Characteristic

It is known that the second Leibniz homology group HL ₂ (𝔰𝔱𝔩 _n (R)) of the Steinberg Leibniz algebra 𝔰𝔱𝔩 _n (R) is trivial for n ≥ 5. In this article, we determine HL ₂(𝔰𝔱𝔩 _n (R)) explicitly (which are shown to be not necessarily trivial) for n = 3, 4 without any assumption on the base ring.     

Generic Modules Over a Class of Drinfeld's Quantum Doubles

Let k be a field and A _n (ω) be the Taft's n ²-dimensional Hopf algebras. When n is odd, the Drinfeld quantum double D(A _n (ω)) of A _n (ω) is a Ribbon Hopf algebra. In the previous articles, we constructed an n ⁴-dimensional Hopf algebra H _n (p, q) which is isomorphic to D(A _n (ω)) if p ≠ 0 and q = ω^?1, and studied the finite dimensional representations of H _n (1, q). We showed that the basic algebra of any nonsimple block of H _n (1, q) is independent of n. In this article, we examine the infinite representations of H ₂(1, ? 1), or equivalently of H _n (1, q)?D(A _n (ω)) for any n ≥ 2. We investigate the indecomposable and algebraically compact modules over H ₂(1, ? 1), describe the structures of these modules and classify them under the elementary equivalence.