Ergodic action of dense subgroup
up vote
5
down vote
favorite
Let $G$ be a group acting ercodically on a probability measure space $(X, mu)$. Let $Gamma$ be a countable dense subgroup of $G$. Is the action of $Gamma$ also ergodic?
The case I am interested in is actually when $G$ is a Lie group acting smoothly on a compact submanifold of $mathbb{R}^n$ with the normalized Lebesgue measure.
Here by ergodic action I mean that if $mu(gA Delta A) = 0$ for all $g in G$, then $mu(A) = 0$ or 1.
lie-groups lebesgue-measure group-actions ergodic-theory
asked Nov 27 at 15:23
frafour
841212
add a comment |
up vote
5
down vote
favorite
Let $G$ be a group acting ercodically on a probability measure space $(X, mu)$. Let $Gamma$ be a countable dense subgroup of $G$. Is the action of $Gamma$ also ergodic?
The case I am interested in is actually when $G$ is a Lie group acting smoothly on a compact submanifold of $mathbb{R}^n$ with the normalized Lebesgue measure.
Here by ergodic action I mean that if $mu(gA Delta A) = 0$ for all $g in G$, then $mu(A) = 0$ or 1.
lie-groups lebesgue-measure group-actions ergodic-theory
asked Nov 27 at 15:23
frafour
841212
add a comment |
up vote
5
down vote
favorite
up vote
5
down vote
favorite
Let $G$ be a group acting ercodically on a probability measure space $(X, mu)$. Let $Gamma$ be a countable dense subgroup of $G$. Is the action of $Gamma$ also ergodic?
The case I am interested in is actually when $G$ is a Lie group acting smoothly on a compact submanifold of $mathbb{R}^n$ with the normalized Lebesgue measure.
Here by ergodic action I mean that if $mu(gA Delta A) = 0$ for all $g in G$, then $mu(A) = 0$ or 1.
lie-groups lebesgue-measure group-actions ergodic-theory
asked Nov 27 at 15:23
frafour
841212
Let $G$ be a group acting ercodically on a probability measure space $(X, mu)$. Let $Gamma$ be a countable dense subgroup of $G$. Is the action of $Gamma$ also ergodic?
The case I am interested in is actually when $G$ is a Lie group acting smoothly on a compact submanifold of $mathbb{R}^n$ with the normalized Lebesgue measure.
Here by ergodic action I mean that if $mu(gA Delta A) = 0$ for all $g in G$, then $mu(A) = 0$ or 1.
lie-groups lebesgue-measure group-actions ergodic-theory
lie-groups lebesgue-measure group-actions ergodic-theory
asked Nov 27 at 15:23
frafour
841212
asked Nov 27 at 15:23
frafour
841212
asked Nov 27 at 15:23
frafour
841212
asked Nov 27 at 15:23
frafour
841212
asked Nov 27 at 15:23
frafour
841212
841212
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
up vote
2
down vote
accepted
No in general, yes for the case your are interested in.
For the "no" part: In the general case, this is lacking a assumption giving a "link" between the topology of $G$ and the action; here is an example of such a discontinuous action:
Let $G=mathbb{Z}oplusmathbb{Z}sqrt{2}oplus mathbb{Z}sqrt{3}$, $Gamma=mathbb{Z}oplus mathbb{Z}sqrt{2}$. We endow $G$ with the induced topology from $mathbb{R}$. In this case, $Gamma$ is a dense subgroup. Now consider an ergodic action of $G/Gammasimeq mathbb{Z}sqrt{3}$ on a measure space (for example, an irrational rotation on the circle). This gives an action of $G$ itself, which is ergodic, but the action of $Gamma$ is trivial.
For the "yes" part: the action of $G$ on $X$ induces a unitary representation on $L^2(X,mu)$ (the Koopman representation)
$$pi:Gto mathcal{U}(L^2(X)),$$
$$pi(f)(x)=f(g^{-1}x).$$
A useful property that may (or may not) have this representation is to be strongly continuous, i.e.
$$g_nto gimplies forall f in L^2(X), ;| pi(g_n)f-pi(g)f|to 0.$$
The relevance of this property to ergodicity of dense subgroup is that in this case, the stabilizer of a characteristic function $f=1_A$
$$Stab(f)={ g in G , : , pi(g)f=f },$$
is then a closed subgroup; so if a set $A$ is $Gamma$-invariant, $f=1_A$ is $Gamma$-invariant, so is also $bar{Gamma}=G$-invariant, so $mu(A)in {0,1}$.
In the case you are interested in, this property of strong continuity is satisfied; see for example Lemma 1.6 in those notes
http://u.math.biu.ac.il/~solomyb/TEACH/17/GrAct/Lec7.pdf
for a statement giving sufficient conditions and a sketch of proof.
edited Nov 28 at 9:42
user39082
1,235513
answered Nov 28 at 9:28
user120527
1,715214
add a comment |
Your Answer
StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3015902%2fergodic-action-of-dense-subgroup%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
up vote
2
down vote
accepted
No in general, yes for the case your are interested in.
For the "no" part: In the general case, this is lacking a assumption giving a "link" between the topology of $G$ and the action; here is an example of such a discontinuous action:
Let $G=mathbb{Z}oplusmathbb{Z}sqrt{2}oplus mathbb{Z}sqrt{3}$, $Gamma=mathbb{Z}oplus mathbb{Z}sqrt{2}$. We endow $G$ with the induced topology from $mathbb{R}$. In this case, $Gamma$ is a dense subgroup. Now consider an ergodic action of $G/Gammasimeq mathbb{Z}sqrt{3}$ on a measure space (for example, an irrational rotation on the circle). This gives an action of $G$ itself, which is ergodic, but the action of $Gamma$ is trivial.
For the "yes" part: the action of $G$ on $X$ induces a unitary representation on $L^2(X,mu)$ (the Koopman representation)
$$pi:Gto mathcal{U}(L^2(X)),$$
$$pi(f)(x)=f(g^{-1}x).$$
A useful property that may (or may not) have this representation is to be strongly continuous, i.e.
$$g_nto gimplies forall f in L^2(X), ;| pi(g_n)f-pi(g)f|to 0.$$
The relevance of this property to ergodicity of dense subgroup is that in this case, the stabilizer of a characteristic function $f=1_A$
$$Stab(f)={ g in G , : , pi(g)f=f },$$
is then a closed subgroup; so if a set $A$ is $Gamma$-invariant, $f=1_A$ is $Gamma$-invariant, so is also $bar{Gamma}=G$-invariant, so $mu(A)in {0,1}$.
In the case you are interested in, this property of strong continuity is satisfied; see for example Lemma 1.6 in those notes
http://u.math.biu.ac.il/~solomyb/TEACH/17/GrAct/Lec7.pdf
for a statement giving sufficient conditions and a sketch of proof.
edited Nov 28 at 9:42
user39082
1,235513
answered Nov 28 at 9:28
user120527
1,715214
add a comment |
up vote
2
down vote
accepted
No in general, yes for the case your are interested in.
For the "no" part: In the general case, this is lacking a assumption giving a "link" between the topology of $G$ and the action; here is an example of such a discontinuous action:
Let $G=mathbb{Z}oplusmathbb{Z}sqrt{2}oplus mathbb{Z}sqrt{3}$, $Gamma=mathbb{Z}oplus mathbb{Z}sqrt{2}$. We endow $G$ with the induced topology from $mathbb{R}$. In this case, $Gamma$ is a dense subgroup. Now consider an ergodic action of $G/Gammasimeq mathbb{Z}sqrt{3}$ on a measure space (for example, an irrational rotation on the circle). This gives an action of $G$ itself, which is ergodic, but the action of $Gamma$ is trivial.
For the "yes" part: the action of $G$ on $X$ induces a unitary representation on $L^2(X,mu)$ (the Koopman representation)
$$pi:Gto mathcal{U}(L^2(X)),$$
$$pi(f)(x)=f(g^{-1}x).$$
A useful property that may (or may not) have this representation is to be strongly continuous, i.e.
$$g_nto gimplies forall f in L^2(X), ;| pi(g_n)f-pi(g)f|to 0.$$
The relevance of this property to ergodicity of dense subgroup is that in this case, the stabilizer of a characteristic function $f=1_A$
$$Stab(f)={ g in G , : , pi(g)f=f },$$
is then a closed subgroup; so if a set $A$ is $Gamma$-invariant, $f=1_A$ is $Gamma$-invariant, so is also $bar{Gamma}=G$-invariant, so $mu(A)in {0,1}$.
In the case you are interested in, this property of strong continuity is satisfied; see for example Lemma 1.6 in those notes
http://u.math.biu.ac.il/~solomyb/TEACH/17/GrAct/Lec7.pdf
for a statement giving sufficient conditions and a sketch of proof.
edited Nov 28 at 9:42
user39082
1,235513
answered Nov 28 at 9:28
user120527
1,715214
add a comment |
up vote
2
down vote
accepted
up vote
2
down vote
accepted
No in general, yes for the case your are interested in.
For the "no" part: In the general case, this is lacking a assumption giving a "link" between the topology of $G$ and the action; here is an example of such a discontinuous action:
Let $G=mathbb{Z}oplusmathbb{Z}sqrt{2}oplus mathbb{Z}sqrt{3}$, $Gamma=mathbb{Z}oplus mathbb{Z}sqrt{2}$. We endow $G$ with the induced topology from $mathbb{R}$. In this case, $Gamma$ is a dense subgroup. Now consider an ergodic action of $G/Gammasimeq mathbb{Z}sqrt{3}$ on a measure space (for example, an irrational rotation on the circle). This gives an action of $G$ itself, which is ergodic, but the action of $Gamma$ is trivial.
For the "yes" part: the action of $G$ on $X$ induces a unitary representation on $L^2(X,mu)$ (the Koopman representation)
$$pi:Gto mathcal{U}(L^2(X)),$$
$$pi(f)(x)=f(g^{-1}x).$$
A useful property that may (or may not) have this representation is to be strongly continuous, i.e.
$$g_nto gimplies forall f in L^2(X), ;| pi(g_n)f-pi(g)f|to 0.$$
The relevance of this property to ergodicity of dense subgroup is that in this case, the stabilizer of a characteristic function $f=1_A$
$$Stab(f)={ g in G , : , pi(g)f=f },$$
is then a closed subgroup; so if a set $A$ is $Gamma$-invariant, $f=1_A$ is $Gamma$-invariant, so is also $bar{Gamma}=G$-invariant, so $mu(A)in {0,1}$.
In the case you are interested in, this property of strong continuity is satisfied; see for example Lemma 1.6 in those notes
http://u.math.biu.ac.il/~solomyb/TEACH/17/GrAct/Lec7.pdf
for a statement giving sufficient conditions and a sketch of proof.
edited Nov 28 at 9:42
user39082
1,235513
answered Nov 28 at 9:28
user120527
1,715214
No in general, yes for the case your are interested in.
For the "no" part: In the general case, this is lacking a assumption giving a "link" between the topology of $G$ and the action; here is an example of such a discontinuous action:
Let $G=mathbb{Z}oplusmathbb{Z}sqrt{2}oplus mathbb{Z}sqrt{3}$, $Gamma=mathbb{Z}oplus mathbb{Z}sqrt{2}$. We endow $G$ with the induced topology from $mathbb{R}$. In this case, $Gamma$ is a dense subgroup. Now consider an ergodic action of $G/Gammasimeq mathbb{Z}sqrt{3}$ on a measure space (for example, an irrational rotation on the circle). This gives an action of $G$ itself, which is ergodic, but the action of $Gamma$ is trivial.
For the "yes" part: the action of $G$ on $X$ induces a unitary representation on $L^2(X,mu)$ (the Koopman representation)
$$pi:Gto mathcal{U}(L^2(X)),$$
$$pi(f)(x)=f(g^{-1}x).$$
A useful property that may (or may not) have this representation is to be strongly continuous, i.e.
$$g_nto gimplies forall f in L^2(X), ;| pi(g_n)f-pi(g)f|to 0.$$
The relevance of this property to ergodicity of dense subgroup is that in this case, the stabilizer of a characteristic function $f=1_A$
$$Stab(f)={ g in G , : , pi(g)f=f },$$
is then a closed subgroup; so if a set $A$ is $Gamma$-invariant, $f=1_A$ is $Gamma$-invariant, so is also $bar{Gamma}=G$-invariant, so $mu(A)in {0,1}$.
In the case you are interested in, this property of strong continuity is satisfied; see for example Lemma 1.6 in those notes
http://u.math.biu.ac.il/~solomyb/TEACH/17/GrAct/Lec7.pdf
for a statement giving sufficient conditions and a sketch of proof.
edited Nov 28 at 9:42
user39082
1,235513
answered Nov 28 at 9:28
user120527
1,715214
edited Nov 28 at 9:42
user39082
1,235513
edited Nov 28 at 9:42
user39082
1,235513
edited Nov 28 at 9:42
user39082
1,235513
1,235513
answered Nov 28 at 9:28
user120527
1,715214
answered Nov 28 at 9:28
user120527
1,715214
answered Nov 28 at 9:28
user120527
1,715214
1,715214
add a comment |
add a comment |
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Some of your past answers have not been well-received, and you're in danger of being blocked from answering.
Please pay close attention to the following guidance:
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3015902%2fergodic-action-of-dense-subgroup%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
