Vanishing Derivations and Co-Centralizing Generalized Derivations on Multilinear Polynomials in Prime Rings

Let R be a noncommutative prime ring of characteristic different from 2 with Utumi quotient ring U and extended centroid C, and f(x₁,…, x_n) be a multilinear polynomial over C, which is not central valued on R. Suppose that F and G are two generalized derivations of R and d is a nonzero derivation of R such that d(F(f(r))f(r) ? f(r)G(f(r))) = 0 for all r = (r₁,…, r_n) ∈ Rⁿ, then one of the following holds:

1. There exist a, p, q, c ∈ U and λ ∈C such that F(x) = ax + xp + λx, G(x) = px + xq and d(x) = [c, x] for all x ∈ R, with [c, a ? q] = 0 and f(x₁,…, x_n)² is central valued on R;

2. There exists a ∈ U such that F(x) = xa and G(x) = ax for all x ∈ R;

3. There exist a, b, c ∈ U and λ ∈C such that F(x) = λx + xa ? bx, G(x) = ax + xb and d(x) = [c, x] for all x ∈ R, with b + αc ∈ C for some α ∈C;

4. R satisfies s₄ and there exist a, b ∈ U and λ ∈C such that F(x) = λx + xa ? bx and G(x) = ax + xb for all x ∈ R;

5. There exist a′, b, c ∈ U and δ a derivation of R such that F(x) = a′x + xb ? δ(x), G(x) = bx + δ(x) and d(x) = [c, x] for all x ∈ R, with [c, a′] = 0 and f(x₁,…, x_n)² is central valued on R.

     

Asymptotics for Solutions of Elliptic Equations in Double Divergence Form

We consider weak solutions of an elliptic equation of the form ? _i ? _i (a _ij u) = 0 and their asymptotic properties at an interior point. We assume that the coefficients are bounded, measurable, complex-valued functions that stabilize as x → 0 in that the norm of the matrix (a _ij (x) ? δ _ij ) on the annulus B _2r \ B _r is bounded by a function Ω(r), where Ω²(r) satisfies the Dini condition at r = 0, as well as some technical monotonicity conditions; under these assumptions, solutions need not be continuous. Our main result is an explicit formula for the leading asymptotic term for solutions with at most a mild singularity at x = 0. As a consequence, we obtain upper and lower estimates for the L ^p -norm of solutions, as well as necessary and sufficient conditions for solutions to be bounded or tend to zero in L ^p -mean as r → 0.     

On Some Optimal Constructions of Chess Tournament Combinations

An optimal solution for the following “chess tournament” problem is given. Let n, r be positive integers such that r<n. Put N=2n, R=2r+1. Let X_N,R be the set of all ordered pairs (T, A) of matrices of degree N such that T=(t_ij) is symmetric, A=(a_ij) is skew-symmetric, t_ij ∈,{0, 1, 2,…, R), a_ij ∈{0,1,–1}. Moreover, suppose t_ii=a_ii=0 (1?i?N). t_ij = t_ik>0 implies j=k, t_ij=0 is equivalent to a_ij=0, and |a_i1|+|a_i2|+…+|a_iN|=R (1?i?N). Let p(T, A) be the number of i such that 1?i?N and a_i1 + a_i2 + … + a_iN >0. The main result of this note is to show that max p(T, A) for (T, A)∈X_{N, R} is equal to [n(2r+1)/(r+1)], and a pair (T₀, A₀) satisfying p(T₀, A₀)=[n(2r+1)/(r+1)] is also given.     

Strict Dead-End Elements in Free Soluble Groups

Let G be a group generated by a finite set A. An element g ∈ G is a strict dead end of depth k (with respect to A) if |g|>|ga ₁|>|ga ₁ a ₂|>···>|ga ₁ a ₂… a _k | for any a ₁, a ₂,…, a _k  ∈ A ^±1 such that the word a ₁ a ₂… a _k is freely irreducible. (Here |g| is the distance from g to the identity in the Cayley graph of G.) We show that in finitely generated free soluble groups of degree d ≥ 2 there exist strict dead elements of depth k = k(d), which grows exponentially with respect to d.     

Sufficient Condition to Resolve Costa's First Conjecture

In this work, we give a sufficient condition to resolve Costa's first conjecture for each positive integer n and d with n ≥ 4. Precisely, we show that if there exists a local ring (A, M) such that λ _A (M) = n, and if there exists an (n + 2)-presented A-submodule of M ^m , where m is a positive integer (for instance, if M contains a regular element), then we may construct an example of (n + 4, d)-ring which is neither an (n + 3, d)-ring nor an (n + 4, d ? 1)-ring. Finally, we construct a local ring (B, M) such that λ _B (M) = 0 (resp., λ _B (M) = 1) and so we exhibit for each positive integer d, an example of a (4, d)-ring (resp., (5, d)-ring) which is neither a (4, d ? 1)-ring (resp., neither a (5, d ? 1)-ring) nor a (2, d′)-ring (resp., nor a (3, d′)-ring) for each positive integer d′.     

Dynamics of a family of piecewise-linear area-preserving plane maps III. Cantor set spectra

This paper studies the behavior under iteration of the maps T _ab (x,y) = (F _ab (x) ? y, x) of the plane ?², in which F _ab (x) = ax if x ≥ 0 and bx if x < 0. These maps are area-preserving homeomorphisms of ?² that map rays from the origin to rays from the origin. Orbits of the map correspond to solutions of the nonlinear difference equation x _n+2 = 1/2(a ? b)|x _n+1|+1/2(a+b)x _n+1 ? x _n . This difference equation can be rewritten in an eigenvalue form for a nonlinear difference operator of Schrödinger type ? x _n+2+2x _n+1 ? x _n +V _μ(x _n+1)x _n+1 = Ex _n+1, in which μ = (1/2)(a ? b) is fixed, and V _μ(x) = μ(sgn(x)) is an antisymmetric step function potential, and the energy E = 2 ? 1/2(a+b). We study the set Ω _SB of parameter values where the map T _ab has at least one bounded orbit, which correspond to l _∞-eigenfunctions of this difference operator. The paper shows that for transcendental μ the set Spec_∞[μ] of energy values E having a bounded solution is a Cantor set. Numerical simulations suggest the possibility that these Cantor sets have positive (one-dimensional) measure for all real values of μ.     

Real Zeros of Algebraic Polynomials with Dependent Random Coefficients

The expected number of real zeros of polynomials a ₀ + a ₁ x + a ₂ x ² +…+a _n?1 x ^n?1 with random coefficients is well studied. For n large and for the normal zero mean independent coefficients, irrespective of the distribution of coefficients, this expected number is known to be asymptotic to (2/π)log n. For the dependent cases studied so far it is shown that this asymptotic value remains O(log n). In this article, we show that when cov(a _i , a _j ) = 1 ? |i ? j|/n, for i = 0,…, n ? 1 and j = 0,…, n ? 1, the above expected number of real zeros reduces significantly to O(log n)^1/2.     

Quasi-Armendariz Rings Relative to a Monoid

A ring R is called an M-quasi-Armendariz ring (a quasi-Armendariz ring relative to a monoid M) if whenever elements α = a ₁ g ₁ + a ₂ g ₂ + ··· + a _n g _n , β = b ₁ h ₁ + b ₂ h ₂ + ··· + b _m h _m  ? R[M] satisfy α R[M]β = 0, then a _i Rb _j  = 0 for each i, j. After discussing some basic properties of M-quasi-Armendariz rings, we consider the influence of transformation of the monoid M and the ring R on this property. Particularly, we give some sufficient conditions for the monoids M, N, and the ring R under which R is M × N-quasi-Armendariz if and only if R is M-quasi-Armendariz and N-quasi-Armendariz.     

On Composition series relative to a module

ABSTRACT

A commutative algebra with the identity (a * b) * (c * d) ? (a * d) * (c * b) = (a, b, c) * d ? (a, d, c) * b is called Novikov–Jordan. Example: K[x] under multiplication a * b = ?(ab) is Novikov–Jordan. A special identity for Novikov–Jordan algebras of degree 5 is constructed. Free Novikov–Jordan algebras with q generators are exceptional for any q ≥ 1.

     

Some Results for Decomposition Numbers for the Hecke Algebra of Type A with q = −1

Let ? = ?_{?, ?1}(𝔖 _n ) be the Hecke algebra of the symmetric group 𝔖 _n . For partitions λ and ν with ν 2 ? regular, define the Specht module S(λ) and the irreducible module D(ν). Define d _λν = [S(λ): D(ν)] to be the composition multiplicity of D(ν) in S(λ). In this paper we compute the decomposition numbers d _λν for all partitions of the form λ = (a, c, 1 ^b ) and ν 2 ? regular.     

Power Values of Derivations with Annihilator Conditions on Lie Ideals in Prime Rings

Let R be a prime ring of char R ≠ 2, d a nonzero derivation of R, U a noncentral Lie ideal of R, and a ∈ R. If au ^{n ₁} d(u) ^{n ₂} u ^{n ₃} d(u) ^{n ₄} u ^{n ₅} … d(u) ^{n _k?1} u ^{n _k}  = 0 for all u ∈ U, where n ₁, n ₂,…,n _k are fixed non-negative integers not all zero, then a = 0 and if a(u ^s d(u)u ^t ) ⁿ  ∈ Z(R) for all u ∈ U, where s ≥ 0, t ≥ 0, n ≥ 1 are some fixed integers, then either a = 0 or R satisfies S ₄, the standard identity in four variables.     

The Incidence Divisor of Cycles in Projective Space

For nonnegative integers a, b with a + b + 1 = n, we show the incidence locus has the structure of an effective Cartier divisor in the product of Chow varieties 𝒞 _a (? ⁿ ) × 𝒞 _b (? ⁿ ).     

Almost Prüfer v-Multiplication Domains and Related Domains of the Form D + D S [Γ*]

Let D be an integral domain, S be a (saturated) multiplicative subset of D such that D ? D _S , Γ be a numerical semigroup with Γ ? ?₀, Γ* = Γ?{0}, X be an indeterminate over D, D + XD _S [X] = {a + Xg ∈ D _S [X]∣a ∈ D and g ∈ D _S [X]}, and D + D _S [Γ*] = {a + f ∈ D _S [Γ]∣a ∈ D and f ∈ D _S [Γ*]}; so D + D _S [Γ*] ? D + XD _S [X]. In this article, we study when D + D _S [Γ*] is an APvMD, an AGCD-domain, an AS-domain, an AP-domain, or an AB-domain.     

Toric Rings Arising from Cyclic Polytopes

Let d and n be positive integers with n ≥ d + 1 and 𝒫 ? ? ^d an integral cyclic polytope of dimension d with n vertices, and let K[𝒫] = K[?_≥0𝒜_𝒫] denote its associated semigroup K-algebra, where 𝒜_𝒫 = {(1, α) ∈ ? ^d+1: α ∈ 𝒫} ∩ ? ^d+1 and K is a field. In the present paper, we consider the problem when K[𝒫] is Cohen–Macaulay by discussing Serre's condition (R ₁), and we give a complete characterization when K[𝒫] is Gorenstein. Moreover, we study the normality of the other semigroup K-algebra K[Q] arising from an integral cyclic polytope, where Q is a semigroup generated by its vertices only.     

Left Annihilators of Commutators with Derivation on Right Ideals

Abstract

Let R be a prime ring of characteristic different from 2, d a non-zero derivation of R, I a non-zero right ideal of R, a ∈ R, S ₄(x ₁,…, x ₄) the standard polynomial in 4 variables. Suppose that, for any x, y ∈ I, a[d([x, y]), [x, y]] = 0. If S ₄(I, I, I, I)I ≠ 0, then aI = ad(I) = 0.     

On Singular Varieties Having an Extremal Secant Line

ABSTRACT

Let X be a nondegenerate subvariety of degree d and codimension e in the projective space ? ⁿ . If X is smooth, any multisecant line to X cuts X along a 0-dimensional scheme of length at most d ? e + 1. Moreover, smooth varieties X having a (d ? e + 1)-secant line (an extremal secant line) have been completely classified, extending del Pezzo and Bertini classification of varieties of minimal degree. In this article, we almost completely classify possibly singular varieties having an extremal secant line, without any assumptions on the singularities of X. First, we show that, if e ≠ 2, a multisecant line to X meets X along a 0-dimensional scheme of length at most d ? e + 1. Then, we completely classify singular varieties having a (d ? e + 1)-secant line for e ≠ 3. A partial result is provided in case e = 3.     

Algebraic Versus Homological Equivalence for Singular Varieties

Let Y ? ?^N be a possibly singular projective variety, defined over the field of complex numbers. Let X be the intersection of Y with h general hypersurfaces of sufficiently large degrees. Let d > 0 be an integer, and assume that dimY = n + h and dimY_sing ≤ min {d + h ? 1, n ? 1}. Let Z be an algebraic cycle on Y of dimension d + h, whose homology class in H_2(d+h)(Y; ?) is nonzero. In the present article, we prove that the restriction of Z to X is not algebraically equivalent to zero. This is a generalization to the singular case of a result due to Nori in the case Y is smooth. As an application we provide explicit examples of singular varieties for which homological equivalence is different from the algebraic one.     

A New Approach to the Creation and Propagation of Exponential Moments in the Boltzmann Equation

We study the creation and propagation of exponential moments of solutions to the spatially homogeneous d-dimensional Boltzmann equation. In particular, when the collision kernel is of the form |v ? v _*|^β b(cos (θ)) for β ∈ (0, 2] with cos (θ) = |v ? v _*|^?1(v ? v _*)·σ and σ ∈ 𝕊 ^d?1, and assuming the classical cut-off condition b(cos (θ)) integrable in 𝕊 ^d?1, we prove that there exists a > 0 such that moments with weight exp (amin {t, 1}|v|^β) are finite for t > 0, where a only depends on the collision kernel and the initial mass and energy. We propose a novel method of proof based on a single differential inequality for the exponential moment with time-dependent coefficients.