The tag has no usage guidance.

learn more… | top users | synonyms

3
votes
1answer
361 views

Simultaneous action of GL(n) on matrices

Consider the action of $GL(n,k)$ on the set $M\times M$ where $M$ is the set of all $n$-by-$n$ matrices over $k$ given by $g\cdot(h,l) \mapsto (ghg^{-1}, glg^t)$. Individually these actions are well-...
0
votes
0answers
66 views

On orders of stabilisers of group actions and stacks

Let $X$ be a finite type irreducible separated DM-stack over $\mathbb C$. Let $x$ be an object of $X(\mathbb C)$ with stabilizer $G_x$. Let $y$ be an object of $X(\mathbb C)$ with stabilizer $G_y$. ...
3
votes
2answers
112 views

Fixed point set for a subcircle of torus actions

Let $T=S^{1}\times S^{1}\times ...\times S^{1}$ ($n$ times) be $n$ dimensional torus and $X$ be a $T$-space. Lemma: If $X$ has finitely many connected orbit type, then there is a subcircle $L=S^{1}\...
1
vote
2answers
95 views

Finite generation of stabilizers in a $G$-set [closed]

Suppose that $G$ is a finitely generated group, $X$ is a $G$-set, and $x \in X$ is a point. Are there any sorts of conditions on $X$ and $G$ that would let me conclude that $\operatorname{Stab}(x)$ ...
1
vote
1answer
190 views

free group actions on a contractible topological space [closed]

Let $\Sigma_k$ be the symmetric group on $k$-letters. Let $W$ be a contractible topological space with a free $\Sigma_k$-action (from the left). Let $X$ be a $CW$-complex and let $X^k$ be the ...
2
votes
0answers
78 views

Enumerating group actions with constrained images, up to symmetries

Consider the following combinatorial problem: Let $G$ be a finite group, and $X = \sqcup_{i\in I} X_i$ be a finite set. Suppose that for each $g\in G$ and $i\in I$ we have sets $Y_{g,i} \subset ...
2
votes
0answers
71 views

group actions of $S^3$ on the configuration space of projective plane

Let $\mathbb{R}P^2$ be the lines in $\mathbb{R}^3$ passing through the origin. Let $SO(3)$ act on $\mathbb{R}^3$ canonically. Then $SO(3)$ has an induced action on $\mathbb{R}P^2$. Let $F(\mathbb{R}P^...
1
vote
1answer
267 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 $H^*(M/G;F)$...
14
votes
1answer
399 views

Generalizing the Mazur-Ulam theorem to convex sets with empty interior in Banach spaces

The Mazur-Ulam theorem (1932) states that any isometry of a normed linear space is affine. See Nica (Expo. Math. 30 (2012), 397-398; arXiv:1306.2380) for a very elegant proof. Question: Let $M$ be a ...
7
votes
2answers
105 views

Is there a subset of $\Sigma_n$ s.t. each pair of elements is once in each pair of positions?

Is there a subset $A \subset \Sigma_n$ such that for each pair $(x, y)$ and each pair $(i, j)$, there is exactly one permutation $\sigma \in A$ such that $\sigma(i) = x$ and $\sigma(j) = y$? Remark ...
3
votes
0answers
63 views

Principal orbits for hamiltonian actions

Let $G$ be a compact Lie group which acts by symplectomorphisms on a symplectic manifold $(M,\omega)$. Futhermore let $\mu \colon M \to \mathfrak g$ be a moment map for this action. Denote by $\Omega =...
6
votes
1answer
140 views

Can a surface group act on a finite-valence simplicial tree?

Question. Let $S$ be a closed surface of genus $> 1$. Can $\pi_1(S)$ act faithfully and minimally on a simplicial tree of finite valence? Here "minimal" means that there is no invariant sub-tree. ...
3
votes
0answers
50 views

Transverse intersection in the $G$-orbit of paths

I know how to prove the following lemma but I assume that it is well-known. Can someone provide a reference for it? Let $d>1$ and let $M$ be a $d$-dimensional connected smooth manifold with a ...
2
votes
1answer
138 views

isometric action on the $n$-sphere

Let $S^n$ be the $n$-sphere. If $n=2k+1$ is odd, then we can identify $S^n$ as a subset of $\mathbb{C}^{k+1}$. We define the $S^1$ action on $S^n$ by multiplication, namely $$ \Psi \colon S^1 \times ...
9
votes
1answer
164 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 &...
4
votes
1answer
228 views

Is the direct sum in Maschke's Theorem an orthogonal decomposition?

I am reading a paper on coding theory, and it uses a statement, which was claimed to be a reformulation of Maschke's Theorem. But I felt that was false... Let's say $\mathcal(V):=\mathcal{F}_2^n$ is ...
12
votes
3answers
472 views

actions of the hyperoctahedral group

I am looking for actions (i.e., permutation representations) of the hyperoctahedral group $H_n$ (also known as the group of signed permutations) studied in the literature, i.e., homomorphisms from $...
4
votes
1answer
73 views

Orientability of orbit type strata of Lie group actions

Let $G$ be a compact Lie group that acts on a smooth, finite dimensional, oriented manifold $M$, and suppose that such action preserves orientation, i.e., for each $g\in G$, the diffeomorphism $\mu_g$ ...
3
votes
1answer
57 views

vector bundles induced by an action of a finite subgroup of $O(n)$

Let $M$ be a path-connected manifold. Let $G$ be a finite subgroup in $O(n)$ and suppose $G$ acts freely on $M$. Then we have an associated vector bundle $$ \xi(M,G): \mathbb{R}^n\longrightarrow M\...
3
votes
2answers
112 views

Extension of a group action beyond the boundary

Let $M$ be a compact manifold with boundary and suppose a compact group $G$ acts on it. Can one always extend the action beyond the boundary? More precisely, does there always exist a $G$-manifold ...
22
votes
7answers
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$ ...
0
votes
1answer
170 views

group actions on fibre bundles

Suppose that we have a group $G$ acting on the spaces $E$ and $B$. Suppose moreover that we have fibre bundles $\xi$ and $\eta$ in the following commutative diagram If $\xi$ is a trivial bundle, i.e....
15
votes
3answers
809 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 actions ...
10
votes
3answers
497 views

Quotient of a smooth curve by a finite group and differentials

Let $X$ be a proper smooth connected curve over an algebraically closed field $k$ of characteristic $0$, and suppose that $X$ is equipped with a $k$-linear action of a finite group $G$. It makes sense ...
2
votes
0answers
168 views

Manifolds as simultaneous coset spaces

Let $X$ and $Y$ be real manifolds. Under what conditions is there a Lie group $G$ with transitive actions on $X$ and $Y$ such that the stabiliser of a point in $X$ is a subgroup of the stabiliser of ...
3
votes
0answers
203 views

Simultaneous coset spaces [closed]

Let $X$ and $Y$ be sets. Under what conditions is there a group $G$ with transitive actions on $X$ and $Y$ such that the stabiliser of a point in $X$ is a subgroup of the stabiliser of a point in $Y$?...
3
votes
1answer
132 views

How to construct a proper action of a group of finite virtual cohomological dimension?

Let $\Gamma$ be the semidirect product of $\mathbb{Z}$ and $\mathbb{Z}/4$, where the action of $\mathbb{Z}/4$ on $\mathbb{Z}$ is defined by $\bar{k} \cdot x = (-1)^k x$. Clearly $\Gamma$ has virtual ...
0
votes
0answers
58 views

Submanifolds invariant under subgroups with identical quotients

given a smooth manifold $M^n$ and a finite group $G$ acting smoothly and effectively, let's consider two (embedded) $k$-dimensional submanifolds $N_1,N_2\subset M$ and two subgroups $H_1,H_2\subset G$ ...
3
votes
1answer
111 views

The action of $GL(\mathbb{R}^{n})\otimes GL(\mathbb{R}^{m})$ on $\mathbb{R}P^{(mn-1)}$

Motivated by the following RG question we ask a related question as follows: We identify $\mathbb{R}^{n} \otimes \mathbb{R}^{m}$ with $\mathbb{R}^{mn}$. We define $GL(\mathbb{R}^{n})\otimes GL(\...
3
votes
2answers
139 views

equivariant embeddings from the k-th configuration space to the k+1-th configuration space

Let $S$ be a closed, orientable surface in $\mathbb{R}^3$ and $S'$ be the manifold $S\setminus\text{one point}$. Let $F(S',k)$ be the $k$-th (ordered) configuration space on $S'$. It is claimed in ...
2
votes
2answers
122 views

Invariant polynomials under the action of $H\le\operatorname{GL}_n(\mathbb{F}_p)$

Let $n$ be a positive integer, and $p$ a prime. Any subgroup $H\le \operatorname{GL}_n(\mathbb{F}_p)$ acts on the polynomial ring $\mathbb{F}_p[x_1,\ldots,x_n]$ via $A\cdot x_i=\sum_j a_{ji}x_j$ for ...
1
vote
1answer
144 views

Averaging measurable functions over amenable group actions

Let $G$ be an amenable group acting on a space $X$. Amenability means there is a $G$-invariant mean on $L^\infty(G,{\mathbf R})$. Given a bounded function $f\colon X\to {\mathbf R}$ one can use the ...
3
votes
1answer
118 views

On an example by Romagny about fixed point stack not commuting with coarse moduli space

This is to understand better Example 3.9 on page 221 of Group actions on stacks and applications by M.Romagny. For an action of an algebraic group (scheme) $G$ on an algebraic stack $\mathcal{M}$, ...
4
votes
1answer
128 views

Is this notion of 'closed subset' of a semigroup action something people have thought of?

Suppose $S$ is a semigroup (or a monoid, or a category), and $X$ is an $S$-set -- that is, a set with an action of $S$. Say that a sub-$S$-set $Y$ is "downward closed" (or maybe "well-generated") if ...
5
votes
0answers
385 views

Non invertibility of certain integral arising from group action

Edit 1: According to the comment of Andreas Cap I revise the integral formula in the question. Edit 2: I understand from the following post that some part of the previos version of my question has ...
5
votes
0answers
98 views

On finite quotients of unions of $n$ affine varieties

Assume that a finite group $G$ acts on a quasi-projective variety $Q$ (say, over complex numbers) that possesses a Zariski cover by $\le n$ affine varieties. My question is: does the quotient $Q/G$ ...
9
votes
2answers
489 views

Which weighted projective spaces (and their finite quotients) are local complete intersections?

Let $G$ be a finite subgroup of $\textrm{Gl}_{n+1}(k)$ (where $k$ is an algebraically closed field). My question is: do there exist examples of $G$ such that the corresponding quotient $P$ of $\mathbb{...
6
votes
2answers
347 views

Algebraic proof without using comparison theorem for étale cohomology

Let $X$ be some smooth scheme over $\mathbf C$ equipped with an action of $\mu_n$ (the group of $n$th roots of unity). The étale cohomology groups of X are therefore equipped with an action of $\mu_n$...
6
votes
2answers
215 views

“Interesting” projective varieties being quotients of $\mathbb{A}^n\setminus \{0\}$ by an action of an algebraic group?

The algebraic (multiplicative) group $G^m$ acts on $\mathbb{A}^n$ (diagonally) and the quotient of $\mathbb{A}^n\setminus \{0\}$ by $G_m$ is $\mathbb{P}^{n-1}$ (which is a proper variety). I would ...
3
votes
1answer
114 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 $...
2
votes
1answer
180 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 \...
1
vote
1answer
275 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
2answers
456 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$ ...
6
votes
2answers
647 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. ( ...
40
votes
3answers
9k 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
1answer
302 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
1answer
167 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
1answer
282 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$ ...
1
vote
0answers
107 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
0answers
199 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 $S^{\...