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 .

     

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

     

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.

     

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.

     

On the module structure of free L ie algebras

We study the free Lie algebra over a field of non-zero characteristic as a module for the cyclic group of order acting on by cyclically permuting the elements of a free generating set. Our main result is a complete decomposition of as a direct sum of indecomposable modules.

     

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.

     

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.

     

On minimal parabolic functions and time-homogeneous parabolic -transforms

Does a minimal harmonic function remain minimal when it is viewed as a parabolic function? The question is answered for a class of long thin semi-infinite tubes of variable width and minimal harmonic functions corresponding to the boundary point of ``at infinity.' Suppose is the width of the tube units away from its endpoint and is a Lipschitz function. The answer to the question is affirmative if and only if . If the test fails, there exist parabolic -transforms of space-time Brownian motion in with infinite lifetime which are not time-homogenous.

     

Operator ideal norms on

Let be a real number such that and its conjugate exponent . We prove that for an operator defined on with values in a Banach space, the image of the unit ball determines whether belongs to any operator ideal and its operator ideal norm. We also show that this result fails to be true in the remaining cases of . Finally we prove that when the result holds in finite dimension, the map which associates to the image of the unit ball the operator ideal norm is continuous with respect to the Hausdorff metric.

     

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 .

     

Spectra of BP-linear relations, -series, and BP cohomology of Eilenberg-Mac Lane spaces

On Brown-Peterson cohomology groups of a space, we introduce a natural inherent topology, BP topology, which is always complete Hausdorff for any space. We then construct a spectra map which calculates infinite BP-linear sums convergent with respect to the BP topology, and a spectrum which describes infinite sum BP-linear relations in BP cohomology. The mod cohomology of this spectrum is a cyclic module over the Steenrod algebra with relations generated by products of exactly two Milnor primitives. We show a close relationship between BP-linear relations in BP cohomology and the action of the Milnor primitives on mod cohomology. We prove main relations in the BP cohomology of Eilenberg-Mac Lane spaces. These are infinite sum BP-linear relations convergent with respect to the BP topology. Using BP fundamental classes, we define -series which are -analogues of the -series. Finally, we show that the above main relations come from the -series.

     

coefficients

Let be a system of real smooth vector fields, satisfying Hörmander's condition in some bounded domain (). We consider the differential operator

where the coefficients are real valued, bounded measurable functions, satisfying the uniform ellipticity condition:

for a.e. , every , some constant . Moreover, we assume that the coefficients belong to the space VMO (``Vanishing Mean Oscillation'), defined with respect to the subelliptic metric induced by the vector fields . We prove the following local -estimate:

for every , . We also prove the local Hölder continuity for solutions to for any with large enough. Finally, we prove -estimates for higher order derivatives of , whenever and the coefficients are more regular.

     

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.

     

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.

     

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.

     

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.

     

Extending partial automorphisms and the profinite topology on free groups

A class of structures is said to have the extension property for partial automorphisms (EPPA) if, whenever and are structures in , finite, , and are partial automorphisms of extending to automorphisms of , then there exist a finite structure in and automorphisms of extending the . We will prove that some classes of structures have the EPPA and show the equivalence of these kinds of results with problems related with the profinite topology on free groups. In particular, we will give a generalisation of the theorem, due to Ribes and Zalesskii stating that a finite product of finitely generated subgroups is closed for this topology.

     

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.