Hadamard foliations of \(\mathbb H^n\) (Q1877081): Difference between revisions
From MaRDI portal
m rollbackEdits.php mass rollback Tag: Rollback |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/j.difgeo.2003.12.005 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2043373615 / rank | |||
Normal rank |
Revision as of 18:43, 21 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Hadamard foliations of \(\mathbb H^n\) |
scientific article |
Statements
Hadamard foliations of \(\mathbb H^n\) (English)
0 references
16 August 2004
0 references
A simply connected, complete Riemannian \(n\)-dimensional (\(n\geq 2\)) manifold with nonpositive sectional curvature is called a Hadamard manifold. Let \(\mathcal F\) be a foliation of a Hadamard manifold \(M\). Then \(\mathcal F\) is said to be a Hadamard foliation if and only if all leaves of \(\mathcal F\) are Hadamard manifolds. If \(L\in\mathcal F\) then denote by \(B_L\) the second fundamental form of \(L\). Define \[ \| B_L\| =\sup_{x\in L}\sup_{v\in T^1_x L}\| B_L( v,v)\| \] and \[ \| B_{\mathcal F}\| = \sup_{L\in\mathcal F}\| B_L\|. \] The author shows that if \(M\) is a Hadamard manifold with the curvature \(\leq -a^2\) (\(a>0\)) and \(\mathcal F\) is a foliation of \(M\) with \(\text{codim}\mathcal F=1\) and \(\| B_{\mathcal F}\|\leq a\) then \(\mathcal F\) is a Hadamard foliation. Next, the author proves that in the case of the hyperbolic space \(\mathbb H^n\) the above result can be generalized to an arbitrary codimension \(\leq n-2\). For a Hadamard manifold \(M\), denote by \(M(\infty)\) the quotient space of all geodesic rays which are parametrized by arc length by the equivalence relation which identifies two rays when they are asymptotic. One introduces in \(M(\infty)\) the cone topology. If \(A\subset M\), then by \(A(\infty)\) denote the set of all ends of rays entirely contained in \(A\). If \(\mathcal F\) is a foliation of \(M\) then the set \(\bigcup _{L\in\mathcal F}L(\infty)\) can be identified with \(T^1\mathcal F/\sim\) with the equivalence relation \(\sim\) defined as follows: \[ v\sim w\Longleftrightarrow \gamma^{\mathcal F}_v(\infty)=\gamma^{\mathcal F}_w(\infty) \] where \(\gamma^{\mathcal F}_v\) is the geodesic in a leaf of \(\mathcal F\) tangent to \(v\). The quotient topology is called a canonical topology of \(\bigcup _{L\in\mathcal F}L(\infty)\). The main theorem: Let \(\mathcal F\) be a \(C^2\)- foliation of \(\mathbb H^n\) with codimension \(\leq n-2\) and \(\| B_{\mathcal F}\|<1\). Then the mapping \(\Phi:\bigcup _{L\in\mathcal F}L(\infty)\to\mathbb H^n(\infty)\) defined by \(\Phi([\gamma]) =\gamma(\infty)\) is continuous with respect to the topologies mentioned above. Moreover, \(\Phi\) restricted to an arbitrary leaf of \(\mathcal F\) is a homeomorphism onto its image.
0 references
Hadamard foliation
0 references
Hadamard manifold
0 references
ideal boundary
0 references
foliation
0 references
geodesic curvature
0 references
second fundamental form
0 references