Curvature restrictions on convex, timelike surfaces in Minkowski 3-space

Suppose that and are Minkowski Gauss curvature and Minkowski mean curvature respectively on a timelike surface that is immersed in Minkowski 3-space . Suppose also that and that is complete as a surface in the underlying Euclidean 3-space . It is shown that neither nor can be bounded away from zero on such a surface .

     

The Mardesic factorization theorem for extension theory and c-separation

We shall prove a type of Mardesic factorization theorem for extension theory over an arbitrary stratum of CW-complexes in the class of arbitrary compact Hausdorff spaces. Our result provides that the space through which the factorization occurs will have the same strong countability property (e.g., strong countable dimension) as the original one had. Taking into consideration the class of compact Hausdorff spaces, this result extends all previous ones of its type. Our factorization theorem will simultaneously include factorization for weak infinite-dimensionality and for Property C, that is, for C-spaces.

A corollary to our result will be that for any weight and any finitely homotopy dominated CW-complex , there exists a Hausdorff compactum with weight and which is universal for the property and weight . The condition means that for every closed subset of and every map , there exists a map which is an extension of . The universality means that for every compact Hausdorff space whose weight is and for which is true, there is an embedding of into .

We shall show, on the other hand, that there exists a CW-complex which is not finitely homotopy dominated but which has the property that for each weight , there exists a Hausdorff compactum which is universal for the property and weight .

     

Statistical extensions of some classical Tauberian theorems

Hardy's well-known Tauberian theorem for Cesàro means says that if the sequence satisfies and , then . In this paper it is shown that the hypothesis can be replaced by the weaker assumption of the statistical limit: st-lim , i.e., for every , . Similarly, the ``one-sided' Tauberian theorem of Landau and Schmidt's Tauberian theorem for the Abel method are extended by replacing and with st-lim and st-lim , respectively. The Hardy-Littlewood Tauberian theorem for Borel summability is also extended by replacing , where is a continuous parameter, with , and further replacing it by -st-lim , where is the Borel matrix method.

     

Convergence of paths for pseudo-contractive mappings in Banach spaces

Let be a real Banach space, let be a closed convex subset of , and let , from into , be a pseudo-contractive mapping (i.e. for all and 1)$">. Suppose the space has a uniformly Gâteaux differentiable norm, such that every closed bounded convex subset of enjoys the Fixed Point Property for nonexpansive self-mappings. Then the path , , defined by the equation is continuous and strongly converges to a fixed point of as , provided that satisfies the weakly inward condition.

     

Loop spaces and the compression theorem

For a smooth, finite-dimensional manifold with a submanifold we study the topology of the straight loop space , the space of loops whose intersections with are subject to a certain transversality condition. Our main tool is Rourke and Sanderson's compression theorem. We prove that the homotopy type of the straight loop space of a link in depends only on the number of link components.

     

Approximating discrete valuation rings by regular local rings

Let be a field of characteristic zero and let be a discrete rank-one valuation domain containing with . Assume that the fraction field of has finite transcendence degree over . For every positive integer , we prove that can be realized as a directed union of regular local -subalgebras of of dimension .

     

Four-genus and four-dimensional clasp number of a knot

For a knot in the -sphere, by using the linking form on the first homology group of the double branched cover of the -sphere, we investigate some numerical invariants, -genus , nonorientable -genus and -dimensional clasp number , defined from the four-dimensional viewpoint. T. Shibuya gave an inequality , and asked whether the equality holds or not. From our result in this paper, we find that the equality does not hold in general.

     

LCM-splitting sets in some ring extensions

Let be a saturated multiplicative set of an integral domain . Call an lcm splitting set if and are principal ideals for every and . We show that if is an -stable overring of (that is, if whenever and is principal, it follows that and if is an lcm splitting set of , then the saturation of in is an lcm splitting set in . Consequently, if is Noetherian and is a (nonzero) prime element, then is also a prime element of the integral closure of . Also, if is Noetherian, is generated by prime elements of and if the integral closure of is a UFD, then so is the integral closure of .

     

Asymptotically isometric copies of czynski

We introduce the notion of a Banach space containing an asymptotically isometric copy of . A well known result of Bessaga and Peczynski states a Banach space contains a complemented isomorphic copy of if and only if contains an isomorphic copy of if and only if contains an isomorphic copy of . We prove an asymptotically isometric analogue of this result.

     

Integral representation of linear functionals on spaces of unbounded functions

Let be a vector lattice of real functions on a set with , and let be a linear positive functional on . Conditions are given which imply the representation , , for some bounded charge . As an application, for any bounded charge on a field , the dual of is shown to be isometrically isomorphic to a suitable space of bounded charges on . In addition, it is proved that, under one more assumption on , is the integral with respect to a -additive bounded charge.

     

The Hochschild cohomology ring of a cyclic block

Suppose is a block of a group algebra with cyclic defect group. We calculate the Hochschild cohomology ring of , giving a complete set of generators and relations. We then show that if is the principal block, the canonical map from to the Hochschild cohomology ring of induces an isomorphism modulo radicals.     

Asymptotic behaviour of Castelnuovo-Mumford regularity

Let be a polynomial ring over a field. For a graded -module generated in degree at most , the Castelnuovo-Mumford regularity of each of (i) its symmetric power, (ii) its torsion-free symmetric power and (iii) the integral closure of its torsion-free symmetric power is bounded above by a linear function in with leading coefficient at most . For a graded ideal of , the regularity of is given by a linear function of for all sufficiently large . The leading coefficient of this function is identified.

     

On the slope of bielliptic fibrations

Let be a bielliptic fibration. We prove is, up to base change, a rational double cover of an elliptic fibration and that is isotrivial provided it is smooth. Finally, we prove that the slope of is at least four provided the genus of the fibre is at least six.     

On the symmetry of the Goldie and CS conditions for prime rings

It is shown that: (a) If is a prime right Goldie right CS ring with right uniform dimension at least 2, then is left Goldie, left CS; (b) A semiprime ring is right Goldie left CS iff is left Goldie, right CS.

     

Codimension theorems for complete toric varieties

Let be a complete toric variety with homogeneous coordinate ring . In this article, we compute upper and lower bounds for the codimension in the critical degree of ideals of generated by homogeneous polynomials that do not vanish simultaneously on .

     

On singular critical points of positive operators in Krein spaces

We give an example of a positive operator in a Krein space with the following properties: the nonzero spectrum of consists of isolated simple eigenvalues, the norms of the orthogonal spectral projections in the Krein space onto the eigenspaces of are uniformly bounded and the point is a singular critical point of

     

Irreducible constituents of faithful induced characters

Let be a finite group, and suppose is a character of obtained by inducing an irreducible character of some subgroup of . If is faithful, we show that some irreducible constituent of has a solvable kernel. This yields an improved version of a theorem of Evdokimov and Ponomarenko.

     

Subsemivarieties of -algebras

A variety is a class of Banach algebras , for which there exists a family of laws such that is precisely the class of all Banach algebras which satisfies all of the laws (i.e. for all , . We say that is an -variety if all of the laws are homogeneous. A semivariety is a class of Banach algebras , for which there exists a family of homogeneous laws such that is precisely the class of all Banach algebras , for which there exists 0$"> such that for all homogeneous polynomials , , where . However, there is no variety between the variety of all -algebras and the variety of all -algebras, which can be defined by homogeneous laws alone. So the theory of semivarieties and the theory of varieties differ significantly. In this paper we shall construct uncountable chains and antichains of semivarieties which are not varieties.

     

Extensions of holomorphic maps through hypersurfaces and relations to the Hartogs extensions in infinite dimension

A generalization of Kwack's theorem to the infinite dimensional case is obtained. We consider a holomorphic map from into , where is a hypersurface in a complex Banach manifold and is a hyperbolic Banach space. Under various assumptions on , and we show that can be extended to a holomorphic map from into . Moreover, it is proved that an increasing union of pseudoconvex domains containing no complex lines has the Hartogs extension property.

     

The Dedekind-Mertens lemma and the contents of polynomials

Let be a commutative ring, let be an indeterminate, and let . There has been much recent work concerned with determining the Dedekind-Mertens number =min , especially on determining when = . In this note we introduce a universal Dedekind-Mertens number , which takes into account the fact that deg() + for any ring containing as a subring, and show that behaves more predictably than .