Associated primes of local cohomology modules

Let be an ideal of a commutative Noetherian ring and a finitely generated -module. Let be a natural integer. It is shown that there is a finite subset of , such that is contained in union with the union of the sets , where and . As an immediate consequence, we deduce that the first non- -cofinite local cohomology module of with respect to has only finitely many associated prime ideals.

     

Purely periodic -expansions with Pisot unit base

Let 1$"> be a Pisot unit. A family of sets defined by a -numeration system has been extensively studied as an atomic surface or Rauzy fractal. For the purpose of constructing a Markov partition, a domain constructed by an atomic surface has appeared in several papers. In this paper we show that the domain completely characterizes the set of purely periodic -expansions.

     

Irreducibility of the -classes on smooth rational surfaces

We give a characterization for a -divisor on a smooth rational surface to be irreducible under the assumption that an anticanonical divisor of is nef. Here is nef means for every effective divisor on , and a -divisor is a divisor such that the two numerical conditions hold.

As an application we give explicit examples of blowing up the projective plane at nine points infinitely near such that the obtained surface has an infinite number of -curves. A -curve is a smooth rational curve of self-intersection .

     

Weak boundedness theorems for canonically fibered Gorenstein minimal 3-folds

Let be a Gorenstein minimal projective 3-fold with at worst locally factorial terminal singularities. Suppose the canonical map is of fiber type. Denote by a smooth model of a generic irreducible element in fibers of , and so is a curve or a smooth surface. The main result is that there is a computable constant independent of such that or whenever .

     

Semi-continuity of metric projections in -direct sums

Let be a proximinal subspace of finite codimension of . We show that is proximinal in and the metric projection from onto is Hausdorff metric continuous. In particular, this implies that the metric projection from onto is both lower Hausdorff semi-continuous and upper Hausdorff semi-continuous.

     

More on convexity numbers of closed sets in

The convexity number of a set is the least size of a family of convex sets with . is countably convex if its convexity number is countable. Otherwise is uncountably convex.

Uncountably convex closed sets in have been studied recently by Geschke, Kubis, Kojman and Schipperus. Their line of research is continued in the present article. We show that for all , it is consistent that there is an uncountably convex closed set whose convexity number is strictly smaller than all convexity numbers of uncountably convex subsets of .

Moreover, we construct a closed set whose convexity number is and that has no uncountable -clique for any 1$">. Here is a -clique if the convex hull of no -element subset of is included in . Our example shows that the main result of the above-named authors, a closed set either has a perfect -clique or the convexity number of is in some forcing extension of the universe, cannot be extended to higher dimensions.

     

Measures of concordance determined by -invariant measures on

A measure, , on is said to be -invariant if its value for any Borel set is invariant with respect to the symmetries of the unit square. A function, , generated in a certain way by a measure, , on is shown to be a measure of concordance if and only if the generating measure is positive, regular, -invariant, and satisfies certain inequalities. The construction examined here includes Blomqvist's beta as a special case.

     

Spectrally bounded -derivations on Banach algebras

Applying the density theorem on algebras with -derivations, we show that if a -derivation of a unital Banach algebra is spectrally bounded, then . Also, if and only if , where denotes the spectral radius of .

     

Small prime solutions of quadratic equations II

Let be non-zero integers and any integer. Suppose that and for . In this paper we prove that (i) if the are not all of the same sign, then the above quadratic equation has prime solutions satisfying and (ii) if all the are positive and , then the quadratic equation is soluble in primes Our previous results are and in place of and above, respectively.

     

Perturbed smooth Lipschitz extensions of uniformly continuous functions on Banach spaces

We show that if is a separable subspace of a Banach space such that both and the quotient have -smooth Lipschitz bump functions, and is a bounded open subset of , then, for every uniformly continuous function and every 0$">, there exists a -smooth Lipschitz function such that for every .

     

Non-zero boundaries of Leibniz half-spaces

It is proved that for any , there exists a norm and two points , in such that the boundary of the Leibniz half-space has non-zero Lebesgue measure. When , it is known that the boundary must have zero Lebesgue measure.

     

Transference for amenable actions

Suppose acts amenably on a measure space with quasi-invariant -finite measure . Let be an isometric representation of on and a finite Radon measure on . We show that the operator has -operator norm not exceeding the -operator norm of the convolution operator defined by . We shall also prove an analogous result for the maximal function associated to a countable family of Radon measures .

     

On the Betti numbers of sign conditions

Let be a real closed field and let and be finite subsets of such that the set has elements, the algebraic set defined by has dimension and the elements of and have degree at most . For each we denote the sum of the -th Betti numbers over the realizations of all sign conditions of on by . We prove that

This generalizes to all the higher Betti numbers the bound on . We also prove, using similar methods, that the sum of the Betti numbers of the intersection of with a closed semi-algebraic set, defined by a quantifier-free Boolean formula without negations with atoms of the form or for , is bounded by

making the bound more precise.

     

Metrically generated theories

Many examples are known of natural functors describing the transition from categories of generalized metric spaces to the ``metrizable" objects in some given topological construct . If preserves initial morphisms and if is initially dense in , then we say that is -metrically generated. Our main theorem proves that is -metrically generated if and only if can be isomorphically described as a concretely coreflective subconstruct of a model category with objects sets structured by collections of generalized metrics in and natural morphisms. This theorem allows for a unifying treatment of many well-known and varied theories. Moreover, via suitable comparison functors, the various relationships between these theories are studied.

     

Real

The famous problem involves applying two maps: and to positive integers. If is even, one applies , if it is odd, one applies . The conjecture states that each trajectory of the system arrives to the periodic orbit . In this paper, instead of choosing each time which map to apply, we allow ourselves more freedom and apply both and independently of . That is, we consider the action of the free semigroup with generators and on the space of positive real numbers. We prove that this action is minimal (each trajectory is dense) and that the periodic points are dense. Moreover, we give a full characterization of the group of transformations of the real line generated by and .

     

Properly -realizable groups

A finitely presented group is said to be properly -realizable if there exists a compact -polyhedron with and whose universal cover has the proper homotopy type of a (p.l.) -manifold with boundary. In this paper we show that, after taking wedge with a -sphere, this property does not depend on the choice of the compact -polyhedron with . We also show that (i) all -ended and -ended groups are properly -realizable, and (ii) the class of properly -realizable groups is closed under amalgamated free products (HNN-extensions) over a finite cyclic group (as a step towards proving that -ended groups are properly -realizable, assuming -ended groups are).

     

Blocks of central -group extensions

Let and be finite groups that have a common central -subgroup for a prime number , and let and respectively be -blocks of and induced by -blocks and respectively of and , both of which have the same defect group. We prove that if and are Morita equivalent via a certain special -bimodule, then such a Morita equivalence lifts to a Morita equivalence between and .

     

Concentration of mass and central limit properties of isotropic convex bodies

We discuss the following question: Do there exist an absolute constant 0$"> and a sequence tending to infinity with , such that for every isotropic convex body in and every the inequality holds true? Under the additional assumption that is 1-unconditional, Bobkov and Nazarov have proved that this is true with . The question is related to the central limit properties of isotropic convex bodies. Consider the spherical average . We prove that for every and every isotropic convex body in , the statements (A) ``for every , " and (B) ``for every , , where " are equivalent.

     

Linear series over real and -adic fields

We note that the degeneration arguments given by the author in 2003 to derive a formula for the number of maps from a general curve of genus to with prescribed ramification also yields weaker results when working over the real numbers or -adic fields. Specifically, let be such a field: we see that given , , , and satisfying , there exists smooth curves of genus together with points such that all maps from to can, up to automorphism of the image, be defined over . We also note that the analagous result will follow from maps to higher-dimensional projective spaces if it is proven in the case , , and that thanks to work of Sottile, unconditional results may be obtained for special ramification conditions.

     

Examples concerning heredity problems of WCG Banach spaces

We present two examples of WCG spaces that are not hereditarily WCG. The first is a space with an unconditional basis, and the second is a space such that is WCG and does not contain . The non-WCG subspace of has the additional property that is not WCG and is reflexive.