On geometric quotients

Research output: Contribution to journalArticle

Abstract

The following results are established: i) Let f: M→H be a C1 map of a compact connected C1 manifold (without boundary) into a Hilbert space. Then the map f is a C1 fibre bundle projection onto f(M) if and only if f-1: f(M)→H (M) is Lipschitz. Here, H (M) denotes the metric space of nonempty closed subsets of M with the Hausdorff metric. ii) Let M and N be compact connected C1 manifolds (without boundary) and let f: M→N be a C1 map. Then f is a Lipschitz fibre bundle projection if and only if it is a C1 fibre bundle projection. iii) Let G × M→M be a C1 action of a compact Lie group on a compact connected C1 manifold (without boundary) and let f: M→H be an invariant C1 map. Then the map f induces a bi-Lipschitz embedding of M=G (with respect to the quotient metric) into H if and only if f induces a C1 embedding of M=G (with respect to the C1 quotient structure) into H. Moreover, in contrast to the result of Schwarz in the C case, such an embedding f exists exactly when the action has a single orbit type.

Original languageEnglish (US)
Pages (from-to)3-26
Number of pages24
JournalAnnales Academiae Scientiarum Fennicae Mathematica
Volume34
Issue number1
StatePublished - Dec 1 2009

Fingerprint

Quotient
Fiber Bundle
Lipschitz
Projection
If and only if
Hausdorff Metric
Compact Lie Group
Metric space
Hilbert space
Orbit
Denote
Metric
Closed
Subset
Invariant

All Science Journal Classification (ASJC) codes

  • Mathematics(all)

Cite this

@article{24e3d6780ade4430ba6f28c476ca044c,
title = "On geometric quotients",
abstract = "The following results are established: i) Let f: M→H be a C1 map of a compact connected C1 manifold (without boundary) into a Hilbert space. Then the map f is a C1 fibre bundle projection onto f(M) if and only if f-1: f(M)→H (M) is Lipschitz. Here, H (M) denotes the metric space of nonempty closed subsets of M with the Hausdorff metric. ii) Let M and N be compact connected C1 manifolds (without boundary) and let f: M→N be a C1 map. Then f is a Lipschitz fibre bundle projection if and only if it is a C1 fibre bundle projection. iii) Let G × M→M be a C1 action of a compact Lie group on a compact connected C1 manifold (without boundary) and let f: M→H be an invariant C1 map. Then the map f induces a bi-Lipschitz embedding of M=G (with respect to the quotient metric) into H if and only if f induces a C1 embedding of M=G (with respect to the C1 quotient structure) into H. Moreover, in contrast to the result of Schwarz in the C∞ case, such an embedding f exists exactly when the action has a single orbit type.",
author = "Hossein Movahedi-Lankarani and Robert Wells",
year = "2009",
month = "12",
day = "1",
language = "English (US)",
volume = "34",
pages = "3--26",
journal = "Annales Academiae Scientiarum Fennicae Mathematica",
issn = "1239-629X",
publisher = "Finnish Academy of Science and Letters",
number = "1",

}

On geometric quotients. / Movahedi-Lankarani, Hossein; Wells, Robert.

In: Annales Academiae Scientiarum Fennicae Mathematica, Vol. 34, No. 1, 01.12.2009, p. 3-26.

Research output: Contribution to journalArticle

TY - JOUR

T1 - On geometric quotients

AU - Movahedi-Lankarani, Hossein

AU - Wells, Robert

PY - 2009/12/1

Y1 - 2009/12/1

N2 - The following results are established: i) Let f: M→H be a C1 map of a compact connected C1 manifold (without boundary) into a Hilbert space. Then the map f is a C1 fibre bundle projection onto f(M) if and only if f-1: f(M)→H (M) is Lipschitz. Here, H (M) denotes the metric space of nonempty closed subsets of M with the Hausdorff metric. ii) Let M and N be compact connected C1 manifolds (without boundary) and let f: M→N be a C1 map. Then f is a Lipschitz fibre bundle projection if and only if it is a C1 fibre bundle projection. iii) Let G × M→M be a C1 action of a compact Lie group on a compact connected C1 manifold (without boundary) and let f: M→H be an invariant C1 map. Then the map f induces a bi-Lipschitz embedding of M=G (with respect to the quotient metric) into H if and only if f induces a C1 embedding of M=G (with respect to the C1 quotient structure) into H. Moreover, in contrast to the result of Schwarz in the C∞ case, such an embedding f exists exactly when the action has a single orbit type.

AB - The following results are established: i) Let f: M→H be a C1 map of a compact connected C1 manifold (without boundary) into a Hilbert space. Then the map f is a C1 fibre bundle projection onto f(M) if and only if f-1: f(M)→H (M) is Lipschitz. Here, H (M) denotes the metric space of nonempty closed subsets of M with the Hausdorff metric. ii) Let M and N be compact connected C1 manifolds (without boundary) and let f: M→N be a C1 map. Then f is a Lipschitz fibre bundle projection if and only if it is a C1 fibre bundle projection. iii) Let G × M→M be a C1 action of a compact Lie group on a compact connected C1 manifold (without boundary) and let f: M→H be an invariant C1 map. Then the map f induces a bi-Lipschitz embedding of M=G (with respect to the quotient metric) into H if and only if f induces a C1 embedding of M=G (with respect to the C1 quotient structure) into H. Moreover, in contrast to the result of Schwarz in the C∞ case, such an embedding f exists exactly when the action has a single orbit type.

UR - http://www.scopus.com/inward/record.url?scp=77952557110&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=77952557110&partnerID=8YFLogxK

M3 - Article

AN - SCOPUS:77952557110

VL - 34

SP - 3

EP - 26

JO - Annales Academiae Scientiarum Fennicae Mathematica

JF - Annales Academiae Scientiarum Fennicae Mathematica

SN - 1239-629X

IS - 1

ER -