The tag has no usage guidance.

learn more… | top users | synonyms

1
vote
1answer
186 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
76 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
69 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^...
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
59 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
137 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 ...
3
votes
2answers
100 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}\...
2
votes
1answer
137 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 ...
4
votes
1answer
227 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 ...
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
56 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 ...
0
votes
1answer
169 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....
10
votes
3answers
477 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
167 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$?...
14
votes
1answer
391 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 ...
3
votes
1answer
131 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
56 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
110 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
138 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 ...
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}$, ...
2
votes
2answers
121 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 ...
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
470 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
345 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$...
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 ...
6
votes
2answers
214 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 $...
12
votes
3answers
466 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 $...
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 ...
4
votes
1answer
298 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 ...
6
votes
2answers
643 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. ( ...
2
votes
1answer
166 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
280 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
1answer
294 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 ...
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
198 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^{\...
6
votes
1answer
221 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 (i....
6
votes
1answer
139 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
0answers
115 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
2answers
289 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 ...
22
votes
4answers
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 GL(W)$-...
2
votes
1answer
263 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
0answers
67 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
1answer
144 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) = \...
1
vote
2answers
306 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 ...