arXiv research

Classifies smooth manifolds homotopy equivalent to sphere products

Using the concept of s-formality we are able to extend the bounds of a Theorem of Miller and show that a compact k-connected 4k+3- or 4k+4-manifold with b_{k+1}=1 is formal. We study k connected n-manifolds, n= 4k+3, 4k+4, with a hard Lefschetz-like property and prove that in this case if b_{k+1}=2, then the manifold i…

Study shows infinite families of manifolds with nonnegative curvature.

Based on projective representations of smooth Deligne cohomology groups, we introduce an analogue of the space of conformal blocks to compact oriented (4k+2)-dimensional Riemannian manifolds with boundary. For the standard (4k+2)-dimensional disk, we compute the space concretely to prove that its dimension is finite.

We give three formulas expressing the Smale invariant of an immersion f of a (4k-1)-sphere into (4k+1)-space. The terms of the formulas are geometric characteristics of any generic smooth map g of any oriented 4k-dimensional manifold, where g restricted to the boundary is an immersion regularly homotopic to f in (6k-1)…

Generalizes Thorpe's inequality for 4k-manifolds.

The study computes Gromoll filtration groups and fundamental groups for specific dimensions.

We obtain a classification up to isomorphism of complex-analytic supermanifolds with underlying space $\mathbb{CP}^1$ of dimension $1|3$ with retract $(k,k,k)$, where $k\in \mathbb{Z}$. More precisely, we prove that classes of isomorphic complex-analytic supermanifolds of dimension $1|3$ with retract $(k,k,k)$ are in o…

Authors compute fundamental groups for a specific topological group.

We give global restrictions on the possible boundaries of compact, orientable, locally conformally flat manifolds of dimension $4k$ in terms of integrality of eta invariants.

Weierstrass representation is a classical parameterization of minimal surfaces. However, two functions should be specified to construct the parametric form in Weierestrass representation. In this paper, we propose an explicit parametric form for a class of parametric polynomial minimal surfaces of arbitrary degree. It …

In this paper, by combining modular forms and characteristic forms, we obtain general anomaly cancellation formulas of any dimension. For $4k+2$ dimensional manifolds, our results include the gravitational anomaly cancellation formulas of Alvarez-Gaumé and Witten in dimensions 2, 6 and 10 (\cite{AW}) as special cases. …

We calculate the smooth structure set of $S^p \times S^q$, $S(p, q)$, for $p, q \geq 2$ and $p+q \geq 5$. As a consequence we show that in general $S(4j-1, 4k)$ cannot admit a group structure such that the smooth surgery exact sequence is a long exact sequence of groups. We also show that the image of forgetful map $F:…

We prove the following results (1) (2) (3) on relations between $n$-links and their components. (1) Let L=(L_1, L_2) be a (4k+1)-link (4k+1\geq 5). Then we have Arf L=Arf L_1+Arf L_2. (2) Let L=(L_1, L_2) be a (4k+3)-link (4k+3\geq3). Then we have σL=σL_1+σL_2. (3) Let n\geq1. Then there is a nonribbon n-link L=(L_1, L…

We use the terms, knot product and local move, as defined in the text of the paper. Let $n$ be an integer$\geqq3$. Let $\mathcal S_n$ be the set of simple spherical $n$-knots in $S^{n+2}$. Let $m$ be an integer$\geqq4$. We prove that the map $j:\mathcal S_{2m}\to\mathcal S_{2m+4}$ is bijective, where $j(K)=K\otimes$Hop…

We show that, for any $k\geq 1$, there exist non-formal compact orientable $(k-1)$-connected $n$-manifolds with $k$-th Betti number $b_k=b\geq 0$ if and only if $n\geq \max \{4k-1, 4k+3-2b\}$.

We show that the moduli space of metrics of nonnegative sectional curvature on every homotopy ${\mathbb {R}} P^5$ has infinitely many path components. We also show that in each dimension $4k+1$ there are at least $2^{2k}$ homotopy ${\mathbb {R}} P^{4k+1}$s of pairwise distinct oriented diffeomorphism type for which the…

Let (M^n, g) be a closed smooth Riemannian spin manifold and denote by D its Atiyah-Singer-Dirac operator. We study the variation of Riemannian metrics for the zeta function and functional determinant of D^2, and prove finiteness of the Morse index at stationary metrics, and local extremality at such metrics under gene…

In this paper we study the Haefliger invariant for long embeddings $\mathbb{R}^{4k-1}\hookrightarrow\mathbb{R}^{6k}$ in terms of the self-intersections of their projections to $\mathbb{R}^{6k-1}$, under the condition that the projection is a generic long immersion $\mathbb{R}^{4k-1}\looparrowright\mathbb{R}^{6k-1}$. We…

In this paper we show that for an $\text{Sp}(k+1)$ invariant metric $\hat{g}$ on $\mathbb{S}^{4k+3}$ $(k\geq 1)$ close to the round metric, the conformally compact Einstein (CCE) manifold $(M, g)$ with $(\mathbb{S}^{4k+3}, [\hat{g}])$ as its conformal infinity is unique up to isometries. Moreover, by the result in [LiQ…

We express the real connective $K$ theory groups of the quaternion QL group of order $2^j\ge8$ in terms of the representation theory of by showing $ko_{4k-1}(BQL)=KSp(S^{4k+3}/τQL)$ where $tau$ is any fixed point free representation of QL in U(2k+2)

We compute the mapping class group of the manifolds $\sharp^g(S^{2k+1}\times S^{2k+1})$ for $k>0$ in terms of the automorphism group of the middle homology and the group of homotopy $(4k+3)$-spheres. We furthermore identify its Torelli subgroup, determine the abelianisations, and relate our results to the group of homo…

For $k \ge 2,$ let $M^{4k-1}$ be a $(2k{-}2)$-connected closed manifold. If $k \equiv 1$ mod $4$ assume further that $M$ is $(2k{-}1)$-parallelisable. Then there is a homotopy sphere $Σ^{4k-1}$ such that $M \sharp Σ$ admits a Ricci positive metric. This follows from a new description of these manifolds as the boundarie…

Extended surgery theory proves diffeomorphism for simply-connected 4k-manifolds.

This paper uses results on the classification of minimal triangulations of 3-manifolds to produce additional results, using covering spaces. Using previous work on minimal triangulations of lens spaces, it is shown that the lens space $L(4k, 2k-1)$ and the generalised quaternionic space $S^3/Q_{4k}$ have complexity $k,…

We construct closed $(k-1)$-connected manifolds of dimensions $\ge 4k-1$ that possess non-trivial rational Massey triple products. We also construct examples of manifolds $M$ such that all the cup-products of elements of $H^k(M)$ vanish, while the group $H^{3k-1}(M;\Q)$ is generated by Massey products: such examples ar…

The (ordinary) unknotting-number of 1-dimensional knots, which is defined by using the crossing-change, is a very basic and important invariant. It is very natural to consider the `unknotting-number' associated with other local-moves on n-dimensional knots, where n is a natural number. In this paper we prove the follow…

Study shows infinitely many path components for positive Ricci curvature metrics on certain spin manifolds.

For each pair $(e,σ)$ of integers satisfying $2e+3σ\ge 0$, $σ\leq -2$, and $e+σ\equiv 0\pmod{4}$, with four exceptions, we construct a minimal, simply connected symplectic 4-manifold with Euler characteristic $e$ and signature $σ$. We also produce simply connected, minimal symplectic 4-manifolds with signature zero (re…

We introduce the notion of CR quaternionic map and we prove that any such real-analytic map, between CR quaternionic manifolds, is the restriction of a quaternionic map between quaternionic manifolds. As an application, we prove, for example, that for any submanifold $M$, of dimension $4k-1$, of a quaternionic manifold…

We generalise the Kreck-Stolz invariants s_2 and s_3 by defining a new invariant, the t-invariant, for quaternionic line bundles E over closed spin-manifolds M of dimension 4k-1 with H^3(M; \Q) = 0 such that c_2(E)\in H^4(M) is torsion. The t-invariant classifies closed smooth oriented 2-connected rational homology 7-s…

Maximal representations in symplectic lattices proven for most cases.

Using deep analytic methods, Cheeger and Gromov showed that for any smooth (4k-1)-manifold there is a universal bound for the von Neumann $L^2$ $ρ$-invariants associated to arbitrary regular covers. We present a proof of the existence of a universal bound for topological (4k-1)-manifolds, using $L^2$-signatures of boun…

We show that, for a closed orientable n-manifold, with n not congruent to 3 modulo 4, the existence of a CR-regular embedding into complex (n-1)-space ensures the existence of a totally real embedding into complex n-space. This implies that a closed orientable (4k+1)-manifold with non-vanishing Kervaire semi-characteri…

Study proves infinite isometry groups for certain Sasakian manifolds.

According to seminal work of Kontsevich, the unstable homology of the mapping class group of a surface can be computed via the homology of a certain lie algebra. In a recent paper, S. Morita analyzed the abelianization of this lie algebra, thereby constructing a series of candidates for unstable classes in the homology…

We discuss a 4[k/2]-dimensional complete hyperkähler submanifold of the (4k-4)-dimensional moduli space of strongly centred SU(2)-monopoles of charge k.

New bases constructed for KBSM of lens spaces.

We use the exterior and composition products of double forms together with the alternating operator to reformulate Pontrjagin classes and all Pontrjagin numbers in terms of the Riemannian curvature. We show that the alternating operator is obtained by a succession of applications of the first Bianchi sum and we prove s…

Torsion elements on surfaces extend over 4-sphere in various ways.

The study finds hyperbolic manifolds without spin^c structures in dimensions 5 and above.

We prove there is only one involution (up to conjugacy) on the n-torus which acts as $-\mathrm{Id}$ on the first homology group when $n$ is of the form $4k$, is of the form $4k+1$, or is less than $4$. In all other cases we prove there are infinitely many such involutions up to conjugacy, but each of them has exactly $…

We investigate the space of abelian relations of planar webs admitting infinitesimal automorphisms. As an application, we construct 4k-14 new algebraic families of global exceptionnal k-webs on the projective plane, for each k >4.

The (4k+2)-dimensional Kervaire manifold is a closed, piecewise linear (PL) manifold with Kervaire invariant 1 and the same homology as the product of two (2k+1)-dimensional spheres. We show that a finite group of odd order acts freely on a Kervaire manifold if and only if it acts freely on the corresponding product of…

Study critical metrics on Riemannian manifolds, finding new minimizers and rigidity results.

We translate into the double forms formalism the basic identities of Greub and Greub-Vanstone that were obtained in the mixed exterior algebra. In particular, we introduce a second product in the space of double forms, namely the composition product, which provides this space with a second associative algebra structure…

New conformally invariant forms help identify Einstein metrics.

This thesis is concerned with the residues modulo 4 and 8 of the signature of a 4k-dimensional oriented geometric Poincare complex. The Z_8-valued Brown-Kervaire invariant of Z_4-valued quadratic forms is used to prove that if the signature is divisible by 4, the divisibility by 8 is detected by the Arf invariant of a …