The group-actions tag has no usage guidance.

**5**

votes

**1**answer

107 views

### symmetric group of regular polyhedrons

Let $\Delta^n$ be the regular $n$-simplex spanned by $(n+1)$ vertices, equipped with an Riemannian metric such that all the edges are of equal length. For example,
$\Delta^2$:
$\Delta^3$:
Let ...

**4**

votes

**1**answer

171 views

### Kunneth formula of Cartesian product modulo orders of coordinates

Let $X$ be a topological space and $F$ a field. Let the $n$-th permutation group $\Sigma_n$ act on
$$
\prod_n X
$$
by
$$
\sigma(x_1,\cdots,x_n)=(x_{\sigma(1)},\cdots,x_{\sigma(n)}), \sigma\in ...

**3**

votes

**0**answers

40 views

### group action on Stiefel manifolds [duplicate]

In the paper The cohomology rings of real Stiefel manifolds
with integer coefficients, it is stated that
Question:
Suppose the permutation group $\Sigma_k$ acts on $V_{n,k}$ by permuting the order ...

**1**

vote

**1**answer

248 views

### Does $\mathbb Z \times \mathbb Z$ mod the obvious $\mathbb Z$ action have more structure than just a set?

$\mathbb Z$ acts on the lattice $\mathbb Z \times \mathbb Z$ by adding an element to itself n times.
I am studying some function arising from symplectic geometry which happens in my case to be ...

**12**

votes

**2**answers

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

**3**

votes

**0**answers

178 views

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

Let a compact topological group $G$ with invariant measure $\mu,$ acts on a simply connected compact topological space $X$ and $\rho$ is a $n$-dimensional unitary representation of $G$. ...

**6**

votes

**2**answers

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

**33**

votes

**3**answers

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

**4**

votes

**1**answer

244 views

### Künneth formula for Bredon cohomology theory

Let $G$ be a finite group. Let $X$ and $Y$ be two $G$-CW complexes with known integer graded $G$-equivariant Bredon cohomology with constant coefficient systems. Is there any Künneth formula for this ...

**2**

votes

**1**answer

158 views

### Actions of the unit circle on finite complex matrices

Let $M_2(\mathbb{C})$ be the algebra of $2\times 2$ complex matrices and $\mathbb{S}^1$ the unit circle.
How many actions of $\mathbb{S}^1$ on $M_2(\mathbb{C})$ exist (up to isomorphism)? And on ...

**3**

votes

**1**answer

248 views

### Equivariant Derived Category

Can someone give me a reference for the following or an idea on why it is true? (This is taken from remark 1.5 on page 5 of http://arxiv.org/abs/0810.0794.)
Suppose we have an algebraic group $G$ ...

**3**

votes

**1**answer

264 views

### simultaneous action of GL(n) on the matrices

Consider the action of GL(n,k) on the set MxM where M is the set of all n-by-n matrices over k given by $g.(h,l) \mapsto (ghg^{-1}, glg^t)$. Individually these actions are well studied and good ...

**0**

votes

**0**answers

98 views

### Certain principal bundle structure on $\mathbb{R}^{n} \setminus \{0\}$

I ask this question in MSE and I received no answer, so I repeat it here:
Is there a right action of $\mathbb{H}^{2}$ on some $\mathbb{R}^{n}\setminus \{0\}$ such that this action gives us a ...

**4**

votes

**0**answers

187 views

### Can Z/2 x Z/2 act freely on an infinite dimensional sphere?

Using that all groups that act freely on some sphere $S^n$ have periodic cohomology, one can see that $\mathbb Z/2 \times \mathbb Z/2$ can not act freely on any $S^n$. But can it act freely on ...

**6**

votes

**1**answer

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

**5**

votes

**1**answer

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

**0**

votes

**0**answers

79 views

### a construction on Stiefel manifolds

Are there any references concerning the following space $V(k,N,X)$ and $U(k,N,X)$? And the cohomology of these spaces? Thanks.

**5**

votes

**2**answers

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

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

**0**

votes

**0**answers

78 views

### Action of semidirect products of cyclic groups

Is there anything known about group actions of $C_{p}\rtimes C_{p}^{*}$ on the ring of real polynomials $\mathbb{R}[X_{1},\ldots,X_{n}]$, where $C_{p}$ denotes the cyclic group of order $p$ and $p$ is ...

**6**

votes

**2**answers

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

**1**

vote

**1**answer

199 views

### finite stabilizers + compact orbit space => proper action?

Suppose a countable discrete group is acting on a smooth manifold with finite stabilizers and the orbit space is compact (and Hausdorff). How one can prove that the action is proper?
I found this ...

**1**

vote

**0**answers

57 views

### Name for condition on map of cancellative monoids

Let $M,N$ be cancellative monoids with identity $\epsilon$ and suppose that $k\colon M\rightarrow N$ is a function such that
$k(\epsilon)=\epsilon$
for all $a,b\in M$, there exists $v\in N$ such ...

**1**

vote

**1**answer

99 views

### The automorphism groups of smallest grammars of a language string are isomorphic

Let $s \in \Sigma^*$ be a formal language string. Consider the automorphism group of $s$, defined to be the set of all permutations of positions of $s$ that leave $s$ fixed. For instance $G(abab) = ...

**3**

votes

**1**answer

109 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

**2**answers

217 views

### Connected components of algebraic groups

Let $G$ be an algebraic group, and $G_{Id}$ the connected component of the identity. Then $G_{Id}$ is a normal subgroup of $G$ and $G/G_{Id}$ is the component group of $G$.
Let $G_{c}\subset G$ be ...

**1**

vote

**1**answer

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

**6**

votes

**0**answers

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

**6**

votes

**1**answer

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

**8**

votes

**1**answer

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

**5**

votes

**1**answer

344 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$?

**11**

votes

**1**answer

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

**3**

votes

**2**answers

218 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

**0**answers

167 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

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

**0**

votes

**1**answer

198 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

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

**4**

votes

**1**answer

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

**1**

vote

**0**answers

97 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)} ...

**5**

votes

**0**answers

206 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

63 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

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

**8**

votes

**1**answer

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

**34**

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

**-2**

votes

**0**answers

185 views

### Relations between Arboreal Group Theory and Tree Group Actions? [closed]

By a tree group action, we mean an action of a group $G$ over the infinite regular binary tree $T_2$ such that for each $g \in G$, the mapping $x \mapsto g\cdot x$ is an automorphism of $T_2$; these ...

**4**

votes

**0**answers

242 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

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

**2**

votes

**0**answers

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

**3**

votes

**0**answers

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

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