Skip to main content
Notice removed Draw attention by Eusebio Gardella
Bounty Ended with Hannes Thiel's answer chosen by Eusebio Gardella
deleted 168 characters in body; edited tags
Source Link

Let $G$ be a finite group, let $X$ be a locally compact Hausdorff space, and let $G$ act freely on $X$. It is well-known that the canonical quotient map $\pi\colon X\to X/G$ onto the orbit space $X/G$ admits local cross-sections. More precisely, for every $z\in X/G$ there are an open set U$U$ in $X/G$ containing $z$, and a continuous function $s\colon U\to X$ such that $\pi\circ s$ is the identity on $U$. In particular, there is an open cover of $X/G$ consisting of sets where a local cross-section can be defined.

Question (edited): is there ana finite open cover of $X/G$ of finite order consisting of sets where a local cross-section can be defined?

(Recall: an open coverThis is said to have order at most $d$ if the intersection of any $d+1$ elementssame as asking whether the Schwarz genus of the coverfiber map $X\to X/G$ is emptyfinite.)

The answer is "yes" if $X$ (or at least $X/G$) is finitistic, so in particular whenever $X$ has finite covering dimension, and clearly also whenever $X$ is compact. I wonder if it is true in general.

Edit (August 14): I replaced "finite" with "finite order" in the question, which is what I am actually interested in.

Let $G$ be a finite group, let $X$ be a locally compact Hausdorff space, and let $G$ act freely on $X$. It is well-known that the canonical quotient map $\pi\colon X\to X/G$ onto the orbit space $X/G$ admits local cross-sections. More precisely, for every $z\in X/G$ there are an open set U in $X/G$ containing $z$, and a continuous function $s\colon U\to X$ such that $\pi\circ s$ is the identity on $U$. In particular, there is an open cover of $X/G$ consisting of sets where a local cross-section can be defined.

Question (edited): is there an open cover of $X/G$ of finite order consisting of sets where a local cross-section can be defined?

(Recall: an open cover is said to have order at most $d$ if the intersection of any $d+1$ elements of the cover is empty.)

The answer is "yes" if $X$ (or at least $X/G$) is finitistic, so in particular whenever $X$ has finite covering dimension, and clearly also whenever $X$ is compact. I wonder if it is true in general.

Edit (August 14): I replaced "finite" with "finite order" in the question, which is what I am actually interested in.

Let $G$ be a finite group, let $X$ be a locally compact Hausdorff space, and let $G$ act freely on $X$. It is well-known that the canonical quotient map $\pi\colon X\to X/G$ onto the orbit space $X/G$ admits local cross-sections. More precisely, for every $z\in X/G$ there are an open set $U$ in $X/G$ containing $z$, and a continuous function $s\colon U\to X$ such that $\pi\circ s$ is the identity on $U$. In particular, there is an open cover of $X/G$ consisting of sets where a local cross-section can be defined.

Question: is there a finite open cover of $X/G$ consisting of sets where a local cross-section can be defined?

(This is the same as asking whether the Schwarz genus of the fiber map $X\to X/G$ is finite.)

The answer is "yes" if $X$ (or at least $X/G$) is finitistic, so in particular whenever $X$ has finite covering dimension, and clearly also whenever $X$ is compact. I wonder if it is true in general.

added 269 characters in body
Source Link

Let $G$ be a finite group, let $X$ be a locally compact Hausdorff space, and let $G$ act freely on $X$. It is well-known that the canonical quotient map $\pi\colon X\to X/G$ onto the orbit space $X/G$ admits local cross-sections. More precisely, for every $z\in X/G$ there are an open set U in $X/G$ containing $z$, and a continuous function $s\colon U\to X$ such that $\pi\circ s$ is the identity on $U$. In particular, there is an open cover of $X/G$ consisting of sets where a local cross-section can be defined.

Question (edited): is there a finitean open cover of $X/G$ of finite order consisting of sets where a local cross-section can be defined?

(Recall: an open cover is said to have order at most $d$ if the intersection of any $d+1$ elements of the cover is empty.)

The answer is "yes" if $X$ (or at least $X/G$) is finitistic, so in particular whenever $X$ has finite covering dimension, and clearly also whenever $X$ is compact. I wonder if it is true in general.

Edit (August 14): I replaced "finite" with "finite order" in the question, which is what I am actually interested in.

Let $G$ be a finite group, let $X$ be a locally compact Hausdorff space, and let $G$ act freely on $X$. It is well-known that the canonical quotient map $\pi\colon X\to X/G$ onto the orbit space $X/G$ admits local cross-sections. More precisely, for every $z\in X/G$ there are an open set U in $X/G$ containing $z$, and a continuous function $s\colon U\to X$ such that $\pi\circ s$ is the identity on $U$. In particular, there is an open cover of $X/G$ consisting of sets where a local cross-section can be defined.

Question: is there a finite open cover of $X/G$ consisting of sets where a local cross-section can be defined?

The answer is "yes" if $X$ (or at least $X/G$) is finitistic, so in particular whenever $X$ has finite covering dimension, and clearly also whenever $X$ is compact. I wonder if it is true in general.

Let $G$ be a finite group, let $X$ be a locally compact Hausdorff space, and let $G$ act freely on $X$. It is well-known that the canonical quotient map $\pi\colon X\to X/G$ onto the orbit space $X/G$ admits local cross-sections. More precisely, for every $z\in X/G$ there are an open set U in $X/G$ containing $z$, and a continuous function $s\colon U\to X$ such that $\pi\circ s$ is the identity on $U$. In particular, there is an open cover of $X/G$ consisting of sets where a local cross-section can be defined.

Question (edited): is there an open cover of $X/G$ of finite order consisting of sets where a local cross-section can be defined?

(Recall: an open cover is said to have order at most $d$ if the intersection of any $d+1$ elements of the cover is empty.)

The answer is "yes" if $X$ (or at least $X/G$) is finitistic, so in particular whenever $X$ has finite covering dimension, and clearly also whenever $X$ is compact. I wonder if it is true in general.

Edit (August 14): I replaced "finite" with "finite order" in the question, which is what I am actually interested in.

Notice added Draw attention by Eusebio Gardella
Bounty Started worth 150 reputation by Eusebio Gardella
Source Link

Local cross-sections for free actions of finite groups

Let $G$ be a finite group, let $X$ be a locally compact Hausdorff space, and let $G$ act freely on $X$. It is well-known that the canonical quotient map $\pi\colon X\to X/G$ onto the orbit space $X/G$ admits local cross-sections. More precisely, for every $z\in X/G$ there are an open set U in $X/G$ containing $z$, and a continuous function $s\colon U\to X$ such that $\pi\circ s$ is the identity on $U$. In particular, there is an open cover of $X/G$ consisting of sets where a local cross-section can be defined.

Question: is there a finite open cover of $X/G$ consisting of sets where a local cross-section can be defined?

The answer is "yes" if $X$ (or at least $X/G$) is finitistic, so in particular whenever $X$ has finite covering dimension, and clearly also whenever $X$ is compact. I wonder if it is true in general.