On higher analogs of topological complexity

Farber introduced a notion of topological complexity TC(X) that is related to robotics. Here we introduce a series of numerical invariants TCn(X), n=2,3,… , such that TC₂(X)=TC(X) and TCn(X)?TCn+1(X). For these higher complexities, we define their symmetric versions that can also be regarded as higher analogs of the symmetric topological complexity.     

A Poincaré-Hopf-type theorem for holomorphic one-forms

We prove that if a holomorphic one-form Ω in a neighborhood of a closed euclidian ball , in the n-dimensional complex affine space, defines a distribution transverse to the boundary sphere , then n is even and Ω admits a sole singularity q∈B²ⁿ. Moreover, this singularity is simple.     

Abelianization for hyperkähler quotients

We study an integration theory in circle equivariant cohomology in order to prove a theorem relating the cohomology ring of a hyperkähler quotient to the cohomology ring of the quotient by a maximal abelian subgroup, analogous to a theorem of Martin for symplectic quotients. We discuss applications of this theorem to quiver varieties, and compute as an example the ordinary and equivariant cohomology rings of a hyperpolygon space.     

On the Lusternik-Schnirelmann category of Stiefel manifolds

We determine the Lusternik-Schnirelmann category of real Stiefel manifolds Vn,k and quaternionic Stiefel manifolds Xn,k for n?2k which is equal to the cup-length of the mod 2 cohomology of Vn,k and the integer cohomology of Xn,k, respectively.     

Instability for harmonic foliations on compact homogeneous spaces

In this paper we discuss the instability of harmonic foliations on compact submanifolds immersed in Euclidean spaces and compact homogeneous spaces. We obtain a sufficient condition for a harmonic foliation to be unstable on compact submanifolds in a Euclidean space and on compact isotropy irreducible homogeneous spaces. We also classify compact symmetric spaces which have no non-trivial stable harmonic foliation.     

Two Gauss-Bonnet and Poincaré-Hopf theorems for orbifolds with boundary

We generalize the Gauss-Bonnet and Poincaré-Hopf theorems to the case of orbifolds with boundary. We present two such generalizations, the first in the spirit of Satake, in which the local data (i.e. integral of the curvature in the case of the Gauss-Bonnet theorem and the index of the vector field in the case of the Poincaré-Hopf theorem) is related to Satake's orbifold Euler-Satake characteristic, a rational number which depends on the orbifold structure.For the second pair of generalizations, we use the Chen-Ruan orbifold cohomology to express the local data in a way which can be related to the Euler characteristic of the underlying space of the orbifold.     

On the Lusternik–Schnirelmann category of Peano continua

We define the LS-category _catg${\mathrm{cat}}_g$ by means of covers of a space by general subsets, and show that this definition coincides with the classical Lusternik–Schnirelmann category for compact metric ANR spaces. We apply this result to give short dimension theoretic proofs of the Grossman–Whitehead theorem and Dranishnikov?s theorem. We compute _catg${\mathrm{cat}}_g$ for some fractal Peano continua such as Menger spaces and Pontryagin surfaces.     

Surgery and harmonic spinors

Let M be a compact spin manifold with a chosen spin structure. The Atiyah-Singer index theorem implies that for any Riemannian metric on M the dimension of the kernel of the Dirac operator is bounded from below by a topological quantity depending only on M and the spin structure. We show that for generic metrics on M this bound is attained.     

Singular Riemannian foliations on simply connected spaces

A singular foliation on a complete Riemannian manifold is said to be Riemannian if each geodesic that is perpendicular at one point to a leaf remains perpendicular to every leaf it meets. The singular foliation is said to admit sections if each regular point is contained in a totally geodesic complete immersed submanifold that meets every leaf orthogonally and whose dimension is the codimension of the regular leaves. A typical example of such a singular foliation is the partition by orbits of a polar action, e.g. the orbits of the adjoint action of a compact Lie group on itself.We prove that a singular Riemannian foliation with compact leaves that admits sections on a simply connected space has no exceptional leaves, i.e., each regular leaf has trivial normal holonomy. We also prove that there exists a convex fundamental domain in each section of the foliation and in particular that the space of leaves is a convex Coxeter orbifold.     

Cartan models and cellular decompositions of symmetric Riemannian spaces

In this paper, by making use of the Cartan models, we will construct cellular decompositions of some symmetric Riemannian spaces such as Sp(n)/U(n), U(n)/O(n), U(2n)/Sp(n), O(2n)/U(n), SU(n)/SO(n), SU(2n)/Sp(n), SO(2n)/U(n).     

Fiberwise absolute neighborhood extensors for a class of metrizable spaces

In the paper we study fiberwise absolute neighborhood extensors with respect to some classes of metrizable spaces by means of the local extension properties and the lifting properties of the underlying spaces.     

Maskit combinations of Poincaré-Einstein metrics

We establish a boundary connected sum theorem for asymptotically hyperbolic Einstein metrics, and also show that if the two metrics have scalar positive conformal infinities, then the same is true for this boundary join. This construction is also extended to spaces with a finite number of interior conic singularities, and as a result we show that any 3-manifold which is a finite connected sum of quotients of S³ and S²×S¹ bounds such a space (with conic singularities); putatively, any 3-manifold admitting a metric of positive scalar curvature is of this form.     

The proper L-S category of Whitehead manifolds

It is shown that the proper L-S category of an eventually end-irreducible, R²-irreducible Whitehead 3-manifold is 4. For this we prove, in the category of germs at infinity of proper maps, a partial analogue of the characterization by Eilenberg and Ganea of the L-S category of an aspherical space.     

On Fourier coefficients of Eisenstein series and Niebur Poincaré series of integral weight

We give a Katok-Sarnak type correspondence for Niebur type Poincaré series and Eisenstein series on the three-dimensional hyperbolic space.     

On Fox?s m-dimensional category and theorems of Bochner type

We show that catm(X)=cat(jm), where catm(X) is Fox?s m-dimensional category, jm:X→X[m] is the mth Postnikov section of X and cat(X) is the Lusternik-Schnirelmann category of X. This characterization is used to give new “Bochner-type” bounds on the rank of the Gottlieb group and the first Betti number for manifolds of non-negative Ricci curvature. Finally, we apply these methods to obtain Bochner-type theorems for manifolds of almost non-negative sectional curvature.     

Cone-decompositions of the unitary groups

The Lusternik-Schnirelmann category of a space is a homotopy invariant. Cone-decompositions are used for giving upper-bound for Lusternik-Schnirelmann categories of topological spaces. Singhof has determined the Lusternik-Schnirelmann categories of the unitary groups. In this paper I give two cone-decompositions of each unitary group for alternative proofs of Singhof's result. One cone-decomposition is easy. The other is closely related to Miller's filtration and Yokota's cellular decomposition of the unitary groups.     

Vassiliev invariants and the Poincaré conjecture

This article examines the relationship between 3-manifold topology and knot invariants of finite type. We prove that in every Whitehead manifold there exist knots that cannot be distinguished by Vassiliev invariants. If, on the other hand, Vassiliev invariants distinguish knots in each homotopy sphere, then the Poincaré conjecture is true (i.e. every homotopy 3-sphere is homeomorphic to the standard 3-sphere).     

Conformally Kähler base metrics for Einstein warped products

A Riemannian metric g with Ricci curvature r is called nontrivial quasi-Einstein, in a sense given by Case, Shu and Wei, if it satisfies (−a/f)∇df+r=λg, for a smooth nonconstant function f and constants λ and a>0. If a is a positive integer, it was noted by Besse that such a metric appears as the base metric for certain warped Einstein metrics. This equation also appears in the study of smooth metric measure spaces. We provide a local classification and an explicit construction of Kähler metrics conformal to nontrivial quasi-Einstein metrics, subject to the following conditions: local Kähler irreducibility, the conformal factor giving rise to a Killing potential, and the quasi-Einstein function f being a function of the Killing potential. Additionally, the classification holds in real dimension at least six. The metric, along with the Killing potential, form an SKR pair, a notion defined by Derdzinski and Maschler. It implies that the manifold is biholomorphic to an open set in the total space of a CP¹ bundle whose base manifold admits a Kähler-Einstein metric. If the manifold is additionally compact, it is a total space of such a bundle or complex projective space. Additionally, a result of Case, Shu and Wei on the Kähler reducibility of nontrivial Kähler quasi-Einstein metrics is reproduced in dimension at least six in a more explicit form.     

The configuration space of the n-arms machine in the Euclidean space

As a typical kind of mechanical linkage, we consider the n-arms machine in Rd. The machine consists of n 2-legs with equal length such that the initial point of each 2-leg is fixed to a circle, while all tips of the 2-legs are combined to a central joint. We determine the homotopy type of the configuration space of the n-arms machine.