Searcharxiv⌕ Search

arXiv subjects

Guangxiang Su

Publications and source records attributed to Guangxiang Su.

16 recordsLinked to original sources
arXiv2025

A remark on $\Lambda^2$-enlargeable manifolds

In this note, we consider the case where the condition ``constant near infinity" in the definition of $\Lambda^2$-enlargeable manifolds is replaced by the condition ``locally constant near infinity" and prove that a $\Lambda^2$-enlargeable manifold in this modified sense still cannot carry a complete Riemannian metric of positive scalar curvature. As a consequence, we give another proof of Wang-Zhang's theorem on the generalized Geroch conjecture for complete spin manifolds.

math.DG↗
arXiv2025

$\mathrm{K}$-cowaist on complete foliated manifolds

Let $(M,F)$ be a connected (not necessarily compact) foliated manifold carrying a complete Riemannian metric $g^{TM}$. We generalize Gromov's $\mathrm{K}$-cowaist using the coverings of $M$, as well as defining a closely related concept called the $\widehat{\mathrm{A}}$-cowaist. Let $k^F$ be the associated leafwise scalar curvature of $g^F = g^{TM}|_F$. We obtain some estimates on $k^F$ using these two concepts. In particular, assuming that the generalized $\mathrm{K}$-cowaist is infinity and either $TM$ or $F$ is spin, we show that $\inf(k^F)\leq 0$.

math.DG↗
arXiv2024

Llarull's theorem on odd dimensional manifolds: the noncompact case

Let $(M,g^{TM})$ be an odd dimensional ($\dim M\geq 3$) connected oriented noncompact complete spin Riemannian manifold. Let $k^{TM}$ be the associated scalar curvature. Let $f:M\to S^{\dim M}(1)$ be a smooth area decreasing map which is locally constant near infinity and of nonzero degree. Suppose $k^{TM}\geq ({\dim M})({\dim M}-1)$ on the support of ${\rm d}f$, we show that $\inf(k^{TM})<0$. This answers a question of Gromov.

math.DG↗
arXiv2023

Enlargeable Foliations and the Monodromy Groupoid: Infinite Covers

In this paper, we prove that the foliated Rosenberg index of a possibly noncompactly enlargeable, spin foliation is nonzero. It generalizes our previous result. The difficulty brought by the noncompactness is reflected in the infinite dimensionality of some vector bundles which, fortunately, can be reduced to finite dimensional vector bundles by the idea of relative index theorem and $KK$-equivalence between the $C^\ast$-algebra of compact operators and $\mathbb{C}$.

math.DG↗
arXiv2023

Spectral Flow, Llarull's Rigidity Theorem in Odd Dimensions and its Generalization

For a compact spin Riemannian manifold $(M,g^{TM})$ of dimension $n$ such that the associated scalar curvature $k^{TM}$ verifies that $k^{TM}\geqslant n(n-1)$, Llarull's rigidity theorem says that any area-decreasing smooth map $f$ from $M$ to the unit sphere $\mathbb{S}^{n}$ of nonzero degree is an isometry. We present in this paper a new proof for Llarull's rigidity theorem in odd dimensions via a spectral flow argument. This approach also works for a generalization of Llarrull's theorem when the sphere $\mathbb{S}^{n}$ is replaced by an arbitrary smooth strictly convex closed hypersurface in $\mathbb{R}^{n+1}$. The results answer two questions by Gromov.

math.DG↗
arXiv2023

Enlargeable foliations and the monodromy groupoid

Let $M$ be a spin manifold, the Dirac operator with coefficient in the universal flat Hilbert $C^\ast π_1(M)$-module determines a "Rosenberg index element" which, according to B.Hanke and T.Schick, subsumes the enlargeablility obstruction of positive scalar curvature on $M$. In this note, we generalize this result to the case of spin foliation. More precisely, given a foliation $(M,F)$ with $F$ spin, we shall define a foliation version of "Rosenberg index element" and prove that it is nonzero at the presence of compactly enlargeability of $(M,F)$.

math.DG↗
arXiv2022

Positive scalar curvature on foliations: the noncompact case

Let $(M,g^{TM})$ be a noncompact (not necessarily complete) enlargeable Riemannian manifold in the sense of Gromov-Lawson and $F$ an integrable subbundle of $T M$ . Let $k^F$ be the leafwise scalar curvature associated to $g^F=g^{TM}|_F$. We show that if either $TM$ or $F$ is spin, then ${\rm inf}(k^F)\leq 0$. This generalizes the famous result of Gromov-Lawson on enlargeable manifolds to the case of foliations. It also extends an ansatz of Gromov on hyper-Euclidean spaces to general enlargeable Riemannian manifolds, as well as recent results on compact enlargeable foliated manifolds due to Benameur-Heitsch et al to the noncompact situation.

math.DG↗
arXiv2022

Nonnegative scalar curvature and area decreasing maps on complete foliated manifolds

Let $(M,g^{TM})$ be a noncompact complete Riemannian manifold of dimension $n$, and let $F\subseteq TM$ be an integrable subbundle of $TM$. Let $g^F=g^{TM}|_{F}$ be the restricted metric on $F$ and let $k^F$ be the associated leafwise scalar curvature. Let $f:M\to S^n(1)$ be a smooth area decreasing map along $F$, which is locally constant near infinity and of non-zero degree. We show that if $k^F> {\rm rk}(F)({\rm rk}(F)-1)$ on the support of ${\rm d}f$, and either $TM$ or $F$ is spin, then $\inf (k^F)<0$. As a consequence, we prove Gromov's sharp foliated $\otimes_\varepsilon$-twisting conjecture. Using the same method, we also extend two famous non-existence results due to Gromov and Lawson about $Λ^2$-enlargeable metrics (and/or manifolds) to the foliated case.

math.DG↗
arXiv2017

Positive scalar curvature and connected sums

Let $N$ be a closed enlargeable manifold in the sense of Gromov-Lawson and $M$ a closed spin manifold of equal dimension, a famous theorem of Gromov-Lawson states that the connected sum $M\# N$ admits no metric of positive scalar curvature. We present a potential generalization of this result to the case where $M$ is nonspin. We use index theory for Dirac operators to prove our result.

math.DG↗
arXiv2014

A Cheeger-Mueller theorem for symmetric bilinear torsions on manifolds with boundary

In this paper, we extend Su-Zhang's Cheeger-Mueller type theorem for symmetric bilinear torsions to manifolds with boundary in the case that the Riemannian metric and the non-degenerate symmetric bilinear form are of product structure near the boundary. Our result also extends Bruening-Ma's Cheeger-Mueller type theorem for Ray-Singer metric on manifolds with boundary to symmetric bilinear torsions in product case. We also compare it with the Ray-Singer analytic torsion on manifolds with boundary.

math.DG↗
arXiv2007

Equivariant symmetric bilinear torsions

We extend the main result in the previous paper of Zhang and the author relating the Milnor-Turaev torsion with the complex valued analytic torsion to the equivariant case.

math.DG↗
arXiv2006

A Cheeger-Mueller theorem for symmetric bilinear torsions

We generalize a theorem of Bismut-Zhang, which extends the Cheeger-Mueller theorem on Ray-Singer torsion and Reidemeister torsion, to the case where the flat vector bundle over a closed manifold carries a nondegenerate symmetric bilinear form. As a consequence, we prove the Burghelea-Haller conjecture which gives an analytic interpretation of the Turaev torsion. It thus also provides an analytic interpretation of (not merely the absolute value of) the Alexander polynomial in knot theory.

math.DG↗