Irreducible actions and faithful actions of hopf algebras

LetH be a Hopf algebra acting on an algebraA. We will examine the relationship betweenA, the ring of invariantsA ^H, and the smash productA # H. We begin by studying the situation whereA is an irreducibleA # H module and, as an application of our first main theorem, show that ifD is a division ring then [D : D ^H]≦dimH. We next show that prime rings with central rings of invariants satisfy a polynomial identity under the action of certain Hopf algebras. Finally, we show that the primeness ofA # H is strongly related to the faithfulness of the left and right actions ofA # H onA. The first author was supported by the Faculty Research and Development Fund of the College of Liberal Arts and Sciences and the University Research Council at DePaul University and NSF Grant No. 8521704. He also wishes to thank Ben Gurion University for its hospitality, where much of this work was done. The second and third authors were supported by the Fund for Basic Research administered by the Israel Academy of Sciences and Humanities. Part of this author’s contribution is included in her Ph.D. thesis at Ben Gurion University under the supervision of the second author.     

On Algebras of Skew Polynomials Generated by Quadratic Homogeneous Relations

We consider the algebras, with two generators a and b, generated by the quadratic relations ba = α² + βab + γb², where the coefficients α, β, and γ belong to an arbitrary field F of characteristic 0. We find conditions for such an algebra to be expressed as a skew polynomial algebra with generator b over the polynomial ring F [a]. These conditions are equivalent to the existence of the Poincaree-Birkhoff-Witt basis, i. e., basis of the form {a^m, bⁿ}. Bibliography: 16 titles.__________Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 301, 2003, pp. 144–171.     

A solution to a problem of Cameron on sum-free complete sets

For any subsets A and B of an additive group G, define A + B = { a + b: a ε A and b ε B} and −A = {−a: a ε A}. A subset S of G is said to be sum-free, complete, and symmetric respectively if S + S S^c, S + S S^c, and S = −S. Cameron asked if for all sufficiently large moduli m there exists a sum-free complete set in Z/mZ that is not symmetric. We answer Cameron's question by showing there exists such a set for all moduli greater than or equal to 890626. We also show that every sum-free complete set in Z/mZ that is not symmetric can be used to construct a counter-example to a conjecture of Conway disproved by Marica. Conway conjectured that for any finite set S of integers, |S + S| |S --- S|.     

Graded rings and essential ideals

LetG be a group andA aG-graded ring. A (graded) idealI ofA is (graded) essential ifI⊃J≠0 wheneverJ is a nonzero (graded) ideal ofA. In this paper we study the relationship between graded essential ideals ofA, essential ideals of the identity componentA _e and essential ideals of the smash productA#G ^*. We apply our results to prime essential rings, irredundant subdirect sums and essentially nilpotent rings.     

Some remarks on derivations in Banach algebras and related results

Summary In the first section of this paper we consider some functional equations which are closely connected to derivations (i.e. additive mappings with the propertyD(ab) = aD(b) + D(a)b) on Banach algebras. IfD is a derivation on some algebraA, then the equationD(a) = – aD(a ^–1 )a holds for all invertible elementsa A. It seems natural to ask whether this functional equation characterizes derivations among all additive mappings. It is too much to expect an affirmative answer to this question in arbitrary algebras, since it may happen that even in normed algebras the group of all invertible elements contains only scalar multiples of the identity. We try to answer the question above in Banach algebras, since in Banach algebras invertible elements exist in abundance. In the second section of the paper we prove some results concerning representability of quadratic forms by bilinear forms.     

MP-injective rings and MGP-injective rings

A ring R is said to be right MP-injective if every monomorphism from a principal right ideal to R extends to an endomorphism of R. A ring R is said to be right MGP-injective if, for any 0 ≠ a ∈ R, there exists a positive integer n such that a ⁿ ≠ 0 and every monomorphism from a ⁿ R to R extends to R. We shall study characterizations and properties of these two classes of rings. Some interesting results on these rings are obtained. In particular, conditions under which right MGP-injective rings are semisimple artinian rings, von Neumann regular rings, and QF-rings are given.     

Torseurs sous une variété abélienne sur R((t))

Let V be an henselian discrete valuation ring with real closed residue field and let k be its quotient ring; we denote by k ⁺ and k ⁻ the two real closures of k. Consider a k-abelian variety A. We compute the Galois-cohomology group H ¹(k,A) in terms of the reduction of the dual variety of A and of the semi-algebraic topology of A(k ⁺) and A(k ⁻). The tools we need are Ogg's results concerning valuation rings with algebraically closed residue field, Hochschild–Serre spectral sequence and Scheiderer's local-global principles. At the end we study more precisely the case of an elliptic curve. Received: 23 October 2000     

A game-theoretic equivalence to the Hahn-Banach theorem

Let Γ_X() = X, A (X), υ be a cooperative von Neumann game with side payments, where X is a nonempty set of arbitrary cardinality, A(X) the Boolean ring generated from P(X) with the operations Δ and ∩ for addition and multiplication, respectively, such that S² =S for all S ε A (X), and with ;() = 0. The Shapley-Bondareva-Schmeidler Theorem, which states that a game of the form Γ_X() = X, A (X), is weak if and only if the core of Γ_X(),ζ(Γ_X()), is normal, may be regarded as the fundamental theorem for weak cooperative games with side-payments. In this paper we use an ultrapower construction on the reals, , to summarize a common mathematical theme employed in various constructions used to establish the Shapley-Bondareva-Schmeidler Theorem in the literature (Dalbaen, 1974; Kannai, 1969; Schmeidler, 1967, 1972). This common mathematical theme is that the space L, comprised of finite, real linear combinations of the collection of functions, {χ_a : a ε A (X)}, possesses a certain extension property that is intimately related to the Hahn-Banach Theorem of functional analysis. A close inspection of the extension property reveals that the Shapley-Bondareva-Schmeidler Theorem is in fact equivalent to the Hahn-Banach Theorem.     

Topological *-algebras withC*-enveloping algebras II

UniversalC*-algebrasC*(A) exist for certain topological *-algebras called algebras with aC*-enveloping algebra. A Frechet *-algebraA has aC*-enveloping algebra if and only if every operator representation ofA mapsA into bounded operators. This is proved by showing that every unbounded operator representation π, continuous in the uniform topology, of a topological *-algebraA, which is an inverse limit of Banach *-algebras, is a direct sum of bounded operator representations, thereby factoring through the enveloping pro-C*-algebraE(A) ofA. Given aC*-dynamical system (G,A,α), any topological *-algebraB containingC _c (G,A) as a dense *-subalgebra and contained in the crossed productC*-algebraC*(G,A,α) satisfiesE(B) =C*(G,A,α). IfG = ℝ, ifB is an α-invariant dense Frechet *-subalgebra ofA such thatE(B) =A, and if the action α onB ism-tempered, smooth and by continuous *-automorphisms: then the smooth Schwartz crossed productS(ℝ,B,α) satisfiesE(S(ℝ,B,α)) =C*(ℝ,A,α). WhenG is a Lie group, theC ^∞-elementsC ^∞(A), the analytic elementsC ^ω(A) as well as the entire analytic elementsC ^є(A) carry natural topologies making them algebras with aC*-enveloping algebra. Given a non-unitalC*-algebraA, an inductive system of idealsI _α is constructed satisfyingA =C*-ind limI _α; and the locally convex inductive limit ind limI _α is anm-convex algebra with theC*-enveloping algebraA and containing the Pedersen idealK _a ofA. Given generatorsG with weakly Banach admissible relationsR, we construct universal topological *-algebraA(G, R) and show that it has aC*-enveloping algebra if and only if (G, R) isC*-admissible.     

Distributive semiprime rings

It is proved that a right distributive semiprime PI ringA is a left distributive ring and for each elementx ∈A there is a positive integern such thatx ⁿ A=Ax ⁿ . We describe both right distributive right Noetherian rings algebraic over the center of the ring and right distributive left Noetherian PI rings. We also characterize rings all of whose Pierce stalks are right chain right Artin rings. Translated fromMatematicheskie Zametki, Vol. 58, No. 5, pp. 736–761, November, 1995.     

Laurent rings

This is a study of ring-theoretic properties of a Laurent ring over a ring A, which is defined to be any ring formed from the additive group of Laurent series in a variable x over A, such that left multiplication by elements of A and right multiplication by powers of x obey the usual rules, and such that the lowest degree of the product of two nonzero series is not less than the sum of the lowest degrees of the factors. The main examples are skew-Laurent series rings A((x; ϕ)) and formal pseudo-differential operator rings A((t ⁻¹; δ)), with multiplication twisted by either an automorphism ϕ or a derivation δ of the coefficient ring A (in the latter case, take x = t ⁻¹). Generalized Laurent rings are also studied. The ring of fractional n-adic numbers (the localization of the ring of n-adic integers with respect to the multiplicative set generated by n) is an example of a generalized Laurent ring. Necessary and/or sufficient conditions are derived for Laurent rings to be rings of various standard types. The paper also includes some results on Laurent series rings in several variables. __________ Translated from Fundamentalnaya i Prikladnaya Matematika, Vol. 12, No. 3, pp. 151–224, 2006.     

On the generalized Lie structure of associative algebras

We study the structure of Lie algebras in the category ^H MA ofH-comodules for a cotriangular bialgebra (H, 〈|〉) and in particular theH-Lie structure of an algebraA in ^H MA. We show that ifA is a sum of twoH-commutative subrings, then theH-commutator ideal ofA is nilpotent; thus ifA is also semiprime,A isH-commutative. We show an analogous result for arbitraryH-Lie algebras whenH is cocommutative. We next discuss theH-Lie ideal structure ofA. We show that ifA isH-simple andH is cocommutative, then any non-commutativeH-Lie idealU ofA must contain [A, A]. IfU is commutative andH is a group algebra, we show thatU is in the graded center ifA is a graded domain. Dedicated to the memory of S. A. Amitsur Supported by a Fulbright grant. Supported by NSF grant DMS-9203375.     

Endpoint estimates for Riesz transforms of magnetic Schrödinger operators

Let $A=-(\nabla-i\vec{a})^2+VLet be a magnetic Schr?dinger operator acting on L ²(R ⁿ ), n≥1, where and 0≤V∈L ¹ _loc. Following [1], we define, by means of the area integral function, a Hardy space H ¹ _A associated with A. We show that Riesz transforms (∂/∂x _k -i a _k )A ^-1/2 associated with A, , are bounded from the Hardy space H ¹ _A into L ¹. By interpolation, the Riesz transforms are bounded on L ^p for all 1<p≤2.     

On the algebraic independence in the selberg class

We prove that a functionF of the Selberg class ℐ is ab-th power in ℐ, i.e.,F=H ^b for someHσ ℐ, if and only ifb divides the order of every zero ofF and of everyp-componentF _p. This implies that the equationF ^a=G^b with (a, b)=1 has the unique solutionF=H ^b andG=H ^a in ℐ. As a consequence, we prove that ifF andG are distinct primitive elements of ℐ, then the transcendence degree of ℂ[F,G] over ℂ is two.     

Pointwise bounds on eigenfunctions and wave packets in N-body quantum systems. VI. Asymptotics in the two-cluster region

We study the asymptotic behavior of the ground-state wave function of multiparticle quantum systems without statistics in that region of configuration space where the particles break up into two well-defined clusters very far apart. One example of our results is the following: consider a system of N particles moving in three dimensions with rotationally invariant two-body potentials which are bounded and have compact support. Let D = C₁,C₂ be a partition into two clusters so that H(C₁) and H(C₂) have discrete ground states η₁ and η₂ of energy ε₁ and ε₂. Suppose that Σ = ε₁ + ε₂ = inf σ_ess(H) and that H has a discrete ground state of energy E. Let ζ₁and ζ₂ denote internal coordinates for the clusters C₁ and c₂ and let R be the difference of the centers of mass of the clusters. Let μ = M₁M₂/M₁ + M₂with M_i the mass of clusters C_i and define k by k²/2m = Σ-E. Then as R → a8 with ¦ζ_i¦ bounded, we prove that (ζ₁,ζ₂, R) = cη(ζ₁)η(ζ₂)e^−kRR⁻¹(1+O(e^−γR)) for some γ, c > 0. We prove weaker conclusions under weaker hypotheses, including results in the atomic case.     

Algebras of p-Groups of Class 2 Over the Rationals

In this work we analyze p-groups of class 2 G and H, with same rational group algebras. We prove that if QG = QH, then their commutators are equal and the centers, 𝒵(G) and 𝒵(H), have their orders preserved. We apply our results to Frattini Central p-groups, and we present an example of two groups of order p ⁷, with no isomorphic centers and different central cyclic components intersecting the cyclic components of the respective commutators groups.     

Brown representability for the dual

Let T be the homotopy category of all spectra. Brown proved that a homological functor H: T ^{o p} → Ab is representable if it takes coproducts to products. That is, the functors [−,h] may be characterised as the homological functors taking coproducts to products. In this article, we will prove the dual. A covariant functor H:T → Ab which takes products to products is representable; it is of the form [h,−]. Oblatum 10-VII-1997 & 23-VII-1997     

Calcul Fonctionnel Holomorphe Global Unicité et Invariance Par Les Homomorphismes D’algebres de Banach

LetA be a commutative Banach algebra with unit. Denote byX _A, the global spectrum ofA. There is a holomorphic functional calculusθ _A:O(X _A)→A such thatθ _A(a)=a. In this paper, we show the uniqueness of the global holomorphic functional calculus and we establish its compatibility with Banach algebra morphisms. We also extend this holomorphic functional calculus to the case ofImc algebras.