The group-actions tag has no usage guidance.

**1**

vote

**1**answer

263 views

### cohomology of the orbit space of a group action

Let $M$ be a manifold. Let a finite group $G$ act on $M$ discretely. Let $F$ be a field.
Suppose the induced action of $G$ on the cohomology algebra $H^*(M,F)$ is known. We want to obtain $H^*(M/G;F)$...

**5**

votes

**2**answers

263 views

### fixpoint algebras of a permutation action

Let $D$ be an infinite UHF algebra, e.g. the infinite tensor product of the matrix algebra $M_k(\mathbb{C})$. The permutation group $\Sigma_n$ acts on the $n$-fold tensor product $D^{\otimes n}$ in a ...

**6**

votes

**0**answers

182 views

### Is the quotient of a scheme by the free action of an elliptic curve an algebraic space?

Let $X$ be a scheme (I'm happy to assume that $X$ is of finite type, separated, and over $\mathbb{C}$) and let $E$ be an elliptic curve which acts freely on $X$. Does the quotient stack $[X/E]$ have ...

**11**

votes

**1**answer

378 views

### Is there a faithful transitive locally finite action of the modular group?

Is there a faithful transitive action of $G = \mathrm{PSL}_2(\mathbb{Z})$ on $\mathbb{Z}$ such that orbits under each $g \in G$ are finite?

**2**

votes

**0**answers

175 views

### Exotic actions of hyperbolic groups

Let $G$ be a hyperbolic group acting faithfully on $\mathbb{Z}$ such that:
The action is highly transitive - it is $k$-transitive for each $k \in \mathbb{N}$.
For every quasiconvex subgroup $H \leq ...

**6**

votes

**1**answer

167 views

### Is there a highly transitive action of a finitely generated torsion simple group?

Is there a highly transitive action of a finitely generated torsion simple group $G$ on $\mathbb{Z}$ ?
Highly transitive means $k$-transitive for each $k \in \mathbb{N}$, that is: for every two $k$-...

**0**

votes

**1**answer

261 views

### Coaction of a group

Suppose $G$ is a finite group which acts on a $C^*-$algebra which we denote by $A$. I was wondering if there is a naturally induced coaction on $A\otimes C(G)$, here $C(G)$ denotes functions on $G$.
I ...

**6**

votes

**1**answer

270 views

### Action of the homotopy braid groups on reduced free groups

Firstly some definitions:
$B_n$ is the braid group with $n$ strands.
$\widetilde{B_n}$ is "homotopy braid group", which is a factor group of $B_n$ by adding the relation that $A_{j,k}$ ...

**3**

votes

**1**answer

116 views

### Are epimorphisms (defined via an obvious action) of free Boolean algebras whose set of generators is a group automorphisms?

Let $G$ be a group. Consider $B$, the free Boolean algebra with generating set (I'll call them "variables") $G$. Let $F$ be some formula (that is, some fixed element of $B$). Define an endomorphism ...

**1**

vote

**0**answers

113 views

### Adelic integral factorization

In order to calculate Tamagawa numbers, I need to justify that for a nice (say Schwartz-Bruhat) function, the following identity holds :
$$\int_{\mathbf{A}^2} f(x)dx = \int_{SL_2(\mathbf{A})/SL_2(K)} ...

**4**

votes

**1**answer

292 views

### Free action of $\mathbb{Z}(2^{\infty})$ on a compact space

Assume that $X$ is a Hausdorff compact space such that $\forall n\in \mathbb{N}$, we have a free action of $\mathbb{Z/{2^{n}}\mathbb{Z}}$ on $X$. Must $\mathbb{Z}(2^{\infty})$ act freely on $X$?...

**5**

votes

**0**answers

225 views

### Unitary representations of Tarski Monsters and other beasts

Did people study the unitary representations of Tarsky Monsters, for example the ones constructed by Ol'shanskii? Are there any exotic representations, ie. except the ones related to the left regular, ...

**1**

vote

**0**answers

71 views

### Invariant subsets of a local action

I have also asked this in MSE, but it seems to me that my question wasn't very well received there and I think someone in here will be able to answer it more quickly, hence this post.
I don't ...

**1**

vote

**0**answers

186 views

### Rational conjugation of elements of a finite group

Let $G$ be a finite group. Two elements $x$ and $y$ of $G$ are said to be rationally conjugate, written $x \sim_{r} y$, if and only if $\langle x\rangle$ and $\langle y\rangle$ are conjugate subgroups ...

**12**

votes

**2**answers

455 views

### Closure of the orbits of the $SL(2,\mathbb{Z})$-action on $\mathbb{R}^2$

I'm coming with a very basic question for which I can't find an answer. Please forgive me if I didn't search efficiently enough.
What can the closure of an orbit of an element $X$ of $\mathbb{R}^2$ ...

**8**

votes

**1**answer

388 views

### Białynicki-Birula theory for non-complete varieties

I would like to know to which extent the theory developed for smooth projective varieties in the following articles
A. Białynicki-Birula, Some theorems on actions of algebraic groups.
Ann. of ...

**6**

votes

**0**answers

283 views

### Faithful and weakly-mixing representations of Property (T) groups in relation to left regular rep

Is it known that: Any countable Property (T) group (or more generally, a non-amenable group) has a faithful, weakly-mixing representation which is NOT weakly included in its left regular ...

**1**

vote

**1**answer

167 views

### Free action of symmetric groups

What type of compact manifolds, can be acted freely by symmetric group $S_{m}$ for some $m>2$?
Is there a compact manifold which can be act freely by all symmetric groups ...

**2**

votes

**0**answers

164 views

### A possible generalization of the Borsuk Ulam theorem via action of symmetric groups

The symmetric group $S_{m}$ is equiped with the counting Har measure $\mu$ and the obvious sgn character. Assume that $S_{m}$ acts on $S^{n}$, $n\geq m-1$ and $f:S^{n}\to \mathbb{R}^{n}$ ...

**8**

votes

**1**answer

383 views

### Center of one-point stabilizer in 2-transitive groups

In this MO question it was mentioned that the following fact seems to be true:
If $G$ is doubly transitive on $X$ and the one-point stabilizer $G_x$ has a
non-trivial center, then $G$ is of ...

**3**

votes

**0**answers

112 views

### A topological space extracting from a group action

Let $G$ be a compact abelian topological group with invariant measure $\mu$ which acts on a compact Hausdorff space $X$. A $G$-odd function is a continuous function $f:X\to \mathbb{C}$...

**5**

votes

**0**answers

384 views

### Non invertibility of certain integral arising from group action

Edit 1: According to the comment of Andreas Cap I revise the integral formula in the question.
Edit 2: I understand from the following post that some part of the previos version of my question has ...

**2**

votes

**1**answer

177 views

### When is Aut(G) the symmetric group of an Aut(G)-invariant generating set?

Let $G$ be a group, $X$ a generating set of $G$. Suppose $X$ is $\operatorname{Aut}(G)$-invariant, i.e. $\sigma(X)\subseteq X$ for all $\sigma \in \operatorname{Aut}(G)$. When is the restriction ...

**4**

votes

**0**answers

132 views

### Fixed sets of orbit spaces

I've run across something that surprises me, so I'm wondering (1) Is it true? and (2) Is it well known? (And if the answers are affirmative, why didn't I know this already?)
Let $G$ be a compact Lie ...

**-1**

votes

**1**answer

98 views

### Action of rotation group on Matrices [closed]

Is the following assertion true?
Suppose $p, q \geq 3$. Consider the action of $SO(p,\mathbb{R})$ on $p \times q$ matrices by left multiplication. I want to show that $MA = A$, where $M \in SO(p,\...

**0**

votes

**0**answers

75 views

### Stable analytic manifold under simple action

For an integer $m > 1$, let us define the action
$$
f: X_i \to (1+X_i)^{m} - 1
$$
on $C[[X_1,...,X_N]]$, where $C$ is the complex number field. Consider the analytic manifold $V(I)$ defined by the ...

**3**

votes

**0**answers

119 views

### Non-linearly isomorphic non-equivalent $G-$representations?

Let $G$ be an algebraic group (or a group scheme) over a field $\Bbbk$, and let $V$ be an algebraic $G-$representation (I mean, corresponding to a homomorphism of $\Bbbk-$group schemes $G\rightarrow \...

**4**

votes

**0**answers

242 views

### Polynomial dynamical systems

The question is somewhat related to the theory of permutation polynomials. Let $\mathbb{F}_p$ be a finite field of $p$ elements ($p$ is prime) and $\mathcal{V} = \mathbb{F}_p^2 = \{ (t_1,t_2)\::\: t_1,...

**6**

votes

**1**answer

190 views

### Orbit spaces of crystallographic groups

In their paper "On Three-Dimensional Space Groups", Conway et al. write
Although this paper was inspired by the orbifold concept, we did not need to consider the 219 orbifolds of space groups ...

**6**

votes

**1**answer

334 views

### Rational homology and finite group actions

I'm looking for examples of the following phenomena. Let $X$ be a reasonable space (say, a CW complex) and $G$ be a finite group acting on $X$. For all $k \geq 1$, the projection map $X \rightarrow ...

**1**

vote

**0**answers

125 views

### Actions and representations of profinite groups

Let $p$ be a prime number, and denote by $\mathbb{Z}_p$ the additive profinite group of p-adic integers. Let $G$ be a finitely generated profinite group of order coprime to $p$, and $V = \mathbb{Z}_p^{...

**5**

votes

**1**answer

454 views

### A generalized Burnside's lemma

Let $G$ be a finite group acting on a set $X$, and let $S\subseteq G$ be a union of conjugacy classes. Then I believe I can prove:
$$ \sum_{[x]\in X/G} \frac{|G_x \cap S|}{|G_x|} = \sum_{g\in S} \...

**5**

votes

**0**answers

205 views

### Is translation by the free group (in two generators) on a certain completion of the group an amenable action?

Let $\mathbb{F}_2 = \langle a,b\rangle$ be the free group in two generators $a,b$ and let $\alpha \in \text{End}(\mathbb{F}_2)$ be given by $\alpha(a) = a^2, \alpha(b)= b^2$. Note that the index $[\...

**8**

votes

**4**answers

554 views

### Action of a Lie group with finitely many orbits

EDIT: Let a real Lie group $G$ act on a smooth manifold $M$ with finitely many orbits such that each orbit is locally closed ($M$, but not $G$, may be assumed to be compact in my case). Let $\mathcal{...

**4**

votes

**2**answers

301 views

### Recommended textbooks for Hamiltonian group actions?

I am doing a project on Hamiltonian group actions on symplectic manifolds, and my supervisor was able to list several good books on Riemannian geometry to start me off, but he didn't know of any ...

**7**

votes

**1**answer

330 views

### How does the kernel of the map $\Omega^{\bullet}(X)\rightarrow \Omega^{\bullet}(G\times X)$ relate to equivariant cohomology?

This question may be trivial for experts. Consider a (compact, connected) smooth manifold $X$ and a (compact connected) Lie group $G$ act on $X$. Then we have the action map
$$
\mu: G\times X\...

**1**

vote

**1**answer

116 views

### Group action of $G<\mathbb Z^\infty_2$ over the Golden mean shif [closed]

I'm am looking for an action of an infinite subgroup of $\mathbb Z^\infty_2$ over the golden mean shift space $$X=\{x\in \{0,1\}^\mathbb N : x_i=1\Rightarrow x_{i+1}=0\}$$ such that any element of $G$ ...

**9**

votes

**2**answers

516 views

### What are the invariants of $U\otimes V\otimes W$ under action of $GL(U)\times GL(V) \times GL(W)$

The tensor product of some (finite dimensional real) vector spaces is acted on by the direct product of their general linear groups. I would like to know if there are explicit invariants in the case ...

**2**

votes

**1**answer

120 views

### From the representation category of a Lie group and the representation on a homogeneous space, can we reconstruct the stabiliser subgroup reps?

Given a Lie group $G$ and a transitive action $- \triangleright - : G \times X \to X$ on a homogeneous space, we can recover the stabiliser subgroup $H_x$ of a point $x \in X$. It is the subgroup of $...

**9**

votes

**1**answer

163 views

### A published proof for: the number of labeled $i$-edge ($i \geq 1$) forests on $p^k$ vertices is divisible by $p^k$

Let $F(n;i)$ be the number of labeled $i$-edge forests on $n$ vertices (A138464 on the OEIS). The first few values of $F(n;i) \pmod n$ are listed below:
$$\begin{array}{r|rrrrrrrrrrr}
& i=0 &...

**-1**

votes

**1**answer

149 views

### is the fixed point locus integral and reduced?

Let $X$ be a scheme over a field $k$ of characteristic zero and let $G$ be finite group acting on $X$. Then one can define the scheme $X^G$ of fixed points of $X$. It is a closed smooth subscheme of $...

**2**

votes

**1**answer

105 views

### is the exceptional divisor of an equivariant blow-up linearized?

I hope someone can help me with this.
Let $X$ be a smooth projective variety, say over the complex numbers and let $Z$ be a closed subvariety of $X$. Assume that $X$ is acted upon by a finite group $...

**3**

votes

**2**answers

228 views

### A natural bijection between the orbit spaces of $p$-nilpotent matrices for varying $p$

Let $k$ be an algebraically closed field of characteristic $p$, call a matrix $X\in\mathfrak{gl}_n(k)$ $p$-nilpotent if $X^p=0$, and let $\mathcal{N}_1=\mathcal{N}_1(\mathfrak{gl}_n(k))$ be the set of ...

**2**

votes

**1**answer

111 views

### Subgroups of $E(n) = \mathbb{R}^n \rtimes O(n)$ with trivial orbit space

Let G be a subgroup of $E(n) = \mathbb{R}^n \rtimes O(n)$(the rigid motions of $\mathbb{R}^n$ ) with orbit space as a point.
Example: the group of all translations of $\mathbb{R}^n$ and of course any ...

**1**

vote

**1**answer

82 views

### 'Convex' slices of proper actions

Consider a Lie group $G$ acting properly on a manifold $M$. Then by the slice theorem we can find for any point $m\in M$ a submanifold transverse to the orbit $\mathcal{O}$ through $m$ and which is (...

**3**

votes

**2**answers

322 views

### Action of Mapping Class Group on Arc complex

Suppose $S$ is a surface of finite type with nonempty boundary. Now consider the arc complex $\mathcal{A}$. The action of Mod(S)(mapping class group) on the set of all vertices has finitely many ...

**11**

votes

**1**answer

626 views

### When taking the fixed points commutes with taking the orbits

Let $G$ and $H$ be groups, both acting on a set $X$ on the left, in such a way that the two actions commute. (Equivalently, let $G \times H$ act on $X$.)
The set $\text{Fix}_H(X)$ of $H$-fixed ...

**3**

votes

**1**answer

661 views

### Orbits of group scheme action

I am interested in orbits of the action of a group scheme on a scheme and I'm particularly interested in the following special case: Let $k$ be an algebraically closed field, let $G$ be an affine ...

**2**

votes

**0**answers

152 views

### Diffeomorphism between open annuli preserving common symmetries

Suppose $A$ and $B$ are subsets of $\mathbb{R}^2$ homeomorphic (and thus $C^\infty$ diffeomorphic) to the open annulus (punctured $\mathbb{B}^2$) and let $G$ be the group of isometries of ${\mathbb R}^...

**3**

votes

**0**answers

193 views

### Is the limit set of a group action always closed?

Let $G$ be a discrete group acting on a compact metric space $X$. A point $x\in X$ is called a limit point, if there is a base point $x_0\in X$ and an injective sequence $(x_k)_{k\in\mathbb{N}}$ in ...