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.     

A characterization of $$ \cal N $$ -constrained groups

We prove that a finite group G is -constrained if and only if it contains a nilpotent subgroup I satisfying for all .Received: 22 July 2002     

Join congruence relations and closure relations

In this paper we show that, given a complete lattice , the following three lattices are the same: (1) the lattice of closure relations on , (2) the lattice of meet-closed subsets of , and (3) the lattice of complete join congruence relations on .     

Solution of the Truncated Hyperbolic Moment Problem

Let Q(x, y) = 0 be an hyperbola in the plane. Given real numbers β ≡ β ⁽²ⁿ⁾={ β _ij } _{i,j ≥ 0,i+j ≤ 2n} , with β₀₀ > 0, the truncated Q-hyperbolic moment problem for β entails finding necessary and sufficient conditions for the existence of a positive Borel measure μ, supported in Q(x, y) = 0, such that We prove that β admits a Q-representing measure μ (as above) if and only if the associated moment matrix is positive semidefinite, recursively generated, has a column relation Q(X,Y) = 0, and the algebraic variety associated to β satisfies card In this case, if then β admits a rank -atomic (minimal) Q-representing measure; if then β admits a Q-representing measure μ satisfying      

C*-Modular Vector States

Let be a C*-algebra and X a Hilbert C* -module. If is a projection, let be the p-sphere of X. For φ a state of with support p in and consider the modular vector state φ_x of given by The spheres provide fibrations

Comparing the regular and the restricted regular semidirect products

We compare the two recently introduced semidirect product operations *_r and *_rr within the lattice of e-varieties of locally inverse semigroups. For each e-variety which contains all rectangular bands and is properly contained in the e-variety of all completely simple semigroups, the inclusions are proved where is the e-variety of all semilattices and the variety of all abelian groups of exponent dividing q where q is any integer greater than one. Some consequences for the class of finite locally inverse semigroups are also obtained.     

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 Ideal Structure of Toeplitz Algebras

We investigate the ideal structure of the Toeplitz algebra of a totally ordered abelian group . We show that the primitive ideals of are parametrised by the disjoint union of the duals of the order ideals of , and identify the hull-kernel topology on when the chain of orderideals in is isomorphic to a subset of      

On an Algebra of Toeplitz Operators With Piecewise Continuous Symbols

Let and be a finite collection of smooth curves in D. Given k points consider the family of all bounded and continuous functions on with finite limits at and radial limits at z_k. We study the Toeplitz operator algebra corresponding to M_r and we prove that its Calkin algebra is isomorphic to the algebra of all continuous functions on some compact set. This fact implies that the commutator of two Toeplitz operators with this kind of symbols is compact. We also prove that the semi-commutator of such Toeplitz operators is not compact, in general.     

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      

Random generators of given orders and the smallest simple Moufang loop

The probability that m randomly chosen elements of a finite power associative loop have prescribed orders and generate is calculated in terms of certain constants related to the action of Aut( ) on the subloop lattice of . As an illustration, all meaningful probabilities of random generation by elements of given orders are found for the smallest nonassociative simple Moufang loop.     

Investigation of subalgebra lattices by means of Hasse constants

Hasse constants and their basic properties are introduced to facilitate the connection between the lattice of subalgebras of an algebra and the natural action of the automorphism group Aut( ) on . These constants are then used to describe the lattice of subloops of the smallest nonassociative simple Moufang loop.     

The general dévissage theorem for Witt groups of schemes

Let be a closed subscheme of the noetherian scheme X. We show that if X has a dualizing complex then there exists a dualizing complex of Z such that there is an isomorphism of coherent Witt groups for all . Received: 3 March 2006     

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     

Field-theoretic Weyl Quantization as a Strict and Continuous Deformation Quantization

For an arbitrary (possibly infinite-dimensional) pre-symplectic test function space the family of Weyl algebras , introduced in a previous work [1], is shown to constitute a continuous field of C^*-algebras in the sense of Dixmier. Various Poisson algebras, given as abstract (Fréchet-) ^*-algebras which are C^*-norm-dense in , are constructed as domains for a Weyl quantization, which maps the classical onto the quantum mechanical Weyl elements. This kind of a quantization map is demonstrated to realize a continuous strict deformation quantization in the sense of Rieffel and Landsman. The quantization is proved to be equivariant under the automorphic actions of the full affine symplectic group. The relationship to formal field quantization in theoretical physics is discussed by suggesting a representation dependent direct field quantization in mathematically concise terms. Communicated by Joel FeldmanSubmitted 07/10/03, accepted 07/11/03     

On the Singularities of the Magnetic Spectral Shift Function at the Landau Levels

We consider the three-dimensional Schrödinger operators and where , A is a magnetic potential generating a constant magnetic field of strength , and where decays fast enough at infinity. Then, A. Pushnitskis representation of the spectral shift function (SSF) for the pair of operators is well defined for energies We study the behaviour of the associated representative of the equivalence class determined by the SSF, in a neighbourhood of the Landau levels Reducing our analysis to the study of the eigenvalue asymptotics for a family of compact operators of Toeplitz type, we establish a relation between the type of the singularities of the SSF at the Landau levels and the decay rate of V at infinity. Communicated by Bernard HelfferSubmitted 23/09/03, accepted 15/01/04     

The Spectrum of the C*-Algebra of Pseudodifferential Boundary Value Problems on a Manifold with Smooth Edges

The C ^*-algebra generated by the operators of pseudodifferential boundary value problems on a manifold with smooth closed disjoint edges and boundary is studied. The operators act in the space L ₂( ) L ₂( ). The goal of this paper is to describe all (up to an equivalence) irreducible representations of the algebra Bibliography: 12 titles.     

K-Theory for the Banach Algebra of Operators on James''s Quasi-reflexive Banach Spaces

We prove that the K-groups of the Banach algebra of bounded, linear operators on the pth James space , where 1 < p < , are given by and . Moreover, for each Banach space and each non-zero, closed ideal contained in the ideal of inessential operators, we show that and . This enables us to calculate the K-groups of for each Banach space which is a direct sum of finitely many James spaces and -spaces.     

Transformations of Grassmannians preserving the class of base subsets

Let be a finite-dimensional projective space and be the Grassmannian consisting of all k-dimensional subspaces of . In the paper we show that transformations of sending base subsets to base subsets are induced by collineations of to itself or to the dual projective space . This statement generalizes the main result of the authors paper [19].