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.      

Constant mean curvature graphs in a class of warped product spaces

We introduce a new existence result for compact normal geodesic graphs with constant mean curvature and boundary in a class of warped product spaces. In particular, our result includes that of normal geodesic graphs with constant mean curvature in hyperbolic space over a bounded domain in a totally geodesic .      

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.      

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 .      

Quasilinearization and curvature of Aleksandrov spaces

We present a new distance characterization of Aleksandrov spaces of non-positive curvature. By introducing a quasilinearization for abstract metric spaces we draw an analogy between characterization of Aleksandrov spaces and inner product spaces; the quasi-inner product is defined by means of the quadrilateral cosine—a metric substitute for the angular measure between two directions at different points. Our main result states that a geodesically connected metric space is an Aleksandrov domain (also known as a CAT(0) space) if and only if the quadrilateral cosine does not exceed one for every two pairs of distinct points in . We also observe that a geodesically connected metric space is an domain if and only if, for every quadruple of points in , the quadrilateral inequality (known as Euler’s inequality in ) holds. As a corollary of our main result we give necessary and sufficient conditions for a semimetric space to be an domain. Our results provide a complete solution to the Curvature Problem posed by Gromov in the context of metric spaces of non-positive curvature.      

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.      

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).     

Minimizing Constant Mean Curvature Hypersurfaces in Hyperbolic Space

We study the constant mean curvature (CMC) hypersurfaces in whose asymptotic boundaries are closed codimension-1 submanifolds in . We consider CMC hypersurfaces as generalizations of minimal hypersurfaces. We naturally generalize some notions of minimal hypersurfaces like being area-minimizing, convex hull property, exchange roundoff trick to CMC hypersurface context. We also give a generic uniqueness result for CMC hypersurfaces in hyperbolic space.     

Ranks of abelian varieties over infinite extensions of the rationals

Let S be an infinite set of rational primes and, for some p ∈ S, let be the compositum of all extensions unramified outside S of the form , for . If , let be the intersection of the fixed fields by , for i = 1, . . , n. We provide a wide family of elliptic curves such that the rank of is infinite for all n ≥ 0 and all , subject to the parity conjecture. Similarly, let be a polarized abelian variety, let K be a quadratic number field fixed by , let S be an infinite set of primes of and let be the maximal abelian p-elementary extension of K unramified outside primes of K lying over S and dihedral over . We show that, under certain hypotheses, the -corank of sel _p ∞(A/F) is unbounded over finite extensions F/K contained in . As a consequence, we prove a strengthened version of a conjecture of M. Larsen in a large number of cases.     

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 .      

Campedelli surfaces with fundamental group of order 8

Let S be a Campedelli surface (a minimal surface of general type with p _g  = 0, K ² = 2), and an etale cover of degree 8. We prove that the canonical model of Y is a complete intersection of four quadrics . As a consequence, Y is the universal cover of S, the covering group G = Gal(Y/S) is the topological fundamental group π ₁ S and G cannot be the dihedral group D ₄ of order 8. The first author is a member of the Centre for Mathematical Analysis, Geometry and Dynamical Systems, Instituto Superior Técnico, Lisboa. The second is a member of G.N.S.A.G.A.–I.N.d.A.M.     

Equivariant gluing constructions of contact stationary Legendrian submanifolds in $${\mathbb {S}^{2n+1}}$$

A contact-stationary Legendrian submanifold of is a Legendrian submanifold whose volume is stationary under contact deformations. The simplest contact-stationary Legendrian submanifold (actually minimal Legendrian) is the real, equatorial n-sphere S ₀. This paper develops a method for constructing contact-stationary (but not minimal) Legendrian submanifolds of by gluing together configurations of sufficiently many many U(n + 1)-rotated copies of S ₀. Two examples of the construction, corresponding to finite cyclic subgroups of U(n + 1) are given. The resulting submanifolds are very symmetric; are geometrically akin to a ‘necklace’ of copies of S ₀ attached to each other by narrow necks and winding a large number of times around before closing up on themselves; and are topologically equivalent to .     

An asymptotic version of Dumnicki’s algorithm for linear systems in $${\mathbb{CP}^2}$$

Using Dumnicki’s approach to showing non-specialty of linear systems consisting of plane curves with prescribed multiplicities in sufficiently general points on we develop an asymptotic method to determine lower bounds for Seshadri constants of general points on . With this method we prove the lower bound for 10 general points on .      

Uniform central limit theorems for kernel density estimators

Let be the classical kernel density estimator based on a kernel K and n independent random vectors X _i each distributed according to an absolutely continuous law on . It is shown that the processes , , converge in law in the Banach space , for many interesting classes of functions or sets, some -Donsker, some just -pregaussian. The conditions allow for the classical bandwidths h _n that simultaneously ensure optimal rates of convergence of the kernel density estimator in mean integrated squared error, thus showing that, subject to some natural conditions, kernel density estimators are ‘plug-in’ estimators in the sense of Bickel and Ritov (Ann Statist 31:1033–1053, 2003). Some new results on the uniform central limit theorem for smoothed empirical processes, needed in the proofs, are also included.      

Group Pairs with Property (T), from Arithmetic Lattices

Let Γ be an arithmetic lattice in an absolutely simple Lie group G with trivial centre. We prove that there exists an integer N ≥ 2, a subgroup Λ of finite index in Γ, and an action of Λ on such that the pair ( ) has property (T). If G has property (T), then so does . If G is the adjoint group of Sp(n, 1), then is a property (T) group satisfying the Baum–Connes conjecture. If Γ is an arithmetic lattice in SO(n, 1), then the associated von Neumann algebra is a II₁-factor in Popa’s class . Elaborating on this result of Popa, we construct a countable family of pairwise nonstably isomorphic group II₁-factors in the class , all with trivial fundamental groups and with all L²-Betti numbers being zero.Mathematics Subject Classiffications (2000). 22E40, 22E47, 46L80, 37A20     

Dynamics of the Mapping Class Group on the Moduli of a Punctured Sphere with Rational Holonomy

Let M be a four-holed sphere and Γ the mapping class group of M fixing the boundary ∂M. The group Γ acts on which is the space of completely reducible SL (2, -gauge equivalence classes of flat SL -connections on M with fixed holonomy on ∂M. Let and be the compact component of the real points of . These points correspond to SU(2)-representations or SL(2, -representations. The Γ-action preserves and we study the topological dynamics of the Γ-action on and show that for a dense set of holonomy , the Γ-orbits are dense in . We also produce a class of representations such that the Γ-orbit of [ρ] is finite in the compact component of , but is dense in SL(2, .Mathematics Subject Classiffications (2000). 57M05, 54H20, 11D99     

Quasiperiodic Group Factorizations

If is any ring or semi-ring (e.g., ) and G is a finite abelian group, two elements a, b of the group (semi-)ring are said to form a factorization of G if ab = rΣ _g∈G g for some . A factorization is called quasiperiodic if there is some element g ∈ G of order m > 1 such that either a or b – say b – can be written as a sum b ₀ + ... + b _m−1 of m elements of such that ab _h = g ^h ab ₀ for h = 0, ... , m − 1. Hajós [5] conjectured that all factorizations are quasiperiodic when and r = 1 but Sands [15] found a counterexample for the group . Here we show however that all factorizations of abelian groups are quasiperiodic when and that all factorizations of cyclic groups or of groups of the type are quasiperiodic when . We also give some new examples of non-quasiperiodic factorizations with for the smaller groups and . Received: May 12, 2006. Revised: October 3, 2007.     

A conic bundle degenerating on the Kummer surface

Let C be a genus 2 curve and the moduli space of semi-stable rank 2 vector bundles on C with trivial determinant. In Bolognesi (Adv Geom 7(1):113–144, 2007) we described the parameter space of non stable extension classes of the canonical sheaf ω of C by ω⁻¹. In this paper, we study the classifying rational map that sends an extension class to the corresponding rank two vector bundle. Moreover, we prove that, if we blow up along a certain cubic surface S and at the point p corresponding to the bundle , then the induced morphism defines a conic bundle that degenerates on the blow up (at p) of the Kummer surface naturally contained in . Furthermore we construct the -bundle that contains the conic bundle and we discuss the stability and deformations of one of its components.     

Morse theory and conjugacy classes of finite subgroups

We construct a CAT(0) group containing a finitely presented subgroup with infinitely many conjugacy classes of finite-order elements. Unlike previous examples (which were based on right-angled Artin groups) our ambient CAT(0) group does not contain any rank 3 free abelian subgroups. We also construct examples of groups of type F _n inside mapping class groups, Aut(), and Out() which have infinitely many conjugacy classes of finite-order elements.