A class number formula for the p-cyclotomic field

Let p be an odd prime number and . Let be the classical Stickelberger ideal of the group ring . Iwasawa [6] proved that the index equals the relative class number of . In [2], [4] we defined for each subgroup H of G a Stickelberger ideal of , and studied some of its properties. In this note, we prove that when mod 4 and [G : H] = 2, the index equals the quotient . Received: 13 January 2006     

Beckman-Quarles type theorems for mappings from $$ \mathbb{R}^n $$ to $$ \mathbb{C}^n $$

Summary. Let We say that preserves the distance d 0 if for each implies Let A _n denote the set of all positive numbers d such that any map that preserves unit distance preserves also distance d. Let D _n denote the set of all positive numbers d with the property: if and then there exists a finite set S _xy with such that any map that preserves unit distance preserves also the distance between x and y. Obviously, We prove: (1) (2) for n 2 D _n is a dense subset of (2) implies that each mapping f from to (n 2) preserving unit distance preserves all distances, if f is continuous with respect to the product topologies on and      

On the structure of level sets of uniform and Lipschitz quotient mappings from $$ \mathbb{R}^n $$ to $$ \mathbb{R} $$

We study two questions posed by Johnson, Lindenstrauss, Preiss, and Schechtman, concerning the structure of level sets of uniform and Lipschitz quotient mappings from . We show that if , is a uniform quotient mapping then for every has a bounded number of components, each component of separates and the upper bound of the number of components depends only on and the moduli of co-uniform and uniform continuity of .Next we prove that all level sets of any co-Lipschitz uniformly continuous mapping from to are locally connected, and we show that for every pair of a constant and a function with , there exists a natural number , so that for every co-Lipschitz uniformly continuous map with a co-Lipschitz constant and a modulus of uniform continuity , there exists a natural number and a finite set with card so that for all has exactly components, has exactly components and each component of is homeomorphic with the real line and separates the plane into exactly 2 components. The number and form of components of for are also described - they have a finite tree structure.     

The Laplacian on $$ C(\overline \Omega) $$ with generalized Wentzell boundary conditions

In this note we prove that the Laplacian with generalized Wentzell boundary conditions on an open bounded regular domain in defined by generates an analytic semigroup of angle on for every > 0 and (for the definition of cf. (1.3)).Received: 13 July 2002     

A classification of martingale Hardy spaces associated with rearrangement-invariant function spaces

Let X be a rearrangement-invariant Banach function space over a complete probability space , and denote by the Hardy space consisting of all martingales such that . We prove that implies for any filtration if and only if Doobs inequality holds in X, where denotes the martingale defined by , n = 0, 1, 2, ..., and a.s.Received: 1 August 2000     

Estimates of Marcinkiewicz Integrals with Bounded Homogeneous Kernels of Degree Zero

Under the cancellation property and a certain Dini-type condition on kernels, we prove that Marcinkiewicz integrals with kernels which are homogeneous functions of degree zero, are bounded from to , from to , and from to for .     

Cyclicity of zeros of families of analytic functions

Let be a family of holomorphic functions in the unit disk , which are also holomorphic in a parameter . We express cyclicity (=generalized multiplicity) of a zero of at via some algebraic characteristics of the ideal generated by the Taylor coefficients of . As an example we estimate the cyclicity of the family of generalized exponential polynomials.     

A note on the isotopy problem for $$ \mathbb{R}^2 $$ -planes

For a class of stable planes we define a notion of isotopy equivalence with respect to that class and prove that any two planes of a certain class of -planes comprising all affine -planes are isotopy equivalent. Furthermore we obtain that all affine -planes are isotopy equivalent in the class of affine -planes. Finally we give an example which shows that this approach cannot be easily generalized to 2-dimensional projective planes, and we outline a different way for a possible generalization.Received: 27 April 2001     

The dimension of the kernel in finite and infinite intersections of starshaped sets

Summary. We establish the following Helly-type result for infinite families of starshaped sets in Define the function f on {1, 2} by f(1) = 4, f(2) = 3. Let be a fixed positive number, and let be a uniformly bounded family of compact sets in the plane. For k = 1, 2, if every f(k) (not necessarily distinct) members of intersect in a starshaped set whose kernel contains a k-dimensional neighborhood of radius , then is a starshaped set whose kernel is at least k-dimensional. The number f(k) is best in each case. In addition, we present a few results concerning the dimension of the kernel in an intersection of starshaped sets in Some of these involve finite families of sets, while others involve infinite families and make use of the Hausdorff metric.     

Schrödinger equations with concave and convex nonlinearities

We obtain the existence of infinitely many nodal solutions for the Schrödinger type equation on with Here, The nonlinearity f is symmetric in the sense of being odd in u, and may involve a combination of concave and convex terms.Received: November 11, 2003; revised: December 12, 2004Supported by NSFC:10441003     

Intersections of Convex Bodies

Let be nonempty convex bodies in . Let be vectors in , let , and let . Then is a convex set, and the family of sets is concave. Let . Then for the mean cross-sectional measures W_v (\Phi (\rho )), , the functions are concave on D. (Note that % MathType!MTEF!2!1!+-% feaafiart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn% hiov2DGi1BTfMBaeXafv3ySLgzGmvETj2BSbqefm0B1jxALjhiov2D% aebbnrfifHhDYfgasaacH8srps0lbbf9q8WrFfeuY-Hhbbf9v8qqaq% Fr0xc9pk0xbba9q8WqFfea0-yr0RYxir-Jbba9q8aq0-yq-He9q8qq% Q8frFve9Fve9Ff0dmeaabaqaciGacaGaaeqabaWaaeaaeaaakeaaca% WGxbWaaSbaaSqaaiaaicdaaeqaaOGaaiikaiabfA6agjaacIcacqaH% bpGCcaGGPaGaaiykaiabg2da9iaabAfacaqGVbGaaeiBamaaBaaale% aatCvAUfKttLearyqr1ngBPrgaiuGacqWFRbWAaeqaaOGaeuOPdyKa% aiikaiabeg8aYjaacMcaaaa!4EE7!\[W_0 (\Phi (\rho )) = {\text{Vol}}_k\Phi (\rho )\] is the k-volume.) Bibliography: 2 titles.     

Coloured Permutations Containing and Avoiding Certain Patterns

Let be the set of all coloured permutations on the symbols 1, 2, . . . , n with colours 1, 2, . . . , r, which is the analogous of the symmetric group when r = 1, and the hyperoctahedral group when r = 2. Let be a subset of d colours; we define to be the set of all coloured permutations . We prove that the number of -avoiding coloured permutations in . We then prove that for any , the number of coloured permutations in which avoid all patterns in except for and contain exactly once equals . Finally, for any , this number equals . These results generalize recent results due to Mansour, Mansour and West, and Simion.AMS Subject Classification: 05A05, 05A15.     

Cancellative residuated lattices

Cancellative residuated lattices are natural generalizations of lattice-ordered groups ( -groups). Although cancellative monoids are defined by quasi-equations, the class of cancellative residuated lattices is a variety. We prove that there are only two commutative subvarieties of that cover the trivial variety, namely the varieties generated by the integers and the negative integers (with zero). We also construct examples showing that in contrast to -groups, the lattice reducts of cancellative residuated lattices need not be distributive. In fact we prove that every lattice can be embedded in the lattice reduct of a cancellative residuated lattice. Moreover, we show that there exists an order-preserving injection of the lattice of all lattice varieties into the subvariety lattice of .We define generalized MV-algebras and generalized BL-algebras and prove that the cancellative integral members of these varieties are precisely the negative cones of -groups, hence the latter form a variety, denoted by . Furthermore we prove that the map that sends a subvariety of -groups to the corresponding class of negative cones is a lattice isomorphism from the lattice of subvarieties of to the lattice of subvarieties of . Finally, we show how to translate equational bases between corresponding subvarieties, and briefly discuss these results in the context of R. McKenzies characterization of categorically equivalent varieties.     

A class of bounded operators on Sobolev spaces

We describe a class of nonlinear operators which are bounded on the Sobolev spaces , for and 1 < p < . As a corollary, we prove that the Hardy-Littlewood maximal operator is bounded on , for and 1 < p < ; this extends the result of J. Kinnunen [7], valid for s = 1. Received: 5 December 2000     

The modular automorphisms of the Drinfeld modular curve $$ X_{1}(\frak n) $$

In this work we determine the group of modular automorphisms of the Drinfeld modular curve for any nonconstant polynomial .Received: 19 September 2002     

Sharp Conditions for the CLT of Linear Processes in a Hilbert Space

In this paper we study the behavior of sums of a linear process associated to a strictly stationary sequence with values in a real separable Hilbert space and are linear operators from H to H. One of the results is that satisfies the CLT provided are i.i.d. centered having finite second moments and . We shall provide an example which shows that the condition on the operators is essentially sharp. Extensions of this result are given for sequences of weak dependent random variables under minimal conditions.