The tag has no wiki summary.

learn more… | top users | synonyms

29
votes
10answers
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
3answers
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 ...
16
votes
4answers
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
0answers
394 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
1answer
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$ ...
14
votes
1answer
306 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
5answers
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
3answers
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 ...
11
votes
1answer
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 ...
11
votes
1answer
762 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
2answers
847 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
1answer
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 ...
10
votes
2answers
745 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
3answers
732 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
4answers
818 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 ...
9
votes
2answers
314 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
10answers
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 ...
8
votes
3answers
521 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
2answers
333 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
1answer
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 ...
8
votes
0answers
302 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
3answers
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) = ...
7
votes
1answer
382 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
1answer
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 ...
6
votes
4answers
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
2answers
279 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
1answer
465 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 ...
6
votes
2answers
241 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
1answer
186 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
1answer
176 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
1answer
521 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
1answer
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$ ...
6
votes
0answers
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 ...
6
votes
0answers
166 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
3answers
580 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
1answer
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?
5
votes
1answer
342 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
0answers
250 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
4answers
937 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
2answers
790 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
2answers
254 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
1answer
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)$ ...
4
votes
1answer
260 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$?
4
votes
1answer
268 views

Fixed points sets of pushouts

Let $G$ be a group and $X \to Y, X \to Z$ morphisms of $G$-sets with pushout $P=Y \cup_X Z$. Is then $P^G$ the pushout of $X^G \to Y^G, X^G \to Z^G$? This is not clear from general category theory, ...
4
votes
2answers
400 views

Is there a free action on a given variety?

Given a variety $V$, and a prime $p$ I want to decide if there is a free action of $\mathbb{Z}/p\mathbb{Z}$ on $V$, and to find the generator of an action if it exists. Is there a known algorithm to ...
4
votes
0answers
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 ...
4
votes
0answers
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
5answers
462 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 ...
3
votes
3answers
422 views

Lie group actions and f-relatedness

Background Let $f: M \to N$ be a smooth map between smooth manifolds. Two vector fields $X$ in $M$ and $Y$ in $N$ are said to be $f$-related if for all $p \in M$, $(f_*)_p(X_p) = Y_{f(p)}$; ...
3
votes
3answers
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 ...