Simple and semisimple Lie algebras and codimension growth

We study the exponential growth of the codimensions of a finite dimensional Lie algebra over a field of characteristic zero. In the case when is semisimple we show that exists and, when is algebraically closed, is equal to the dimension of the largest simple summand of . As a result we characterize central-simplicity: is central simple if and only if .

     

Tight closure, plus closure and Frobenius closure in cubical cones

We consider tight closure, plus closure and Frobenius closure in the rings , where is a field of characteristic and . We use a -grading of these rings to reduce questions about ideals in the quotient rings to questions about ideals in the regular ring . We show that Frobenius closure is the same as tight closure in certain classes of ideals when . Since , we conclude that for these ideals. Using injective modules over the ring , the union of all th roots of elements of , we reduce the question of whether for -graded ideals to the case of -graded irreducible modules. We classify the irreducible -primary -graded ideals. We then show that for most irreducible -primary -graded ideals in , where is a field of characteristic and . Hence for these ideals.

     

Positive definite spherical functions on Olshanskii domains

Let be a simply connected complex Lie group with Lie algebra , a real form of , and the analytic subgroup of corresponding to . The symmetric space together with a -invariant partial order is referred to as an Olshanskii space. In a previous paper we constructed a family of integral spherical functions on the positive domain of . In this paper we determine all of those spherical functions on which are positive definite in a certain sense.

     

Representing nonnegative homology classes of by minimal genus smooth embeddings

For any nonnegative class in , the minimal genus of smoothly embedded surfaces which represent is given for , and in some cases with , the minimal genus is also given. For the finiteness of orbits under diffeomorphisms with minimal genus , we prove that it is true for with and for with .

     

Sheared algebra maps and operation bialgebras for mod 2 homology and cohomology

The mod 2 Steenrod algebra and Dyer-Lashof algebra have both striking similarities and differences arising from their common origins in ``lower-indexed' algebraic operations. These algebraic operations and their relations generate a bigraded bialgebra , whose module actions are equivalent to, but quite different from, those of and . The exact relationships emerge as ``sheared algebra bijections', which also illuminate the role of the cohomology of . As a bialgebra, has a particularly attractive and potentially useful structure, providing a bridge between those of and , and suggesting possible applications to the Miller spectral sequence and the structure of Dickson algebras.

     

Banach spaces with the Daugavet property

A Banach space is said to have the Daugavet property if every operator of rank satisfies . We show that then every weakly compact operator satisfies this equation as well and that contains a copy of . However, need not contain a copy of . We also study pairs of spaces and operators satisfying , where is the natural embedding. This leads to the result that a Banach space with the Daugavet property does not embed into a space with an unconditional basis. In another direction, we investigate spaces where the set of operators with is as small as possible and give characterisations in terms of a smoothness condition.

     

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.

     

The -Lagrangian of a convex function

At a given point , a convex function is differentiable in a certain subspace (the subspace along which has 0-breadth). This property opens the way to defining a suitably restricted second derivative of at . We do this via an intermediate function, convex on . We call this function the -Lagrangian; it coincides with the ordinary Lagrangian in composite cases: exact penalty, semidefinite programming. Also, we use this new theory to design a conceptual pattern for superlinearly convergent minimization algorithms. Finally, we establish a connection with the Moreau-Yosida regularization.

     

Low-dimensional linear representations of

We classify all complex representations of the automorphism group of the free group of dimension Among those representations is a new representation of dimension which does not vanish on the group of inner automorphisms.

     

Rarified sums of the Thue-Morse sequence

Let be an odd number and the difference between the number of , , with an even binary digit sum and the corresponding number of , , with an odd binary digit sum. A remarkable theorem of Newman says that for all . In this paper it is proved that the same assertion holds if is divisible by 3 or . On the other hand, it is shown that the number of primes with this property is . Finally, analoga for ``higher parities' are provided.

     

Embeddings in generalized manifolds

We prove that a ()-connected map from a compact PL -manifold to a generalized -manifold with the disjoint disks property, , is homotopic to a tame embedding. There is also a controlled version of this result, as well as a version for noncompact and proper maps that are properly ()-connected. The techniques developed lead to a general position result for arbitrary maps , , and a Whitney trick for separating submanifolds of that have intersection number 0, analogous to the well-known results when is a manifold.

     

Hankel Operators on Bounded Analytic Functions

For a domain in the complex plane and a bounded measurable function on , the generalized Hankel operator on is the operator of multiplication by followed by projection into . Under certain conditions on we show that either is compact or there is an embedded on which is bicontinuous. We characterize those 's for which is compact in the case that is a Behrens roadrunner domain.

     

A construction of homologically area minimizing hypersurfaces with higher dimensional singular sets

We show that a large variety of singular sets can occur for homologically area minimizing codimension one surfaces in a Riemannian manifold. In particular, as a result of Theorem A, if is smooth, compact dimensional manifold, , and if is an embedded, orientable submanifold of dimension , then we construct metrics on such that the homologically area minimizing hypersurface , homologous to , has a singular set equal to a prescribed number of spheres and tori of codimension less than . Near each component of the singular set, is isometric to a product , where is any prescribed, strictly stable, strictly minimizing cone. In Theorem B, other singular examples are constructed.

     

Characterizations of spectra with -injective cohomology which satisfy the Brown-Gitler property

We work in the stable homotopy category of -complete connective spectra having mod homology of finite type. means cohomology with coefficients, and is a left module over the Steenrod algebra .

A spectrum is called spacelike if it is a wedge summand of a suspension spectrum, and a spectrum satisfies the Brown-Gitler property if the natural map is onto, for all spacelike .

It is known that there exist spectra satisfying the Brown-Gitler property, and with isomorphic to the injective envelope of in the category of unstable -modules.

Call a spectrum standard if it is a wedge of spectra of the form , where is a stable wedge summand of the classifying space of some elementary abelian -group. Such spectra have -injective cohomology, and all -injectives appear in this way.

Working directly with the two properties of stated above, we clarify and extend earlier work by many people on Brown-Gitler spectra. Our main theorem is that, if is a spectrum with -injective cohomology, the following conditions are equivalent:

(A) there exist a spectrum whose cohomology is a reduced -injective and a map that is epic in cohomology, (B) there exist a spacelike spectrum and a map that is epic in cohomology, (C) is monic in cohomology, (D) satisfies the Brown-Gitler property, (E) is spacelike, (F) is standard. ( is reduced if it has no nontrivial submodule which is a suspension.)

As an application, we prove that the Snaith summands of are Brown-Gitler spectra-a new result for the most interesting summands at odd primes. Another application combines the theorem with the second author's work on the Whitehead conjecture.

Of independent interest, enroute to proving that (B) implies (C), we prove that the homology suspension has the following property: if an -connected space admits a map to an -fold suspension that is monic in mod homology, then is onto in mod homology.

     

Remarks on a Nonlinear Parabolic Equation

The equation , , is studied in and in the periodic case. It is shown that the equation is well-posed in and possesses regularizing properties. For nonnegative initial data and the solution decays in as . In the periodic case it tends uniformly to a limit. A consistent difference scheme is presented and proved to be stable and convergent.

     

Spin L-functions on

The ``spin' L-function of an automorphic representation of is an Euler product of degree associated with the spin representation of the L-group . If or , and the automorphic representation is generic in the sense of having a Whittaker model, the analytic properties of these L-functions are studied by the Rankin-Selberg method.

     

Sums of squares of regular functions on real algebraic varieties

Let be an affine algebraic variety over (or any other real closed field ). We ask when it is true that every positive semidefinite (psd) polynomial function on is a sum of squares (sos). We show that for the answer is always negative if has a real point. Also, if is a smooth non-rational curve all of whose points at infinity are real, the answer is again negative. The same holds if is a smooth surface with only real divisors at infinity. The ``compact' case is harder. We completely settle the case of smooth curves of genus : If such a curve has a complex point at infinity, then every psd function is sos, provided the field is archimedean. If is not archimedean, there are counter-examples of genus .