Semi-finite forms of bilateral basic hypergeometric series

We show that several classical bilateral summation and transformation formulas have semi-finite forms. We obtain these semi-finite forms from unilateral summation and transformation formulas. Our method can be applied to derive Ramanujan's summation, Bailey's transformations, and Bailey's summation.

     

-adic -basis and regular local ring

We introduce the concept of -adic -basis as an extension of the concept of -basis. Let be a regular local ring of prime characteristic and a ring such that . Then we prove that is a regular local ring if and only if there exists an -adic -basis of and is Noetherian.

     

-additive families and the invariance of Borel classes

We prove that any -additive family of sets in an absolutely Souslin metric space has a -discrete refinement provided every partial selector set for is -discrete. As a corollary we obtain that every mapping of a metric space onto an absolutely Souslin metric space, which maps -sets to -sets and has complete fibers, admits a section of the first class. The invariance of Borel and Souslin sets under mappings with complete fibers, which preserves -sets, is shown as an application of the previous result.

     

A criterion for satellite 1-genus 1-bridge knots

Let be a knot in a closed orientable irreducible 3-manifold . Suppose admits a genus 1 Heegaard splitting and we denote by the splitting torus. We say is a -genus -bridge splitting of if intersects transversely in two points, and divides into two pairs of a solid torus and a boundary parallel arc in it. It is known that a -genus -bridge splitting of a satellite knot admits a satellite diagram disjoint from an essential loop on the splitting torus. If and the slope of the loop is longitudinal in one of the solid tori, then is obtained by twisting a component of a -bridge link along the other component. We give a criterion for determining whether a given -genus -bridge splitting of a knot admits a satellite diagram of a given slope or not. As an application, we show there exist counter examples for a conjecture of Ait Nouh and Yasuhara.

     

On characterization and perturbation of local -semigroups

Let be a -group with generator , and let be a local -semigroup commuting with . Then the operators , , form a local -semigroup. It is proved that if is injective and is the generator of , then is closable and is the generator of . Also proved are a characterization theorem for local -semigroups with not necessarily injective and a theorem about solvability of the abstract inhomogeneous Cauchy problem:

     

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.

     

Complemented isometric copies of in dual Banach spaces

Let be a real or complex Banach space and . Then contains a -complemented, isometric copy of if and only if contains a -complemented, isometric copy of if and only if contains a subspace -asymptotic to .

     

Spaces on which every pointwise convergent series of continuous functions converges pseudo-normally

A topological space is a -space provided that, for every sequence of continuous functions from to , if the series converges pointwise, then it converges pseudo-normally. We show that every regular Lindelöf -space has the Rothberger property. We also construct, under the continuum hypothesis, a -subset of of cardinality continuum.

     

A note on the spectrum of an upper triangular operator matrix

Let be a upper triangular operator matrix acting on the Banach space . We investigate the set of the operators for which , where denotes the spectrum.

     

Cardinal restrictions on some homogeneous compacta

We give restrictions on the cardinality of compact Hausdorff homogeneous spaces that do not use other cardinal invariants, but rather covering and separation properties. In particular, we show that it is consistent that every hereditarily normal homogeneous compactum is of cardinality . We introduce property wD(), intermediate between the properties of being weakly -collectionwise Hausdorff and strongly -collectionwise Hausdorff, and show that if is a compact Hausdorff homogeneous space in which every subspace has property wD( ), then is countably tight and hence of cardinality . As a corollary, it is consistent that such a space is first countable and hence of cardinality . A number of related results are shown and open problems presented.

     

On the algebra of functions -extendable for each finite

For each positive integer we construct a -function of one real variable, the graph of which has the following property: there exists a real function on which is -extendable to , for each finite, but it is not -extendable.

     

-bounding and -induction

Working in the base theory of , we show that for all , the bounding principle for -formulas ( ) is equivalent to the induction principle for -formulas ( ). This partially answers a question of J. Paris.

     

Perturbations and Weyl's theorem

A Banach space operator is completely hereditarily normaloid, , if either every part, and (also) for every invertible part , of is normaloid or if for every complex number every part of is normaloid. Sufficient conditions for the perturbation of by an algebraic operator to satisfy Weyl's theorem are proved. Our sufficient conditions lead us to the conclusion that the conjugate operator satisfies -Weyl's theorem.

     

Invariant ideals of abelian group algebras under the multiplicative action of a field. I

Let be a division ring and let be a finite-dimensional -vector space, viewed multiplicatively. If is the multiplicative group of , then acts on and hence on any group algebra . Our goal is to completely describe the semiprime -stable ideals of . As it turns out, this result follows fairly easily from the corresponding results for the field of rational numbers (due to Brookes and Evans) and for infinite locally-finite fields. Part I of this work is concerned with the latter situation, while Part II deals with arbitrary division rings.

     

A global pinching theorem for surfaces with constant mean curvature in

Let be a compact immersed surface in the unit sphere with constant mean curvature . Denote by the linear map from into , , where is the linear map associated to the second fundamental form and is the identity map. Let denote the square of the length of . We prove that if , then is either totally umbilical or an -torus, where is a constant depending only on the mean curvature .

     

Approximation of holomorphic maps with a lower bound on the rank

Let be a closed polydisc or ball in , and let be a quasi-projective algebraic manifold which is Zariski locally equivalent to , or a complement of an algebraic subvariety of codimension in such a manifold. If is an integer satisfying , then every holomorphic map from a neighborhood of to with rank at every point of can be approximated uniformly on by entire maps with rank at every point of .

     

Exactness of one relator groups

A discrete group is -exact if the reduced crossed product with converts a short exact sequence of --algebras into a short exact sequence of -algebras. A one relator group is a discrete group admitting a presentation where is a countable set and is a single word over . In this short paper we prove that all one relator discrete groups are -exact. Using the Bass-Serre theory we also prove that a countable discrete group acting without inversion on a tree is -exact if the vertex stabilizers of the action are -exact.

     

Finite homological dimension and primes associated to integrally closed ideals

Let be an integrally closed ideal in a commutative Noetherian ring . Then the local ring is regular (resp. Gorenstein) for every if the projective dimension of is finite (resp. the Gorenstein dimension of is finite and satisfies Serre's condition (S)).

     

A prediction problem in

For a nonnegative integrable weight function on the unit circle , we provide an expression for , in terms of the series coefficients of the outer function of , for the weighted distance , where is the normalized Lebesgue measure and ranges over trigonometric polynomials with frequencies in , , . The problem is open for .

     

Some numerical invariants of local rings

Let be a formal power series ring over a field of characteristic zero and any ideal. The aim of this work is to introduce some numerical invariants of the local rings by using the theory of algebraic -modules. More precisely, we will prove that the multiplicities of the characteristic cycle of the local cohomology modules and , where is any prime ideal that contains , are invariants of .