An Integral Formula for Lipschitz-Killing Curvature and the Critical Points of Height Functions

We have established (see Shiohama and Xu in J. Geom. Anal. 7:377–386, 1997; Lemma) an integral formula on the absolute Lipschitz-Killing curvature and critical points of height functions of an isometrically immersed compact Riemannian n-manifold into R ^n+q . Making use of this formula, we prove a topological sphere theorem and a differentiable sphere theorem for hypersurfaces with bounded L ^n/2 Ricci curvature norm in R ⁿ⁺¹. We show that the theorems of Gauss-Bonnet-Chern, Chern-Lashof and the Willmore inequality are all its consequences.     

ON THE STRUCTURE OF MINIMAL R n ACTIONS

Abstract

In this paper we study several concepts and models which are relevant in describing both the topological and dynamical structure of a typical R ⁿ flow. Some of these ideas originated in our earlier papers, and those of other authors, and we here attempt to synthesise these concepts. We start with shear—a notion which describes how little equicontinuity the flow contains. We move to R ⁿ suspensions which depend on particular R ⁿ cocycles and easily obtain a crude representation of the flow as a tower—a partial suspension over a base flow which contains the shear. Rudolph's deep theory of suspension models is modified to provide a new suspension model which incorporates the shear as the base of the tower. Finally we investigate towers in the context of a special class of automorphisms to see when these objects are themselves suspensions.     

A Unified Constructive Approach to the Topological Degree in Rn

The paper gives an approach to the topological degree in Rⁿ which takes into account numerical requirements and permits derivation of the known degree computation formulas in a simple way. The new approach subsumes several earlier approaches and represents a general principle of construction of degree computation formulas. The basic idea consists of computing the degree of a continuous function relative to a bounded open subset Ω of Rⁿ by means of an auxiliary function which is defined on a polyhedron approximating Ω and maps into a known fixed convex polyhedron containing the origin of Rⁿ. It is further shown that the topological degree of a continuous function relative to an n-dimensional polyhedron P can be computed alone by means of a subset of the boundary of P .     

A Theorem on Fine Connectedness

We prove that E is a p-fine domain whenever R ⁿ is a p-fine domain, E R ⁿ is p-polar, and 1 < p n. By a p-fine domain we understand an open connected set in the p-fine topology, i.e. in the coarsest topology making all p-superharmonic functions continuous. As an application of our main result, we establish a general version of minimum principle.     

Hilbert Geometry for Strictly Convex Domains

We prove in this paper that the Hilbert geometry associated with a bounded open convex domain in R ⁿ whose boundary is a ² hypersuface with nonvanishing Gaussian curvature is bi-Lipschitz equivalent to the n-dimensional hyperbolic space H ⁿ . Moreover, we show that the balls in such a Hilbert geometry have the same volume growth entropy as those in H ⁿ .     

A criterion for <Emphasis Type="Italic">C</Emphasis><Superscript>2</Superscript>-rectifiability of sets

The following result is proved: Let be a n-dimensional C¹-submanifold of R^N which is domain of a given _nR^N-valued map of class C¹. Then the set of all points P such that (P) is non-zero, simple and enveloped by T_P is C²-rectifiable. As a corollary we get a criterion for the C²-rectifiability of a rectifiable set based on the rectifiability of some generalized Gauss lift to the Grassmanian bundle R^N×G(N,n). Mathematics Subject Classification (2000) Primary 49Q15, 53A07; Secondary 49Q20, 49N60     

Topological nearrings whose additive groups are Euclidean

Let (G,+) be a group with a locally compact Hausdorff topology for which the binary operation + is continuous. Those, binary operation * onG for which (G, +, *) is a topological nearring are described. In the case whereG is abelian, those binary operations * for which (G, +, *) is a topological ring are also described. Versions of these results are then obtained in the special case where the group is the topological Euclideann-group,R ⁿ. A family of binary operations * for which (R ⁿ, +, *)_is a topological nearring is then investigated in some detail. Most of these nearrings turn out to be planar. Their ideals are completely determined and we characterize those nearrings which are simple. The multiplicative semi-groups (R ⁿ, *) of these nearrings are then investigated. Green's relations are completely determined and it is shown that a number of familiar properties of semigroups are equivalent for these particular semigroups. Finally, all those binary operations * for which (R, +, *) is a topological nearring are completely described. It is determined when any two of these nearrings are isomorphic and for each of these nearrings, its automorphism group, is completely determined.     

Rigidity of planar tilings

Summary Aperturbation of a tiling of a region inR ⁿ is a set of isometries, one applied to each tile, so that the images of the tiles tile the same region.We show that a locally finite tiling of an open region inR ² with tiles which are closures of their interiors isrigid in the following sense: any sufficiently small perturbation of the tiling must have only earthquake-type discontinuities, that is, the discontinuity set consists of straight lines and arcs of circles, and the perturbation near such a curve shifts points along the direction of that curve.We give an example to show that this type of rigidity does not hold inR ⁿ , forn>2.Using rigidity in the plane we show that any tiling problem with a finite number of tile shapes (which are topological disks) is equivalent to a polygonal tiling problem, i.e. there is a set of polygonal shapes with equivalent tiling combinatorics.Oblatum 19-III-1991     

q-Functions and extreme topological measures

q-Functions provide a method for constructing topological measures. We give necessary and sufficient conditions for a composition of a q-function and a topological measure to be a topological measure. Regular and extreme step q-functions are characterized by certain regions in Rn. Then extreme q-functions are used to study extreme topological measures. For example, we prove (under some assumptions on the underlying set) that given n, there are different types of extreme topological measures with values 0,1/n,…,1. In contrast, in the case of measures the only extreme points are {0,1}-valued, i.e., point masses.     

Differences of Convex Compact Sets in the Space of Directed Sets. Part II: Visualization of Directed Sets

This paper is a continuation of the author's first paper (Set-Valued Anal. 9 (2001), pp. 217–245), where the normed and partially ordered vector space of directed sets is constructed and the cone of all nonempty convex compact sets in R ⁿ is embedded. A visualization of directed sets and of differences of convex compact sets is presented and its geometrical components and properties are studied. The three components of the visualization are compared with other known differences of convex compact sets.     

Witt equivalence of local and global fields of characteristic 2

ABSTRACT

In this note it is proved that certain level sets of some real proper polynomial maps are nothing but spheres. As an application of this, we provide new proofs of Theorems 1.1, 1.2 and of the fundamental theorem of algebra. In addition, we show that every strictly convex (concave) polynomial map is proper. The latter implies that every real polynomial map g(x): R ⁿ  → R ⁿ , whose Jacobian matrix is symmetric and has nonzero eigenvalues of the same sign, is a homeomorphism of R ⁿ onto R ⁿ .     

A Polynomial-Time Algorithm to Approximate the Mixed Volume within a Simply Exponential Factor

Let K=(K ₁,…,K _n ) be an n-tuple of convex compact subsets in the Euclidean space R ⁿ , and let V(⋅) be the Euclidean volume in R ⁿ . The Minkowski polynomial V _K is defined as V _K (λ ₁,…,λ _n )=V(λ ₁ K ₁+⋅⋅⋅+λ _n K _n ) and the mixed volume V(K ₁,…,K _n ) as

Unbounded quadrature domains inR n (n≥3)

As a result of the powerful tools of complex analysis a lot of problems have been solved in the theory of Q.D.s (quadrature domain) inR ². These problems are almost untouched inR ⁿ (n≥3). To study Q.D.s inR ⁿ , one has to supply the subject with new techniques. This is the goal of papers by Shapiro, Khavinson and Shapiro, Sakai, and Gustafsson, where the authors approach the subject inR ⁿ by different methods. The main purpose of this paper is to generalize some of the ideas (already known inR ²) toR ⁿ (n>-3), and we merely work with unbounded Q.D.     

Isoperimetric bounds for the first eigenvalue of the Laplacian

In this paper, generalizing an earlier result by Payne–Rayner, we prove an isoperimetric lower bound for the first eigenvalue of the Laplacian in the fixed membrane problem on a compact minimal surface in a Euclidean space R ⁿ with weakly connected boundary. We also prove an isoperimetric upper bound for the first eigenvalue of the Laplacian of an embedded closed hypersurface in R ⁿ .     

Smooth Quasiregular Maps with Branching in R n

According to a theorem of Martio, Rickman and Väisälä, all nonconstant C^n/(n-2)-smooth quasiregular maps in Rⁿ, n≥3, are local homeomorphisms. Bonk and Heinonen proved that the order of smoothness is sharp in R³. We prove that the order of smoothness is sharp in R⁴. For each n≥5 we construct a C^1+ε(n)-smooth quasiregular map in Rⁿ with nonempty branch set.     

Embedding Tn-like continua in Euclidean space

Many authors have been concerned with embedding ∏-like continua in Rⁿ where ∏ is some collection of polyhedra or manifolds. A similar concern has been embedding ∏-like continua in Rⁿ up to shape. In this paper we prove two main theorems. Theorem: If n ? 2 and X is Tⁿ-like, then X embeds in R²ⁿ. This result was conjectured by McCord for the case H¹(X) finitely generated and proved by McCord for the case that H¹(X) = 0 using a theorem of Isbell. The second theorem is a shape embedding theorem. Theorem: If X is Tⁿ-like, then X embeds in Rⁿ⁺² up to shape. This theorem is proved by showing that an n-dimensional compact connected abelian topological group embeds in Rⁿ⁺². Any Tⁿ-like continuum is shape equivalent to a k-dimensional compact connected abelian topological group for some 0 ? k ? n.     

Embedding a polytope in a lattice

We present a special similarity ofR ⁴ⁿ which maps lattice points into lattice points. Applying this similarity, we prove that if a (4n−1)-polytope is similar to a lattice polytope (a polytope whose vertices are all lattice points) inR ⁴ⁿ , then it is similar to a lattice polytope inR ⁴ⁿ⁻¹, generalizing a result of Schoenberg [4]. We also prove that ann-polytope is similar to a lattice polytope in someR ^N if and only if it is similar to a lattice polytope inR ²ⁿ⁺¹, and if and only if sin²(<ABC) is rational for any three verticesA, B, C of the polytope.     

An Optimal Inequality and Extremal Classes of Affine Spheres in Centroaffine Geometry

A hypersurface f : M → Rⁿ⁺¹ in an affine (n+1)-space is called centroaffine if its position vector is always transversal to f_*(TM) in Rⁿ⁺¹. In this paper, we establish a general optimal inequality for definite centroaffine hypersurfaces in Rⁿ⁺¹ involving the Tchebychev vector field. We also completely classify the hypersurfaces which verify the equality case of the inequality.     

The cauchy problem at simply characteristic points andP-convexity

Summary Let Ω cR ⁿ be an open set and let P be a linear partial differential operator with constant coefficients inR ⁿ. Then Ω is said to be P-convex if for each f ε C^∞(Ω) there is a u ε D′(Ω) such that P(D)u=f. A complete geometric characterization of P-convex sets inR ³ is given when P is of principal type and when Ω has C²-boundary. As a step in the proof one also obtains necessary and sufficient conditions for uniqueness in the local Cauchy problem at simply characteristic points inR ³. The tools are a sophisticated use of the author's uniqueness cones on one hand and his semi-global nullsolutions on the other hand. Hints are given on the difficulties that may be encountered inR ⁿ for the same problem. Entrata in Redazione il 7 giugno 1978.     

On semi-fredholm properties of a boundary value problem inR + n

The paper considers a boundary value problem with the help of the smallest closed extensionL ^∼ :H _k →H _{k 0}×B _{h 1}×...×B _{h N} of a linear operatorL :C ₍₀₎ ^∞ (R ₊ ⁿ ) →L(R ₊ ⁿ )×L(R ⁿ⁻¹)×...×L(R ⁿ⁻¹). Here the spacesH _k (the spaces ℬ _h ) are appropriate subspaces ofD′(R ₊ ⁿ ) (ofD′(R ⁿ⁻¹), resp.),L(R ₊ ⁿ ) andC ₍₀₎ ^∞ (R ₊ ⁿ )) denotes the linear space of smooth functionsR ⁿ →C, which are restrictions onR ₊ ⁿ of a function from the Schwartz classL (fromC ₀ ^∞ , resp.),L(R ⁿ⁻¹) is the Schwartz class of functionsR ⁿ⁻¹ →C andL is constructed by pseudo-differential operators. Criteria for the closedness of the rangeR(L ^∼) and for the uniqueness of solutionsL ^∼ U=F are expressed. In addition, ana priori estimate for the corresponding boundary value problem is established.