Modified Busemann-Petty problem on sections of convex bodies

The Busemann-Petty problem asks whether convex origin-symmetric bodies in ℝ ⁿ with smaller central hyperplane sections necessarily have smallern-dimensional volume. It is known that the answer is affirmative ifn≤4 and negative ifn≥5. In this article we replace the assumptions of the original Busemann-Petty problem by certain conditions on the volumes of central hyperplane sections so that the answer becomes affirmative in all dimensions. The first-named author was supported in part by the NSF grant DMS-0136022 and by a grant from the University of Missouri Research Board.     

The lower dimensional Busemann-Petty problem for bodies with the generalized axial symmetry

The lower dimensional Busemann-Petty problem asks, whether n-dimensional centrally symmetric convex bodies with smaller i-dimensional central sections necessarily have smaller volumes. For i = 1, the affirmative answer is obvious. If i > 3, the answer is negative. For i = 2 or i = 3 (n > 4), the problem is still open, however, when the body with smaller sections is a body of revolution, the answer is affirmative. The paper contains a solution to the problem in the more general situation, when the body with smaller sections is invariant under rotations, preserving mutually orthogonal subspaces of dimensions ℓ and n − ℓ, respectively, so that i + ℓ ≤ n. The answer essentially depends on ℓ. The argument relies on the notion of canonical angles between subspaces, spherical Radon transforms, properties of intersection bodies, and the generalized cosine transforms.     

The modified complex Busemann-Petty problem on sections of convex bodies

The complex Busemann-Petty problem asks whether origin symmetric convex bodies in with smaller central hyperplane sections necessarily have smaller volume. The answer is affirmative if n ≤ 3 and negative if n ≥ 4. Since the answer is negative in most dimensions, it is natural to ask what conditions on the (n − 1)-dimensional volumes of the central sections of complex convex bodies with complex hyperplanes allow to compare the n-dimensional volumes. In this article we give necessary conditions on the section function in order to obtain an affirmative answer in all dimensions. The result is the complex analogue of [16].      

The Busemann-Petty problem in hyperbolic and spherical spaces

The Busemann-Petty problem asks whether origin-symmetric convex bodies in Rⁿ with smaller central hyperplane sections necessarily have smaller n-dimensional volume. It is known that the answer to this problem is affirmative if n?4 and negative if n?5. We study this problem in hyperbolic and spherical spaces.     

A solution to the lower dimensional Busemann-Petty problem in the hyperbolic space

The lower dimensional Busemann-Petty problem asks whether origin symmetric convex bodies in ℝⁿ with smaller volume of all k-dimensional sections necessarily have smaller volume. As proved by Bourgain and Zhang, the answer to this question is negative if k>3. The problem is still open for k = 2, 3. In this article we formulate and completely solve the lower dimensional Busemann-Petty problem in the hyperbolic space ℍⁿ.     

Comparison of volumes of convex bodies in real, complex, and quaternionic spaces

The classical Busemann-Petty problem (1956) asks, whether origin-symmetric convex bodies in Rn with smaller hyperplane central sections necessarily have smaller volumes. It is known, that the answer is affirmative if n?4 and negative if n>4. The same question can be asked when volumes of hyperplane sections are replaced by other comparison functions having geometric meaning. We give unified analysis of this circle of problems in real, complex, and quaternionic n-dimensional spaces. All cases are treated simultaneously. In particular, we show that the Busemann-Petty problem in the quaternionic n-dimensional space has an affirmative answer if and only if n=2. The method relies on the properties of cosine transforms on the unit sphere. We discuss possible generalizations.     

The Busemann-Petty problem for arbitrary measures

The Busemann-Petty problem asks whether symmetric convex bodies in ⁿ with smaller (n–1)-dimensional volume of central hyperplane sections necessarily have smaller n-dimensional volume. The answer to this problem is affirmative for n4 and negative for n5. In this paper we generalize the Busemann-Petty problem to essentially arbitrary measure in place of the volume. We also present applications of the latter result by proving several inequalities concerning the measure of sections of convex symmetric bodies in ⁿ.Mathematics Subject Classification (2000): 52A15, 52A21, 52A38     

The complex Busemann-Petty problem for arbitrary measures

The complex Busemann-Petty problem asks whether origin symmetric convex bodies in with smaller central hyperplane sections necessarily have smaller volume. The answer is affirmative if and negative if . In this article we show that the answer remains the same if the volume is replaced by an “almost” arbitrary measure. This result is the complex analogue of Zvavitch’s generalization to arbitrary measures of the original real Busemann-Petty problem. Received: 6 May 2008     

The Busemann-Petty problem via spherical harmonics

The Busemann-Petty problem asks whether symmetric convex bodies in with smaller central hyperplane sections necessarily have smaller n-dimensional volume. The solution has recently been completed, and the answer is affirmative if n?4 and negative if n?5. In this article we present a short proof of the affirmative result and its generalization using the Funk-Hecke formula for spherical harmonics.     

The complex Busemann-Petty problem on sections of convex bodies

The complex Busemann-Petty problem asks whether origin symmetric convex bodies in Cn with smaller central hyperplane sections necessarily have smaller volume. We prove that the answer is affirmative if n?3 and negative if n?4.     

Comparison of volumes by means of the areas of central sections

The Busemann–Petty problem asks whether origin-symmetric convex bodies in Rⁿ with smaller areas of all central hyperplane sections necessarily have smaller n-dimensional volume. The solution was completed in the end of the 1990s, and the answer is affirmative if n4 and negative if n5. Since the answer is negative in most dimensions, it is natural to ask what information about the volumes of central sections of two bodies does allow to compare the n-dimensional volumes of these bodies in all dimensions. In this article we give an answer to this question in terms of certain powers of the Laplace operator applied to the section function of the body.     

Topological equivalence of Haar measures on compact groups

The existence of homeomorphisms establishign an isometry of normalized Haar measures on (metrizable) compact groups is studied. In the case of 0-dimensional groups, a complete answer is given in terms of the indices of open normal subgroups. For example, for the countable powers of the groups ℤ/(m) and ℤ/(n), the answer is affirmative if and only ifm andn have the same prime divisors. A certain class of extensions of 0-dimensional groups is also studied. Translated fromMatematicheskie Zametki, Vol. 68, No. 2, pp. 188–194, August, 2000.     

Smooth convex bodies with proportional projection functions

For a convex body K ⊂ ℝⁿ and i ∈ {1, …, n − 1}, the function assigning to any i-dimensional subspace L of ℝⁿ, the i-dimensional volume of the orthogonal projection of K to L, is called the i-th projection function of K. Let K, K ₀ ⊂ ℝⁿ be smooth convex bodies with boundaries of class C ² and positive Gauss-Kronecker curvature and assume K ₀ is centrally symmetric. Excluding two exceptional cases, (i, j) = (1, n − 1) and (i, j) = (n − 2, n − 1), we prove that K and K ₀ are homothetic if their i-th and j-th projection functions are proportional. When K ₀ is a Euclidean ball this shows that a convex body with C ² boundary and positive Gauss-Kronecker with constant i-th and j-th projection functions is a Euclidean ball. The second author was supported in part by the European Network PHD, FP6 Marie Curie Actions, RTN, Contract MCRN-511953.     

Redundancy for localized frames

Redundancy is the qualitative property which makes Hilbert space frames so useful in practice. However, developing a meaningful quantitative notion of redundancy for infinite frames has proven elusive. Though quantitative candidates for redundancy exist, the main open problem is whether a frame with redundancy greater than one contains a subframe with redundancy arbitrarily close to one. We will answer this question in the affirmative for ℓ ¹-localized frames. We then specialize our results to Gabor multi-frames with generators in M ¹(R ^d ), and Gabor molecules with envelopes in W(C, l ¹). As a main tool in this work, we show there is a universal function g(x) so that, for every ε =s> 0, every Parseval frame {f _i } _i=1 ^M for an N-dimensional Hilbert space H _N has a subset of fewer than (1+ε)N elements which is a frame for H _N with lower frame bound g(ε/(2M/N − 1)). This work provides the first meaningful quantative notion of redundancy for a large class of infinite frames. In addition, the results give compelling new evidence in support of a general definition of redundancy given in [5].     

Fibrations with Hopfian properties

This study explores the homotopy-theoretic meeting-point of topics in differential topology, combinatorial group theory and algebraicK-theory. The first two are due to H. Hopf and date from around 1930. The third arose in the author’s characterisation of plus-constructive fibrations. LetF ( _→ ^ί )E →B be a fibration such thati induces an isomorphism of homology with trivial integer coefficients; what is the effect ofi on fundamental groups? In particular, when one passes to hypoabelianisations by factoring out perfect radicals, doesi induce an epimorphism? Numerous conditions are determined which force an affirmative answer. On the other hand, negative examples of a non-finitary nature are also provided. This leaves the question open in the finitely generated case, where it forms a homological version of the dual to Hopf’s original, famous question in group theory.     

Affine complete locally convex hypersurfaces

An open problem in affine geometry is whether an affine complete locally uniformly convex hypersurface in Euclidean (n+1)-space is Euclidean complete for n≥2. In this paper we give the affirmative answer. As an application, it follows that an affine complete, affine maximal surface in R ³ must be an elliptic paraboloid. Oblatum 16-VI-2001 & 27-II-2002?Published online: 29 April 2002     

A Note on Prehomomorphisms

We show that if G is a free group with basis X then any map θ from X to an inverse monoid S extends to a monoid prehomomorphism ψ: G\rightarrow S. As an application we give an affirmative answer to a problem of M. Petrich. 1980 Mathematics Subject Classification: Primary 20M10. September 14, 1999     

On-line covering a cube by a sequence of cubes

A procedure for packing or covering a given convex bodyK with a sequence of convex bodies {C _i} is anon-line method if the setC _i are given in sequence. andC _i+1 is presented only afterC _i has been put in place, without the option of changing the placement afterward. The “one-line” idea was introduced by Lassak and Zhang [6] who found an asymptotic volume bound for the problem of on-line packing a cube with a sequence of convex bodies. In this note a problem of Lassak is solved, concerning on-line covering a cube with a sequence of cubes, by proving that every sequence of cubes in the Euclidean spaceE ^d whose total volume is greater than 4 ^d admits an on-line covering of the unit cube. Without the “on-line” restriction, the best possible volume bound is known to be 2 ^d −1, obtained by Groemer [2] and, independently, by Bezdek and Bezdek [1]. The on-line covering method described in this note is based on a suitable cube-filling Peano curve.     

Group rings over Dedekind rings

Seghal posed the following question: IfA andB are rings, doesA[X,X ⁻¹] ℞B[X,X ⁻¹] implyA ℞B. In general the answer to this question is no. In this note we give an affirmative answer in the case thatA andB are Dedekind rings. The author is research assistant at the NFWO.     

Dominated splitting versus small angles

In this paper, we give a partial answer to the problem proposed by Lan Wen. Roughly speaking, we prove that for a fixed i, f has C^1 persistently no small angles if and only if f has a dominated splitting of index i on the C^1 i-preperiodic set P＊^1（f）. To prove this, we mainly use some important conceptions and techniques developed by Christian Bonatti. In the last section, we also give a characterization of the finest dominated splitting for linear cocvcles.