Batalin-Vilkovisky algebras and the J-homomorphism

Let X be a topological space. The homology of the iterated loop space H_∗ΩnX is an algebra over the homology of the framed n-disks operad H_∗fDn [E. Getzler, Batalin-Vilkovisky algebras and two-dimensional topological field theories, Comm. Math. Phys. 159 (2) (1994) 265-285; P. Salvatore, N. Wahl, Framed discs operads and Batalin-Vilkovisky algebras, Q. J. Math. 54 (2) (2003) 213-231]. We explicitly determine this H_∗fDn-algebra structure on H_∗(ΩnX;Q). We show that the action of H_∗(SO(n)) on the iterated loop space H_∗ΩnX is related to the J-homomorphism and that the BV-operator on H_∗(Ω²X) vanishes on spherical classes only in characteristic other than 2.     

The Terwilliger algebra of a distance-regular graph of negative type

Let Γ denote a distance-regular graph with diameter D?3. Assume Γ has classical parameters (D,b,α,β) with b<-1. Let X denote the vertex set of Γ and let A∈Mat_X(C) denote the adjacency matrix of Γ. Fix x∈X and let A^∗∈Mat_X(C) denote the corresponding dual adjacency matrix. Let T denote the subalgebra of Mat_X(C) generated by A,A^∗. We call T the Terwilliger algebra of Γ with respect to x. We show that up to isomorphism there exist exactly two irreducible T-modules with endpoint 1; their dimensions are D and 2D-2. For these T-modules we display a basis consisting of eigenvectors for A^∗, and for each basis we give the action of A.     

顶点算子超代数及相关的结合代数的表示

设 V 是一个顶点算子超代数. 该文得到了一系列的结合代数A_n(V)(对任何n∈ 1/2 + Z₊(i∈ {0,1})). 也给出了A_n(V) -模但非A_n-1/2(V) -模的不可约模范畴和单的可容许的V -模的范畴之间的一一对应关系. 对于给定的A_n(V) -模但非A_n-1/2(V) -模U, 还构造了一类广义Verma可容许的V -模M_n(U). 进而利用结合代数的表示进一步研究了顶点算子超代数的表示论.     

On the classification problem of the quasi-isomorphism classes of free chain algebras

The present paper is devoted to the classification problem of the quasi-isomorphism classes of free differential graded algebras (dgas) over a (P.I.D) R. We introduce the notion of coherent homomorphisms, perfect and quasi-perfect dgas (the Adams-Hilton model of simply connected CW-complex such that H_∗(X,R) is free is a such a dga) and our first main result asserts that two perfect (quasi-perfect) dgas are quasi-isomorphic if and only if their Whitehead exact sequences are coherently isomorphic. Moreover we define the notion of a strong isomorphism between the Whitehead exact sequences and we show that two free R-dgas, of which their Whitehead exact sequences are strongly isomorphic, are quasi-isomorphic.     

The evaluation subgroup of a fibre inclusion

Let be a fibration of simply connected CW complexes of finite type with classifying map . We study the evaluation subgroup Gn(E,X;j) of the fibre inclusion as an invariant of the fibre-homotopy type of ξ. For spherical fibrations, we show the evaluation subgroup may be expressed as an extension of the Gottlieb group of the fibre sphere provided the classifying map h induces the trivial map on homotopy groups. We extend this result after rationalization: We show that the decomposition G_∗(E,X;j)⊗Q=(G_∗(X)⊗Q)⊕(π_∗(B)⊗Q) is equivalent to the condition Q(h_?)=0.     

Lifting of homeomorphisms to 4-sheeted branched coverings of a disk

Let p:X→D be a simple, possibly not connected, 4-sheeted branched covering of a closed 2-dimensional disk D with n branch values A₁,…,An. The isotopy classes of homeomorphisms of D which are fixed on the boundary of D and permute the branch values form a braid group Bn. Some of these homeomorphisms can be lifted to homeomorphisms of X. They form a subgroup L(p) of finite index in Bn. For each equivalence class of coverings we find a set of generators for L(p) which contains between n and n+4 elements, depending on the equivalence class of the covering, and the generators are powers of half-twists.     

Gorenstein algebras of finite Cohen-Macaulay type

An Artin algebra A is said to be CM-finite if there are only finitely many isomorphism classes of indecomposable finitely generated Gorenstein-projective A-modules. Inspired by Auslander's idea on representation dimension, we prove that for 2?n<∞, A is a CM-finite n-Gorenstein algebra if and only if there is a resolving Gorenstein-projective A-module E such that gl.dimEndAop(E)?n.     

New oscillation criteria for linear matrix Hamiltonian systems

Some new oscillation criteria are established for the matrix linear Hamiltonian system X′=A(t)X+B(t)Y, Y′=C(t)X−A∗(t)Y under the hypothesis: A(t), B(t)=B∗(t)>0, and C(t)=C∗(t) are n×n real continuous matrix functions on the interval [t₀,∞), (−∞<t₀). These results are sharper than some previous results even for self-adjoint second order matrix differential systems.     

The bar complex of an E-infinity algebra

The standard reduced bar complex B(A) of a differential graded algebra A inherits a natural commutative algebra structure if A is a commutative algebra. We address an extension of this construction in the context of E-infinity algebras. We prove that the bar complex of any E-infinity algebra can be equipped with the structure of an E-infinity algebra so that the bar construction defines a functor from E-infinity algebras to E-infinity algebras. We prove the homotopy uniqueness of such natural E-infinity structures on the bar construction.We apply our construction to cochain complexes of topological spaces, which are instances of E-infinity algebras. We prove that the n-th iterated bar complexes of the cochain algebra of a space X is equivalent to the cochain complex of the n-fold iterated loop space of X, under reasonable connectedness, completeness and finiteness assumptions on X.     

Localization of André-Quillen-Goodwillie towers, and the periodic homology of infinite loopspaces

Let K(n) be the nth Morava K-theory at a prime p, and let T(n) be the telescope of a v_n-self map of a finite complex of type n. In this paper we study the K(n)_*-homology of Ω^∞X, the 0th space of a spectrum X, and many related matters.We give a sampling of our results.Let PX be the free commutative S-algebra generated by X: it is weakly equivalent to the wedge of all the extended powers of X. We construct a natural map

s_n(X):L_T(n)P(X)→L_T(n)Σ^∞(Ω^∞X)₊     

An asymptotic formula for the ranks of homotopy groups

Let X be a finite simply connected CW complex of dimension n. The loop space homology H_∗(ΩX;Q) is the universal enveloping algebra of a graded Lie algebra LX isomorphic with π∗−1(X)⊗Q. Let QX⊂LX be a minimal generating subspace, and set .Theorem: If dimLX=∞ and , then

     

A Morita type equivalence for dual operator algebras

We generalize the main theorem of Rieffel for Morita equivalence of W^∗-algebras to the case of unital dual operator algebras: two unital dual operator algebras A,B have completely isometric normal representations α,β such that α(A)=[M^∗β(B)M]^−w∗ and β(B)=[Mα(A)M^∗]^−w∗ for a ternary ring of operators M (i.e. a linear space M such that MM^∗M⊂M) if and only if there exists an equivalence functor which “extends” to a ∗-functor implementing an equivalence between the categories and . By we denote the category of normal representations of A and by the category with the same objects as and Δ(A)-module maps as morphisms (Δ(A)=A∩A^∗). We prove that this functor is equivalent to a functor “generated” by a B,A bimodule, and that it is normal and completely isometric.     

Norms of certain Jordan elementary operators

Let H be a complex Hilbert space and let B(H) denote the algebra of all bounded linear operators on H. For A,B∈B(H), the Jordan elementary operator UA,B is defined by UA,B(X)=AXB+BXA, ∀X∈B(H). In this short note, we discuss the norm of UA,B. We show that if dimH=2 and ‖UA,B‖=‖A‖‖B‖, then either AB^∗ or B^∗A is 0. We give some examples of Jordan elementary operators UA,B such that ‖UA,B‖=‖A‖‖B‖ but AB^∗≠0 and B^∗A≠0, which answer negatively a question posed by M. Boumazgour in [M. Boumazgour, Norm inequalities for sums of two basic elementary operators, J. Math. Anal. Appl. 342 (2008) 386-393].     

Zero cycles on homogeneous varieties

In this paper we study the group A₀(X) of zero-dimensional cycles of degree 0 modulo rational equivalence on a projective homogeneous algebraic variety X. To do this we translate rational equivalence of 0-cycles on a projective variety into R-equivalence on symmetric powers of the variety. For certain homogeneous varieties, we then relate these symmetric powers to moduli spaces of étale subalgebras of central simple algebras which we construct. This allows us to show A₀(X)=0 for certain classes of homogeneous varieties for groups of each of the classical types, extending previous results of Swan/Karpenko, of Merkurjev, and of Panin.     

An elementary operator with log-hyponormal, p-hyponormal entries

A Hilbert space operator A∈B(H) is p-hyponormal, A∈(p-H), if |A^∗|^2p?|A|^2p; an invertible operator A∈B(H) is log-hyponormal, A∈(?-H), if log(TT^∗)?log(T^∗T). Let d_AB=δ_AB or ?_AB, where δ_AB∈B(B(H)) is the generalised derivation δ_AB(X)=AX-XB and ?_AB∈B(B(H)) is the elementary operator ?_AB(X)=AXB-X. It is proved that if A,B^∗∈(?-H)∪(p-H), then, for all complex λ, , the ascent of (d_AB-λ)?1, and d_AB satisfies the range-kernel orthogonality inequality ‖X‖?‖X-(d_AB-λ)Y‖ for all X∈(d_AB-λ)^-1(0) and Y∈B(H). Furthermore, isolated points of σ(d_AB) are simple poles of the resolvent of d_AB. A version of the elementary operator E(X)=A₁XA₂-B₁XB₂ and perturbations of d_AB by quasi-nilpotent operators are considered, and Weyl’s theorem is proved for d_AB.     

Adjoint functors and equivalences of subcategories

For any left R-module P with endomorphism ring S, the adjoint pair of functors P⊗_S− and Hom_R(P,−) induce an equivalence between the categories of P-static R-modules and P-adstatic S-modules. In particular, this setting subsumes the Morita theory of equivalences between module categories and the theory of tilting modules. In this paper we consider, more generally, any adjoint pair of covariant functors between complete and cocomplete Abelian categories and describe equivalences induced by them. Our results subsume the situations mentioned above but also equivalences between categories of comodules.     

Modules over Endomorphism Rings

It is proved that A is a right distributive ring if and only if all quasiinjective right A-modules are Bezout left modules over their endomorphism rings if and only if for any quasiinjective right A-module M which is a Bezout left End (M)-module, every direct summand N of M is a Bezout left End(N)-module. If A is a right or left perfect ring, then all right A-modules are Bezout left modules over their endomorphism rings if and only if all right A-modules are distributive left modules over their endomorphism rings if and only if A is a distributive ring.     

Universal spaces for homotopy limits of modules over coaugmented functors (I)

For a coaugmented functor J on spaces, we consider J-modules and finite J-limits. The former are spaces X which are retracts of JX via the natural map. The latter are homotopy limits of J-modules arranged in diagrams whose shape is finite dimensional. Familiar examples are generalised Eilenberg MacLane spaces, which are the SP^∞-modules. Finite SP^∞-limits are nilpotent spaces with a very strong finiteness property. We show that the cofacial Bousfield-Kan construction of the functors J_n is universal for finite J-limits in the sense that every map X→Y where Y is a finite J-limit, factors through such natural map X→J_nX, for some n<∞.     

On the cohomology of Banach A∞-module over admissible Banach A∞-algebra

In this paper we are concerned with Banach A_∞-module M over admissible Banach A_∞-algebra A. We give some properties of admissible modules and algebras. We study the cohomology of the complex C_∞(A, M). We show that the vanishing of cohomology of this complex in certain dimensions implies to the existence of the A_∞-module structure.