Equivariant geometry in EuclideanG-spheres of cohomogeneity two,I

The techniques of equivariant geometry are applied to a specific problem in Riemannian geometry, namely the study of constant mean curvature (and minimal) hypersurfaces of the Euclidean sphereS ⁿ , subject to the constraint of being invariant with respect to a suitable connected symmetry groupG Iso(S ⁿ ), dimS ⁿ /G=2.The surfaces are studied by deriving and solving the reduced differential equation, which is an ODE with singularities on the boundary of the orbit space. ForG U (1) the orbit space is (topologically) a 2-disk with 0, 1, 2 or 3 vertices. The case of no vertex was settled around 1970 (Hsiang-Lawson) and the case of two fixed points as vertices was analyzed in the 1980s by Hsiang and his collaborators in their study of the spherical Bernstein problem.The case of one vertex is settled in this paper. The main problem is the determination of volume function and the orbital distance metric, leading to the associated ODE. For convenience, the authors also employ numerical simulation to describe the qualitative behavior of solution curves. However, this part of the proof can be avoided by a more careful but lengthy analysis which is roughly similar to previous works in this direction.     

On the existence of H-surfaces into Riemannian manifolds

This paper considers the existence of a local minimizer of a conformally invariant functional defined on a space of maps of a closed Riemann surface into a compact Riemannian manifold . The functional is defined for a given tensor on of type (1,2) and we call its extremal an -surface. In fact, we prove that there exists a local minimizer of the functional in a given homotopy class under certain conditions on , and the minimum of the Dirichlet integral of maps of the homotopy class. Received January 21, 1994 / Received in revised form October 24, 1995 / Accepted March 15, 1996     

Factoring a Lie Group into a Compactly Embeddedand a Solvable Subgroup

 Let G be a real connected Lie group. A subgroup K is called compactly embedded if the closure of Ad(K) is compact in Aut(). If K is, in addition, maximal with respect to this property, then there exists a solvable subgroup S containing the nilradical such that and is the one-component of the center of G. (Received 1 June 1999; in revised form 28 December 1999)     

Contributions to Real Exponential Lie Groups

 A Lie group is called exponential if its exponential map is surjective. It is called weakly exponential if the exponential image is dense, which is equivalent to the connectivity of each of the Cartan subgroups (compare [11]). In the present paper the authors study exponential Lie groups which are of mixed type, i.e., neither solvable nor semisimple. Necessary conditions and also, for special mixed Lie groups, sufficient conditions are given for exponentiality. Several counter examples are provided showing that none of the conditions which have surfaced during the course of our investigation can work as necessary and sufficient ones. All conditions considered deal with centralizers of ad-nilpotent elements of the Lie algebra. For example, it is shown that if G is exponential, there is a rather large characteristic subgroup B which contains the nilradical, all Levi factors, and all maximal compactly embedded subgroups, which is also exponential. Moreover, this subgroup is also Mal’cev splittable so that one can apply earlier results on Mal’cev splittable exponential Lie groups, which characterize exponentiality of these Lie groups (also by conditions concerning the centralizers of ad-nilpotent elements). (Received 1 June 1999; in final form 28 December 1999)     

4-Dimensional Elation Laguerre Planes Admitting Non-Solvable Automorphism Groups

 This paper concerns 4-dimensional (topological locally compact connected) elation Laguerre planes that admit non-solvable automorphism groups. It is shown that such a plane is either semi-classical or a single plane admitting the group SL(2, ). Various characterizations of this single Laguerre plane are obtained. Received October 17 2000; in revised form April 23 2001 Published online August 5, 2002     

Unitals in Topological Affine Translation Planes Need Not Be Strictly Convex

We study the relationship of two incidence geometric convexity notions, namely, ovoids in real affine spaces and compact unitals of codimension 1 in topological affine translation planes. In [3] we showed that every ovoid in a translation plane is a unital, and we asked if the converse is true. Here we introduce the notion of a shell, which is distinctly weaker than that of an ovoid and still implies the unital property if the translation plane is properly chosen (and the shell is not too degenerate). We give an explicit example of a shell that is not an ovoid. The question remains whether or not conversely, every compact unital of codimension 1 in a translation plane is a shell.This paper was written while the third author was supported by a grant from DFG and TÜBITAK.Received March 12, 2002 Published online November 18, 2002     

The Fundamental Theorems for Affine Immersionsinto Hyperquadrics and its Applications

 We prove the fundamental theorems for affine immersions into hyperquadrics (including affine spaces) with arbitrary codimension, which are generalizations of those for isometric immersions into space forms. As applications, the fundamental theorems for equiaffine immersions into hyperquadrics with arbitrary codimension are obtained. (Received 10 February 2000)     

Generalized polygons with highly transitive collineation groups

It will be proved that the compact connected topological generalized quadrangles which admit a collineation group that acts transitively on ordered pentagons are precisely the real or complex orthogonal quadrangles, up to duality.Dedicated to Prof. H. Salzmann on the occasion of his 65th birthday     

On the Castelnuovo-Mumford regularity and the arithmetic degree of monomial ideals

In the first part of this paper we show that the Castelnuovo-Mumford regularity of a monomial ideal is bounded above by its arithmetic degree. The second part gives upper bounds for the Castelnuovo-Mumford regularity and the arithmetic degree of a monomial ideal in terms of the degrees of its generators. These bounds can be formulated for an arbitrary homogeneous ideal in terms of any Gröbner basis.     

Circularity of Finite Groups without Fixed Points

Let be a fixed point free group given by the presentation where and are relative prime numbers, t = /s and s = gcd( – 1,), and is the order of modulo . We prove that if (1) = 2, and (2) is embeddable into the multiplicative group of some skew field, then is circular. This means that there is some additive group N on which acts fixed point freely, and |((a)+b)((c)+d)| 2 whenever a,b,c,d N, a0c, are such that (a)+b(c)+d.     

Local isometries of function spaces

Abstract. We show that for a large class of function spaces any isometry that coincides locally with a surjective isometry must be automatically surjective. This class includes finite-codimensional subspaces of and spaces of E-valued continuous functions for finite-dimensional or uniformly convex and algebraically reflexive E. Received: 5 November 2001 / Published online: 14 February 2003 Thanks: Research of both authors partially supported by a grant \# 1102386 from the NSF and a grant \# DST/INT/US(NSF-RP041)/2000 from the DST     

Finiteness of real quadratic fields which admit positive integral diagonal septanary universal forms

In this paper, we will prove if D is large enough, there are no positive integral diagonal septanary universal quadratic forms over . Received: 13 November 1997 / Revised version: 17 November 1998     

Orbit Equivalence and Topological Conjugacy of Affine Actionson Compact Abelian Groups

 We study topological rigidity of affine actions on compact connected metrizable abelian groups. We also classify one parameter flows of translations up to orbit equivalence and discrete group actions by translations up to topological conjugacy. (Received 21 December 1998; in revised form 2 June 1999)     

Polarities of Compact Eight-Dimensional Planes

The polarities of eight-dimensional compact planes with at least 17-dimensional group of automorphisms are determined. We show that, among these planes, the quaternion plane is the only one admitting more than two conjugacy classes of polarities.     

Note On linear consistency of anonymous values for TU-games

In the framework of values for TU-games, it is shown that a particular type of consistency, called linear consistency, together with some kind of standardness for two-person games, imply efficiency, anonymity, linearity, as well as uniqueness of the value. Among others, this uniform treatment generalizes Sobolev's axiomatization of the Shapley value. Revised version: December 2001     

Topological obstructions to nonnegative curvature

We find new obstructions to the existence of complete Riemannian metric of nonnegative sectional curvature on manifolds with infinite fundamental groups. In particular, we construct many examples of vector bundles whose total spaces admit no nonnegatively curved metrics. Received February 11, 2000 / Published online February 5, 2001     

Schubert polynomials of types A--D

Schubert polynomials of type B, C, and D have been described first by S. Billey and M. Haiman [BH] using a combinatorial method. In this paper we give a unified algebraic treatment of Schubert polynomials of types A–D in the style of the Lascoux–Schützenberger theory in type A, i.e. Schubert polynomials are generated by the application of sequences of divided difference operators to “top polynomials”. The use of the creation operators for Q-Schur and P-Schur functions allows us to give: (1) simple and natural forms of the “top polynomials”, (2) formulas for the easy computation with all divided differences, (3) recursive structures, and (4) simplified derivations of basic properties. Received: 23 July 1998     

Blockwise perturbation theory for block p-cyclic stochastic matrices

Summary. Let P be a block p-cyclic stochastic matrix with stationary distribution , which is partitioned conformally in the form . This paper establishes the relative error bound for when each block of P gets a small relative perturbation. Received May 10, 1997 / Revised version October 21, 1997 / Published online November 17, 1999