On the Antipode of a Co-Frobenius (Co)Quasitriangular Hopf Algebra

For H a quasitriangular Hopf algebra, S ², the square of the antipode is the inner automorphism induced by the Drinfeld element u, and S ⁴ is the inner automorphism induced by the grouplike element g = uS(u)^?1. For H finite dimensional, results of Drinfeld and Radford express g in terms of the modular elements of H. This note supplies another proof which replaces the requirement of finite dimensionality with existence of a nonzero integral for H in H*. Similar results hold for the infinite dimensional coquasitriangular case; here we supply some interesting examples.     

Automorphisms of Free Left Nilpotent Leibniz Algebras and Fixed Points

ABSTRACT

Let F _m (N) be the free left nilpotent (of class two) Leibniz algebra of finite rank m, with m ≥ 2. We show that F _m (N) has non-tame automorphisms and, for m ≥ 3, the automorphism group of F _m (N) is generated by the tame automorphisms and one more non-tame IA-automorphism. Let F(N) be the free left nilpotent Leibniz algebra of rank greater than 1 and let G be an arbitrary non-trivial finite subgroup of the automorphism group of F(N). We prove that the fixed point subalgebra F(N) ^G is not finitely generated.     

Universal Associative Envelopes of (n+ 1)-Dimensional n-Lie Algebras

For n even, we prove Pozhidaev's conjecture on the existence of associative enveloping algebras for simple n-Lie (Filippov) algebras. More generally, for n even and any (n + 1)-dimensional n-Lie algebra L, we construct a universal associative enveloping algebra U(L) and show that the natural map L → U(L) is injective. We use noncommutative Gröbner bases to present U(L) as a quotient of the free associative algebra on a basis of L and to obtain a monomial basis of U(L). In the last section, we provide computational evidence that the construction of U(L) is much more difficult for n odd.     

Coordinates and automorphisms of polynomial and free associative algebras of rank three

We study z-automorphisms of the polynomial algebra K[x, y, z] and the free associative algebra K 〈x, y, z〉 over a field K, i.e., automorphisms that fix the variable z. We survey some recent results on such automorphisms and on the corresponding coordinates. For K 〈x, y, z〉 we include also results about the structure of the z-tame automorphisms and algorithms that recognize z-tame automorphisms and z-tame coordinates.      

Derivation Simple Color Algebras and Semisimple Lie Color Algebras

Let K be an algebraically closed field of arbitrary characteristic and Γ an abelian multiplicative group equipped with a bicharacter ε: Γ × Γ → K*. It is proved that, for any finite-dimensional derivation simple color algebra A over K, there exists a simple color algebra S and a color vector space V such that A? S? S^ε(V), where S^ε(V) is the ε-symmetric algebra of V. As an application of this result, a necessary and sufficient condition such that a Lie color algebra is semisimple is obtained.     

On the Cyclic Homology of an Algebra Associated with a Cyclic Quiver and a Monic Polynomial

In this article, we compute the Hochschild homology group of A = KΓ/(f(X ^s )), where KΓ is the path algebra of the cyclic quiver Γ with s vertices and s arrows over a commutative ring K, f(x) is a monic polynomial over K, and X is the sum of all arrows in KΓ. Moreover, we compute the cyclic homology group of A in the case f(x) = (x ? a) ^m , where a ∈ K, so that we can determine the cyclic homology of A in general when K is an algebraically closed field.     

On the negative cyclic homology of <Emphasis Type="Italic">shc</Emphasis>-algebras

Let be a field of characteristic and S ¹ the unit circle. We prove that the shc-structure on a cochain algebra (A,d _A ) induces an associative product on the negative cyclic homology HC _*⁻ A. When the cochain algebra (A,d _A ) is the algebra of normalized cochains of the simply connected topological space X with coefficients in , then HC _*⁻ A is isomorphic as a graded algebra to the S ¹-equivariant cohomology algebra of LX, the free loop space of X. We use the notion of shc-formality introduced in Topology 41, 85–106 (2002) to compute the S ¹-equivariant cohomology algebras of the free loop space of the complex projective space when n + 1 = 0 [p] and of the even spheres S ²ⁿ when p = 2.      

The Bass Conjecture and Group von Neumann Algebras

The precise relationship between the Bass conjecture for the Hattori–Stallings trace for projective ZG-modules and the map from reduced K-theory of ZG to reduced K-theory of the von Neumann algebra, NG, of G, of G is determined. As a consequence it is shown this map is zero for all groups G. It is also shown that the map induced on K-theory from the inclusion of NG to the ring of closed, densely defined operators affiliated to NG is an isomorphism. Together with the above result, this gives some positive evidence for the validity of the Division Ring Conjecture for torsion free groups.     

Identities of PI-Algebras Graded by a Finite Abelian Group

We consider associative PI-algebras over an algebraically closed field of zero characteristic graded by a finite abelian group G. It is proved that in this case the ideal of graded identities of a G-graded finitely generated PI-algebra coincides with the ideal of graded identities of some finite dimensional G-graded algebra. This implies that the ideal of G-graded identities of any (not necessary finitely generated) G-graded PI-algebra coincides with the ideal of G-graded identities of the Grassmann envelope of a finite dimensional (G × ?₂)-graded algebra, and is finitely generated as GT-ideal. Similar results take place for ideals of identities with automorphisms.     

Implicit vector equilibrium problems with applications

Let X and Y be Hausdorff topological vector spaces, K a nonempty, closed, and convex subset of X, C : K → 2^Y a point-to-set mapping such that for any χ ε K, C(χ) is a pointed, closed, and convex cone in Y and int C(χ) ≠ 0. Given a mapping g : K → K and a vector valued bifunction f : K × K → Y, we consider the implicit vector equilibrium problem (IVEP) of finding χ^* ε K such that f g(χ^*), y) -int C(χ) for all y ε K. This problem generalizes the (scalar) implicit equilibrium problem and implicit variational inequality problem. We propose the dual of the implicit vector equilibrium problem (DIVEP) and establish the equivalence between (IVEP) and (DIVEP) under certain assumptions. Also, we give characterizations of the set of solutions for (IVP) in case of nonmonotonicity, weak C-pseudomonotonicity, C-pseudomonotonicity, and strict C-pseudomonotonicity, respectively. Under these assumptions, we conclude that the sets of solutions are nonempty, closed, and convex. Finally, we give some applications of (IVEP) to vector variational inequality problems and vector optimization problems.     

Rational Surfaces with Many Nodes

We describe smooth rational projective algebraic surfaces over an algebraically closed field of characteristic different from 2 which contain n b ₂ –2 disjoint smooth rational curves with self-intersection –2, where b ₂ is the second Betti number. In the last section this is applied to the study of minimal complex surfaces of general type with p _g = 0 and K² = 8, 9 which admit an automorphism of order 2.     

On free products in varieties of associative algebras

Varieties of associative algebras over a field of characteristic zero are considered. Belov recently proved that, in any variety of this kind, the Hilbert series of a relatively free algebra of finite rank is rational. At the same time, for three important varieties, namely, those of algebras with zero multiplication, of commutative algebras, and of all associative algebras, a stronger assertion holds: for these varieties, formulas that rationally express the Hilbert series of the free product algebra via the Hilbert series of the factors are well known. In the paper, a system of counterexamples is presented which shows that there is no formula of this kind in any other variety, even in the case of two factors one of which is a free algebra. However, if we restrict ourselves to the class of graded PI-algebras generated by their components of degree one, then there exist infinitely many varieties for each of which a similar formula is valid. Translated fromMatematicheskie Zametki, Vol. 65, No. 5, pp. 693–702, May, 1999.     

Peak point theorems for uniform algebras on smooth manifolds

It was once conjectured that if A is a uniform algebra on its maximal ideal space X, and if each point of X is a peak point for A, then A = C(X). This peak point conjecture was disproved by Brian Cole in 1968. However, Anderson and Izzo showed that the peak point conjecture does hold for uniform algebras generated by smooth functions on smooth two-manifolds with boundary. The corresponding assertion for smooth three-manifolds is false, but Anderson, Izzo, and Wermer established a peak point theorem for polynomial approximation on real-analytic three-manifolds with boundary. Here we establish a more general peak point theorem for real-analytic three-manifolds with boundary analogous to the two-dimensional result. We also show that if A is a counterexample to the peak point conjecture generated by smooth functions on a manifold of arbitrary dimension, then the essential set for A has empty interior.     

Property (X) for Second-Order Nonlinear Differential Equations of Generalized Euler Type

In this paper the generalized nonlinear Euler differential equation t²k(tu′)u″ + t(f(u)+ k(tu′))u′ + g(u) = 0 is considered. Here the functions f(u), g(u) and k(u) satisfy smoothness conditions which guarantee the uniqueness of solutions of initial value problems, however, no conditions of sub(super) linearity are assumed. We present some necessary and sufficient conditions and some tests for the equivalent planar system to have or fail to have property (X⁺), which is very important for the existence of periodic solutions and oscillation theory.     

The derivation algebra of the associative algebra C q [X,Y,X -1,Y -1] *

The derivation algebra Lof the associative algebra C_q[X,Y,X ^-1,Y ^-1] (q ⁿ :≠1,n∈ N)and the automorphism group Aut Lof L are given.     

Polynomial Identities of RA and RA2 Loop Algebras

Let F be an algebraically closed field of characteristic zero and L an RA loop. We prove that the loop algebra FL is in the variety generated by the split Cayley–Dickson algebra Z _F over F. For RA2 loops of type M(Dih(A), ^?1,g ₀), we prove that the loop algebra is in the variety generated by the algebra  ₃ which is a noncommutative simple component of the loop algebra of a certain RA2 loop of order 16. The same does not hold for the RA2 loops of type M(G, ^?1,g ₀), where G is a non-Abelian group of exponent 4 having exactly 2 squares.     

Second-Order Epi-Derivatives of Composite Functionals

We compute two-sided second-order epi-derivatives for certain composite functionals f=gF where F is a C ¹ mapping between two Banach spaces X and Y, and g is a convex extended real-valued function on Y. These functionals include most essential objectives associated with smooth constrained minimization problems on Banach spaces. Our proof relies on our development of a formula for the second-order upper epi-derivative that mirrors a formula for a second-order lower epi-derivative from [7], and the two-sided results we obtain promise to support a more precise sensitivity analysis of parameterized optimization problems than has been previously possible.