On endomorphism rings of local cohomology modules

Let be a local complete ring. For an -module the canonical ring map is in general neither injective nor surjective; we show that it is bijective for every local cohomology module if for every ( an ideal of ); furthermore the same holds for the Matlis dual of such a module. As an application we prove new criteria for an ideal to be a set-theoretic complete intersection.

     

Small volume on big -spheres

We consider Riemannian metrics on the -sphere for such that the distance between any pair of antipodal points is bounded below by 1. We show that the volume can be arbitrarily small. This is in contrast to the -dimensional case where Berger has shown that .

     

A remark on irregularity of the -Neumann problem on non-smooth domains

It is an observation due to J. J. Kohn that for a smooth bounded pseudoconvex domain in there exists such that the -Neumann operator on maps (the space of -forms with coefficient functions in -Sobolev space of order ) into itself continuously. We show that this conclusion does not hold without the smoothness assumption by constructing a bounded pseudoconvex domain in , smooth except at one point, whose -Neumann operator is not bounded on for any .

     

Amenable actions and almost invariant sets

In this paper, we study the connections between properties of the action of a countable group on a countable set and the ergodic theoretic properties of the corresponding generalized Bernoulli shift, i.e., the corresponding shift action of on , where is a measure space. In particular, we show that the action of on is amenable iff the shift has almost invariant sets.

     

Submanifolds of real algebraic varieties

By the Nash-Tognoli theorem, each compact smooth manifold is diffeomorphic to a nonsingular real algebraic set, called an algebraic model of . We construct algebraic models of with controlled behavior of the group of cohomology classes represented by algebraic subsets of .

     

Uniqueness of structures for connective covers

We refine our earlier work on the existence and uniqueness of structures on -theoretic spectra to show that the connective versions of real and complex -theory as well as the connective Adams summand at each prime have unique structures as commutative -algebras. For the -completion we show that the McClure-Staffeldt model for is equivalent as an ring spectrum to the connective cover of the periodic Adams summand . We establish a Bousfield equivalence between the connective cover of the Lubin-Tate spectrum and .

     

A group structure on squares

We show that there is an abelian group structure on the orbit set of ``squares' of unimodular rows of length over a commutative ring of stable dimension when , odd and also an abelian group structure on the orbit set of ``fourth powers' of unimodular rows of length over a commutative ring of stable dimension when , even.

     

On the plane section of an integral curve in positive characteristic

If is an integral curve and an algebraically closed field of characteristic 0, it is known that the points of the general plane section of are in uniform position. From this it follows easily that the general minimal curve containing is irreducible. If char, the points of may not be in uniform position. However, we prove that the general minimal curve containing is still irreducible.

     

Extreme points, exposed points, differentiability points in CL-spaces

This paper presents a property of geometric and topological nature of Gateaux differentiability points and Fréchet differentiability points of almost CL-spaces. More precisely, if we denote by a maximal convex set of the unit sphere of a CL-space , and by the cone generated by , then all Gateaux differentiability points of are just n-s, and all Fréchet differentiability points of are (where n-s denotes the non-support points set of ).

     

A note on the injective dimension of local cohomology modules

For a Noetherian ring we call an -module cofinite if there exists an ideal of such that is -cofinite; we show that every cofinite module satisfies . As an application we study the question which local cohomology modules satisfy . There are two situations where the answer is positive. On the other hand, we present two counterexamples, the failure in these two examples coming from different reasons.

     

Hierarchical structure of the family of curves with maximal genus verifying flag conditions

Fix integers such that and , and let be the set of all integral, projective and nondegenerate curves of degree in the projective space , such that, for all , does not lie on any integral, projective and nondegenerate variety of dimension and degree . We say that a curve satisfies the flag condition if belongs to . Define where denotes the arithmetic genus of . In the present paper, under the hypothesis , we prove that a curve satisfying the flag condition and of maximal arithmetic genus must lie on a unique flag such as , where, for any , denotes an integral projective subvariety of of degree and dimension , such that its general linear curve section satisfies the flag condition and has maximal arithmetic genus . This proves the existence of a sort of a hierarchical structure of the family of curves with maximal genus verifying flag conditions.

     

Farrell sets for harmonic functions

Let denote a relatively closed subset of the unit ball of . The purpose of this paper is to characterize those sets which have the following property: any harmonic function on which satisfies on (where 0$">) can be locally uniformly approximated on by a sequence of harmonic polynomials which satisfy the same inequality on . This answers a question posed by Stray, who had earlier solved the corresponding problem for holomorphic functions on the unit disc.

     

Nayatani's metric and conformal transformations of a Kleinian manifold

According to Schoen and Yau (1988), an extensive class of conformally flat manifolds is realized as Kleinian manifolds. Nayatani (1997) constructed a metric on a Kleinian manifold which is compatible with the canonical flat conformal structure. He showed that this metric has a large symmetry if is a complete metric. Under certain assumptions including the completeness of , the isometry group of coincides with the conformal transformation group of . In this paper, we show that may have a large symmetry even if is not complete. In particular, every conformal transformation is an isometry when corresponds to a geometrically finite Kleinian group.

     

Transversals for strongly almost disjoint families

For a family of sets , and a set , is said to be a transversal of if and for each . is said to be a Bernstein set for if for each . Erdos and Hajnal first studied when an almost disjoint family admits a set such as a transversal or Bernstein set. In this note we introduce the following notion: a family of sets is said to admit a -transversal if can be written as such that each admits a transversal. We study the question of when an almost disjoint family admits a -transversal and related questions.

     

Detecting completeness from Ext-vanishing

Motivated by work of C. U. Jensen, R.-O. Buchweitz, and H. Flenner, we prove the following result. Let be a commutative noetherian ring and an ideal in the Jacobson radical of . Let be the -adic completion of . If is a finitely generated -module such that for all , then is -adically complete.

     

Lipscomb's space

It is known that Lipscomb's space can be imbedded in Hilbert's space . Let be the imbedded version of endowed with the -induced topology. We show how to construct as the attractor of an iterated function system containing an infinite number of affine transformations of . In this way we answer an open question of J.C. Perry.

     

Free resolutions of parameter ideals for some rings with finite local cohomology

Let be a -dimensional local ring, with maximal ideal , containing a field and let be a system of parameters for . If and the local cohomology module is finitely generated, then there exists an integer such that the modules have the same Betti numbers, for all .

     

The Stasheff model of a simply-connected manifold and the string bracket

We revisit Stasheff's construction of a minimal Lie-Quillen model of a simply-connected closed manifold using the language of infinity-algebras. This model is then used to construct a graded Lie bracket on the equivariant homology of the free loop space of minus a point similar to the Chas-Sullivan string bracket.

     

Principal groupoid -algebras with bounded trace

Suppose is a second countable, locally compact, Hausdorff, principal groupoid with a fixed left Haar system. We define a notion of integrability for groupoids and show is integrable if and only if the groupoid -algebra has bounded trace.

     

Hypersurfaces whose tangent geodesics do not cover the ambient space

Let be an immersion of an -dimensional connected manifold in an -dimensional connected complete Riemannian manifold without conjugate points. Assume that the union of geodesics tangent to does not cover . Under these hypotheses we have two results. The first one states that is simply connected provided that the universal covering of is compact. The second result says that if is a proper embedding and is simply connected, then is a normal graph over an open subset of a geodesic sphere. Furthermore, there exists an open star-shaped set such that is a manifold with the boundary .