Diameter preserving bijections between Grassmann spaces over Bezout domains

Let R, S be Bezout domains. Assume that n is an integer ≥ 3, 1 ≤ k ≤ n − 2. Denoted by the k-dimensional Grassmann space on . Let be a map. This paper proves the following are equivalent: (i) is an adjacency preserving bijection in both directions. (ii) is a diameter preserving bijection in both directions. Moreover, Chow’s theorem on Grassmann spaces over division rings is extended to the case of Bezout domains: If is an adjacency preserving bijection in both directions, then is induced by either a collineation or the duality of a collineation. Project 10671026 supported by National Natural Science Foundation of China.     

A Generalization of the prime geodesic theorem to counting conjugacy classes of free subgroups

The classical prime geodesic theorem (PGT) gives an asymptotic formula (as x tends to infinity) for the number of closed geodesics with length at most x on a hyperbolic manifold M. Closed geodesics correspond to conjugacy classes of π₁(M) = Γ where Γ is a lattice in G = SO(n,1). The theorem can be rephrased in the following format. Let be the space of representations of into Γ modulo conjugation by Γ. is defined similarly. Let be the projection map. The PGT provides a volume form vol on such that for sequences of subsets {B _t }, satisfying certain explicit hypotheses, |π⁻¹(B _t )| is asymptotic to vol(B _t ). We prove a statement having a similar format in which is replaced by a free group of finite rank under the additional hypothesis that n = 2 or 3.      

An extension of Takahashi theorem for the linearized operators of the higher order mean curvatures

We study hypersurfaces in Euclidean space whose position vector x satisfies the condition L _k x = Ax + b, where L _k is the linearized operator of the (k + 1)th mean curvature of the hypersurface for a fixed , is a constant matrix and is a constant vector. For every k, we prove that the only hypersurfaces satisfying that condition are hypersurfaces with zero (k + 1)th mean curvature and open pieces of round hyperspheres and generalized right spherical cylinders of the form , with . This extends a previous classification for hypersurfaces in satisfying , where is the Laplacian operator of the hypersurface, given independently by Hasanis and Vlachos [J. Austral. Math. Soc. Ser. A 53, 377–384 (1991) and Chen and Petrovic [Bull. Austral. Math. Soc. 44, 117–129 (1991)].      

Convexes Hyperboliques et Quasiisométries

For any m ≥ 3, we construct properly convex open sets Ω in the real projective space whose Hilbert metric is Gromov hyperbolic but is not quasiisometric to the hyperbolic space . We show that such examples cannot exist for m = 2. Some of our examples are divisible, i.e. there exists a discrete group Г of projective transformations preserving Ω with a compact quotient Г\Ω. The open set Ω is strictly convex but the group Г is not isomorphic to any cocompact lattice in the isometry group of .     

Construction of Lagrangian Self-similar Solutions to the Mean Curvature Flow in \mathbb{C}^n

We give new examples of self-shrinking and self-expanding Lagrangian solutions to the Mean Curvature Flow (MCF). These are Lagrangian submanifolds in , which are foliated by (n − 1)-spheres (or more generally by minimal (n − 1)-Legendrian submanifolds of ), and for which the study of the self-similar equation reduces to solving a non-linear Ordinary Differential Equation (ODE). In the self-shrinking case, we get a family of submanifolds generalising in some sense the self-shrinking curves found by Abresch and Langer.     

The symplectomorphism group of a blow up

We study the relation between the symplectomorphism group Symp M of a closed connected symplectic manifold M and the symplectomorphism and diffeomorphism groups Symp and Diff of its one point blow up . There are three main arguments. The first shows that for any oriented M the natural map from to is often injective. The second argument applies when M is simply connected and detects nontrivial elements in the homotopy group that persist into the space of self-homotopy equivalences of . Since it uses purely homological arguments, it applies to c-symplectic manifolds (M, a), that is, to manifolds of dimension 2n that support a class such that . The third argument uses the symplectic structure on M and detects nontrivial elements in the (higher) homology of BSymp, M using characteristic classes defined by parametric Gromov–Witten invariants. Some results about many point blow ups are also obtained. For example we show that if M is the four-torus with k-fold blow up (where k > 0) then is not generated by the groups as ranges over the set of all symplectic forms on . Partially supported by NSF grants DMS 0305939 and 0604769.     

Dy namic of Abelia n Subgroups of GL( n, $$\mathbb{C}$$): A Structure Theorem

In this paper, we characterize the dynamic of every Abelian subgroups of , or . We show that there exists a -invariant, dense open set U in saturated by minimal orbits with a union of at most n -invariant vector subspaces of of dimension n−1 or n−2 over . As a consequence, has height at most n and in particular it admits a minimal set in . This work is supported by the research unit: systèmes dynamiques et combinatoire: 99UR15-15     

A perfect stratification of $${\mathcal M_ g}$$ for g ≤ 5

We find for g ≤ 5 a stratification of depth g − 2 of the moduli space of curves with the property that its strata are affine and the classes of their closures provide a -basis for the Chow ring of . The first property confirms a conjecture of one of us. The way we establish the second property yields new (and simpler) proofs of theorems of Faber and Izadi which, taken together, amount to the statement that in this range the Chow ring is generated by the λ-class.      

On the Limit Set of Discrete Subgroups of PU(2,1)

Let G be a discrete subgroup of PU(2,1); G acts on preserving the unit ball , equipped with the Bergman metric. Let be the limit set of G in the sense of Chen–Greenberg, and let be the limit set of the G-action on in the sense of Kulkarni. We prove that L(G) = Λ(G) ∩ S ³ and Λ(G) is the union of all complex projective lines in which are tangent to S ³ at a point in L(G).     

Hopf hypersurfaces of small Hopf principal curvature in $${\mathbb{C}{\rm H}^2}$$

Using the methods of moving frames and exterior differential systems, we show that there exist Hopf hypersurfaces in complex hyperbolic space with any specified value of the Hopf principal curvature α less than or equal to the corresponding value for the horosphere. We give a construction for all such hypersurfaces in terms of Weierstrass-type data, and also obtain a classification of pseudo-Einstein hypersurfaces in .      

Non-free isometric immersions of Riemannian manifolds

Let (V, g) be a Riemannian manifold and let be the isometric immersion operator which, to a map , associates the induced metric on V, where denotes the Euclidean scalar product in . By Nash–Gromov implicit function theorem is infinitesimally invertible over the space of free maps. In this paper we study non-free isometric immersions . We show that the operator (where denotes the space of C ^∞- smooth quadratic forms on ) is infinitesimally invertible over a non-empty open subset of and therefore is an open map in the respective fine topologies.      

Arboreal Galois representations

Let be the absolute Galois group of , and let T be the complete rooted d-ary tree, where d ≥ 2. In this article, we study “arboreal” representations of into the automorphism group of T, particularly in the case d = 2. In doing so, we propose a parallel to the well-developed and powerful theory of linear p-adic representations of . We first give some methods of constructing arboreal representations and discuss a few results of other authors concerning their size in certain special cases. We then discuss the analogy between arboreal and linear representations of . Finally, we present some new examples and conjectures, particularly relating to the question of which subgroups of Aut(T) can occur as the image of an arboreal representation of .      

Surfaces with many solitary points

It is classically known that a real cubic surface in cannot have more than one solitary point (or -singularity, locally given by x ² + y ² + z ² = 0) whereas it can have up to four nodes (or -singularity, locally given by x ² + y ² − z ² = 0). We show that on any surface of degree d ≥ 3 in the maximum possible number of solitary points is strictly smaller than the maximum possible number of nodes. Conversely, we adapt a construction of Chmutov to obtain surfaces with many solitary points by using a refined version of Brusotti’s Theorem. Combining lower and upper bounds, we deduce: , where denotes the maximum possible number of solitary points on a real surface of degree d in . Finally, we adapt this construction to get real algebraic surfaces in with many singular points of type for all k ≥ 1.      

Rigidity of higher rank abelian cocycles with values in diffeomorphism groups

We consider cocycles over certain hyperbolic actions, , and show rigidity properties for cocycles with values in a Lie group or a diffeomorphism group, which are close to identity on a set of generators, and are sufficiently smooth. The actions we consider are Cartan actions of or , for , and Γ torsion free cocompact lattice. The results in this paper rely on a technique developed recently by D. Damjanović and A. Katok.      

The Poisson boundary of lamplighter random walks on trees

Let be the homogeneous tree with degree q + 1 ≥ 3 and a finitely generated group whose Cayley graph is . The associated lamplighter group is the wreath product , where is a finite group. For a large class of random walks on this group, we prove almost sure convergence to a natural geometric boundary. If the probability law governing the random walk has finite first moment, then the probability space formed by this geometric boundary together with the limit distribution of the random walk is proved to be maximal, that is, the Poisson boundary. We also prove that the Dirichlet problem at infinity is solvable for continuous functions on the active part of the boundary, if the lamplighter “operates at bounded range”. Supported by ESF program RDSES and by Austrian Science Fund (FWF) P15577.     

$${\mathbb{Z}}_2^k$$ -Manifolds are isospectral on forms

We obtain a simple formula for the multiplicity of eigenvalues of the Hodge-Laplace operator, Δ _f , acting on sections of the full exterior bundle over an arbitrary compact flat Riemannian n-manifold M with holonomy group , 1 ≤ k ≤ n − 1. This formula implies that any two such manifolds having isospectral lattices of translations are isospectral with respect to Δ _f . As a consequence, we construct a large family of pairwise Δ _f -isospectral and nonhomeomorphic n-manifolds of cardinality greater than . Supported by Conicet, Secyt-UNC.     

Hypersurfaces of restricted type in Minkowski space

A submanifold M _n ^r of Minkowski space is said to be of restricted type if its shape operator with respect to the mean curvature vector is the restriction of a fixed linear transformation of to the tangent space of M _n ^r at every point of M _n ^r . In this paper we completely classify hypersurfaces of restricted type in . More precisely, we prove that a hypersurface of is of restricted type if and only if it is either a minimal hypersurface, or an open part of one of the following hypersurfaces: S ^k × , S _k ¹ × , H ^k × , S _n ¹ , H ⁿ , with 1kn–1, or an open part of a cylinder on a plane curve of restricted type.This work was done when the first and fourth authors were visiting Michigan State University.Aangesteld Navorser N.F.W.O., Belgium.     

The braid groups of the projective plane and the Fadell–Neuwirth short exact sequence

We study the pure braid groups of the real projective plane , and in particular the possible splitting of the Fadell–Neuwirth short exact sequence , where n ≥ 2 and m ≥ 1, and p _* is the homomorphism which corresponds geometrically to forgetting the last m strings. This problem is equivalent to that of the existence of a section for the associated fibration of configuration spaces. Van Buskirk proved (1966, Trans. Am. Math. Soc., 122:81–97) that p and p _* admit a section if n = 2 and m = 1. Our main result in this paper is to prove that there is no section if n ≥ 3. As a corollary, it follows that n = 2 and m = 1 are the only values for which a section exists. As part of the proof, we derive a presentation of : this appears to be the first time that such a presentation has been given in the literature.      

Sous-groupes discrets de <Emphasis Type="Italic">PU</Emphasis>(2,1) engendrés par <Emphasis Type="Italic">n</Emphasis> réflexions complexes et Déformation

Let PU(2,1) be the group of holomorphic isometries in the hyperbolic complex plane and let G _n be a sub-group of PU(2,1) which is generated by n complex reflections with respect to complex lines in . Under certain conditions, we prove that G _n is discrete. We construct representations ρ of the fundamental group Γ _g of the compact surface Σ _g of genus g, into PU(2,1), we prove they are discrete, faithful and we compute the dimension their deformation space.