arXiv Science⌕ Search

arXiv subjects

Jianyu Ou

Publications and source records attributed to Jianyu Ou.

14 recordsLinked to original sources
arXiv2026

Scalar curvature bounds and rigidity of Ricci shrinkers

We prove that a complete noncompact gradient shrinking Ricci soliton of dimension at least two is a finite quotient of an Einstein cylinder if its scalar curvature is bounded below by the cylindrical value. The corresponding pointwise strict bound implies compactness. We also establish one-endedness criteria using curvature information at critical points of the potential, including degenerate ones, and obtain sharp one-endedness and rigidity results under global Ricci norm bounds.

math.DG↗
arXiv2026

Rigidity of Kähler-Ricci Solitons with Constant Scalar Curvature

Let $(M^{2m},g,f,J)$ be a complete nonsteady gradient Kähler-Ricci soliton satisfying $\mathrm{Ric}+\nabla^2 f=λg$, $λ\neq 0$. We prove that constant scalar curvature forces the soliton to be rigid. More precisely, the universal cover splits holomorphically and isometrically as $N^{2k}\times\mathbb{C}^{m-k}$, where $N^{2k}$ is Kähler-Einstein with $\mathrm{Ric}_{g_N}=λg_N$. In the shrinking case the quotient is trivial; in the normalization $λ=1/2$ one has $R\equiv k$. The Kähler result rests on a Riemannian rigidity criterion. On a complete nonsteady gradient Ricci soliton, if $\mathcal{L}_{\nabla f}\mathrm{Ric}$ is nonnegative or nonpositive everywhere, then it vanishes and the soliton is rigid; no assumption on the scalar curvature is needed. Along the Ricci flow generated by the soliton, this means that a Ricci tensor that is monotone in time is constant in time, and that this forces rigidity. We also give a direct proof that the pinching $0\leq\mathrm{Ric}\leqλg$ forces constant scalar curvature and radial flatness, yielding the rigidity conclusion through the Petersen-Wylie characterization. The proof combines a weighted cutoff argument with a partial Codazzi symmetry for the Ricci endomorphism.

math.DG↗
arXiv2026

Hamilton cycles in generalized dihedral Cayley graphs and digraphs

We prove that every connected Cayley digraph on a generalized dihedral group of order at least $4$ has a directed Hamilton cycle. In particular, this confirms a conjecture of Holsztyński and Strube from 1978 for dihedral groups. The key new ingredient is a three-fold sumset covering theorem for the terminal coordinates of Hamilton paths in cubic Haar graphs over abelian groups of odd order, with connection sets minimal subject to connectivity.

math.CO↗
arXiv2026

Kähler--Ricci Shrinkers with Constant Scalar Curvature Are Rigid

Let $(M^{2m},g,f,J)$ be a complete gradient Kähler--Ricci shrinker satisfying \[ \operatorname{Ric}+\nabla^2 f=\frac12 g. \] We prove that if the scalar curvature is constant, then the soliton is rigid. More precisely, there exists an integer $k\in\{0,\ldots,m\}$ such that \[ R\equiv k \] and \[ (M^{2m},g,J)\cong \bigl(N^{2k}\times\mathbb C^{m-k}, g_N+g_{\mathrm{Euc}},J_N\oplus J_0\bigr), \] where $(N^{2k},g_N,J_N)$ is Kähler--Einstein and \[ \operatorname{Ric}_{g_N}=\frac12 g_N. \] As part of the proof, we establish a Riemannian rigidity criterion: for a complete nonsteady gradient Ricci soliton with constant scalar curvature, the condition $\mathcal{L}_{\nabla f}\operatorname{Ric}=0$ implies radial flatness and hence rigidity.

math.DG↗
arXiv2026

The dimension of polynomial growth holomorphic functions and forms on gradient Kähler Ricci shrinkers

We study polynomial growth holomorphic functions and forms on complete gradient shrinking Ricci solitons. By relating to the spectral data of the $f$-Laplacian, we show that the dimension of the space of polynomial growth holomorphic functions or holomorphic $(p,0)$-forms are finite. In particular, a sharp dimension estimate for the space of linear growth holomorphic functions was obtained. Under some additional curvature assumption, we prove an almost sharp estimate for the frequency of polynomial growth holomorphic functions, which was used to obtain dimension upper bound as a power function of the polynomial order.

math.DG↗
arXiv2025

Dimension estimate and existence of holomorphic sections with polynomial growth on gradient Kähler Ricci shrinkers

We prove an upper bound for the dimension of the linear space of holomorphic functions with polynomial growth on gradient Kähler Ricci shrinkers with bounded curvature. The upper bound is given as a power function of the growth rate. Similar results hold for holomorphic $(p, 0)-$forms, and holomorphic sections of the pluri-anticanonical line bundle $K_M^{-q}$. We also prove the existence of holomorphic sections of $K_M^{-q}$ with polynomial growth when the Kähler Ricci shrinker is asymptotically conical, provided $q$ is sufficiently large; as an application, we show that the Kodaira map constructed using such sections is a holomorphic embbedding into a complex projective space.

math.DG↗
arXiv2024

Some rigidity results on shrinking gradient Ricci soliton

Suppose $(M^n, g, f)$ is a complete shrinking gradient Ricci soliton. We give several rigidity results under some natural conditions, generalizing the results in \cite{Petersen-Wylie,Guan-Lu-Xu}. Using maximum principle, we prove that shrinking gradient Ricci soliton with constant scalar curvature $R=1$ is isometric to a finite quotient of $\mathbb{R}^2\times \mathbb{S}^2$, giving a new proof of the main results of Cheng-Zhou \cite{Cheng-Zhou}.

math.DG↗
arXiv2022

Liouville Theorem on Ricci shrinkers with constant scalar curvature and its application

In this paper we consider harmonic functions on gradient shrinking Ricci solitons with constant scalar curvature. A Liouville theorem is proved without using gradient estimate : any bounded harmonic function is constant on gradient shrinking Ricci solitons with constant scalar curvature. As an application, we show that the space of harmonic functions with polynomial growth has finite dimension.

math.DG↗
arXiv2017

Symplectic aspects of polar actions

An isometric compact group action $G \times (M,g) \rightarrow (M,g)$ is called polar if there exists a closed embedded submanifold $Σ\subseteq M$ which meets all orbits orthogonally. Let $Π$ be the associated generalized Weyl group. We study the properties of the lifting action $G$ on the cotangent bundle $T^*M$. In particular, we show that the restriction map $(C^{\infty}(T^*M))^G \rightarrow (C^{\infty}(T^* Σ))^Π$ is a surjective homomorphism of Poisson algebras. As a corollary, the singular symplectic reductions $T^*M // G $ and $T^* Σ// Π$ are isomorphic as stratified symplectic spaces, which gives a partial answer to a conjecture of Lerman, Montgomery and Sjamaar.

math.DG↗