Designs and Representation of the Symmetric Group

We study (generalized) designs supported by words of given composition. We characterize them in terms of orthogonality relations with Specht modules; we define some zonal functions for the symmetric group and we give a closed formula for them, indexed on ordered pair of semi-standard generalized tableaux: Hahn polynomials are a particular case. We derive an algorithm to test if a set is a design. We use it to search designs in some ternary self-dual codes.     

Free, Isometric Circle Actions on Compact Symmetric Spaces

Let S=G/K be a strongly irreducible, simply connected, compact symmetric space and let be its group of isometries. We classify the symmetric spaces among these that admit free, isometric circle actions. The existence of such actions is important in constructing examples of manifolds with positive sectional curvature.     

Recollements of extension algebras

Let A be a finite-dimensional algebra over arbitrary base field k. We prove: if the unbounded derived module category D-(Mod-A) admits symmetric recollement relative to unbounded derived module categories of two finite-dimensional k-algebras B and C:D- (Mod - B) D-(Mod - A) D-(Mod - C),then the unbounded derived module category D-(Mod - T(A)) admits symmetric recollement relative to the unbounded derived module categories of T(B) and T(C):D-(Mod - T(B)) D-(Mod - T(A)) D-(Mod -T(C)).     

Analytic models for commuting operator tuples on bounded symmetric domains

For a domain in and a Hilbert space of analytic functions on which satisfies certain conditions, we characterize the commuting -tuples of operators on a separable Hilbert space  such that is unitarily equivalent to the restriction of to an invariant subspace, where is the operator -tuple on the Hilbert space tensor product  . For the unit disc and the Hardy space , this reduces to a well-known theorem of Sz.-Nagy and Foias; for a reproducing kernel Hilbert space on such that the reciprocal of its reproducing kernel is a polynomial in and  , this is a recent result of Ambrozie, Müller and the second author. In this paper, we extend the latter result by treating spaces for which ceases to be a polynomial, or even has a pole: namely, the standard weighted Bergman spaces (or, rather, their analytic continuation) on a Cartan domain corresponding to the parameter in the continuous Wallach set, and reproducing kernel Hilbert spaces for which is a rational function. Further, we treat also the more general problem when the operator is replaced by ,  being a certain generalization of a unitary operator tuple. For the case of the spaces on Cartan domains, our results are based on an analysis of the homogeneous multiplication operators on , which seems to be of an independent interest.

     

Partition Complexes, Tits Buildings and Symmetric Products

We construct a homological approximation to the partition complex,and identify it as the Tits building. This gives a homologicalrelationship between the symmetric group and the affine group,leads to a geometric tie between symmetric powers of spheresand the Steinberg idempotent, and allows us to use the self-dualityof the Steinberg module to study layers in the Goodwillie towerof the identity functor. 2000 Mathematics Subject Classification:55N25, 55S15, 20B30, 55P25.     

Positive symmetric quotients and their selfadjoint extensions

We define a quotient of bounded operators and on a Hilbert space with a kernel condition as the mapping , . A quotient is said to be positive symmetric if . In this paper, we give a simple construction of positive selfadjoint extensions of a given positive symmetric quotient .

     

Some Geometry of the Cone of Nonnegative Definite Matrices and Weights of Associated X2 Distribution

Consider the test problem about matrix normal mean M with the null hypothesis M = O against the alternative that M is nonnegative definite. In our previous paper (Kuriki (1993, Ann. Statist., 21, 1379–1384)), the null distribution of the likelihood ratio statistic has been given in the form of a finite mixture of ² distributions referred to as X² distribution. In this paper, we investigate differential-geometric structure such as second fundamental form and volume element of the boundary of the cone formed by real nonnegative definite matrices, and give a geometric derivation of this null distribution by virtue of the general theory on the X² distribution for piecewise smooth convex cone alternatives developed by Takemura and Kuriki (1997, Ann. Statist., 25, 2368–2387).     

Quasi-Shuffle Products

Given a locally finite graded set A and a commutative, associative operation on A that adds degrees, we construct a commutative multiplication * on the set of noncommutative polynomials in A which we call a quasi-shuffle product; it can be viewed as a generalization of the shuffle product III. We extend this commutative algebra structure to a Hopf algebra (U, *, ); in the case where A is the set of positive integers and the operation on A is addition, this gives the Hopf algebra of quasi-symmetric functions. If rational coefficients are allowed, the quasi-shuffle product is in fact no more general than the shuffle product; we give an isomorphism exp of the shuffle Hopf algebra (U, III, ) onto (U, *, ) the set L of Lyndon words on A and their images { exp(w) w L} freely generate the algebra (U, *). We also consider the graded dual of (U, *, ). We define a deformation *_q of * that coincides with * when q = 1 and is isomorphic to the concatenation product when q is not a root of unity. Finally, we discuss various examples, particularly the algebra of quasi-symmetric functions (dual to the noncommutative symmetric functions) and the algebra of Euler sums.     

Product-trace-rings and a question of G. S. Garfinkel

It is an open question as to whether every left coherent ring satisfying the intersection property for finitely generated left ideals of is a right-product-trace-ring or not. is a right-product-trace-ring iff every product of trace-right--modules (= universally torsionless-right--modules) is a trace-right--module. This question is shown to have a negative answer. Furthermore, looking at all valuation domains, the complete product-trace-rings, the product-trace-rings and the product-content-rings are characterized.

     

Compact weakly symmetric spaces and spherical pairs

Let be a spherical pair and assume that is a connected compact simple Lie group and a closed subgroup of . We prove in this paper that the homogeneous manifold is weakly symmetric with respect to and possibly an additional fixed isometry . It follows that M. Krämer's classification list of such spherical pairs also becomes a classification list of compact weakly symmetric spaces. In fact, our proof involves a case-by-case study of the isotropy representations of all spherical pairs on Krämer's list.