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 .

     

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.

     

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.

     

The distributivity numbers of /fin and its square

We show that in a model obtained by forcing with a countable support iteration of Mathias forcing of length , the distributivity number of /fin is , whereas the distributivity number of r.o./fin) is . This answers a problem of Balcar, Pelant and Simon, and others.

     

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.

     

Closed incompressible surfaces in knot complements

In this paper we show that given a knot or link in a -plat projection with and , where is the length of the plat, if the twist coefficients all satisfy then has at least nonisotopic essential meridional planar surfaces. In particular if is a knot then contains closed incompressible surfaces. In this case the closed surfaces remain incompressible after all surgeries except perhaps along a ray of surgery coefficients in .

     

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

     

Galois coverings of selfinjective algebras by repetitive algebras

In the representation theory of selfinjective artin algebras an important role is played by selfinjective algebras of the form where is the repetitive algebra of an artin algebra and is an admissible group of automorphisms of . If is of finite global dimension, then the stable module category of finitely generated -modules is equivalent to the derived category of bounded complexes of finitely generated -modules. For a selfinjective artin algebra , an ideal and , we establish a criterion for to admit a Galois covering with an infinite cyclic Galois group . As an application we prove that all selfinjective artin algebras whose Auslander-Reiten quiver has a non-periodic generalized standard translation subquiver closed under successors in are socle equivalent to the algebras , where is a representation-infinite tilted algebra and is an infinite cyclic group of automorphisms of .

     

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.

     

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.

     

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.

     

Two special cases of Ganea's conjecture

Ganea conjectured that for any finite CW complex and any , . In this paper we prove two special cases of this conjecture. The main result is the following. Let be a -connected -dimensional CW complex (not necessarily finite). We show that if and (which implies ), then . This is proved by showing that in a much larger range, and then showing that under the conditions imposed, . The second special case is an extension of Singhof's earlier result for manifolds.

     

Finite groups of matrices over group rings

We investigate certain finite subgroups of , where is a finite nilpotent group. Such a group gives rise to a -module; we study the characters of these modules to limit the structure of . We also exhibit some exotic subgroups .

     

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.

     

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.

     

Conjugacy Classes of

Let be a quadratic extension of a global field , of characteristic not two, and the integral closure in of a Dedekind ring of -integers in . Then is isomorphic to the spinorial kernel for an indefinite quadratic -lattice of rank 4. The isomorphism is used to study the conjugacy classes of unitary groups of primitive odd binary hermitian matrices under the action of .

     

Gap estimates of the spectrum of Hill's equation and action variables for

Consider the Schrödinger equation for a potential of period 1 in the weighted Sobolev space

where denote the Fourier coefficients of when considered as a function of period 1,

and where is the circle of length 1. Denote by the periodic eigenvalues of when considered on the interval with multiplicities and ordered so that We prove the following result. Theorem. For any bounded set there exist and so that for and , the eigenvalues are isolated pairs, satisfying (with

(i)

,

(ii)

.

     

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.

     

The nonarchimedean theta correspondence for

In this paper we consider the theta correspondence between the sets and when is a nonarchimedean local field and . Our main theorem determines all the elements of that occur in the correspondence. The answer involves distinguished representations. As a corollary, we characterize all the elements of that occur in the theta correspondence between and . We also apply our main result to prove a case of a new conjecture of S.S. Kudla concerning the first occurrence of a representation in the theta correspondence.