Injectivity radius and Cartan polyhedron for simply connected symmetric spaces

Ling Yang

DOI: https://doi.org/10.48550/arXiv.math/0609627

2006-09-22

Abstract:We explore relationship between the cut locus of an arbitrary simply connected and compact Riemannian symmetric space and the Cartan polyhedron of corresponding restricted root system, and compute injectivity radius and diameter for every type of irreducible ones.

Differential Geometry

What problem does this paper attempt to address?

Injectivity radius for non-simply connected symmetric spaces via Cartan polyhedron

Ling Yang

DOI: https://doi.org/10.48550/arXiv.math/0703521

2007-03-18

Abstract:We determine the cut locus of arbitrary non-simply connected, compact and irreducible Riemannian symmetric space explicitly, and compute injectivity radius and diameter for every type of them.

Differential Geometry
Injectivity radii of hyperbolic polyhedra

Joseph D. Masters

DOI: https://doi.org/10.48550/arXiv.math/9812067

2002-05-27

Abstract:We define the injectivity radius of a Coxeter polyhedron in H^3 to be half the shortest translation length among hyperbolic/loxodromic elements in the orientation-preserving reflection group. We show that, for finite-volume polyhedra, this number is always less than 2.6339..., and for compact polyhedra it is always less than 2.1225... .

Geometric Topology,Group Theory
Injectivity of the genus 1 Kudla-Millson lift on locally symmetric spaces

Ingmar Metzler,Riccardo Zuffetti

2023-12-01

Abstract:Let $L$ be an even indefinite lattice. We show that if $L$ splits off a hyperbolic plane and a scaled hyperbolic plane, then the Kudla-Millson lift of genus $1$ associated to $L$ is injective. Our result includes as special cases all previously known injectivity results on the whole space of elliptic cusp forms available in the literature. In particular, we also consider the Funke-Millson twist of the lift. Further, we provide geometric applications on locally symmetric spaces of orthogonal type.

Number Theory,Algebraic Geometry
Restricted Root Systems and Spin Representations

Gang Han,Bin-Yong Sun

DOI: https://doi.org/10.1007/s10468-007-9061-6

2007-01-01

Algebras and Representation Theory

Abstract:Let $\mathfrak{g}_{0}$ be a real semisimple Lie algebra. Let $\mathfrak{g}_{0} = \mathfrak{k}_{0} \oplus \mathfrak{p}_{0}$ be the corresponding Cartan decomposition and $\mathfrak{h}_{0} = \mathfrak{t}_{0} \oplus \mathfrak{a}_{0}$ be a maximally compact Cartan subalgebra of $\mathfrak{g}_{0}$. Let $\mathfrak{g} = \mathfrak{k} \oplus \mathfrak{p}$ and $\mathfrak{h} = \mathfrak{t} \oplus \mathfrak{a}$ be the corresponding complexifications. The set $\Delta {\left( {\mathfrak{g},\mathfrak{t}} \right)}$ consists of all the linear forms on $\mathfrak{t}$ which are the restriction to $\mathfrak{t}$ of the roots in the root system $\Delta {\left( {\mathfrak{g},\mathfrak{h}} \right)}$ of $\mathfrak{g}$ with respect to $\mathfrak{h}$. The main result of the paper is to prove that $\Delta {\left( {\mathfrak{g},\mathfrak{t}} \right)}$ is also a (maybe non-reduced) root system and its Weyl group can be identified with a subgroup of the Weyl group of $\Delta {\left( {\mathfrak{g},\mathfrak{h}} \right)}$. Let $Spin\,\nu :\mathfrak{k} \to End\,S$ be the composition of the isotropy representation $\nu :\mathfrak{k} \to \mathfrak{s}\mathfrak{o}{\left( \mathfrak{p} \right)}$ with the spin representation $Spin:\mathfrak{s}\mathfrak{o}{\left( \mathfrak{p} \right)} \to End\,S$. Finally as an application, we give a nice description of the $\mathfrak{k}$-module structure on S in terms of the restricted root system $\Delta {\left( {\mathfrak{g},\mathfrak{t}} \right)}$ and its Weyl group.
On the Injectivity Radius of the Stiefel Manifold: Numerical investigations and an explicit construction of a cut point at short distance

Jakob Stoye,Ralf Zimmermann

2024-07-08

Abstract:Arguably, geodesics are the most important geometric objects on a differentiable manifold. They describe candidates for shortest paths and are guaranteed to be unique shortest paths when the starting velocity stays within the so-called injectivity radius of the manifold. In this work, we investigate the injectivity radius of the Stiefel manifold under the canonical metric. The Stiefel manifold $St(n,p)$ is the set of rectangular matrices of dimension $n$-by-$p$ with orthogonal columns, sometimes also called the space of orthogonal $p$-frames in $\mathbb{R}^n$. Using a standard curvature argument, Rentmeesters has shown in 2013 that the injectivity radius of the Stiefel manifold is bounded by $\sqrt{\frac{4}{5}}\pi$. It is an open question, whether this bound is sharp. With the definition of the injectivity radius via cut points of geodesics, we gain access to the information of the injectivity radius by investigating geodesics. More precisely, we consider the behavior of special variations of geodesics, called Jacobi fields. By doing so, we are able to present an explicit example of a cut point. In addition, since the theoretical analysis of geodesics for cut points and especially conjugate points as a type of cut points is difficult, we investigate the question of the sharpness of the bound by means of numerical experiments.

Numerical Analysis
Injectivity radius lower bound of convex sum of tame Riemannian metrics and applications to symplectic topology

Jaeyoung Choi,Yong-Geun Oh

2024-03-25

Abstract:Motivated by the aspect of large-scale symplectic topology, we prove that for any pair $g_0, \, g_1$ of complete Riemannian metrics of bounded curvature and \emph{of injectivity radius bounded away from zero}, the convex sum $g_s: = (1-s ) g_0 + s g_1$ also has bounded curvature depending only on the curvature bounds $\|R_{g_i}\|_{C^0}$ of $g_0$ or $g_1$, and that the injectivity radii of $g_s$ have uniform lower bound depending only on the derivative bounds $\|R_{g_i}\|_{C^1} = \|R_{g_i}\|_{C^0} + \|DR_{g_i}\|_{C^0}$.

Differential Geometry,Symplectic Geometry
Injectivity, cubical approximations and equivariant wall structures beyond CAT(0) cube complexes

Abdul Zalloum

2023-05-04

Abstract:This is an expository survey with two goals. 1) The primary goal is to discuss and highlight the impact of two recent influential ideas in geometric group theory. The first of which is the notion of an injective metric space which is a rich class of spaces that was imported to geometric group theory by Lang and have shown to be of a great effect. The second is Behrstock-Hagen-Sisto's cubical approximation theorem which provides a novel and particularly successful approach for studying mapping class groups (of finite type surfaces) and more generally, hierarchically hyperbolic groups. 2) Our second goal is to demonstrate how numerous geodesic metric spaces including hyperbolic spaces, CAT(0) spaces, and hierarchically hyperbolic spaces admit a strikingly rich equivariant wall structure: a discovery that was inspired by the aforementioned machines; the cubical approximation theorem as well as injective metric spaces.

Group Theory,Geometric Topology
Injectivity theorems and cubical descent for schemes, stacks, and analytic spaces

Takumi Murayama

2024-06-16

Abstract:We prove relative injectivity, torsion-freeness, and vanishing theorems for generalized normal crossing pairs on schemes, algebraic stacks, formal schemes, semianalytic germs of complex analytic spaces, rigid analytic spaces, Berkovich spaces, and adic spaces locally of weakly finite type over a field, all in equal characteristic zero. We give a uniform proof for all these theorems in all the categories of spaces mentioned above, which were previously only known for varieties and complex analytic spaces due to work of Ambro and Fujino. Ambro and Fujino's results are integral in the proofs of the fundamental theorems of the minimal model program for (semi-)log canonical pairs and the theory of quasi-log structures. Our results resolve a significant barrier to extending these results on (semi-)log canonical pairs and quasi-log structures beyond the setting of varieties and complex analytic spaces. In order to prove our most general injectivity theorems, we generalize to all these categories of spaces a criterion due to Guillén and Navarro Aznar characterizing when functors defined on smooth varieties extend to all varieties. This extension result uses cubical hyperresolutions, which we construct in all categories of spaces mentioned above. Our extension result is very general and is of independent interest. We use this extension result to prove our injectivity theorems for generalized normal crossing pairs. We also apply our extension result to develop the theoretical foundations for the Deligne-Du Bois complex in these categories of spaces and to construct a weight filtration on the (pro-)étale cohomology of schemes and rigid analytic spaces. These results establish some aspects of Deligne-Hodge theory in all categories of spaces mentioned above.

Algebraic Geometry,Complex Variables,Number Theory
The sphere and the cut locus at a tangency point in two-dimensional almost-Riemannian geometry

Bernard Bonnard,Grégoire Charlot,Roberta Ghezzi,Gabriel Janin

DOI: https://doi.org/10.48550/arXiv.1009.2612

2010-09-14

Abstract:We study the tangential case in 2-dimensional almost-Riemannian geometry. We analyse the connection with the Martinet case in sub-Riemannian geometry. We compute estimations of the exponential map which allow us to describe the conjugate locus and the cut locus at a tangency point. We prove that this last one generically accumulates at the tangency point as an asymmetric cusp whose branches are separated by the singular set.

Optimization and Control
Strengthened injectivity radius bounds for manifolds with positive scalar curvature

Thomas Richard

2024-10-23

Abstract:Green's inequality shows that a compact Riemannian manifold with scalar curvature at least $n(n-1)$ has injectivity radius at most $\pi$, and that equality is achieved only for the radius 1 sphere. In this work we show how extra topological assumptions can lead to stronger upper bounds. The topologies we consider are $\mathbb{S}^2\times\mathbb{T}^{n-k-2}\times\mathbb{R}^k$ for $n\leq 7$ and $0\leq k\leq 2$ and 3-manifolds with positive scalar curvature except lens spaces $L(p,q)$ with $p$ odd. We also prove a strengthened inequality for $3$-manifolds with positive scalar curvature and large diameter. Our proof uses previous results of Gromov and Zhu.

Differential Geometry
Spaces of embeddings of compact polyhedra into 2-manifolds

Tatsuhiko Yagasaki

DOI: https://doi.org/10.48550/arXiv.math/0010222

2000-10-24

Abstract:Let M be a PL 2-manifold and X be a compact subpolyhedron of M and let E(X, M) denote the space of embeddings of X into M with the compact-open topology. In this paper we study an extension property of embeddings of X into M and show that the restriction map from the homeomorphism group of M to E(X, M) is a principal bundle. As an application we show that if M is a Euclidean PL 2-manifold and dim X >= 1 then the triple (E(X,M), E^LIP(X,M), E^PL(X, M)) is an (s,Sigma,sigma)-manifold, where E_K^LIP(X,M) and E_K^PL(X, M) denote the subspaces of Lipschitz and PL embeddings.

Geometric Topology,General Topology
Geometry of Selberg's bisectors in the symmetric space SL(n,R)/SO(n,R)

Yukun Du

DOI: https://doi.org/10.1112/jlms.12992

2024-09-28

Journal of the London Mathematical Society

Abstract:Abstract I study several problems about the symmetric space associated with the Lie group . These problems are connected to an algorithm based on Poincaré's Fundamental Polyhedron Theorem, designed to determine generalized geometric finiteness properties for subgroups of . The algorithm is analogous to the original one in hyperbolic spaces, while the Riemannian distance is replaced by an ‐invariant premetric. The main results of this paper are twofold. In the first part, I focus on questions that occurred in generalizing Poincaré's Algorithm to my symmetric space. I describe and implement an algorithm that computes the face‐poset structure of finitely sided polyhedra, and construct an angle‐like function between hyperplanes. In the second part, I study further questions related to hyperplanes and Dirichlet–Selberg domains in my symmetric space. I establish several criteria for the disjointness of hyperplanes and classify particular Abelian subgroups of based on whether their Dirichlet–Selberg domains are finitely sided or not.

mathematics
Injectivity theorems for higher direct images under proper Kähler morphisms on snc spaces

Tsz On Mario Chan,Young-Jun Choi,Shin-ichi Matsumura

2024-09-21

Abstract:Let $X$ be a complex manifold, and let $Y$ and $D$ be two reduced simple-normal-crossing (snc) divisors on $X$ with no common irreducible components. Given a proper locally Kähler morphism $\pi \colon X \to \Delta$ from $X$ to a complex analytic space $\Delta$, we prove Fujino's conjecture on the injectivity theorem in the relative setting in a generalized form. Specifically, we establish an injectivity result for the higher direct images under $\pi$ for the lc pairs $(X, D)$ as well as $(Y, D_Y)$, where $D_Y := D \cap Y$. As an application, this result immediately implies the injectivity theorem on holomorphically convex Kähler manifolds with reduced snc divisors. The main technique in the proof consists of the theory of harmonic integrals together with residue formulae associated with adjoint ideal sheaves, which are developed from our previous work for the absolute case (where $\Delta$ is a point and $X$ is compact). Additionally, we make use of the Takegoshi harmonic forms to deal with the non-compactness of $X$.

Complex Variables,Algebraic Geometry
The Injectivity Radius of Souls of Alexandrov Spaces

Elena Mäder-Baumdicker,Jona Seidel

2023-11-06

Abstract:A sharp lower bound for the injectivity radius in noncompact nonnegatively curved Riemannian manifolds involving their soul goes back to Šarafutdinov. We generalize this bound to the setting of Alexandrov spaces. Our main theorem reads as follows. If the injectivity radius of an Alexandrov space of nonnegative curvature does not coincide with the one of its souls, then it is at least $ \pi K^{-1/2} $, where $ K $ is an upper curvature bound. We introduce the soul of Alexandrov spaces in some detail and compare two notions of injectivity radii.

Differential Geometry,Metric Geometry
Hyperplane Arrangements and Compactifications of Vector Groups

Colin Crowley

2023-06-29

Abstract:Schubert varieties of hyperplane arrangements, also known as matroid Schubert varieties, play an essential role in the proof of the Dowling-Wilson conjecture and in Kazhdan-Lusztig theory for matroids. We study these varieties as equivariant compactifications of affine spaces, and give necessary and sufficient conditions to characterize them. We also generalize the theory to include partial compactifications and morphisms between them. Our results resemble the correspondence between toric varieties and polyhedral fans.

Algebraic Geometry,Combinatorics
The existence of inversive distance circle packing on polyhedral surface

Xiang Zhu

2023-11-02

Abstract:We prove that for any discrete curvature satisfying Gauss-Bonnet formula, there exist a unique up to scaling inversive distance circle packing in the discrete conformal equivalent class, whose polyhedral metric meets the target curvature. We prove it by constructing diffeomorphism between fiber bundles with cell decomposition based on Teichmüller spaces, and each discrete conformal equivalent class is a fiber passing through finite cell with respect to triangulations, which means we can do surgery on the discrete Ricci flow by edge flipping using a generalized Ptolemy equation to ensure it converge and never blow up.

Differential Geometry,Geometric Topology,Metric Geometry
The Injectivity Radius and Shortest Arcs of the Oblate Ellipsoid of Revolution

Berestovskii, V. N.,Mustafa, A.

DOI: https://doi.org/10.1134/s0037446624010026

2024-02-08

Siberian Mathematical Journal

Abstract:We found the geodesics, shortest arcs, cut loci, and injectivity radius of any oblate ellipsoid of revolution in three-dimensional Euclidean space.

mathematics
The injectivity radius of the compact Stiefel manifold under the Euclidean metric

Ralf Zimmermann,Jakob Stoye

2024-05-04

Abstract:The injectivity radius of a manifold is an important quantity, both from a theoretical point of view and in terms of numerical applications. It is the largest possible radius within which all geodesics are unique and length-minimizing. In consequence, it is the largest possible radius within which calculations in Riemannian normal coordinates are well-defined. A matrix manifold that arises frequently in a wide range of practical applications is the compact Stiefel manifold of orthogonal $p$-frames in $\mathbb{R}^n$. We observe that geodesics on this manifold are space curves of constant Frenet curvatures. Using this fact, we prove that the injectivity radius on the Stiefel manifold under the Euclidean metric is $\pi$.

Differential Geometry,Numerical Analysis
Birational Transformations on Irreducible Compact Hermitian Symmetric Spaces

Cong Ding

DOI: https://doi.org/10.1093/imrn/rnae045

2024-03-13

International Mathematics Research Notices

Abstract:Abstract We construct a sequence of explicit blow-ups and blow-downs on an irreducible compact Hermitian symmetric spaces $X$ which transforms it into a projective space of the same dimension. Moreover, this resolves a birational map given by Landsberg and Manivel. Centers of the blow-ups for $X$ are constructed by loci of chains of minimal rational curves and centers of the blow-ups for the projective space are constructed from the variety of minimal rational tangents of $X$ and its higher secant varieties. The result was known in the special case where $X$ is of rank 2 and could be found in Zak’s monograph “Tangents and secants of algebraic varieties.”

mathematics

Injectivity radius and Cartan polyhedron for simply connected symmetric spaces

Injectivity radius for non-simply connected symmetric spaces via Cartan polyhedron

Injectivity radii of hyperbolic polyhedra

Injectivity of the genus 1 Kudla-Millson lift on locally symmetric spaces

Restricted Root Systems and Spin Representations

On the Injectivity Radius of the Stiefel Manifold: Numerical investigations and an explicit construction of a cut point at short distance

Injectivity radius lower bound of convex sum of tame Riemannian metrics and applications to symplectic topology

Injectivity, cubical approximations and equivariant wall structures beyond CAT(0) cube complexes

Injectivity theorems and cubical descent for schemes, stacks, and analytic spaces

The sphere and the cut locus at a tangency point in two-dimensional almost-Riemannian geometry

Strengthened injectivity radius bounds for manifolds with positive scalar curvature

Spaces of embeddings of compact polyhedra into 2-manifolds

Geometry of Selberg's bisectors in the symmetric space SL(n,R)/SO(n,R)

Injectivity theorems for higher direct images under proper Kähler morphisms on snc spaces

The Injectivity Radius of Souls of Alexandrov Spaces

Hyperplane Arrangements and Compactifications of Vector Groups

The existence of inversive distance circle packing on polyhedral surface

The Injectivity Radius and Shortest Arcs of the Oblate Ellipsoid of Revolution

The injectivity radius of the compact Stiefel manifold under the Euclidean metric

Birational Transformations on Irreducible Compact Hermitian Symmetric Spaces