Note on the locally product and almost locally product structures

This paper is concerned with a study of some of the properties of locally product and almost locally product structures on a differentiable manifold X _n of class C ^k . Every locally product space has certain almost locally product structures which transform the local tangent space to X _n at an arbitrary point P in a set fashion: this is studied in Theorem (2.2). Theorem (2.3) considers the nature of transformations that exist between two co-ordinate systems at a point whenever an almost locally product structure has the same local representation in each of these co-ordinate systems. A necessary and sufficient condition for X _n to be a locally product manifold is obtained in terms of the pseudo-group of co-ordinate transformations on X _n and the subpseudo-groups [cf., Theoren (2.1)]. Section 3 is entirely devoted to the study of integrable almost locally product structures.     

New <Emphasis Type="Italic">r</Emphasis>-Minimal Hypersurfaces via Perturbative Methods

A hypersurface in a Riemannian manifold is r-minimal if its (r+1)-curvature, the (r+1)th elementary symmetric function of its principal curvatures, vanishes identically. If n>2(r+1) we show that the rotationally invariant r-minimal hypersurfaces in ? ⁿ⁺¹ are nondegenerate in the sense that they carry no nontrivial Jacobi fields decaying rapidly enough at infinity. Combining this with a computation of the (r+1)-curvature of normal graphs and the deformation theory in weighted Hölder spaces developed by Mazzeo, Pacard, Pollack, Uhlenbeck and others, we produce new infinite dimensional families of r-minimal hypersurfaces in ? ⁿ⁺¹ obtained by perturbing noncompact portions of the catenoids. We also consider the moduli space \({\mathcal{M}}_{r,k}(g)\) of elliptic r-minimal hypersurfaces with k≥2 ends of planar type in ? ⁿ⁺¹ endowed with an ALE metric g, and show that \({\mathcal{M}}_{r,k}(g)\) is an analytic manifold of formal dimension k(n+1), with \({\mathcal{M}}_{r,k}(g)\) being smooth for a generic g in a neighborhood of the standard Euclidean metric.     

Complex vector measure and integral over manifolds with locally finite variations

It is well known that any compactly supported continuous complex differential n-form can be integrated over real n-dimensional C¹ manifolds in C^m (m ≥ n). For n = 1, the integral along any locally rectifiable curve is defined. Another generalization is the theory of currents (linear functionals on the space of compactly supported C^∞ differential forms). The topic of the article is the integration of measurable complex differential (n, 0)-forms (containing no \(d{\bar z_j}\)) over real n-dimensional C⁰ manifolds in C^m with locally finite n-dimensional variations (a generalization of locally rectifiable curves to dimensions n > 1). The last result is that a real n-dimensional manifold C¹ embedded in C^m has locally finite variations, and the integral of a measurable complex differential (n, 0)-form defined in the article can be calculated by a well-known formula.     

Locally 2-fold symmetric manifolds are locally symmetric

A manifold is locally k-fold symmetric if for any point and any k-dimensional vector subspace tangent to this point, there exists a local isometry such that this point is a fixed point and the differential of the isometry restricted to that k-dimensional vector subspace is minus the identity. We show that for \(k \ge 2\), Riemannian, pseudoriemannian, and Finslerian locally k-fold symmetric manifolds are locally symmetric.     

Ck-regularity for the $$\bar \partial $$ -equation with a support condition

Let D be a C ^d q-convex intersection, d ≥ 2, 0 ≤ q ≤ n ? 1, in a complex manifold X of complex dimension n, n ≥ 2, and let E be a holomorphic vector bundle of rank N over X. In this paper, C ^k -estimates, k = 2, 3,...,∞, for solutions to the \(\bar \partial \)-equation with small loss of smoothness are obtained for E-valued (0, s)-forms on D when n ? q ≤ s ≤ n. In addition, we solve the \(\bar \partial \)-equation with a support condition in C ^k -spaces. More precisely, we prove that for a \(\bar \partial \)-closed form f in C _0,q ^k (X D,E), 1 ≤ q ≤ n ? 2, n ≥ 3, with compact support and for ε with 0 < ε < 1 there exists a form u in C _0,q?1 ^k?ε (X D,E) with compact support such that \(\bar \partial u = f\) in \(X\backslash \bar D\). Applications are given for a separation theorem of Andreotti-Vesentini type in C ^k -setting and for the solvability of the \(\bar \partial \)-equation for currents.     

Volume Growth and the Topology of Manifolds with Nonnegative Ricci Curvature

Let M ⁿ be a complete, open Riemannian manifold with Ric≥0. In 1994, Grigori Perelman showed that there exists a constant δ _n >0, depending only on the dimension of the manifold, such that if the volume growth satisfies \(\alpha_{M}:=\lim_{r\rightarrow \infty}\frac{\operatorname{Vol}(B_{p}(r))}{\omega_{n}r^{n}}\geq 1-\delta_{n}\), then M ⁿ is contractible. Here we employ the techniques of Perelman to find specific lower bounds for the volume growth, α(k,n), depending only on k and n, which guarantee the individual k-homotopy group of M ⁿ is trivial.     

On the traces of Sobolev functions on Lipschitz surfaces

Functions from the Sobolev spaces W _p ¹(Q) are considered on a unit cube Q ? R ⁿ , and the properties of their traces on Lipschitz surfaces are examined. The relation is found between the Hölder exponent α and the Hausdorff dimension of the family of poor k-dimensional planes Γ on which the traces do not belong to C ^α(Γ). For the corresponding families of poor k-dimensional Lipschitz surfaces, estimates in terms of p-modules are obtained.     

Upper bounds on the length of a shortest closed geodesic and quantitative Hurewicz theorem

In this paper we present two upper bounds on the length of a shortest closed geodesic on compact Riemannian manifolds. The first upper bound depends on an upper bound on sectional curvature and an upper bound on the volume of the manifold. The second upper bound will be given in terms of a lower bound on sectional curvature, an upper bound on the diameter and a lower bound on the volume.The related questions that will also be studied are the following: given a contractible k-dimensional sphere in M ⁿ , how “fast” can this sphere be contracted to a point, if π _i (M ⁿ )={0} for 1≤i<k. That is, what is the maximal length of the trajectory described by a point of a sphere under an “optimal” homotopy? Also, what is the “size” of the smallest non-contractible k-dimensional sphere in a (k-1)-connected manifold M ⁿ providing that M ⁿ is not k-connected?     

Finite configurations in sparse sets

Let E ? ?ⁿ be a closed set of Hausdorff dimension α. For m > n, let{B₁, …, B_k} be n × (m ? n) matrices. We prove that if the system of matrices B_j is non-degenerate in a suitable sense, α is sufficiently close to n, and if E supports a probability measure obeying appropriate dimensionality and Fourier decay conditions, then for a range of m depending on n and k, the set E contains a translate of a non-trivial k-point configuration {B₁y, …, B_ky}. As a consequence, we are able to establish existence of certain geometric configurations in Salem sets (such as parallelograms in ?ⁿ and isosceles right triangles in ?²). This can be viewed as a multidimensional analogue of the result of [25] on 3-term arithmetic progressions in subsets of ?.     

Conditional connectivity of bubble sort graphs

A subset F ? V (G) is called an R ^k -vertex-cut of a graph G if G ? F is disconnected and each vertex of G ? F has at least k neighbors in G ? F. The R ^k -vertex-connectivity of G, denoted by κ ^k (G), is the cardinality of a minimum R ^k -vertex-cut of G. Let B _n be the bubble sort graph of dimension n. It is known that κ _k (B _n ) = 2 ^k (n ? k ? 1) for n ≥ 2k and k = 1, 2. In this paper, we prove it for k = 3 and conjecture that it is true for all k ∈ N. We also prove that the connectivity cannot be more than conjectured.     

On the geometry of the reachability set of vector fields

We study the geometry of the reachability set of a family of vector fields on a C ^∞ manifold. We show that, for each real number T, the T-reachability set is a smooth submanifold of an orbit of codimension zero or one and that, on an arbitrary connected C ^∞ manifold of dimension greater than one, there exists a system of three vector fields such that each 0-reachability set coincides with the manifold itself.     

The manifold of isospectral symmetric tridiagonal matrices and realization of cycles by aspherical manifolds

We consider the classical N. Steenrod’s problem of realization of cycles by continuous images of manifolds. Our goal is to find a class \(\mathcal{M}_n \) of oriented n-dimensional closed smooth manifolds such that each integral homology class can be realized with some multiplicity by an image of a manifold from the class \(\mathcal{M}_n \). We prove that as the class \(\mathcal{M}_n \) one can take a set of finite-fold coverings of the manifold M ⁿ of isospectral symmetric tridiagonal real (n + 1) × (n + 1) matrices. It is well known that the manifold M ⁿ is aspherical, its fundamental group is torsion-free, and its universal covering is diffeomorphic to ? ⁿ . Thus, every integral homology class of an arcwise connected space can be realized with some multiplicity by an image of an aspherical manifold with a torsion-free fundamental group. In particular, for any closed oriented manifold Q ⁿ , there exists an aspherical manifold that has torsion-free fundamental group and can be mapped onto Q ⁿ with nonzero degree.     

Teichmller space of negatively curved metrics on complex hyperbolic manifolds is not contractible

We prove that for all n = 4k- 2 and k 2 there exists a closed smooth complex hyperbolic manifold M with real dimension n having non-trivial π1(T0(M)). T0(M) denotes the Teichm¨uller space of all negatively curved Riemannian metrics on M, which is the topological quotient of the space of all negatively curved metrics modulo the space of self-diffeomorphisms of M that are homotopic to the identity.     

Distance domination of generalized de Bruijn and Kautz digraphs

Let G = (V,A) be a digraph and k ≥ 1 an integer. For u, v ∈ V, we say that the vertex u distance k-dominate v if the distance from u to v at most k. A set D of vertices in G is a distance k-dominating set if each vertex of V D is distance k-dominated by some vertex of D. The distance k-domination number of G, denoted by γ _k (G), is the minimum cardinality of a distance k-dominating set of G. Generalized de Bruijn digraphs G _B (n, d) and generalized Kautz digraphs G _K (n, d) are good candidates for interconnection networks. Denote Δ _k := (∑ _j=0 ^k d ^j )^?1. F. Tian and J. Xu showed that ?nΔ _k ? γ _k (G _B (n, d)) ≤?n/d ^k? and ?nΔ _k ? ≤ γ _k (G _K (n, d)) ≤ ?n/d ^k ?. In this paper, we prove that every generalized de Bruijn digraph G _B (n, d) has the distance k-domination number ?nΔ _k ? or ?nΔ _k ?+1, and the distance k-domination number of every generalized Kautz digraph G _K (n, d) bounded above by ?n/(d ^k?1+d ^k )?. Additionally, we present various sufficient conditions for γ _k (G _B (n, d)) = ?nΔ _k ? and γ _k (G _K (n, d)) = ?nΔ _k ?.     

Vertex-fault-tolerant cycles embedding on enhanced hypercube networks

In this paper, we focus on the vertex-fault-tolerant cycles embedding on enhanced hypercube, which is an attractive variant of hypercube and is obtained by adding some complementary edges from hypercube. Let F _v be the set of faulty vertices in the n-dimensional enhanced hypercube Q _n,k (1 ≤ k ≤ n?1). When |F _v | = 2, we showed that Q _n,k ? F _v contains a fault-free cycle of every even length from 4 to 2 ⁿ ?4 where n (n ≥ 3) and k have the same parity; and contains a fault-free cycle of every even length from 4 to 2 ⁿ ? 4, simultaneously, contains a cycle of every odd length from n ? k + 2 to 2 ⁿ ? 3 where n(≥ 3) and k have the different parity. Furthermore, when |F ^v | = f ^v ≤ n ? 2, we proof that there exists the longest fault-free cycle, which is of even length 2 ⁿ ? 2f ^v whether n(n ≥ 3) and k have the same parity or not; and there exists the longest fault-free cycle, which is of odd length 2 ⁿ ? 2f ^v ? 1 in Q ^n,k ? F ^v where n(≥ 3) and k have the different parity.     

A note on K<Emphasis Type="Italic">ä</Emphasis>hler manifolds with almost nonnegative bisectional curvature

In this note, we prove the following result. There is a positive constant ε(n, Λ) such that if M ⁿ is a simply connected compact Kähler manifold with sectional curvature bounded from above by Λ, diameter bounded from above by 1, and with holomorphic bisectional curvature H ≥ ?ε(n, Λ), then M ⁿ is diffeomorphic to the product M ₁ × ? × M _k , where each M _i is either a complex projective space or an irreducible Kähler–Hermitian symmetric space of rank ≥ 2. This resolves a conjecture of Fang under the additional upper bound restrictions on sectional curvature and diameter.     

On the phase transitions of (<Emphasis Type="Italic">k</Emphasis>, <Emphasis Type="Italic">q</Emphasis>)-SAT

Call a sequence of k Boolean variables or their negations a k-tuple. For a set V of n Boolean variables, let T _k (V) denote the set of all 2 ^k n ^k possible k-tuples on V. Randomly generate a set C of k-tuples by including every k-tuple in T _k (V) independently with probability p, and let Q be a given set of q “bad” tuple assignments. An instance I = (C,Q) is called satisfiable if there exists an assignment that does not set any of the k-tuples in C to a bad tuple assignment in Q. Suppose that θ, q > 0 are fixed and ε = ε(n) > 0 be such that εlnn/lnlnn→∞. Let k ≥ (1 + θ) log₂ n and let \({p_0} = \frac{{\ln 2}}{{q{n^{k - 1}}}}\). We prove that

$$\mathop {\lim }\limits_{n \to \infty } P\left[ {I is satisfiable} \right] = \left\{ {\begin{array}{*{20}c} {1,} & {p \leqslant (1 - \varepsilon )p_0 ,} \\ {0,} & {p \geqslant (1 + \varepsilon )p_0 .} \\ \end{array} } \right.$$

     

When does the zero-one <Emphasis Type="Italic">k</Emphasis>-law fail?

The limit probabilities of the first-order properties of a random graph in the Erd?s–Rényi model G(n, n^?α), α ∈ (0, 1), are studied. A random graph G(n, n^?α) is said to obey the zero-one k-law if, given any property expressed by a formula of quantifier depth at most k, the probability of this property tends to either 0 or 1. As is known, for α = 1? 1/(2^k?1 + a/b), where a > 2^k?1, the zero-one k-law holds. Moreover, this law does not hold for b = 1 and a ≤ 2^k?1 ? 2. It is proved that the k-law also fails for b > 1 and a ≤ 2^k?1 ? (b + 1)².     

A differentiable classification of certain locally free actions of Lie groups

Let L be a Lie group and let M be a compact manifold with dimension dim(L) + 1. Let Φ be a locally free action of L on M having class C ^r with r ≥ 2. Let R be the radical of L and let χ₁, . . ., χ _n be the characters of the adjoint action of {itR}. Finally, let Δ be the modular function of R. Under the assumption that none of the identities Δ×|χ _i | = |χ _j |^α hold for any α ∈ [0, 1], one shows that Φ is the restriction to L of a locally free and transitive C ^r action of a larger Lie group. A second result is the existence of a unique Φ-invariant probability measure on {itM}; that measure is induced by a C ^r?1 nonsingular volume form. What makes that theorem all the more interesting is that certain of the Lie groups under consideration are not amenable.     

Lower Bounds for the Degree of a Branched Covering of a Manifold

The problem of finding new lower bounds for the degree of a branched covering of a manifold in terms of the cohomology rings of this manifold is considered. This problem is close to M. Gromov’s problem on the domination of manifolds, but it is more delicate. Any branched (finite-sheeted) covering of manifolds is a domination, but not vice versa (even up to homotopy). The theory and applications of the classical notion of the group transfer and of the notion of transfer for branched coverings are developed on the basis of the theory of n-homomorphisms of graded algebras.The main result is a lemma imposing conditions on a relationship between the multiplicative cohomology structures of the total space and the base of n-sheeted branched coverings of manifolds and, more generally, of Smith–Dold n-fold branched coverings. As a corollary, it is shown that the least degree n of a branched covering of the N-torus T ^N over the product of k 2-spheres and one (N ? 2k)-sphere for N ≥ 4k + 2 satisfies the inequality n ≥ N ? 2k, while the Berstein–Edmonds well-known 1978 estimate gives only n ≥ N/(k + 1).