The tag has no wiki summary.

learn more… | top users | synonyms

4
votes
4answers
951 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 ...
3
votes
0answers
501 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 ...
2
votes
1answer
388 views

A question regarding Lie group actions

Can you give me an example of a Lie group acting on a compact metric connected space transitively so that it has a closed finite index subgroup which does not act transitively?
6
votes
5answers
4k 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 ...
1
vote
0answers
176 views

Faithful actions of finite groups on topological spaces

Suppose that $G$ is a finite group acting faithfully on a topological space $X$. In the smooth setting, one can deduce that for each $x$ in $M$, the induced map $$G_x \to Diff_x\left(M\right)$$ from ...
10
votes
2answers
952 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 ...
0
votes
1answer
197 views

Does an abelian group acting on a riemaniann manifold define an othogonal foliation?

This question is related to my previous question. Suppose that a group $G$ acts freely and properly on a Riemaniann manifold $(M, g)$. Than the orbits form a foliation for $M$. For $p \in M$, let ...
1
vote
1answer
452 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 ...
10
votes
4answers
894 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 ...
33
votes
9answers
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 ...
10
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 ...
1
vote
2answers
182 views

The antipodal action on a connected one dimensional manifold

When I am reading one paper, I have met the following statement: It is impossible to define a $Z_{2}\times Z_{2}$ action on a connected closed curve on a compact Riemann surface. The claim is ...
4
votes
2answers
891 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 ...
25
votes
3answers
7k 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 ...
0
votes
0answers
107 views

fixed points and the cycle index

Let $C_n$ be the cyclic group of order $n$ acting on a finite set $X$ and let $Z(C_n, X; p_1,p_2,\dots)$ be the cycle index of the corresponding permutation group. I wonder whether the knowledge of ...
3
votes
1answer
186 views

Hamiltonian S^1 8-dim manifold with minimal number of fixed points

Let M be a compact symplectic manifold of dimension 8, acted on by S^1, with isolated fixed points, and such that the Betti numbers are the same as the Betti numbers of CP^4. Let "c1" be the first ...
14
votes
1answer
320 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 ...
4
votes
2answers
406 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 ...
1
vote
4answers
538 views

Variants of point fixed theorem

Let $E$ be a dual Banach space and $C$ a nonempty convex weak* compact subset of $E$. Let $G$ be a group of weak* continuous linear isometries on $E$. Suppose that $g(C)\subset C$ for all $g\in G$. ...
11
votes
1answer
790 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 ...
5
votes
0answers
254 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 ...
14
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 ...
3
votes
0answers
221 views

Finding generalised Lyndon words

Let $\Sigma = \lbrace a_1, \ldots, a_n, A_1, \ldots A_n \rbrace$ (where $A_i = a_i^{-1}$) and $\prec$ be a total ordering on $\Sigma$. Let $\Sigma^*$ be the set of all words (generated by the ...
2
votes
2answers
339 views

Is there an invariant theory explanation of the orbit structure of GL₂ acting on second-diagonal symmetric matrices by g∙X = gXJg^tJ ?

Statement of the Specific Result Let $J$ denote the matrices with ones on the "second diagonal", meaning the diagonal between the (1,n) and (n,1) entry, and zeros elsewhere. So in the case $n=2$, ...
7
votes
1answer
489 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 ...
3
votes
3answers
456 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
2answers
335 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 ...
1
vote
1answer
141 views

A question about iterated quotients in riemannian geometry

Background This can be generalised, but let me be fairly concrete. Let $X$ be a simply-connected riemannian manifold and let $G$ denote the Lie group of isometries, assumed nontrivial. Let $F < ...
1
vote
0answers
463 views

Questions on orbit properties of group action on varieties

Let $F$ be a p-adic field or $\mathbb{R},\mathbb{C}$, $G$ a group(not necessarily reductive) over $F$, $X$ an algebraic variety defined over $F$, and $G$ acts on $X$. Now we have several questions ...
6
votes
1answer
531 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 ...
2
votes
2answers
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 ...
8
votes
3answers
537 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!
4
votes
1answer
276 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, ...
5
votes
3answers
591 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 ...
17
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$ ...
2
votes
1answer
209 views

Do subgroups respect the orbit-closure relation?

Suppose G is a Lie group (or algebraic group) acting on a manifold (or scheme) X, and H⊆G is a subgroup. Let x,y∈X be points such that x is in the closure of the orbit H⋅y (but not in ...
12
votes
4answers
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 ...