The group-actions tag has no usage guidance.

**37**

votes

**3**answers

9k 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 ...

**36**

votes

**9**answers

4k 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 ...

**22**

votes

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

**22**

votes

**4**answers

1k views

### Dividing by two in the category of vector spaces

Does every invertible linear map $M$ between $V \oplus V$ and $W \oplus W$ naturally yield an invertible linear map $L$ between $V$ and $W$?
Here "naturally" means "in an $GL(V) \times ...

**16**

votes

**1**answer

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

**16**

votes

**2**answers

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

**16**

votes

**0**answers

435 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, ...

**15**

votes

**3**answers

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

**14**

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

**14**

votes

**1**answer

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

**13**

votes

**4**answers

1k views

### How to compute the (co)homology of orbit spaces (when the action is not free)?

Suppose a compact Lie group G acts on a compact manifold Q in a not necessarily free manner. Is there any general method to gain information about the quotient Q/G (a stratified space)? For example, I ...

**12**

votes

**2**answers

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

**12**

votes

**3**answers

457 views

### actions of the hyperoctahedral group

I am looking for actions (i.e., permutation representations) of the hyperoctahedral group $H_n$ (also known as the group of signed permutations) studied in the literature, i.e., homomorphisms from ...

**11**

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

**11**

votes

**1**answer

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

**11**

votes

**1**answer

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

**11**

votes

**1**answer

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

**10**

votes

**3**answers

564 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!

**10**

votes

**4**answers

954 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

**3**answers

415 views

### Quotient of a smooth curve by a finite group and differentials

Let $X$ be a proper smooth connected curve over an algebraically closed field $k$ of characteristic $0$, and suppose that $X$ is equipped with a $k$-linear action of a finite group $G$. It makes sense ...

**10**

votes

**2**answers

1k 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

**2**answers

776 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

798 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

**3**answers

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

**9**

votes

**2**answers

427 views

### Which weighted projective spaces (and their finite quotients) are local complete intersections?

Let $G$ be a finite subgroup of $\textrm{Gl}_{n+1}(k)$ (where $k$ is an algebraically closed field). My question is: do there exist examples of $G$ such that the corresponding quotient $P$ of ...

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

**9**

votes

**1**answer

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

**9**

votes

**0**answers

239 views

### Generalizing the Mazur-Ulam theorem to convex sets with empty interior in Banach spaces

The Mazur-Ulam theorem (1932) states that any isometry of a normed linear space is affine. See Nica (Expo. Math. 30 (2012), 397-398; arXiv:1306.2380) for a very elegant proof.
Question: Let $M$ be a ...

**9**

votes

**0**answers

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

**8**

votes

**5**answers

6k 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 ...

**8**

votes

**2**answers

345 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

168 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

**1**answer

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

**8**

votes

**1**answer

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

**8**

votes

**2**answers

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

**8**

votes

**4**answers

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

**7**

votes

**1**answer

401 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

529 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

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

**7**

votes

**1**answer

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

**6**

votes

**2**answers

298 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

**2**answers

285 views

### Stabilisers of group actions

Let $G$ be an algebraic group acting on an irreducible algebraic variety $X$ over an algebraically closed field $k$ of characteristic $0$.
Suppose there exists some point $x \in X$ whose ...

**6**

votes

**2**answers

640 views

### Is there a topological Chevalley-Shephard-Todd Theorem?

Is the following true:
For a representation of a finite group $G$ on $\mathbb{C}^n$, the quotient $\mathbb{C}^n/G$ is a topological manifold if and only if $G$ is generated by pseudo-reflections.
( ...

**6**

votes

**2**answers

341 views

### Algebraic proof without using comparison theorem for étale cohomology

Let $X$ be some smooth scheme over $\mathbf C$ equipped with an action of $\mu_n$ (the group of $n$th roots of unity).
The étale cohomology groups of X are therefore equipped with an action of ...

**6**

votes

**2**answers

211 views

### “Interesting” projective varieties being quotients of $\mathbb{A}^n\setminus \{0\}$ by an action of an algebraic group?

The algebraic (multiplicative) group $G^m$ acts on $\mathbb{A}^n$ (diagonally) and the quotient of $\mathbb{A}^n\setminus \{0\}$ by $G_m$ is $\mathbb{P}^{n-1}$ (which is a proper variety). I would ...

**6**

votes

**1**answer

187 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

315 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

**1**answer

212 views

### Free actions of non-amenable groups

Let $G$ be a locally compact, second countable, non-amenable group, let $X$ be a Haudorff space that is not necessarily compact, and let $G \curvearrowright X$ be a topological action that is free ...

**6**

votes

**1**answer

1k 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 ...

**6**

votes

**1**answer

137 views

### Example of a $G$-sphere that is not a $G$-representation sphere

Let $G$ be a finite group with the discrete topology. To set terminology:
a $G$-sphere is a sphere equipped with a continuous $G$-action
a $G$-representation sphere is a $G$-sphere obtained from an ...