2024-10-29 | | Total: 33
We prove a generalization of Gromov's conjecture on scalar curvature rigidity of convex polytopes to arbitrary convex Riemannian polytope type domains via harmonic spinors on convex domians with boundary condition constructed by Brendle. In particular, we prove a rigidity results on comparison of scalar curvature and scaled mean curvature on the boundary for any convex domain in Euclidean space, which is a parallel of Shi-Tam's results.
We continue to study left-invariant pseudo-Riemannian metrics on Lie groups being in the null cone of the $O(p,q)$-action using the moving bracket approach. In particular, the Lie algebra being in the null cone implies that the pseudo-Riemannian metric have all vanishing scalar curvature invariants (VSI). We consider \emph{all} Lie algebras of dimension $\leq 6$ and we find that all solvable Lie algebras, and non-trivially Levi-decomposable Lie algebras, of dimension $\leq 6$ are in the null cone, \emph{except} the 3-dimensional solvable Lie algebra $\mathfrak{s}_{3,3}$. For $\mathfrak{g}$ semi-simple, we also give a construction where $\mathfrak{g}\oplus\mathbb{R}^m$ is in the null cone and give examples of such spaces for \emph{all} the real simple Lie algebras $\mathfrak{g}$. For example, for the exceptional split groups this construction places the split $\mathfrak{e}_6\oplus\mathbb{R}^6$, split $\mathfrak{e}_7\oplus\mathbb{R}^7$ and split $\mathfrak{e}_8\oplus\mathbb{R}^8$ in the null cone of the $O(42,42)$, $O(70.70)$ and $O(128,128)$ action, respectively, and hence, their corresponding left-invariant pseudo-Riemannian metrics are VSI.
We consider the Steklov problem on differential $p$-forms defined by M. Karpukhin and present geometric eigenvalue bounds in the setting of warped product manifolds in various scenarios. In particular, we obtain Escobar type lower bounds for warped product manifolds with non-negative Ricci curvature and strictly convex boundary, and certain sharp bounds for hypersurfaces of revolution, among others. We compare and contrast the behaviour with known results in the case of functions (i.e., $0$-forms), highlighting the influence of the underlying topology on the spectrum for $p$-forms in general.
Nearly Kähler and Einstein structures admit a variational characterization, where the second variation is associated with a strongly elliptic operator. This allows us to associate a Morse-like index to each structure. Our study focuses on how these indices behave under the assumption that the nearly Kähler structure admits a cohomogeneity one action. Specifically, we investigate elements of the index that also exhibit cohomogeneity one symmetry, reducing the analysis to an ODE eigenvalue problem. We apply our discussion to the two inhomogeneous examples constructed by Foscolo and Haskins. We obtain non-trivial lower bounds on the Hitchin index and Einstein co-index for the inhomogeneous nearly Kähler structure on $S^3\times S^3$, answering a question of Karigiannis and Lotay.
We investigate generalisations of Hitchin's functionals, whose critical points correspond to nearly Kähler and nearly parallel $G_2$-structures. Our focus is on the gradient flow of these functionals and the spectral decomposition of their Hessians with respect to natural indefinite inner products. We introduce a Morse-like index for these functionals, termed the Hitchin index. We prove this index provides a lower bound for the Einstein co-index and explore its relationship with the deformation theory of $G_2$- and $\operatorname{Spin}(7)$-conifolds.
In [Bre19], Simon Brendle showed that any compact manifold of dimension $n\geq12$ with positive isotropic curvature and contains no nontrivial incompressible $(n-1)-$dimensional space form is diffeomorphic to a connected sum of finitely many spaces, each of which is a quotient of $S^n$ or $S^{n-1}\times \mathbb{R}$ by standard isometries. We show that this result is actually true for $n\geq9$.
Motivated by counting pseudo-holomorphic curves in symplectic Calabi-Yau $3$-folds, this article studies a chamber structure in the space of real Cauchy-Riemann operators on a Riemann surface, and constructs three chambered invariants associated with such operators: $n_{\mathrm{Bl}}$, $n_{1,2}$, $n_{2,1}$. The first of these invariants is defined by counting pseudo-holomorphic sections of bundles whose fibres are modeled on the blow-up of $\mathbf{C}^2/\{\pm 1\}$. The other two are defined by counting solutions to the ADHM vortex equations. The authors believe that $n_{1,2}$ and $n_{2,1}$ are related to putative symplectic invariants generalizing the Pandharipande-Thomas and rank $2$ Donaldson-Thomas invariants of projective Calabi-Yau $3$-folds.
We prove a weaker version of a conjecture proposed by Qiao, Park and Koolen on diameter bounds of amply regular graphs and make new progress on Terwilliger's conjecture on finiteness of amply regular graphs. We achieve these results by a significantly improved Lin--Lu--Yau curvature estimate and new Bakry--Émery curvature estimates. We further discuss applications of our curvature estimates to bounding eigenvalues, isoperimetric constants, and volume growth. In particular, we obtain a volume estimate of amply regular graphs which is sharp for hypercubes.
In this paper, we study transnormal and isoparametric functions on general Riemannian manifolds. We show that transnormal and isoparametric functions impose the same topological constraints on the manifold, which requires the underlying manifold to have a vector bundle structure or a linear double disk bundle decomposition. Conversely, any smooth manifold with either of these structures can be endowed with a Riemannian metric that admits a transnormal function, which, under suitable compactness conditions, can become isoparametric.
We develop a Lie-theoretic perspective on Hitchin's equations for cyclic $G$-Higgs bundles, which we use to study analytic and geometric properties of harmonic maps. Among other things, we prove Dai-Li's conjecture on the monotonicity of the energy density in the case of Coxeter cyclic $G$-Higgs bundles, for all $G$, and Dai-Li's negative curvature conjecture for Coxeter cyclic $G$-Higgs bundles, for all $G$ except those of type $\mathrm{E}_7$ and $\mathrm{E}_8.$
In this paper, we prove an optimal systolic inequality and the corresponding rigidity in the equality case on closed manifolds with positive bi-Ricci curvature, which generalizes the work of Bray-Brendle-Neves. The proof is given in all dimensions based on the method of minimal surfaces under the Generic Regularity Hypothesis, which is known to be true up to dimension ten.
We present the classification of geodesic completeness on the pseudo-homothetic Lie group of dimension 3. In particular, we exhibit a family of complete metrics such that all geodesics have bounded velocity. As an application, we show that the set of complete metrics is not closed.
For a compact Riemannian $3$-manifold $(M^{3}, g)$ with mean convex boundary which is diffeomorphic to a weakly convex compact domain in $\mathbb{R}^{3}$, we prove that if scalar curvature is nonnegative and the scaled mean curvature comparison $H^{2}g \ge H_{0}^{2} g_{Eucl}$ holds then $(M,g)$ is flat. Our result is a smooth analog of Gromov's dihedral rigidity conjecture and an effective version of extremality results on weakly convex balls in $\mathbb R^3$. More generally, we prove the comparison and rigidity theorem for several classes of manifold with corners. Our proof uses capillary minimal surfaces with prescribed contact angle together with the construction of foliation with nonnegative mean curvature and with prescribed contact angles.
We first study $f$-biharmonicity of totally umbilical hypersurfaces in a generic Riemannian manifold and then prove that any totally umbilical proper $f$-biharmonic hypersurface in a nonpositively curved manifold has to be noncompact. We also explore $f$-biharmonicity of totally umbilical hyperplanes in a conformally flat space. Secondly, we construct $f$-biharmonic surfaces and biharmonic conformal immersions of the associated surfaces into a conformall flat 3-space and also give a complete classification of $f$-biharmonic surfaces of nonzero constant mean curvature in 3-space forms. Finally, we especially investigate $f$-biharmonicity of hypersurfaces into a conformally flat space of negative sectional curvature. We show that any totally umbilical $f$-biharmonic surface of a 3-manifold with nonpositve sectional curvature is minimal whilst there are proper $f$-biharmonic $m$-dimensional submanifolds with $m\geq3$ and $m\neq4$ into nonpositvely curved manifolds.
We introduce a third-order differential condition, analogous to nonzero torsion of a curve, which guarantees a submanifold of Euclidean space is totally skew in a small neighborhood. This condition is used to construct improved totally skew embeddings of $\mathbb{R}^n$, and to solve the totally skew embedding problem for $\mathbb{R}^n$ with $n$ a power of 2. Some algebraic and geometric properties of this condition are also discussed.
The generalized hypercomplex structures defined within the framework of generalized geometry include hypercomplex and holomorphic symplectic structures as particular cases. They have a $S^2$-family of generalized complex structures, and in this paper we study the types of these structures and the corresponding twistor space. We show that there are generalized hypercomplex structures on the $4n$-dimensional tori, which do not contain a structure of maximal (complex) type. Moreover, we show that the Kodaira-Thurston surface which has a holomorphic symplectic structure, admits also a generalized hypercomplex structure in which all generalized complex structures are of type $1$.
We exhibit new minimal 2-spheres in hyperkähler 4-manifolds arising from the Gibbons--Hawking ansatz and in the K3 manifold endowed with a hyperkähler metric. These minimal surfaces are obtained via a gluing construction using the Scherk surface in flat space and the holomorphic cigar in the Taub-NUT space as building blocks. As for the stable minimal 2-sphere in the Atiyah--Hitchin manifold, the minimal surfaces we construct are not holomorphic with respect to any complex structure compatible with the metric, have degree-1 positive Gauss lift so they can be parametrised by a harmonic map that satisfies a first-order Fueter-type PDE, and yet are unstable. This shows that there is no characterisation of stable minimal surfaces in hyperkähler 4-manifolds in terms of topological data.
We investigate helicoidal (screw) surfaces generated not only by regular curves but also by curves with singular points. For curves with singular points, it is useful to use frontals in the Euclidean plane. The helicoidal surface of a frontal can naturally be considered as a generalised framed base surface. Moreover, we show that it is also a framed base surface under a mild condition. We give basic invariants and curvatures for helicoidal surfaces of frontals by using the curvatures of Legendre curves. Moreover, we also give criteria for singularities of helicoidal surfaces.
In this note we prove the Riemannian analog of black hole mode stability for Hermitian, non-self-dual gravitational instantons which are either asymptotically locally flat (ALF) and Ricci-flat, or compact and Einstein with positive cosmological constant. We show that the Teukolsky equation on any such manifold is a positive definite operator. We also discuss the compatibility of the results with the existence of negative modes associated to variational instabilities.
We establish a general scale-dependent Poincaré-Hardy type identity involving a vector field on the hyperbolic space. By choosing suitable parameter, potential and vector field in this identity, we can recover, as well as derive new versions of several Poincaré type, Hardy type and Poincaré-Hardy type inequalities in the literature. We also investigate weighted Poincaré inequalities on hyperbolic space, where the weight functions depend on a scaling parameter. This leads to a new family of scale-dependent Poincaré inequalities with Gaussian type measure on the hyperbolic space which is of independent interest. As a result, we derive both scale-dependent and scale-invariant $L^{2}$-stability results for the Heisenberg uncertainty principle in this setting.
We extend the generalised hodograph method to regular non-diagonalisable integrable systems of hydrodynamic type, in light of the relation between such systems and F-manifolds with compatible connections.
We adapt Stein's method to isoperimetric and geometric inequalities. The main challenge is the treatment of boundary terms. We address this by using an elliptic PDE with an oblique boundary condition. We apply our geometric formulation of Stein's method to obtain stability of the Brock-Weinstock inequality, stability of the isoperimetric inequality under a constraint on Steklov's first non-zero eigenvalue, and stability for the combination of weighted and unweighted perimeters. All stability results are formulated with respect to the $\alpha$-Zolotarev distance, $\alpha$ $\in$ (0, 1], that we introduce to interpolate between the Fraenkel asymmetry and the Kantorovich distance.
We study three types of fourth-order Steklov eigenvalue problems. For the first two of them, we derive the asymptotic expansion of their spectra on Euclidean annular domains $\mathbb{B}^n_1\setminus \overline{\mathbb{B}^n_\epsilon}$ as $\epsilon \to 0$, leading to conclusions on shape optimization. For these two problems, we also compute their spectra on cylinders over closed Riemannian manifolds. Last, for the third problem, we obtain a sharp upper bound for its first non-zero eigenvalue on star-shaped and mean convex Euclidean domains.
We prove a regularized determinant formula for the zeta functions of certain 3-dimensional Riemannian foliated dynamical systems, in terms of the infinitesimal operator induced by the flow acting on the reduced leafwise cohomologies. It is the formula conjectured by Deninger. The proof is based on relating the dynamical spectral $\xi$-functions, analogues of the $\xi$-function in analytic number theory, with the zeta function, by applying the distributional dynamical Lefschetz trace formula.
This article initiates the study of discrete Okounkov bodies and their asymptotic behavior, with applications to asymptotic analysis of stability and global log canonical thresholds, and higher-dimensional Weierstrass gap phenomena.