Focal points and support functions in affine differential geometry

The notions of focal point and support function are considered for a nondegenerate hypersurfaceM ⁿ in affine spaceR ⁿ⁺¹ equipped with an equiaffine transversal field. IfM ⁿ is locally strictly convex, these two concepts are related via an Index theorem concerning the critical points of the support functions onM ⁿ . This is used to obtain characterizations of spheres and ellipsoids in terms of the critical point behavior of certain classes of affine support functions.Research supported by NSF Grant No. DMS-9101961.     

The number of simple modules of the Hecke algebras of type G(r,1,n)

This paper classifies the simple modules of the cyclotomic Hecke algebras of type G(r,1,n) and the affine Hecke algebras of type A in arbitrary characteristic. We do this by first showing that the simple modules of the cyclotomic Hecke algebras are indexed by the set of “Kleshchev multipartitions”. Received July 24, 1998; in final form February 8, 1999     

Affine minimal hypersurfaces of rotation

We give a complete list of affine minimal surfaces inA ³ with Euclidean rotational symmetry, completing the treatise given in [1] and prove that these surfaces have maximal affine surface area within the class of all affine surfaces of rotation satisfying suitable boundary conditions. Besides we show that for rotationally symmetric locally strongly convex affine minimal hypersurfaces inA ⁿ ,n4, the second variation of the affine surface area is negative definite under certain conditions on the meridian.     

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     

Affine manifolds with diagonal holonomy

As first defined by Smillie, an affine manifold with diagonal holonomy is a manifold equipped with an atlas such that the changes of charts are restrictions of elements of the subgroup of Aff ( \mathbbRⁿ{\mathbb{R}^n}) formed by diagonal matrices. Refining Smillie’s theorem, Benoist proved that if a compact manifold M is split into manifolds with corners corresponding to complete simplicial fans of a fixed frame by its hypersurfaces with normal crossing, then the product of M and a torus of suitable dimension is a finite cover of an affine manifold with diagonal holonomy, and conversely. Motivated by the result of Benoist, we introduce a “Benoist manifold” and a natural definition of complexity for them. In particular, we study some properties of “Benoist manifolds”.     

Group invariance and <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript>-bounded operators

The Hilbert and Riesz transforms can be characterized up to scalar as the translation invariant operators that satisfy additionally certain relative invariance of conformal transformation groups. In this article, we initiate a systematic study of translation invariant operators from group theoretic viewpoints, and formalize a geometric condition that characterizes specific multiplier operators uniquely up to scalar by means of relative invariance of affine subgroups. After providing some interesting examples of multiplier operators having “large symmetry”, we classify which of these examples can be extended to continuous operators on L ^p (R ⁿ ) (1 < p < ∞). T. Kobayashi was partially supported by Grant-in-Aid for Scientific Research 18340037, Japan Society for the Promotion of Science. A. Nilsson was partially supported by Japan Society for the Promotion of Science.     

r-entropy,equipartition, and Ornstein’s isomorphism theorem inR n

A new approach is given to the entropy of a probability-preserving group action (in the context ofZ and ofR _n ), by defining an approximate “r-entropy”, 0<r<1, and lettingr → 0. If the usual entropy may be described as the growth rate of the number of essential names, then ther-entropy is the growth rate of the number of essential “groups of names” of width≦r, in an appropriate sense. The approach is especially useful for actions of continuous groups. We apply these techniques to state and prove a “second order” equipartition theorem forZ _m ×R _n and to give a “natural” proof of Ornstein’s isomorphism theorem for Bernoulli actions ofZ _m ×R _n , as well as a characterization of such actions which seems to be the appropriate generalization of “finitely determined”.     

On duality gap in linear conic problems

In their paper “Duality of linear conic problems” Shapiro and Nemirovski considered two possible properties (A) and (B) for dual linear conic problems (P) and (D). The property (A) is “If either (P) or (D) is feasible, then there is no duality gap between (P) and (D)”, while property (B) is “If both (P) and (D) are feasible, then there is no duality gap between (P) and (D) and the optimal values val(P) and val(D) are finite”. They showed that (A) holds if and only if the cone K is polyhedral, and gave some partial results related to (B). Later Shapiro conjectured that (B) holds if and only if all the nontrivial faces of the cone K are polyhedral. In this note we mainly prove that both the “if” and “only if” parts of this conjecture are not true by providing examples of closed convex cone in \mathbbR⁴{\mathbb{R}^{4}} for which the corresponding implications are not valid. Moreover, we give alternative proofs for the results related to (B) established by Shapiro and Nemirovski.     

The relative isoperimetric inequality outside convex domains in R<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>

We prove that the area of a hypersurface Σ which traps a given volume outside a convex domain C in Euclidean space R ⁿ is bigger than or equal to the area of a hemisphere which traps the same volume on one side of a hyperplane. Further, when C has smooth boundary ∂C, we show that equality holds if and only if Σ is a hemisphere which meets ∂C orthogonally.     

Zéros d’applications holomorphes deC n dansC n

It is known that, unlike the one dimensional case it is not possible to find an upper bound for the zeros of an entire map fromC ⁿ toC ⁿ ,n≥2, in terms of the growth of the map. However, if we only consider the “non-degenerate” zeros, that is, the zeros where the jacobian is not “too small”, it becomes possible. We give a new proof of this fact.      

Quasi-parabolic analytic transformations of <Emphasis Type="Bold">C</Emphasis><Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>. Parabolic manifolds

In [Rong, F., Quasi-parabolic analytic transformations of C ⁿ , J. Math. Anal. Appl. 343 (2008), 99–109], we showed the existence of “parabolic curves” for certain quasi-parabolic analytic transformations of C ⁿ . Under some extra assumptions, we show the existence of “parabolic manifolds” for such transformations.     

Obstruction results in quantization theory

Summary Quantization is not a straightforward proposition, as demonstrated by Groenewold's and Van Hove's discovery, exactly fifty years ago, of an “obstruction” to quantization. Their “no-go theorems” assert that it is in principle impossible to consistently quantize every classical observable on the phase spaceR ²ⁿ in a physically meaningful way. A similar obstruction was recently found forS ², buttressing the common belief that no-go theoremss should hold in some generality. Surprisingly, this is not so—it has also just been proven that there is no obstruction to quantizing a torus. In this paper we take first steps towards delineating the circumstances under which such obstructions will appear and understanding the mechanisms which produce them. Our objectives are to conjecture a generalized Groenewold-Van Hove theorem and to determine the maximal subalgebras of observables which can be consistently quantized. This requires a study of the structure of Poisson algebras of classical systems and their representations. To these ends we include an exposition of both prequantization (in an extended sense) and quantization theory—formulated in terms of “basic sets of observables”—and review in detail the known results forR ²ⁿ,S ², andT ². Our discussion is independent of any particular method of quantization; we concentrate on the structural aspects of quantization theory which are common to all Hilbert space-based quantization techniques. This paper is dedicated to the memory of Juan C. Simo Supported in part by NSF Grants DMS 92-22241 and 96-23083 (M.J.G.). This paper was solicited by the editors to be part of a volume dedicated to the memory of Juan C. Simo.     

On the partial regularity of energy-minimizing, area-preserving maps

We prove a partial regularity assertion for a Lipschitz continuous mapping u in the plane that minimizes an appropriate convex (or quasiconvex) energy functional, under the “hard” constraint that det D u = 1 a.e. The primary technical assumption is that u be nondegenerate, meaning that, locally, at least one of its partial derivatives is bounded away from zero a.e. The method of proof is to convert to a related minimization problem for a generating function w, the advantage being that we now have the “soft” constraint . Received March 16, 1999 / Accepted April 23, 1999     

On the Lipschitzian properties of polyhedral multifunctions

In this paper, we show that for a polyhedral multifunctionF:R ⁿ →R ^m with convex range, the inverse functionF ⁻¹ is locally lower Lipschitzian at every point of the range ofF (equivalently Lipschitzian on the range ofF) if and only if the functionF is open. As a consequence, we show that for a piecewise affine functionf:R ⁿ →R ⁿ ,f is surjective andf ⁻¹ is Lipschitzian if and only iff is coherently oriented. An application, via Robinson's normal map formulation, leads to the following result in the context of affine variational inequalities: the solution mapping (as a function of the data vector) is nonempty-valued and Lipschitzian on the entire space if and only if the solution mapping is single-valued. This extends a recent result of Murthy, Parthasarathy and Sabatini, proved in the setting of linear complementarity problems. Research supported by the National Science Foundation Grant CCR-9307685.     

Global existence and uniform decay for the coupled Klein-Gordon-Schr?dinger equations

This paper is concerned to the existence, uniqueness and uniform decay for the solutions of the coupled Klein-Gordon-Schr?dinger damped equations where ω is a bounded domain of R ⁿ , n≤ 3, F : R ²→R is a C ¹-function; γ, β; θ are constants such that γ, β > 0 and 1 ≤ 2θ≤ 2. Received January 1999 – Accepted October 1999     

Hit-and-run mixes fast

It is shown that the “hit-and-run” algorithm for sampling from a convex body K (introduced by R.L. Smith) mixes in time O ^*(n ² R ²/r ²), where R and r are the radii of the inscribed and circumscribed balls of K. Thus after appropriate preprocessing, hit-and-run produces an approximately uniformly distributed sample point in time O ^*(n ³), which matches the best known bound for other sampling algorithms. We show that the bound is best possible in terms of R,r and n. Received January 26, 1998 / Revised version received October 26, 1998?Published online July 19, 1999     

The Banach-Mazur distance to the cube and the Dvoretzky-Rogers factorization

We show the existence of a sequence (λ _n ) of scalars withλ _n =o(n) such that, for any symmetric compact convex bodyB ⊂R ⁿ , there is an affine transformationT satisfyingQ ⊂T(B) ⊂λ _n Q, whereQ is then-dimensional cube. This complements results of the second-named author regarding the lower bound on suchλ _n . We also show that ifX is ann-dimensional Banach space andm=[n/2], then there are operatorsα:l ₂ ^m →X andβ:X→l _∞ ^m with ‖α‖·‖β‖≦C, whereC is a universal constant; this may be called “the proportional Dvoretzky-Rogers factorization”. These facts and their corollaries reveal new features of the structure of the Banach-Mazur compactum. Research performed while this author was visiting IHES. Supported in part by the NSF Grant DMS-8702058 and the Sloan Research Fellowship.     

Enclosed convex hypersurfaces with maximal affine area

In this paper we study the regularity of closed, convex surfaces which achieve maximal affine area among all the closed, convex surfaces enclosed in a given domain in the Euclidean 3-space. We prove the C^1,α regularity for general domains and C^1,1 regularity if the domain is uniformly convex. This work is supported by the Australian Research Council. Research of Sheng was also supported by ZNSFC No. 102033. On leave from Zhejiang University.     

Graded automorphism group of TKK Lie algebra over semilattice

Every extended affine Lie algebra of type A ₁ and nullity ν with extended affine root system R(A ₁, S), where S is a semilattice in ℝ ^ν , can be constructed from a TKK Lie algebra T (J (S)) which is obtained from the Jordan algebra J (S) by the so-called Tits-Kantor-Koecher construction. In this article we consider the ℤ ⁿ -graded automorphism group of the TKK Lie algebra T (J (S)), where S is the “smallest” semilattice in Euclidean space ℝ ⁿ .     

On locally strongly convex affine hypersurfaces with parallel cubic form. Part I

In this paper, we study locally strongly convex affine hypersurfaces of Rn+1 that have parallel cubic form with respect to the Levi-Civita connection of the affine Berwald-Blaschke metric; it is known that they are affine spheres. In dimension n?7 we give a complete classification of such hypersurfaces; in particular, we present new examples of affine spheres.