Use with the (group-theory) tag. Groups describe the symmetries of an object through their actions on the object. For example, Dihedral groups of order $2n$ acts on regular $n$-gons, $S_n$ acts on the numbers $\{1, 2, \ldots, n\}$ and the Rubik's cube group acts on Rubik's cube.

learn more… | top users | synonyms

15
votes
0answers
149 views

Geometric way to view the truncated braid groups?

This is perhaps a vague question, but hopefully there exists literature on the subject. The question is motivated by an answer I gave to this question. I also asked a related question on MO, although ...
8
votes
0answers
157 views

Functoriality of the correspondence between oligomorphic actions and $\aleph_0$-categorical theories

If a group $G$ acts on a set $X$, then the action is said to be oligomorphic if the number of orbits of $X^n$ under the action is finite for each $n$. There is a classic theorem in model theory that ...
6
votes
0answers
40 views

Chern classes of free quotient manoflds

Let $X$ be a compact complex manifold. Assume that a finite group acts on $X$ freely. Then the quotient $X/G$ is again a compact complex manifold. I wonder if there is a good way to compute Chern ...
5
votes
0answers
129 views

Why are they called orbits?

When we study actions in group theory, we consider sets of the form $$\text{Orb}_G(x)=\{gx\mid g\in G\} $$ that are called orbits. Although, the only reason I find convincing for that name is that in ...
5
votes
0answers
100 views

Group action on a manifold with finitely many orbits

I'm looking for a result along the lines of the following: Let $G$ be a group acting on a set $X$. If the action partitions $X$ into finitely many $G$-orbits, then $\dim G \geq \dim X$. For ...
4
votes
0answers
106 views

Fundamental group of a space under a group action

The short version: Why does a Borcea-Voisin threefold has trivial fundamental group? Well, what is a Borcea-Voisin threefold? These are named after Borcea and Voisin, who introduced a method of ...
4
votes
0answers
70 views

Group actions on Čech cohomology

Suppose we have a curve $X$ and a group $G$ acting on $X$. Then one has an induced action of $G$ on the sheaf cohomology of $\mathcal O_X$. I wondered what one can say about the group action on the ...
4
votes
0answers
110 views

Two definitions of equivariant sheaves

Let $G$ be a topological group. Here are two definitions of $G$-equivariant sheaves on a $G$-space $X$. (a) Define an $G$-equivariant sheaf by a sheaf $F$ (étalé space) equipped with a $G$-action ...
4
votes
0answers
171 views

Group actions and associated bundles

Let $P$ be a principal $G$-bundle over $B$, and let $G$ act on some space $F$ (feel free to work in your favorite category of spaces, if this helps). Then $\text{Aut}{P}$ (aka the group of gauge ...
4
votes
0answers
92 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) = ...
4
votes
0answers
239 views

Semi-direct product isomorphic to direct product

I would like some help on the following problem from anyone who would like to help. Let $f: H \to G$ be a group homomorphism. For $h \in H$, define $\rho(h) = \phi_{f(h)} \in Aut(G)$. The situation ...
3
votes
0answers
54 views

Orbits of the group action $g. (x,y) = (gx,gy)$ on cartesian product

Let $G$ be a group acting on a set $X$. Then we have a natural action on $X \times X$ in the following way: $g. (x,y) = (gx,gy)$. Then, suppose we have two points of interest $x_1,x_2 \in X$, and we ...
3
votes
0answers
29 views

Action of $\mathbb{F}_{p^2}^\times/\mathbb{F}_{p}^\times$ on $P^1(\mathbb{F}_p)$

Let $p$ be prime. Let $\alpha$ be a generator of the finite field $\mathbb{F}_{p^2}$. So, $\mathbb{F}_{p^2}=\mathbb{F}_p[\alpha]$. Multiplication by $\alpha$ is an $\mathbb{F}_p$-linear operator on ...
3
votes
0answers
52 views

Dimension of a constructible set intersecting each orbit of a $G$-variety

In preparing a talk I'm having trouble with exercise 3 and 4 on page 25 of the following Lecture Notes of Crawley-Boevey (I only need the case $X=Y$ there): $\text{3.}$ Let $X$ be a variety ...
3
votes
0answers
45 views

Partial order on the orbits of the variety of commuting nilpotent matrices

The variety of nilpotent $n\times n$ matrices $\mathcal{N}_n$ over an algebraically closed field $k$ is the disjoint union of orbits under the action of conjugation by $GL_n(k)$. These orbits are ...
3
votes
0answers
118 views

Infinitesimal generators of actions

Is there a method to obtain an action of an infinite dimensional Lie group starting with its infinitesimal generator ? I'm interested about actions of G on itself . And I was wondering if I can ...
2
votes
0answers
20 views

Direct sums, tensor products etc. of $G$-vector bundles are again $G$-spaces

Given two $G$-vector bundles $E$ and $F$ over a $G$-space $X$ ($G$ some finite group), I am interested in the vector bundles $E \oplus F$, $E \otimes F$, $\operatorname{Hom}(E,F)$ etc. I am familiar ...
2
votes
0answers
34 views

Topologies of flag manifolds

I'm currently reading an article discussing flag manifolds and the action of $\mathrm{PSL}(n,\mathbb{C})$ on them. A flag (in my view at least) is a nested sequence $(y^1,\ldots,y^{n-1})$ of subspaces ...
2
votes
0answers
40 views

Invariance of Decomposition of Invariant Functional

Let $Q$ a locally compact group acting on a locally compact space $X$ on the left. Let $\mathcal{A}$ a Banach space of bounded continuous functions $f:X\to\mathbb{C}$ and $m\in\mathcal{A}^{\ast}$ a ...
2
votes
0answers
18 views

Finding a fundamental polygon for two-generator subgroup of PSL(2,R)

Suppose we are given two hyperbolic isometries $A$ and $B$ with intersecting axes. Assume also that the commutator $\left[A,B\right]$ is an elliptic element (perhaps of infinite order). I would like ...
2
votes
0answers
92 views

Stabilizer map on transitive G-set defines a morphism with G acting on subgroups by conjugation

This is part of a homework problem for a graduate course on abstract algebra. Given a transitive G-set $X$, show that the map that assigns to $x \in X$ its stabilizer defines a morphism of G-sets ...
2
votes
0answers
187 views

Prove that a doubly transitive group is primitive.

My Attempt: (a) $S_n$ is transitive on $\{1,2,\dots,n\}$ and for any $(i,j)\in G_a,~(i,j)i=j$ whence $G_a$ is transitive on $\{1,2,\dots,n\}-\{a\}.$ (b) Without loss of generality let $|A|\ge2.$ ...
2
votes
0answers
101 views

Degree of factor in a resolvent

Background and lemma first: Let $\Theta \in k[x_1,...,x_n]^H$ and $\theta$ be its evaluation to the roots of a fixed $n$:th degree polynomial in $k[x]$. Put $L(t) = \prod_{\sigma \in S_n//H} (t-\sigma ...
2
votes
0answers
88 views

trivial group actions V.s trivial homomorphisms ?!

this question is related to the semidirect product of groups , so let $H,K$ are groups. suppose , $f:K \rightarrow H$ is a homomorphism . so $H\rtimes_f K$ is a semidirect product . the ...
2
votes
0answers
71 views

An orbit of a group action and the implicit function theorem

Suppose that a Lie group $G$ acts smoothly on a manifold $X$. We can easily prove the following theorem by using the constant rank theorem, which is a stronger theorem than the implicit function ...
2
votes
0answers
94 views

Group action and Radon measure

Let $\mathscr M(\mathbb R)$ be the Banach space of complex-valued Radon measures on $\mathbb R$, and let $\pi$ be the action of $\mathbb R$ on $\mathscr M(\mathbb R)$. Let $\mathscr A$ denote a subset ...
2
votes
0answers
183 views

Properly discontinuous action on a non-locally compact space

Let me begin with some definitions in order to avoid confusion. An action of a group $G$ on a space $X$ is proper if the map $G \times X \to X \times X$ given by $(g, x) \mapsto (x, gx)$ is proper, ...
2
votes
0answers
229 views

Semidirect product group actions

$H$ and $K$ are groups, and $\Gamma$ is a set acted upon by H, while $\Delta$ is a set acted upon by $K$. Let $W := K \wr_\Gamma H$, the wreath product of $H$ and $K$. I have seen theorems stating ...
1
vote
0answers
61 views

Why is this a group action?

Let $G$ be a group and let $H$ be an infinite cyclic normal subgroup of $G$ of finite index. Let $K$ be the centralizer of $H$ in G, $$K=C_G(H)$$ and suppose that the index of $K$ in $G$ is 2. Let $E$ ...
1
vote
0answers
27 views

Connected component and group action

Let $G$ be a topological group acting on a set $X$. Let $x \in X$ and consider the orbit $G.x$ endowed with the topology coming from the quotient $G/ Stab(x)$. If $G^0$ is the connected component of ...
1
vote
0answers
20 views

Circle action on the product of a Mobius band and a circle.

Consider the product of a Möbius band and a circle $Mo\times S^1$. Is there a circle action on $Mo\times S^1$ such that it is equivariantly homeomorphic to the twisted product $D^2 ...
1
vote
0answers
45 views

Notation for pointwise versus “setwise” stabilizers

Suppose one is working with both pointwise and setwise stabilizers of sets under a group action. Are there common conventions for notationally distinguishing these two notions? How common are they? ...
1
vote
0answers
37 views

How we show primitive action shows alternating group

I have a graph (as shown in figure), which represents a quotient of the group $$G=\langle A,B,C,D; A^3=B^2=C^3=D^2=(AC)^2=(AD)^2=(BC)^2=(BD)^2=1 \rangle.$$ I proved that $G$ acts 2-transitively and so ...
1
vote
0answers
35 views

Orbits and rational points in a $G$-variety

Let $K/k$ be a field extension, let $V_0$ be a variety over $k$, and let $V=V_0\times_k\mathrm{Spec}\;K$, so that we can speak of the $k$-rational points of $V$ as morphisms $\mathrm{Spec }\;k\to ...
1
vote
0answers
41 views

invariance of 2-form under $SO(3)$

I'm trying to understand how to derive forms that invariant under action of some group. For example 2-form on $S^2$ and on $\mathbb{R}^3$ is very interesting for me (because I have troubles with it). ...
1
vote
0answers
53 views

Find the orbit space $T^2 / \mathbb Z_2$

Let $T^2$ be the unit torus $$ T^2 = \left\{ (\lambda, \lambda') \in \mathbb C^2 \mid |\lambda| = |\lambda'| = 1 \right\}. $$ Then the group $\mathbb Z_2$ is acting on $T^2$ by the rule ...
1
vote
0answers
65 views

Terminology on group actions

Johnson, D. L. "Minimal permutation representations of finite groups." Amer. J. Math. 93 (1971), 857-866. My knowledge of group theory is undergraduate-level stuff. I'm looking at the paper cited ...
1
vote
0answers
69 views

Lift a group action from a quotient

Let $p$ be a rational prime and $H$ be a finite cyclic group of prime order $l$ prime to $p$, i.e. $(l,p) = 1$. Let $G$ be a finite abelian group of $p$-power order. If I can write an (abelian) group ...
1
vote
0answers
63 views

Tangent bundle of a quotient manifold

I am interested in the tangent bundle of the quotient of a manifold by a proper and free action but I can't find any reference on the net. Does anyone know a book or article where it is described ?
1
vote
0answers
42 views

When the $(\mathbb R,+)$-action defined by the flow of a vector field on a manifold is proper ?

I'm interested in the conditions that a vector field has to satisfy in order for its flow to define a proper action. Technically, let $\xi$ be a smooth vector field. For each $m\in M$, there is a ...
1
vote
0answers
44 views

Exponential intertwining of linear and local actions.

I am reading Duistermaat's 1973 paper on relating the convexity of the image of a moment map to the image of the fixed points of an antisymplectic involution. In that paper, the following comment is ...
1
vote
0answers
54 views

Characteristic functions of group-invariant probability distributions

Suppose that we have a probability distribution $\rho(\mathbf x)$ on a manifold $\mathcal M$, which is invariant under the action of a Lie group $G$, $\rho(g\mathbf x)=\rho(\mathbf x)$ for all ...
1
vote
0answers
49 views

Action of a Lie group on a coset of its subgroup

I am a physicist, so sorry for the lack of rigor. It is well known that a (say compact) Lie group $G$ acts naturally by left multiplication on the coset space $G/H$ where $H\subset G$ is its (Lie) ...
1
vote
0answers
39 views

Finiteness of fixed points of a Lie group action

Let $\psi: G\rightarrow \mathrm{Diff}(M)$ be a smooth non-trivial action of a compact connected Lie group $G$ on a compact connected smooth manifold $M$. Under which assumptions there will be a ...
1
vote
0answers
74 views

Actions of G on corresponding orbits are equivalent for stable maps

Given actions of G on X and on Y, these actions are equivalent if and only if there is a bijection from $X $ \ $ G \rightarrow Y$ \ $G$ so that actions of G on corresponding orbits are equivalent. ...
1
vote
0answers
81 views

Isomorphism between G-equivariant bijections and Normalizer

If anyne could give me some help with this, it will be deeply appreciated: Let $X$ be a set equipped with the action of some group $G$. Denote by $Aut_G(X)$ the set of $G-equivariant$ bijections $f: ...
1
vote
0answers
49 views

A K-invariant submanifold of G-manifold and fundamental vector fields

Let a (connected) Lie group $G$ act on $M$. Assume that the action is locally free. (In other words, if the fundamental vector field of $X \in \mathrm{Lie(G)}$ $$ \underline{X}(p) := ...
0
votes
0answers
32 views

Must the index $k=|G:HC_G(x)|$ be finite?

I want to solve the following Exercise from Dummit & Foote's Abstract Algebra text: Assume $H$ is a normal subgroup of $G$, $\mathcal{K}$ is a conjugacy class of $G$ contained in $H$ and $x ...
0
votes
0answers
26 views

relation between eigen values

Let $W$ be a finite subgroup of $GL(V)$ and hence it acts on $V$. Now consider the contra gradient action of $W$ on $V^*$. Now how to show that the eigen value of this action is the reciprocals of the ...
0
votes
0answers
28 views

Standard action of SU(3) on $\mathbb{C}^3$

It is my understanding that SU(3) acts on $\mathbb{C}^3$ the same way SO(3) acts on $\mathbb{R}^3$, i.e. as proper rotations. If this is the case, then the orbit of $(1,0,0) \in \mathbb{C}^3$ ...