The equivalence between contact and Pansu differentiable maps on Carnot groups is established within the class of maps that are C1 with respect to the ambient Euclidean structure.

The problem of finding geodesics that avoid certain obstacles in negatively curved manifolds has been studied in different situations. In this note we give a generalization of the unclouding theorem of J. Parkkonen and F. Paulin: there is a constant s0=1.534 such that for any Hadamard manifold M with curvature ≤−1 and for any family of disjoint balls or horoballs {Ca}a∈A and for any point p∈M−⋃ a∈ACa if we shrink these balls uniformly by s0 one can always find a geodesic ray emanating from p that avoids the shrunk balls. It will be shown that in the theorem above one can replace the balls by arbitrary convex sets.

We construct a Kähler structure (which we call a generalised Kähler cone) on an open subset of the cone of a strongly pseudo-convex CR manifold endowed with a one-parameter family of compatible Sasaki structures. We determine those generalised Kähler cones which are Bochner-flat and we study their local geometry. We prove that any Bochner-flat Kähler manifold of complex dimension bigger than two is locally isomorphic to a generalised Kähler cone.

This paper deals with 3-forms on six-dimensionalmanifolds, the first dimension where the classification of 3-forms is not trivial. It includes three classes of multisymplectic 3-forms. We study the class which is closely related to almost complex structures.

The energy of a unit vector field X on a closed Riemannian manifold M is defined as the energy of the section into T1M determined by X. For odd-dimensional spheres, the energy functional has an infimum for each dimension 2k+1 which is not attained by any non-singular vector field for k>1. For k=1, Hopf vector fields are the unique minima. In this paper we show that for any closed Riemannian manifold, the energy of a frame defined on the manifold, possibly except on a finite subset, admits a lower bound in terms of the total scalar curvature of the manifold. In particular, for odd-dimensional spheres this lower bound is attained by a family of frames defined on the sphere minus one point and consisting of vector fields parallel along geodesics.

Let (M,g) be a non-compact and complete Riemannian manifold with minimal horospheres and infinite injectivity radius. In this paper we prove that bounded functions on (M,g) satisfying the mean-value property are constant. We thus extend a result of Ranjan and Shah [‘Harmonic manifolds with minimal horospheres’, J. Geom. Anal.12(4) (2002), 683–694] where they proved a similar result for bounded harmonic functions on harmonic manifolds with minimal horospheres.

We develop the transversal harmonic theory for a transversally symplectic flow on a manifold and establish the transversal hard Lefschetz theorem. Our main results extend the cases for a contact manifold (H. Kitahara and H. K. Pak, ‘A note on harmonic forms on a compact manifold’, Kyungpook Math. J.43 (2003), 1–10) and for an almost cosymplectic manifold (R. Ibanez, ‘Harmonic cohomology classes of almost cosymplectic manifolds’, Michigan Math. J.44 (1997), 183–199). For the point foliation these are the results obtained by Brylinski (‘A differential complex for Poisson manifold’, J. Differential Geom.28 (1988), 93–114), Haller (‘Harmonic cohomology of symplectic manifolds’, Adv. Math.180 (2003), 87–103), Mathieu (‘Harmonic cohomology classes of symplectic manifolds’, Comment. Math. Helv.70 (1995), 1–9) and Yan (‘Hodge structure on symplectic manifolds’, Adv. Math.120 (1996), 143–154).

In this paper, we prove that there are no warped product proper semi-slant submanifolds such that the spheric submanifold of a warped product is a proper slant. But we show by means of examples the existence of warped product semi-slant submanifolds such that the totally geodesic submanifold of a warped product is a proper slant submanifold in locally Riemannian product manifolds.

We discuss the determination of the mean normal measure of a stationary random set Z ⊂ ℝd by taking measurements at the intersections of Z with k-dimensional planes. We show that mean normal measures of sections with vertical planes determine the mean normal measure of Z if k ≥ 3 or if k = 2 and an additional mild assumption holds. The mean normal measures of finitely many flat sections are not sufficient for this purpose. On the other hand, a discrete mean normal measure can be verified (i.e. an a priori guess can be confirmed or discarded) using mean normal measures of intersections with m suitably chosen planes when m ≥ ⌊d / k⌋ + 1. This even holds for almost all m-tuples of k-dimensional planes are viable for verification. A consistent estimator for the mean normal measure of Z, based on stereological measurements in vertical sections, is also presented.

We present a superfield formulation of the chiral de Rham complex (CDR), as introduced by Malikov, Schechtman and Vaintrob in 1999, in the setting of a general smooth manifold, and use it to endow CDR with superconformal structures of geometric origin. Given a Riemannian metric, we construct an N=1 structure on CDR (action of the N=1 super-Virasoro, or Neveu–Schwarz, algebra). If the metric is Kähler, and the manifold Ricci-flat, this is augmented to an N=2 structure. Finally, if the manifold is hyperkähler, we obtain an N=4 structure. The superconformal structures are constructed directly from the Levi-Civita connection. These structures provide an analog for CDR of the extended supersymmetries of nonlinear σ-models.

We give a formula for the Laplacian of the second fundamental form of an n-dimensional compact minimal submanifold M in a complex projective space CPm. As an application of this formula, we prove that M is a geodesic minimal hypersphere in CPm if the sectional curvature satisfies K≥1/n, if the normal connection is flat, and if M satisfies an additional condition which is automatically satisfied when M is a CR submanifold. We also prove that M is the complex projective space CPn/2 if K≥3/n, and if the normal connection of M is semi-flat.

In this paper, we characterize hypersurfaces of type A2 in a complex projective space in terms of their geodesics.

Let (M,I,J,K) be a compact hyperkähler manifold, , and L a non-trivial holomorphic line bundle on (M,I). Using the quaternionic Dolbeault complex, we prove the following vanishing theorem for holomorphic cohomology of L. If c1(L) lies in the closure of the dual Kähler cone, then Hi(L)=0 for i>n. If c1(L) lies in the opposite cone , then Hi(L)=0 for i<n. Finally, if c1(L) is neither in nor in , then Hi(L)=0 for .

In this paper telegraph processes on geodesic lines of the Poincaré half-space and Poincaré disk are introduced and the behavior of their hyperbolic distances examined. Explicit distributions of the processes are obtained and the related governing equations derived. By means of the processes on geodesic lines, planar random motions (with independent components) in the Poincaré half-space and disk are defined and their hyperbolic random distances studied. The limiting case of one-dimensional and planar motions together with their hyperbolic distances is discussed with the aim of establishing connections with the well-known stochastic representations of hyperbolic Brownian motion. Extensions of motions with finite velocity to the three-dimensional space are also hinted at, in the final section.

Classical principal component analysis on manifolds, for example on Kendall's shape spaces, is carried out in the tangent space of a Euclidean mean equipped with a Euclidean metric. We propose a method of principal component analysis for Riemannian manifolds based on geodesics of the intrinsic metric, and provide a numerical implementation in the case of spheres. This method allows us, for example, to compare principal component geodesics of different data samples. In order to determine principal component geodesics, we show that in general, owing to curvature, the principal component geodesics do not pass through the intrinsic mean. As a consequence, means other than the intrinsic mean are considered, allowing for several choices of definition of geodesic variance. In conclusion we apply our method to the space of planar triangular shapes and compare our findings with those of standard Euclidean principal component analysis.

In a convex domain K in ℝd , a transmitter and a receiver are placed at random according to the uniform distribution. The statistics of the power received by the receiver is an important quantity for the design of wireless communication systems. Bounds for the moments of the received power are given, which depend only on the volume and the surface area of the convex domain.

Distance measurements are useful tools in stochastic geometry. For a Boolean model Z in ℝd , the classical contact distribution functions allow the estimation of important geometric parameters of Z. In two previous papers, several types of generalized contact distributions have been investigated and applied to stationary and nonstationary Boolean models. Here, we consider random sets Z which are generated as the union sets of Poisson processes X of k-flats, k ∈ {0, …, d-1}, and study distances from a fixed point or a fixed convex body to Z. In addition, we also consider the distances from a given flat or a flag consisting of flats to the individual members of X and investigate the associated process of nearest points in the flats of X. In particular, we discuss to which extent the directional distribution of X is determined by this point process. Some of our results are presented for more general stationary processes of flats.

Let be the mean normal measure of a stationary random set Z in the extended convex ring in ℝd . For k ∈ {1,…,d-1}, connections are shown between and the mean of . Here, the mean is understood to be with respect to the random isotropic k-dimensional linear subspace ξk and the mean normal measure of the intersection is computed in ξk . This mean to be well defined, a suitable spherical lifting must be applied to before averaging. A large class of liftings and their resulting means are discussed. In particular, a geometrically motivated lifting is presented, for which the mean of liftings of determines uniquely for any fixed k ∈ {2,…,d-1}.

Recently, systematic sampling on the circle and the sphere has been studied by Gual-Arnau and Cruz-Orive (2000) from a design-based point of view. In this note, it is shown that their mathematical model for the covariogram is, in a model-based statistical setting, a special case of the p-order shape model suggested by Hobolth, Pedersen and Jensen (2000) and Hobolth, Kent and Dryden (2002) for planar objects without landmarks. Benefits of this observation include an alternative variance estimator, applicable in the original problem of systematic sampling. In a wider perspective, the paper contributes to the discussion concerning design-based versus model-based stereology.

Geometric sampling, and local stereology in particular, often require observations at isotropic random directions on the sphere, and some sort of systematic design on the sphere becomes necessary on grounds of efficiency and practical applicability. Typically, the relevant probes are of nucleator type, in which several rays may be contained in a sectioning plane through a fixed point (e.g. through a nucleolus within a biological cell). The latter requirement considerably reduces the choice of design in practice; in this paper, we concentrate on a nucleator design based on splitting the sphere into regions of equal area, but not of identical shape; this design is pseudosystematic rather than systematic in a strict sense. Firstly, we obtain useful exact representations of the variance of an estimator under pseudosystematic sampling on the sphere. Then we adopt a suitable covariogram model to obtain a variance predictor from a single sample of arbitrary size, and finally we examine the prediction accuracy by way of simulation on a synthetic particle model.