Cohomology of uniformly powerful -groups

In this paper we will study the cohomology of a family of -groups associated to -Lie algebras. More precisely, we study a category of -groups which will be equivalent to the category of -bracket algebras (Lie algebras minus the Jacobi identity). We then show that for a group in this category, its -cohomology is that of an elementary abelian -group if and only if it is associated to a Lie algebra.

We then proceed to study the exponent of in the case that is associated to a Lie algebra . To do this, we use the Bockstein spectral sequence and derive a formula that gives in terms of the Lie algebra cohomologies of . We then expand some of these results to a wider category of -groups. In particular, we calculate the cohomology of the -groups which are defined to be the kernel of the mod reduction

     

Avoidable algebraic subsets of Euclidean space

Fix an integer and consider real -dimensional . A partition of avoids the polynomial , where each is an -tuple of variables, if there is no set of the partition which contains distinct such that . The polynomial is avoidable if some countable partition avoids it. The avoidable polynomials are studied here. The polynomial is an especially interesting example of an avoidable one. We find (1) a countable partition which avoids every avoidable polynomial over , and (2) a characterization of the avoidable polynomials. An important feature is that both the ``master' partition in (1) and the characterization in (2) depend on the cardinality of .

     

On reflection of stationary sets in

Let be an inaccessible cardinal, and let and is regular and . It is consistent that the set is stationary and that every stationary subset of reflects at almost every .

     

A bracket power characterization of analytic spread one ideals

The main theorem characterizes, in terms of bracket powers, analytic spread one ideals in local rings. Specifically, let be regular nonunits in a local (Noetherian) ring and assume that , the integral closure of , where . Then the main result shows that for all but finitely many units in that are non-congruent modulo and for all large integers and it holds that for and not divisible by , where is the -th bracket power of . And, conversely, if there exist positive integers , , and such that has a basis such that , then has analytic spread one.

     

Conditions for the Existence of SBR Measures for ``Almost Anosov' Diffeomorphisms

A diffeomorphism of a compact manifold is called ``almost Anosov' if it is uniformly hyperbolic away from a finite set of points. We show that under some nondegeneracy condition, every almost Anosov diffeomorphism admits an invariant measure that has absolutely continuous conditional measures on unstable manifolds. The measure is either finite or infinite, and is called SBR measure or infinite SBR measure respectively. Therefore, tends to either an SBR measure or for almost every with respect to Lebesgue measure. ( is the Dirac measure at .) For each case, we give sufficient conditions by using coefficients of the third order terms in the Taylor expansion of at .

     

On syzygies of abelian varieties

In this paper we prove the following result: Let be a complex torus and a normally generated line bundle on ; then, for every , the line bundle satisfies Property of Green-Lazarsfeld.

     

A new result on the Pompeiu problem

A nonempty bounded open set () is said to have the Pompeiu property if and only if the only continuous function on for which the integral of over is zero for all rigid motions of is . We consider a nonempty bounded open set with Lipschitz boundary and we assume that the complement of is connected. We show that the failure of the Pompeiu property for implies some geometric conditions. Using these conditions we prove that a special kind of solid tori in , , has the Pompeiu property. So far the result was proved only for solid tori in . We also examine the case of planar domains. Finally we extend the example of solid tori to domains in bounded by hypersurfaces of revolution.

     

Projection orthogonale sur le graphe d'une relation linéaire fermé

Let denote the set of all closed linear relations on a Hilbert space (which contains all closed linear operators on ). In this paper, for every we define and study two associated linear operators on , and , which play an important role in the study of linear relations. These operators satisfy conditions quite analogous to trigonometric identities (whence their names) and appear, in particular, in the formula that gives the orthogonal projection on the graph of , a formula first established for linear operators by M. H. Stone and extended to linear relations by H. De Snoo. We prove here a slightly modified version of the De Snoo formula. Several other applications of the and operators to operator theory will be given in a forthcoming paper.

     

Products and duality in Waldhausen categories

The natural transformation from -theory to the Tate cohomology of acting on -theory commutes with external products. Corollary: The Tate cohomology of acting on the -theory of any ring with involution is a generalized Eilenberg-Mac Lane spectrum, and it is 4-periodic.

     

Homology decompositions for classifying spaces of compact Lie groups

Let be a prime number and be a compact Lie group. A homology decomposition for the classifying space is a way of building up to mod homology as a homotopy colimit of classifying spaces of subgroups of . In this paper we develop techniques for constructing such homology decompositions. Jackowski, McClure and Oliver (Homotopy classification of self-maps of BG via -actions, Ann. of Math. 135 (1992), 183-270) construct a homology decomposition of by classifying spaces of -stubborn subgroups of . Their decomposition is based on the existence of a finite-dimensional mod acyclic --complex with restricted set of orbit types. We apply our techniques to give a parallel proof of the -stubborn decomposition of which does not use this geometric construction.