We introduce the notion of symplectic flatness for connections and fiber bundles over symplectic manifolds. Given an $A_\infty$-algebra, we present a flatness condition that enables the twisting of the differential complex associated with the $A_\infty$-algebra. The symplectic flatness condition arises from twisting the $A_\infty$-algebra of differential forms constructed by Tsai, Tseng and Yau. When the symplectic manifold is equipped with a compatible metric, the symplectic flat connections represent a special subclass of Yang-Mills connections. We further study the cohomologies of the twisted differential complex and give a simple vanishing theorem for them.

In this paper, we prove that discrete Morse functions on digraphs are flat Witten-Morse functions and Witten complexes of transitive digraphs approach to Morse complexes. We construct a chain complex consisting of the formal linear combinations of paths which are not only critical paths of the transitive closure but also allowed elementary paths of the digraph, and prove that the homology of the new chain complex is isomorphic to the path homology. On the basis of the above results, we give the Morse inequalities on digraphs.

In this paper, we give a necessary and sufficient condition that discrete Morse functions on a digraph can be extended to be Morse functions on its transitive closure, from this we can extend the Morse theory to digraphs by using quasi-isomorphism between path complex and discrete Morse complex, we also prove a general sufficient condition for digraphs that the Morse functions satisfying this necessary and sufficient condition.

We define the smooth Lipschitz topology on the moduli space and show that each conformal class is dense in the moduli space endowed with Gromov-Hausdorff topology, which offers an answer to Tuschmann’s question.

No abstract uploaded!

No abstract uploaded!

No abstract uploaded!

No abstract uploaded!

No abstract uploaded!

No abstract uploaded!

No abstract uploaded!

No abstract uploaded!

We consider left-invariant distances d on a Lie group G with the property that there exists a multiplicative one-parameter group of Lie automorphisms (0,∞)→Aut(G), λ↦δλ, so that d(δ_λx,δ_λy)=λd(x,y), for all x,y∈G and all λ>0. First, we show that all such distances are admissible, that is, they induce the manifold topology. Second, we characterize multiplicative one-parameter groups of Lie automorphisms that are dilations for some left-invariant distance in terms of algebraic properties of their infinitesimal generator. Third, we show that an admissible left-invariant distance on a Lie group with at least one nontrivial dilating automorphism is bi-Lipschitz equivalent to one that admits a one-parameter group of dilating automorphisms. Moreover, the infinitesimal generator can be chosen to have spectrum in [1,∞). Fourth, we characterize the automorphisms of a Lie group that are a dilating automorphisms for some admissible distance. Finally, we characterize metric Lie groups admitting a one-parameter group of dilating automorphisms as the only locally compact, isometrically homogeneous metric spaces with metric dilations of all factors. Such metric spaces appear as tangents of doubling metric spaces with unique tangents.

The classical Morse theory proceeds by considering sublevel sets f^{−1}(−∞,a] of a Morse function f:M→R, where M is a smooth finite-dimensional manifold. In this paper, we study the topology of the level sets f^{−1}(a) and give conditions under which the topology of f^{−1}(a) changes when passing a critical value. We show that for a general class of functions, which includes all exhaustive Morse functions, the topology of a regular level f^{−1}(a) always changes when passing a single critical point, unless the index of the critical point is half the dimension of the manifold M. When f is a natural Hamiltonian on a cotangent bundle, we obtain more precise results in terms of the topology of the base space. (Counter-)examples and applications to celestial mechanics are also discussed.

We introduce the so-called doubling metric on the collection of non-empty bounded open subsets of a metric space. Given an open subset U of a metric space X, the predecessor U_∗ of U is defined by doubling the radii of all open balls contained inside U, and taking their union. The predecessor of U is an open set containing U. The directed doubling distance between U and another subset V is the number of times that the predecessor operation needs to be applied to U to obtain a set that contains V. Finally, the doubling distance between open sets U and V is the maximum of the directed distance between U and V and the directed distance between V and U.

We prove that the locus of Prym curves (C,η) of genus g≥5 for which the Prym-canonical system |ωC(η)| is base point free but the Prym-canonical map is not an embedding is irreducible and unirational of dimension 2g+1.

In this paper, we study the Pontryagin numbers of 24 dimensional String manifolds. In partic- ular, we find representatives of an integral basis of the String cobrodism group at dimension 24, based on the work of Mahowald and Hopkins (The structure of 24 dimensional manifolds having normal bundles which lift to B O [8], from “Recent progress in homotopy theory” (D. M. Davis, J. Morava, G. Nishida, W. S. Wilson, N. Yagita, editors), Contemp. Math. 293, Amer. Math. Soc., Providence, RI, 89-110, 2002), Borel and Hirzebruch (Am J Math 80: 459–538, 1958) and Wall (Ann Math 75:163–198, 1962). This has immediate applications on the divisibility of various characteristic numbers of the manifolds. In particular, we establish the 2-primary divisibilities of the signature and of the modified signature coupling with the integral Wu class of Hopkins and Singer (J Differ Geom 70:329–452, 2005), and also the 3- primary divisibility of the twisted signature. Our results provide potential clues to understand a question of Teichner.

Recently Freed and Hopkins [11] proved that there is no parity anomaly in M-theory on pin+ manifolds in the low-energy field theory approximation, and they also developed an algebraic theory of cubic forms. Earlier Witten [33] proved the anomaly cancellation for spin manifolds by introducing the E8-bundle technique. Motivated by the cubic forms and the anomaly cancellation formulas of Witten-Freed-Hopkins, we give some new cubic forms on spin, spinc, spinω2 and orientable 12- manifolds respectively. We relate them to η-invariants when the manifolds are with boundary, and mod 2 indices on 10 dimensional characteristic submanifolds when the manifolds are spinc or spinω2 . Our method of producing these cubic forms is a combination of (generalized) Witten classes and the character of the basic representation of affine E8.

In this paper, we study some algebraic topology aspects of Stringc structures, more precisely, from the perspective of Whitehead tower and the perspective of the loop group of Spinc(n). We also extend the generalized Witten genera constructed for the first time by Chen et al. [J. Differential Geom. 88 (2011), pp. 1–40] to correspond to Stringc structures of various levels and give vanishing results for them.

No abstract uploaded!

Persistent homology is constrained to purely topological persistence, while multiscale graphs account only for geometric information. This work introduces persistent spectral theory to create a unified low-dimensional multiscale paradigm for revealing topological persistence and extracting geometric shapes from high-dimensional datasets. For a point-cloud dataset, a filtration procedure is used to generate a sequence of chain complexes and associated families of simplicial complexes and chains, from which we construct persistent combinatorial Laplacian matrices. We show that a full set of topological persistence can be completely recovered from the harmonic persistent spectra, that is, the spectra that have zero eigenvalues, of the persistent combinatorial Laplacian matrices. However, non-harmonic spectra of the Laplacian matrices induced by the filtration offer another powerful tool for data analysis, modeling, and prediction. In this work, fullerene stability is predicted by using both harmonic spectra and non-harmonic persistent spectra, while the latter spectra are successfully devised to analyze the structure of fullerenes and model protein flexibility, which cannot be straightforwardly extracted from the current persistent homology. The proposed method is found to provide excellent predictions of the protein B-factors for which current popular biophysical models break down.

Among all the interesting spaces in topology, the spheres are no doubt beautiful objects and of most consideration since antiquity. Any nontrivial observations of them are of course very important. From the categorical point of view, we should not just focus on the objects themselves, but the morphisms between them as well. For this purpose, in algebraic topology, we do want to classify the set of continuous morphisms between spheres under the equivalent relation named homotopy, which describes a continuous deformation between two continuous maps. Let Sn be the n-sphere and k (X) be the set of homotopic equivalent based maps from Sk to X. For the reason that Sk is a double suspension when k 2, the set is actually an abelian group. A natural question is, what are these abelian groups?

We prove that the 61-sphere has a unique smooth structure. Following results of Moise [35], Kervaire-Milnor [25], Browder [10] and Hill-Hopkins-Ravenel [19], we show that the only odd dimensional spheres with a unique smooth structure are S1, S3, S5 and S61.

We show a few nontrivial extensions in the classical Adams spectral sequence. In particular, we compute that the 2primary part of 5 1 is 8 8 2. This was the last unsolved 2extension problem left by the recent work of Isaksen and the authors through the 6 1stem.

In this note, we use Curtis's algorithm and the Lambda algebra to compute the algebraic Atiyah-Hirzebruch spectral sequence of the suspension spectrum of \mathbb {R} P^\infty with the aid of a computer, which gives us its Adams \mathbb {R} P^\infty -page in the range of \mathbb {R} P^\infty . We also compute the transfer map on the Adams \mathbb {R} P^\infty -pages. These data are used in our computations of the stable homotopy groups of \mathbb {R} P^\infty in [6] and of the stable homotopy groups of spheres in [7].