The group-actions tag has no wiki summary.

**7**

votes

**0**answers

122 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

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

**1**

vote

**1**answer

79 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

**2**answers

207 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

102 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

**1**answer

75 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

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

**11**

votes

**1**answer

542 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

457 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

137 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

**0**answers

144 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

350 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

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

**16**

votes

**2**answers

529 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

133 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

159 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

281 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

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

**16**

votes

**1**answer

227 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

132 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

237 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

121 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

189 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

87 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

345 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

**1**answer

745 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

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

**9**

votes

**3**answers

607 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

412 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

356 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

248 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

90 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

81 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

111 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

169 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

151 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

771 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

178 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

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

**3**

votes

**2**answers

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

**2**

votes

**0**answers

209 views

### 2 questions on Nagata's counterexample; $k[f_1,…,f_r]=k[g_1,…,g_s]$ vs. $k(f_1,…,f_r)=k(g_1,…,g_s)$

Let $\{a_{ij}\}$ for $i=1,2,3$, and $j=1,...,16$ be algebraically independent elements over some prime field. Let $k$ be a field containing all $a_{ij}$. Then consider $k^{16}$ as $k$-vector space and ...

**6**

votes

**1**answer

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

**1**

vote

**1**answer

325 views

### Free and cellular G-action implies free G-complex?

Recall that a CW-complex $X$ with an action of a group $G$ which permutes the cells (i.e., for any $g \in G$ and any cell $\sigma \subseteq X$, $g\sigma$ is a cell) is called a $G$-complex. If the ...

**7**

votes

**1**answer

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

**8**

votes

**0**answers

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

**6**

votes

**1**answer

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

**4**

votes

**5**answers

564 views

### Examples of manifolds with effective circle actions?

I would like to know examples of smooth compact connected manifolds, on which there exists an effective smooth circle action preserving a positive smooth volume, besides the simple example: $[0,1]^d ...

**10**

votes

**2**answers

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

**1**

vote

**1**answer

136 views

### Find an action of $\mathbb{Z}/2$ on $\mathbb{C}P^1$ which is compatible with the fraction linear transform of $SL(2,\mathbb{R})$

There is a natural fraction linear transform of $SL(2,\mathbb{R})$ on $\mathbb{C}P^1$ given by:
$$
\begin{pmatrix} a & b \\
c & d \end{pmatrix} \cdot[z,w]=[az+bw,cz+dw].
$$
Let ...

**11**

votes

**3**answers

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