Hopf algebra actions

Finite groups acting on rings by automorphisms, and group-graded rings are instances of Hopf algebras H acting on H-module algebras A. We study such actions. Let A^H = {a ε A¦h · A = (h) a, all h ε H}, the ring of H-invariants, and form the smash product A # H. We study the ring extensions A^H A A # H. We prove a Maschke-type theorem for A # H-modules. We form an associated Morita context [A^H, A, A, A # H] and use these to get connections between the various rings.     

On the Classification of Twisting Maps Between Kn and Km

We define the notion of admissible pair for an algebra A, consisting on a couple (Γ, R), where Γ is a quiver and R a unital, splitted and factorizable representation of Γ, and prove that the set of admissible pairs for A is in one to one correspondence with the points of the variety of twisting maps T_Aⁿ:=T(Kⁿ,A)\mathcal{T}_A^n:=\mathcal{T}(K^n,A). We describe all these representations in the case A = K ^m .     

Symmetric cohomology of groups in low dimension

We give an explicit characterization for group extensions that correspond to elements of the symmetric cohomology HS ²(G, A). We also give conditions for the map HS ⁿ (G, A) → H ⁿ (G, A) to be injective.     

Nijenhuis structures on Courant algebroids

We study Nijenhuis structures on Courant algebroids in terms of the canonical Poisson bracket on their symplectic realizations. We prove that the Nijenhuis torsion of a skew-symmetric endomorphism N of a Courant algebroid is skewsymmetric if N ² is proportional to the identity, and only in this case when the Courant algebroid is irreducible. We derive a necessary and sufficient condition for a skewsymmetric endomorphism to give rise to a deformed Courant structure. In the case of the double of a Lie bialgebroid (A, A*), given an endomorphism N of A that defines a skew-symmetric endomorphism N of the double of A, we prove that the torsion ofN is the sum of the torsion of N and that of the transpose of N.     

Absolute Valued Algebras Satisfying ( x 2, x 2, x 2) = 0

Abstract

Let A be an absolute valued algebra. We prove that if A satisfies the identity (x ², x ², x ²) = 0 for all x in A, and contains a central idempotent e, that is ex = xe for all x in A, then A is finite dimensional. This result enables us to prove that if A satisfies (x ², x ², x ²) = 0 and admits an involution then A is finite dimensional. To show that our assumptions on A are essential we recall that in El-Mallah [El-Mallah, M. L. (1988). Absolute valued algebras with an involution. Arch. Math. 51:39–49] it was shown that the existence of a central idempotent in A is not a sufficient condition for A to be finite dimensional; and the example given in El-Mallah [El-Mallah, M. L. (2003). Semi-algebraic absolute valued algebras with an involution. Comm. Algebra 31(7):3135–3141] shows that there exist infinite dimensional semi-algebraic absolute valued algebras satisfying the identity (x ², x ², x ²) = 0.     

Improving Hadamard's inequality *

We study several bounds for the determinant of an n × n positive definite Hermitian matrix A. These bounds are the best possible given certain data about A. We find the best bounds in the cases that we are given: (i) the diagonal elements of A: (ii) the traces trA,tr A ² and n and (iii)n, tr A tr A ² and the diagonal elements of A. In case (i) we get the well known Hadamard inequality. The other bounds are Hadamard type bounds. The bounds are found using optimization techniques.     

Categorical and Simplicial Constructions and Dualization in Algebraic K-Theory

Given an exact category A, we introduce a bisimplicial set W A, which is self-dual and contains both the G-construction of A and its dualization. We prove that the embeddings of G.A and G ^op .A into W A are homotopy equivalences. If A is an exact category with duality, we calculate the induced action of duality on K ₁ (A). We also survey on the self-duality property of some known constructions.     

Grassmannians of 2-Sided Vector Spaces

Let k ? K be an extension of fields, and let A ? M _n (K) be a k-algebra. We study parameter spaces of m-dimensional subspaces of K ⁿ which are invariant under A. The space  _A (m, n), whose R-rational points are A-invariant, free rank m summands of R ⁿ , is well known. We construct a distinct parameter space,  _A (m, n), which is a fiber product of a Grassmannian and the projectivization of a vector space. We then study the intersection  _A (m, n) ∩  _A (m, n), which we denote by  _A (m, n). Under suitable hypotheses on A, we construct affine open subschemes of  _A (m, n) and  _A (m, n) which cover their K-rational points. We conclude by using  _A (m, n),  _A (m, n), and  _A (m, n) to construct parameter spaces of 2-sided subspaces of 2-sided vector spaces.     

Separating sets by Darboux Baire 1 and approximately continuous functions

We characterize sets A₀, A₁ for which there is a DB1 function f with [f = 0] = A₀ and [f = 1] = A₁. This characterization is a conjunction of necessary conditions for Darboux and for Baire 1 functions. We also characterize sets A^?, A⁺ for which there is a DB₁ function with [f < 0] = A^? and [f > 0] = A⁺. The same characterzations are provided for approximately continuous functions.     

Singular continuous spectrum under rank one perturbations and localization for random hamiltonians

We consider a selfadjoint operator, A, and a selfadjoint rank-one projection, P, onto a vector, φ, which is cyclic for A. In terms of the spectral measure dμ^A_φ, we give necessary and sufficient conditions for A + λ P to have empty singular continuous spectrum or to have only point spectrum for a.e. λ. We apply these results to questions of localization in the one- and multi-dimensional Anderson models.     

On the convex hull of the multiform numerical range

Let A ₁,…,A_m be nxn hermitian matrices. Definine

W(A ₁,…,A_m )={(xA₁x ^?,…xA_mx ^?):x?C ⁿ ,xx ^?=1}. We will show that every point in the convex hull of W(A ₁,…,A_m ) can be represented as a convex combination of not more than k(m,n) points in W(A ₁,…,A_m ) where k(m,n)=min{n,[√m]+δ _n ² _m+1}.     

The Solutions of a Model Nonlinear Singular Perturbation Problem Having A Continuous Locus of Singular Points

Consider the boundary value problem εy″ =(y² ? t²)y′, ?1 ?t?0, y(?1) = A, y(0) = B. We discuss the multiplicity of solutions and their limiting behavior as ε→+0+ for certain choices of A and B. In particular, when A = 1, B = 0, a bifurcation analysis gives a detailed and fairly complete analysis. The interest here arises from the complexity of the set of "turning points."     

On the first Hochschild cohomology group of an algebra

Let A≡KΔ /I be a factor of a path algebra. We develop a strategy to compute dim H ¹(A), the dimension of the first Hochschild cohomology group of A, using combinatorial data from (Δ,I). That allows us to connect dim H ¹(A) with the rank and p-rank of the fundamental group π₁(Δ,I) of (Δ,I). We get explicit formulae for dim H ¹(A), when every path in Δ parallel to an arrow belongs to I or when I is homogeneous. Received: 12 April 1999 / Revised version: 9 October 2000     

Strongly almost convergent generalized difference sequences associated with multiplier sequences

Let Λ = (λ _k ) be a sequence of non-zero complex numbers. In this paper we introduce the strongly almost convergent generalized difference sequence spaces associated with multiplier sequences i.e. w ₀[A,Δ ^m ,Λ,p], w ₁[A,Λ ^m ,Λ,p], w _∞[A,Δ ^m ,Λ,p] and study their different properties. We also introduce Δ _Λ ^m -statistically convergent sequences and give some inclusion relations between w ₁[Δ ^m ,λ,p] convergence and Δ _Λ ^m -statistical convergence. Communicated by Pavel Kostyrko     

Azumaya Extensions and Galois Correspondence

For H a finite-dimensional Hopf algebra over a field k, we study H*-Galois Azumaya extensions A, i.e., A is an H-module algebra which is H*-Galois with A/A^H separable and A^H Azumaya. We prove that there is a Galois correspondence between a set of separable subalgebras of A and a set of separable subalgebras of C_A(A^H), thus generalizing the work of Alfaro and Szeto for H a group algebra. We also study Galois bases and Hirata systems.1991 Mathematics Subject Classification: 16W30, 16H05     

New associative and nonassociative Gelfand-Naimark theorems

We prove that, ifA is a complex Banach algebra with a unit 1 and a conjugate-linear vector space involution^* such that 1^*=1 and‖a ^*a‖=‖a^*‖ ‖a‖ for alla inA, and ifdim(A)≥3, thenA is a C^*-algebra. The two-dimensional case is also considered and described.     

Inversion of a theorem on action of analytic functions and multiplicative properties of some subclasses of the hardy space H∞

In this paper, function spaces V∩l _A ^p (w) are considered in the context of their multiplicative structure. The space V is determined by conditions on the values of a function in a disk (for example, C_A,Lip _Aα). We denote by l _A ^p (w) the space of power series such that their Taylor coefficients are p-summable with weight w. For an analytic function Φ acting in a space of this type, we prove the following alternative: either Φ″(z)≡0, or the space is a Banach algebra with respect to pointwise multiplication. For a wide class of weights w, we establish the continuity of the identity embeddingmult(V∩l _A ^p (w))↪multl _A ^p . An estimate for the l^p-multiplicative norm of random polynomials is found. This estimate can be considered as an extension of the known result by Salem-Zygmund. Bibliography: 10 titles. Translated fromZapiski Nauchnykh Seminarov POMI, Vol. 232, 1996, pp. 50–72. Translated by S. Shimorin.     

Least squares X=±Xη* solutions to split quaternion matrix equation AXAη*=B

In the paper, the split quaternion matrix equation AXA^η*=B is considered, where the operator A^η* is the η-conjugate transpose of A, where η∈{i,j,k}. We propose some new real representations, which well exploited the special structures of the original matrices. By using this method, we obtain the necessary and sufficient conditions for AXA^η*=B to have X=±X^η* solutions and derive the general expressions of solutions when it is consistent. In addition, we also derive the general expressions of the least squares X=±X^η* solutions to it in case that this matrix equation is not consistent.     

Enveloping Σ-C *-algebra of a smooth Frechet algebra crossed product by ℝ,K-theory and differential structure inC *-algebras

Given anm-tempered strongly continuous action α of ℝ by continuous^*-automorphisms of a Frechet^*-algebraA, it is shown that the enveloping ↡-C ^*-algebraE(S(ℝ, A^∞, α)) of the smooth Schwartz crossed productS(ℝ,A ^∞, α) of the Frechet algebra A^∞ of C^∞-elements ofA is isomorphic to the Σ-C ^*-crossed productC ^*(ℝ,E(A), α) of the enveloping Σ-C ^*-algebraE(A) ofA by the induced action. WhenA is a hermitianQ-algebra, one getsK-theory isomorphismRK _*(S(ℝ, A^∞, α)) =K ^*(C ^*(ℝ,E(A), α) for the representableK-theory of Frechet algebras. An application to the differential structure of aC ^*-algebra defined by densely defined differential seminorms is given.