The group-actions tag has no wiki summary.

**2**

votes

**0**answers

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

**3**

votes

**0**answers

496 views

### Untwisting the Cohomology with Twisted Coefficients

This question is set on a finite $2$-group $G$ and a subgroup $H$ of index $2$ (but perhaps the question could be answered for arbitrary orders/indexes).
It was asked here on MO whether ...

**9**

votes

**2**answers

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

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

**0**

votes

**0**answers

63 views

### Isometry groups acting transitively [migrated]

Let $X$ be a metric space and $G$ be its group of isometries.
1) Is it true that $G$ acts on $X$ transitively? If so, where can I find a proof? If not, how can one characterize those $X$ for which ...

**6**

votes

**0**answers

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

vote

**1**answer

448 views

### Actions of $Z_n$ and actions of $Z_{n-1}$

I am playing with some questions concerning connections between
certain poset partitions and their linear extensions. This is not
my usual playground, I just happened to stumble upon something.
When ...

**-1**

votes

**1**answer

102 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

56 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

140 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

96 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

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

**4**

votes

**0**answers

167 views

### An example of group with specific properties of its action on a discrete set

I am looking for an example of a discrete group $G$ which satisfies the following conditions:
$G$ acts on a set $X$ transitively and has amenable stabilizers.
There are finite subsets of ...

**2**

votes

**2**answers

186 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

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

**2**

votes

**0**answers

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

**3**

votes

**1**answer

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

**4**

votes

**0**answers

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

**3**

votes

**2**answers

173 views

### On the definition of ‘smooth vectors’ in Rieffel's “Deformation Quantization for Actions of $ \mathbb{R}^{d} $”.

On the first page of Chapter 1 of Rieffel's Deformation Quantization for Actions of $ \mathbb{R}^{d} $, Rieffel defines a family of seminorms on the space $ A^{\infty} $ of smooth vectors of a Fréchet ...

**6**

votes

**2**answers

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

**1**

vote

**2**answers

1k views

### Group action, Fixed point set and Orbit Space

I want to know to what extent is the group action determined by its fixed point data and orbit data, i.e. if $G$ acts on $M$ in two ways with the same fixed point set and orbit space, on what ...

**7**

votes

**1**answer

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

**1**

vote

**0**answers

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

**1**

vote

**0**answers

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

**1**

vote

**1**answer

273 views

### Isomorphism between the set of classes of Principal Homogeneous spaces and non-Abelian H^1(G,A) cohomology

Let A be a G-group, i.e. a set on which G acts on, has a group structure and satisfies $^s(xy)=^s x ^s y$ for all $x,y \in A \ , s \in G$. A homogeneous principal space P is a non-empty G-set on which ...

**11**

votes

**1**answer

239 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

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

**5**

votes

**1**answer

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

**8**

votes

**1**answer

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

**3**

votes

**2**answers

301 views

### Invariant for group actions

Hello everybody!
Define the action of $SL_4({\mathbb{Z}})$ on alternating 2-forms or simply skew-symmetric matrices of degree 4 according to the following:
For $B \in SL_4({\mathbb{Z}})$ and an ...

**2**

votes

**1**answer

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

**14**

votes

**1**answer

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

**11**

votes

**3**answers

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

**3**

votes

**1**answer

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

**6**

votes

**0**answers

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

**0**

votes

**0**answers

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

**3**

votes

**2**answers

320 views

### Orbits of a symplectic group on its Lie algebra in the finite field case

The classical problem regarding the action of symplectic group on its Lie algebra gives rise to the following question in the finite field case.
Let $\mathbb F_p$ be a finite field. Then the ...

**6**

votes

**1**answer

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

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

**5**

votes

**1**answer

341 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

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

**2**

votes

**1**answer

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

**7**

votes

**3**answers

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

**4**

votes

**1**answer

295 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

222 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

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

**16**

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

**1**

vote

**0**answers

73 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

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