The group-actions tag has no wiki summary.

**30**

votes

**10**answers

3k views

### List of Classifying Spaces and Covers

I am looking for a list of classifying spaces $BG$ of groups $G$ (discrete and/or topological) along with associated covers $EG$; there does not seem to be such cataloging on the web. Or if not a ...

**25**

votes

**3**answers

6k views

### Properly Discontinuous Action

When looking definition, and theorems related to Properly discontinuous action of a group $G$ on a topological space $X$, it is different in different books (Topology and Geometry-Bredon, Complex ...

**17**

votes

**4**answers

2k views

### Invariant Polynomials under a Group Action (hidden GIT)

Let's say I start with the polynomial ring in $n$ variables $R = \mathbb{Z}[x_1,...,x_n]$ (in the case at hand I had $\mathbb{C}$ in place of $\mathbb{Z}$).
Now the symmetric group $\mathfrak{S}_n$ ...

**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$ ...

**15**

votes

**0**answers

396 views

### Actions on ℍⁿ generated by torsion elements

Let $n$ be a large integer.
I am looking for a cocompact properly discontinuous isometric action on $n$-dimensional Lobachevky space which is generated by elements of finite order.
Or equivalently, ...

**14**

votes

**1**answer

312 views

### Is a smooth action of a semi-simple Lie group linearizable near a staionary point?

Suppose that $G$ is a semi-simple Lie group that acts smoothly (i.e., $C^\infty$) on a smooth, finite dimensional manifold $M$. Does it follow that the action of $G$ is linearizable near any ...

**12**

votes

**5**answers

1k views

### A general formula for the number of conjugacy classes of $\mathbb{S}_n \times \mathbb{S}_n$ acted on by $ \mathbb{S}_n$

$\def\S{\mathbb{S}}$ Dear all,
So I have $\S_n$ acting on $\S_n \times \S_n$ via conjugacy. That is:
for $g \in \S_n, (x,y) \in \S_n \times \S_n$: $g(x,y) = (gxg^{-1},gyg^{-1}).$
Is there a general ...

**11**

votes

**3**answers

674 views

### Actions on Sⁿ with quotient Sⁿ

What is known about isometric actions on $\mathbb S^n$ such that the quotient space is homeomorphic to $\mathbb S^n$?
Comments.
I am mostly interested in (maybe trivial) properties of such ...

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

**11**

votes

**1**answer

776 views

### Cobounded ⇒ cocompact?

Assume $\Gamma$ acts by isometries on a separable Hilbert space $H$, and
$$\operatorname{diam} H/\Gamma\le 1.$$
Is it true that $H/\Gamma$ is compact?
Stupid example. Assume the action of ...

**10**

votes

**10**answers

2k views

### Looking for interesting actions that are not representations

As a person interested in group theory and all things related, I'd like to deepen my knowledge of group actions.
The typical (and indeed the most prominent) example of an action is that of a ...

**10**

votes

**4**answers

877 views

### When do isometric actions exist?

Let $X$ be a metrizable topological space and $G$ be a locally compact group. Given a continuous (left) action of $G$ on $X$, is there a metric on $X$, compatible with the topology, for which the ...

**10**

votes

**2**answers

884 views

### Determinant associated with a group action

Let $G$ be a finite group and $S$ be a finite set, with $G$ acting on $S$. I consider indeterminates $x_g$ indexed by $g\in G$ and form the matrix of the group action $A\in M_{S\times S}$. Its entries ...

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

**10**

votes

**2**answers

751 views

### Symmetric group action on squarefree polynomials

The following dynamical system on polynomials comes mostly from idle curiosity, but I hope it is of some interest.
Background Fix some natural number $n$. Let $P$ be the quotient of the polynomial ...

**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)$ ...

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

**8**

votes

**3**answers

526 views

### Is every (finite) group action on R^n by diffeomorphisms conjugate to a linear action?

I want to know if every smooth (finite)group action on $\mathbb{R}^n$ is conjugate to some linear action.Thank you!

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

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

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

**8**

votes

**0**answers

319 views

### “Homogeneity” of the Hopf fibration $S^7\to S^{15}\to S^8$ [closed]

My question has to do with an apparent contradiction I get regarding the Hopf fibration $S^7\to S^{15}\to S^8$. Namely, the two following statements cannot be true at the same time (but I do not see ...

**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) = ...

**7**

votes

**1**answer

387 views

### Free $\mathbb{Z}_2$-actions match at some point

I have in front of me a proof of this lemma:
If $f$ and $g$ are free $\mathbb{Z}_2$-actions on $S^1$, then $f(x)=g(x)$ for some $x \in S^1$.
A $\mathbb{Z}_2$-action on the unit circle $S^1$ is a ...

**7**

votes

**1**answer

475 views

### Status of Hilbert-Smith conjecture and H-S conjecture for Hölder actions

The Hilbert-Smith conjecture states that
If $G$ is a locally compact group which acts effectively on a connected manifold as a
topological transformation group then is $G$ a Lie group.
It was ...

**7**

votes

**1**answer

321 views

### Free group actions on varieties and algebras of coinvariants

Suppose $k$ is an algebraically closed field of characteristic zero and $A$ is a finitely generated commutative associative reduced $k$-algebra.
Suppose the group $\mathbb{Z}_2$ acts on $A$ in such a ...

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

**6**

votes

**4**answers

3k views

### What is the standard notation for group action

Please let me know what is the standard notation for group action.
I saw the following three notations for group action.
(All the images obtained as G\acts X ...

**6**

votes

**2**answers

283 views

### $S^1$-action in three dimensions

Let $M$ be a closed, orientable 3-manifold with a non-trivial differentiable $S^1$-action.
What does this imply for $M$? What are examples except for (products of) spheres?

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

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

**6**

votes

**1**answer

188 views

### Hamiltonian polar action with Lagrangian section

I am looking for examples of Hamiltonian polar isometric actions of a compact Lie group on a Kahler-Einstein (or perhaps just Kahler) manifold, that admits a Lagrangian section.
Recall that an ...

**6**

votes

**1**answer

179 views

### volume of exceptional group orbits

Assume that $G$ is a compact group acting by isometries on a (compact) Riemannian manifold (M,g), with principal orbits of dimension $d>0$. For $x\in M$, let $G(x)$ denote the $G$-orbit of $x$, by ...

**6**

votes

**1**answer

528 views

### When is a conjugacy class of matrices an embedded submanifold?

Let $M_{n\times n}$ denote the set of $n\times n$ real matrices and let $GL_n$ be the subgroup of invertible matrices. $GL_n$ acts on $M_{n\times n}$ smoothly by conjugation, which means that each ...

**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$ ...

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

**5**

votes

**3**answers

585 views

### Hamiltonian circle actions and Lefschetz pencils

Suppose that $M$ is a symplectic manifold with a Hamiltonian circle action. Is there a topological Lefschetz pencil on $M$, $f\colon M-A \rightarrow S^2$, such that the fibers are symplectic ...

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

**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?

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

**5**

votes

**1**answer

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

**5**

votes

**0**answers

251 views

### Central extensions of automorphisms of Bruhat-Tits trees

This is the first time I am using Mathoverflow and I am still learning how to use it.
That is why I want to begin with a curious question:
Does the group of automorphisms of a Bruhat-Tits tree have ...

**4**

votes

**4**answers

944 views

### What about the empty torsor?

Let $G$ be a group. A $G$-torsor is a set $X$ together with an action of $G$ such that for all $x,y \in X$ there is exactly one $g \in G$ such that $gx=y$. This looks like a group which has forgotten ...

**4**

votes

**2**answers

846 views

### Terminology: “cocompact”

Let $M$ be a Riemannian manifold such that its isometry group $G=\textrm{Iso}(M)$ is a Lie group, and let $\Gamma$ be a subgroup of $G$.
1) What does the phrase "$\Gamma$ is a cocompact group of ...

**4**

votes

**2**answers

260 views

### Is the Turing equivalence relation the orbit equiv. relation of the action of a countable group?

The Turing equivalence relation on $\cal P(\mathbb{N})$ is defined by $A\equiv_T B$ iff $A\leq_T B$ and $B\leq_T A$. This is a countable Borel equivalence relation on the polish space $\cal ...

**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)$ ...

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

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

**4**

votes

**1**answer

270 views

### Faithful transitive actions by large groups on small sets

How large is the largest transitive subgroup of $S_n$ other than itself and $A_n$? In particular, does its size grow at least exponentially in $n$?