The group-actions tag has no wiki summary.

**4**

votes

**1**answer

131 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

163 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 ...

**0**

votes

**0**answers

77 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 = ...

**5**

votes

**1**answer

382 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

162 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

389 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 ...

**4**

votes

**1**answer

189 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 ...

**5**

votes

**1**answer

153 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 ...

**1**

vote

**1**answer

98 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

450 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

**0**answers

37 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 ...

**7**

votes

**0**answers

106 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

118 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 ...

**0**

votes

**1**answer

61 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

**1**answer

151 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

98 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

**0**answers

49 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 ...

**2**

votes

**2**answers

202 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 ...

**10**

votes

**1**answer

432 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

330 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

123 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 ...

**4**

votes

**0**answers

126 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 ...

**6**

votes

**2**answers

269 views

### Orbifolds vs. branched covers

Forgive me if this is a basic question. I'm just learning about orbifolds, and covering spaces are my happy place for thinking about group actions.
If $M$ is a manifold and $G$ is a group acting ...

**2**

votes

**0**answers

76 views

### Ergodic actions with co-finite stabilizers

Let $G$ be a locally compact, second countable group acting on a standard probability space $(X,\nu)$, and let $\nu$ be $G$-invariant. Let $G_x = \{g \in G\,:\, gx=x\}$ denote the stabilizer of $x \in ...

**11**

votes

**1**answer

249 views

### why most of the angles are right

The Coxeterâ€“Dynkin diagrams tell us that in a spherical Coxeter simplex most of the dihedral angles are right. Say among $\tfrac{n{\cdot}(n+1)}2$ dihedral angles we can have at most $n$ angles which ...

**2**

votes

**1**answer

125 views

### Tensor Powers of 1-Dimensional Representations of a Finite Group

Let $G$ be a finite group acting on a commutative ring $R$ via ring maps. In doubt, one can assume $R$ to be noetherian or regular if one wants. Let $P$ be a $1$-dimensional free $R$-module with a ...

**8**

votes

**1**answer

145 views

### Counterexamples to analogue of Cannon conjecture in higher dimensions

It is known that a group $G$ acts geometrically on $\mathbb{H}^2$ if and only if $G$ is word-hyperbolic and its boundary $\partial G$ is homeomorphic to $S^1$.
The analogous statement for ...

**5**

votes

**1**answer

269 views

### Fixed points on boundary of hyperbolic group

Let G be a word-hyperbolic group with torsion and let âˆ‚G be its boundary. Do there exist criteria that imply that all non-trivial finite order elements of G act fixed-point freely on âˆ‚G?

**2**

votes

**1**answer

97 views

### Actions of compact Lie groups on (possibly but hopefully not) non-regular spaces

Suppose $G$ is a compact Lie group acting freely on a topological space $Q$ (about whose separation conditions I make no assumptions) and the qoutient $Q/G$ is known to be completely regular Hausdorff ...

**15**

votes

**1**answer

206 views

### Do mutually dual finite vector spaces have the same orbit cardinalities under a linear group action?

Let $G$ be a finite group acting linearly on a finite dimensional vector space $V$ over a finite field. By Burnside's lemma,
$$
|V/G| = \frac 1{|G|} \sum_{g\in G} q^{\dim(ker(g - I))}.
$$
Since $g-I$ ...

**1**

vote

**0**answers

123 views

### When a Whitney stratification has no stratum of codimension one?

Let $G$ be a compact Lie group, and $M$ be a smooth $n$-dimensional $G$-manifold which admits an orientation preserving the $G$-action. Then $M$ has a natural Whitney stratification induced by the ...

**3**

votes

**1**answer

213 views

### Iterating Monad-Comonads structures

Let $(T, \mu , \eta )$ a monad on the category $\mathscr{C}$ , with the usual EM (Eilenberg-Moore) adjunction $\langle F_T, U_T, \eta_Y, \epsilon_T \rangle: \mathscr{C}^T \to \mathscr{C}$ where ...

**0**

votes

**0**answers

118 views

### automorphisms acting trivially on projective spaces

Let $K$ be a field and $\mathbb{P}=\mathbb{P}^n_K$ the projective space of dimension $n$ over $K$. Consider a linear automorphism $g$ of $\mathbb{P}$.
Is it true that $g^\ast$ acts trivially on ...

**6**

votes

**0**answers

171 views

### blowups and group actions

Let $X$ be a smooth projective variety over the complex numbers and assume that $X$ is equipped with the action of a finite group $G$.
Denote by $Z$ the closed subscheme of fixed points of $G$ and ...

**3**

votes

**0**answers

84 views

### “Spectral decomposition” action on the unitary group

Consider a matrix $U$ from the unitary group $U_N(\mathbb{C})$ and consider the map $f:U_N(\mathbb{C})\rightarrow U_N(\mathbb{C})$ where $f(U)$ is the matrix of the eigenvectors of $U$.
What is ...

**6**

votes

**1**answer

300 views

### Group actions with finite stabilizers and compact quotients

Let $G$ be a discrete group that acts on a contractible finite dimensional $G$-complex $X$ with the following properties:
$X/G$ is compact (i.e. the action is cocompact)
Each stabilizer $G_\sigma$ ...

**5**

votes

**1**answer

427 views

### Characterization of amenable actions

Let $(X,\mu)$ be a $G$-space, i.e. a measure space with a Borel quasi-invariant $G$-action. Say that $X$ is amenable (equivalently, that the action is amenable) if there is a $G$-fixed point in every ...

**3**

votes

**3**answers

442 views

### Group action on the real line

Hi,
I was wondering about the following question:
if you have a faithful action of a group G on the real line R by orientation-preserving homeomorphisms, it is easy to construct a new action such ...

**7**

votes

**3**answers

552 views

### The classifying space of a gauge group

Let $G$ be a Lie group and $P \to M$ a principal $G$-bundle over a closed Riemann surface. The gauge group $\mathcal{G}$ is defined by
$$\mathcal{G}=\lbrace f : P \to G \mid f(p \cdot g) = ...

**2**

votes

**1**answer

381 views

### When does a $W^*$-algebra have a standard Borel spectrum?

EDIT: AndrĂ© Henriques has commented below that the correct separability condition is not weak-* separability as I have written below, but separability of the predual.
This post came out a bit long, ...

**4**

votes

**1**answer

308 views

### Transitive action on the sphere

Hello!
From the book "Einstein manifolds" by Arthur L. Besse (at section 7.B), Lie groups $Sp(n)$, $Sp(n)\cdot U(1)$, $SU(2n)$ and $U(2n)$ constitute the complete list of Lie subgroups of $U(2n)$ ...

**1**

vote

**1**answer

224 views

### Orbits of Thompson's group

Thompson's group may act by homeomorphisms on the circle.
Has this action a fixed point?

**0**

votes

**0**answers

88 views

### inertia stratification

Let $X$ be a nice algebraic variety (say smooth, projective) over a field of characteristic 0. Let $G$ be an abelian group acting on $X$. For each subgroup $H$ of $G$, denote by $X^H$ the closed ...

**1**

vote

**0**answers

77 views

### Smoothing of a hyperquotient singularity

Let $f$ be a polynomial in $k$ complex variables, and suppose the affine variety $V$ given by $f = 0$ has an isolated singularity at the origin, but is otherwise smooth. Now assume that some cyclic ...

**0**

votes

**1**answer

104 views

### The description of Hurwitz groups

Let $G$ be a Hurwitz group, i.e the automorphism group of some Hurwitz surface $C$. Then Hurwitz's automorphisms theorem shows that the quotient map of $C$ by $G$ has ramification points of indexes ...

**2**

votes

**1**answer

161 views

### On the group actions on Hurwitz surfaces

Let $C$ be a Hurwitz surface, $G=\text{Aut}(C)$ and $N$ is a proper normal subgroup of $G$. Is there a simple argument (without using of classification theorems) for the fact that $N$ acts on $C$ ...

**4**

votes

**1**answer

149 views

### Representations of Finite Subgroups on Homology

Suppose that $G$ is a connected, simply-connected, complex, semisimple Lie group, and that $H$ is finite subgroup. Consider the left-multiplicative action of $H$ on $G$, and the resulting ...

**9**

votes

**3**answers

747 views

### Relation between groups and classifying spaces

Let $G$ be a nonabelian group, with classifying space $BG$.
Motivation: We can compute its homology, $H_\ast(BG)=H_\ast(G)$. It would be nice to see some equivariant computations, like $H_\ast^G(BG)$ ...

**2**

votes

**1**answer

152 views

### Is any $G$-set a coset geometry (in the sense of Tits-Buekenhout)?

Hi there!
Let $X$ be a left $G$-set, and $\Delta=${$x_1,\ldots,x_n$} a fundamental domain of $G$ in $X$. In other words, $G$ acts on $X$ from the left, and {$Gx_1,\ldots,Gx_n$} is the orbit space ...

**8**

votes

**2**answers

334 views

### Fixed point of $S^1$-action using roots of unity

Fact: For any (continuous) $S^1$-action on the closed unit disk $\mathbb{D}^n$, there is a fixed point $x_0\in\mathbb{D}^n$.
I have thought of a possible argument that re-proves this, but am not sure ...