Congruence Criteria for Finite Subsets of Quaternionic Elliptic and Quaternionic Hyperbolic Spaces

We investigate congruence classes of m-tuples of points in the quaternionic elliptic space ?P ⁿ . We establish a canonical bijection between the set of congruence classes of m-tuples of points in ?P ⁿ and the set of equivalence classes of positive semidefinite Hermitian m×m matrices of rank at most n+1 with the 1's on the diagonal. We show that with each m-tuple of points in ?P ⁿ is associated a tuple of points on the real unit sphere S ². Then we get that the congruence class of an m-tuple of points in ?P ⁿ is determined by the congruence classes of all its triangles and by the direct congruence class of the associated tuple on the sphere S ² provided that no pair of points of the m-tuple has distance π/2. Finally we carry out the same kind of investigation for the quaternionic hyperbolic space ?H ⁿ . Most of the results are completely analogous, although there are also some interesting differences.     

Sur les m-uples F-réguliers dans les espaces projectifs complexes

Résumé On étudie dans P ⁿ les m-uples de points, appelés F-réguliers, dont les sous-triplets ordonnés sont deux à deux isométriques. On montre qu'il existe au plus deux classes d'isométrie de quintuplets F-réguliers contenant un triangle équilatère T donné. On étudie aussi les m-uples F-réguliers, dont les sous k-uples (k<m) non ordonnés sont deux à deux isométriques. Ces m-uples sont appelés k-réguliers. On montre que la 4-régularité implique la k-régularité pour tous les k5.

---

We investigate in P ⁿ m-tuples of points in which all ordered triples are pairwise isometric. Such m-tuples are called F-regular. We show that for a given triangle T there exist at most two isometry classes of F-regular quintuples containing T. We also investigate F-regular m-tuples in which all (unordered) k-tuples (k<m) are pairwise isometric. Such m-tuples are called k-regular. We show that 4-regularity implies k-regularity for all k5.

     

Preimages of CR submanifolds with generic holomorphic maps

We investigate the notion of CR transversality of a generic holomorphic map f: ℂ ⁿ → ℂ ^m to a smooth CR submanifold M of ℂ ^m . We construct a stratification of the set of non-CR transversal points in the preimage M′ = f ⁻¹ (M) by smooth submanifolds, consisting of points where the CR dimension of M′ is constant. We show the existence of a Whitney stratification for sets which are locally diffeomorphic to the product of an open set and an analytic set. Work on this paper was supported by ARRS, Republic of Slovenia.     

Curvature surfaces of Hopf hypersurfaces in complex space forms

We study the principal curvatures of a Hopf hypersurfaceM in ℂP ⁿ or ℂH ⁿ . The respective eigenspaces of the shape operator often turn out to induce totally real foliations ofM, whose leaves are spherical in the ambient space. Finally we classify the Hopf hypersurfaces with three distinct principal curvatures satisfying a certain non-degeneracy condition.     

Geometry of Configuration Spaces of Tensegrities

Consider a graph G with n vertices. In this paper we study geometric conditions for an n-tuple of points in ℝ ^d to admit a nonzero self-stress with underlying graph G. We introduce and investigate a natural stratification, depending on G, of the configuration space of all n-tuples in ℝ ^d . In particular we find surgeries on graphs that give relations between different strata. Further we discuss questions related to geometric conditions defining the strata for plane tensegrities. We conclude the paper with particular examples of strata for tensegrities in the plane with a small number of vertices.     

Extreme points for convex mappings ofB n

We exhibit a collection of extreme points of the family of normalized convex mappings of the open unit ball of ℂ ⁿ forn≥2. These extreme points are defined in terms of the extreme points of a closed ball in the Banach space of homogeneous polynomials of degree 2 in ℂ ⁿ⁻¹, which are fully classified. Two examples are given to show that there are more convex mappings than those contained in the closed convex hull of the set of extreme points here exhibited.     

The signature of generalized flag manifolds and applications

Let G be a linear algebraic group over C and P be a parabolic subgroup. We determine the signatures of the flag manifold G/P. As an application, we prove that the nonsingular hypersurfaces of degree 2 in CP^n are prime if n satisfies certain conditions.     

Minimal 2-spheres in ℂPn with constant Kähler angle

In 1988 the author and J. Bolton conjectured that a minimally immersed 2-sphere in ℂP ⁿ with constant K?hler angle θ≠ 0, π/2,π necessarily has constant curvature. In 1995 Li Zhen-qi showed that the simplest candidates for counterexamples must be linearly full in ℂP ¹⁰ with tan² (θ/2) = 3/4, and produced an explicit 3-parameter family of them. In the present paper it is shown that these counterexamples may be completely characterised using almost complex curves in the nearly K?hler S ⁶ and that the space of such counterexamples, modulo ambient isometries, is a 14-cell with a single point removed. Received: 7 April 1999     

On quasi-convex mappings of order α in the unit ball of a complex Banach space

In this paper, a class of biholomorphic mappings named quasi-convex mapping of order α in the unit ball of a complex Banach space is introduced. When the Banach space is confined to ℂ ⁿ , we obtain the relation between this class of mappings and the convex mappings. Furthermore, the growth and covering theorems of this class of mappings are given on the unit ball of a complex Banach space X. Finally, we get the second order terms coefficient estimations of the homogeneous expansion of quasi-convex mapping of order α defined on the polydisc in ℂ ⁿ and on the unit ball in a complex Banach space, respectively. Dedicated to Professor Sheng GONG on the occasion of his 75th birthday     

On the Equicontinuity Region of Discrete Subgroups of <Emphasis Type="Italic">PU</Emphasis>(1,<Emphasis Type="Italic">n</Emphasis>)

Let G be a discrete subgroup of PU(1,n). Then G acts on ℙ_ℂ ⁿ preserving the unit ball ℍ_ℂ ⁿ , where it acts by isometries with respect to the Bergman metric. In this work we look at its action on all of ℙ_ℂ ⁿ and determine its equicontinuity region Eq(G). This turns out to be the complement of the union of all complex projective hyperplanes in ℙ_ℂ ⁿ which are tangent to ∂ℍ_ℂ ⁿ at points in the Chen-Greenberg limit set Λ(G), a closed G-invariant subset of ∂ℍ_ℂ ⁿ which is minimal for non-elementary groups. We also prove that the action on Eq(G) is discontinuous. Also , if the limit set is “sufficiently general” (i.e. it is not contained in any proper k -chain), then each connected component of Eq(G) is a holomorphy domain and it is a complete Kobayashi hyperbolic space.     

On groups of central type,non-degenerate and bijective cohomology classes

A finite group G is of central type (in the non-classical sense) if it admits a non-degenerate cohomology class [c] ∈ H ²(G, ℂ*) (G acts trivially on ℂ*). Groups of central type play a fundamental role in the classification of semisimple triangular complex Hopf algebras and can be determined by their representation-theoretical properties. Suppose that a finite group Q acts on an abelian group A so that there exists a bijective 1-cocycle π ∈ Z ¹(Q,Ǎ), where Ǎ = Hom(A, ℂ*) is endowed with the diagonal Q-action. Under this assumption, Etingof and Gelaki gave an explicit formula for a non-degenerate 2-cocycle in Z ²(G, ℂ*), where G:= A × Q. Hence, the semidirect product G is of central type. In this paper, we present a more general correspondence between bijective and non-degenerate cohomology classes. In particular, given a bijective class [π] ∈ H ¹(Q,Ǎ) as above, we construct non-degenerate classes [cπ] ∈ H ²(G,ℂ*) for certain extensions 1 → A → G → Q → 1 which are not necessarily split. We thus strictly extend the above family of central type groups.     

Bergman kernel and complex singularity exponent

We give a precise estimate of the Bergman kernel for the model domain defined by Ω _F = “(z,w) ∈ ℂ ⁿ⁺¹: Im w − |F(z)|² > 0”, where F = (f ₁, ..., f _m ) is a holomorphic map from ℂ ⁿ to ℂ ^m , in terms of the complex singularity exponent of F.     

On p-tuples of equi-isoclinic 3-spaces in the Euclidean space

In this paper we show on the one hand that ?⁸ contains two congruence classes of sextuples of equi-isoclinic 3-subspaces, whereas no such 7-tuple exists and on the other hand, we give the list of all regular p-tuples of equi-isoclinic 3-subspaces.     

Estimates of the number of singular points of a complex hypersurface and related questions

It is well known that the number of isolated singular points of a hypersurface of degree d in ℂP^m does not exceed the Arnol’d number A_m(d), which is defined in combinatorial terms. In the paper it is proved that if b _m−1 ^± (d) are the inertia indices of the intersection form of a nonsingular hypersurface of degree d in ℂP^m, then the inequality A_m(d)<min{b _m−1 ⁺ (d), b _m−1 ⁻ (d)} holds if and only if (m−5)(d−2)≥18 and (m,d)≠(7,12). The table of the Arnol’d numbers for 3≤m≤14, 3≤d≤17 and for 3≤m≤14, d=18, 19 is given. Bibliography: 6 titles. Translated fromZapiski Nauchnykh Seminarov POMI, Vol. 231, 1995, pp. 180–190. Translated by O. A. Ivanov and N. Yu. Netsvetev.     

Linear bounds for levels of stable rationality

Let G be one of the groups SL _n (ℂ), Sp_2n (ℂ), SO _m (ℂ), O _m (ℂ), or G ₂. For a generically free G-representation V, we say that N is a level of stable rationality for V/G if V/G × ℙ ^N is rational. In this paper we improve known bounds for the levels of stable rationality for the quotients V/G. In particular, their growth as functions of the rank of the group is linear for G being one of the classical groups.     

Valuations on arithmetic surfaces

In this paper, we give the definition of the height of a valuation and the definition of the big field Cp,G, where p is a prime and GR is an additive subgroup containing 1. We conclude that Cp,G is a field and Cp,G is algebraically closed. Based on this the author obtains the complete classification of valuations on arithmetic surfaces. Furthermore, for any m ≤n∈ Z, let Vm,n be an R-vector space of dimension n-m + 1, whose coordinates are indexed from m to n. We generalize the definition of Cp,G, where p i...     

Asymptotically spirallike mappings in several complex variables

In this paper, we define the notion of asymptotic spirallikeness (a generalization of asymptotic starlikeness) in the Euclidean space ℂ ⁿ . We consider the connection between this notion and univalent subordination chains. We introduce the notions of A-asymptotic spirallikeness and A-parametric representation, where A ∈ L(ℂ ⁿ , ℂ ⁿ ), and prove that if dt < ∞ (this integral is convergent if k ₊(A) < 2m(A)), then a mapping f ∈ S(B ⁿ ) is A-asymptotically spirallike if and only if f has A-parametric representation, i.e., if and only if there exists a univalent subordination chain f(z, t) such that D f(0, t) = e ^At , {e ^−At f(·, t)} _t≥0 is a normal family on B ⁿ and f = f(·, 0). In particular, a spirallike mapping with respect to A ∈ L(ℂ ⁿ , ℂ ⁿ ) with dt < ∞ has A-parametric representation. We also prove that if f is a spirallike mapping with respect to an operator A such that A + A* = 2I _n , then f has parametric representation (i.e., with respect to the identity). Finally, we obtain some examples of asymptotically spirallike mappings. Partially supported by the Natural Sciences and Engineering Research Council of Canada under Grant A9221. Partially supported by Grant-in-Aid for Scientific Research (C) no. 19540205 from Japan Society for the Promotion of Science, 2007. Partially supported by Romanian Ministry of Education and Research, CEEX Program, Project 2-CEx06-11-10/2006.     

Upper bounds for the first dirichlet eigenvalue of a tube around an algebraic complex curve of ℂ<Emphasis Type="Italic">P</Emphasis><Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>(<Emphasis Type="Italic">λ</Emphasis>)

We give an upper bound for the first Dirichlet eigenvalue of a tube around a complex curve P of ℂP ⁿ (λ) which depends only on the radius of the tube and the degrees of the polynomials defining P. The bound is sharp on a totally geodesic ℂP ¹(λ) and gives a gap between the eigenvalue of a tube around ℂP ¹(λ) and around other complex curves.     

Fuzzy complex Grassmannians and quantization of line bundles

We construct by purely representation-theoretic methods fuzzy versions of an arbitrary complex Grassmannian M=Gr _n (ℂ ^n+m ), i.e., a sequence of matrix algebras tending SU(n+m)-equivariantly to the algebra of smooth functions on M. We also show that this approximation can be interpreted in terms of the Berezin-Toeplitz quantization of M. Furthermore, we use branching rules to prove that the quantization of every complex line bundle over M is given by a SU(n+m)-equivariant truncation of the space of its L ²-sections.     

Large dimensional sets not containing a given angle

We say that a set in a Euclidean space does not contain an angle α if the angle determined by any three points of the set is not equal to α. The goal of this paper is to construct compact sets of large Hausdorff dimension that do not contain a given angle α ∈ (0,π). We will construct such sets in ℝ ⁿ of Hausdorff dimension c(α)n with a positive c(α) depending only on α provided that α is different from π/3, π/2 and 2π/3. This improves on an earlier construction (due to several authors) that has dimension c(α) log n.