On a conjectured noncommutative Beals-Cordes-type characterization

Given a skew-symmetric matrix we prove that a bounded operator on for which is smooth, and which commutes with all pseudodifferential operators is of the form with possessing bounded derivatives of all orders on Here, and denote the translation and the gauge representations of This was conjectured by Rieffel (1993) and is an application of the well-known Cordes' characterization of the the Heisenberg-smooth operators as pseudodifferential operators.

     

Quadratic initial ideals of root systems

Let be one of the root systems , , and and write for the set of positive roots of together with the origin of . Let denote the Laurent polynomial ring over a field and write for the affine semigroup ring which is generated by those monomials with , where if . Let denote the polynomial ring over and write for the toric ideal of . Thus is the kernel of the surjective homomorphism defined by setting for all . In their combinatorial study of hypergeometric functions associated with root systems, Gelfand, Graev and Postnikov discovered a quadratic initial ideal of the toric ideal of . The purpose of the present paper is to show the existence of a reverse lexicographic (squarefree) quadratic initial ideal of the toric ideal of each of , and . It then follows that the convex polytope of the convex hull of each of , and possesses a regular unimodular triangulation arising from a flag complex, and that each of the affine semigroup rings , and is Koszul.     

On sums of Darboux and nowhere constant continuous functions

We show that the property

(P)

for every Darboux function there exists a continuous nowhere constant function such that is Darboux

follows from the following two propositions:

(A)

for every subset of of cardinality there exists a uniformly continuous function such that ,

(B)

for an arbitrary function whose image contains a non-trivial interval there exists an of cardinality such that the restriction of to is uniformly continuous,

which hold in the iterated perfect set model.

     

On the predictability of discrete dynamical systems

Let be a metric space. A function is said to be non-sensitive at a point if for every 0$"> there is a 0$"> such that for any choice of points , , , we have that for every . Let be the set of all homeomorphisms from onto endowed with the topology of uniform convergence. The main goal of the present paper is to prove that for certain spaces , ``most' functions in are non-sensitive at ``most' points of .

     

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 .

     

Basic characters of the unitriangular group (for arbitrary primes)

Let denote the (upper) unitriangular group of degree over the finite field with elements. In this paper we consider the basic (complex) characters of and we prove that every irreducible (complex) character of is a constituent of a unique basic character. This result extends a previous result which was proved by the author under the assumption , where is the characteristic of the field .

     

The stable signature of a regular cyclic action

Let be an odd prime and a smooth map of order . Suppose that the cyclic action defined by is regular and has fixed point set . If the -signature Sign is a rational integer and , then there exists a choice of orientations such that Sign Sign .     

Subgroup growth in some pro- groups

For a group let be the number of subgroups of index and let be the number of normal subgroups of index . We show that for 2$">. If and does not divide or if and or , we show that for all sufficiently large . On the other hand if and divides , then is not even bounded as a function of .

     

Simple algebras of Weyl type, II

Over a field of any characteristic, for a commutative associative algebra , and for a commutative subalgebra of , the vector space which consists of polynomials of elements in with coefficients in and which is regarded as operators on forms naturally an associative algebra. It is proved that, as an associative algebra, is simple if and only if is -simple. Suppose is -simple. Then, (a) is a free left -module; (b) as a Lie algebra, the subquotient is simple (except for one case), where is the center of . The structure of this subquotient is explicitly described. This extends the results obtained by Su and Zhao.

     

Parallel tangent hyperplanes

Let be a smooth strictly convex closed hypersurface in and let be any oriented smooth connected manifold immersed in Suppose that is a continuous function from to Then there is at least one point such that the hyperplane tangent to at is parallel to the hyperplane tangent to the immersed manifold at the point corresponding to If there did not exist at least two such points, would have to be compact and the Hurewicz homomorphism of into would have to be surjective. If in addition our immersion was an embedding, the Euler characteristic of would have to be equal to For any and any immersed we could always get maps for which the number of points satisfying the conditions of our theorem exactly equaled two. An example can be given in which both and are the unit sphere about the origin in and there is only one such point .

     

On one problem of uniqueness of meromorphic functions concerning small functions

In this paper, we show that if two non-constant meromorphic functions and satisfy for , where are five distinct small functions with respect to and , and is a positive integer or with , then . As a special case this also answers the long-standing problem on uniqueness of meromorphic functions concerning small functions.

     

On the Hartogs-Bochner phenomenon for CR functions in

Let be a compact, connected, -smooth and globally minimal hypersurface in which divides the projective space into two connected parts and . We prove that there exists a side, or , such that every continuous CR function on extends holomorphically to this side. Our proof of this theorem is a simplification of a result originally due to F. Sarkis.

     

Isomorphism of commutative group algebras of closed -local algebraically compact groups

Let be an abelian group and let be a field of 0$">. It is shown via a universal algorithm that if the modified Direct-Factor Problem holds, then the -isomorphism for some group yields provided is a closed -group or a -local algebraically compact group. In particular, this is the case when is closed -primary of arbitrary power, or is -local algebraically compact with cardinality at most and is in cardinality not exceeding . The last claim completely settles a question raised by W. May in Proc. Amer. Math. Soc. (1979) and partially extends our results published in Rend. Sem. Mat. Univ. Padova (1999) and Southeast Asian Bull. Math. (2001).

     

A lower bound for the equilateral number of normed spaces

We show that if the Banach-Mazur distance between an -dimensional normed space and is at most , then there exist equidistant points in . By a well-known result of Alon and Milman, this implies that an arbitrary -dimensional normed space admits at least equidistant points, where is an absolute constant. We also show that there exist equidistant points in spaces sufficiently close to , .

     

-Weyl's theorem for operator matrices

If is a upper triangular matrix on the Hilbert space , then -Weyl's theorem for and need not imply -Weyl's theorem for , even when . In this note we explore how -Weyl's theorem and -Browder's theorem survive for operator matrices on the Hilbert space.

     

On the Loewner problem in the class

Loewner's theorem on boundary interpolation of functions is proved under rather general conditions. In particular, the hypothesis of Alpay and Rovnyak (1999) that the function , which is to be extended to an function, is defined and continuously differentiable on a nonempty open subset of the real line, is replaced by the hypothesis that the set on which is defined contains an accumulation point at which satisfies some kind of differentiability condition. The proof of the theorem in this note uses the representation of functions in terms of selfadjoint relations in Pontryagin spaces and the extension theory of symmetric relations in Pontryagin spaces.

     

The f-depth of an ideal on a module

Let be an ideal of a Noetherian local ring and a finitely generated -module. The f-depth of on is the least integer such that the local cohomology module is not Artinian. This paper presents some part of the theory of f-depth including characterizations of f-depth and a relation between f-depth and f-modules.

     

On a semilinear Schrödinger equation with critical Sobolev exponent

We consider the semilinear Schrödinger equation , , where , are periodic in for , 0$">, is of subcritical growth and 0 is in a gap of the spectrum of . We show that under suitable hypotheses this equation has a solution . In particular, such a solution exists if and .

     

A description of Hilbert -modules in which all closed submodules are orthogonally closed

Let , be -algebras and a full Hilbert --bimodule such that every closed right submodule is orthogonally closed, i.e., . Then there are families of Hilbert spaces , such that and are isomorphic to -direct sums , resp. , and is isomorphic to the outer direct sum .