Questions tagged [quotient-space]

Quotient space is, intuitively speaking, the result of identifying or "gluing together" certain points of a given topological space. The points to be identified are specified by an equivalence relation. This is commonly done in order to construct new spaces from given ones. The quotient topology consists of all sets with an open preimage under the canonical projection map that maps each element to its equivalence class.

Filter by
Sorted by
Tagged with
4 votes
1 answer
155 views

Is this quotient of $\mathbb{C}^{m+1}$ by $U(1)$ only "nice" for $m=1$?

Let $V^{m+1} = \mathbb{C}^{m+1}$ and let $U(1)$ act on it by its diagonal representation, so that really, it is just like scalar multiplication by a unit modulus complex number. I am interested in the ...
user avatar
  • 3,656
4 votes
0 answers
87 views

Coordinates on quotient manifold $\mathrm{SO}(3)/\Gamma$

$\DeclareMathOperator\SO{SO}$Say I have coordinates for $\SO(3,\mathbb{R})$, e.g., a parametrization by Euler angles. Is there a reasonable way to explicitly prescribe coordinates on the quotient ...
user avatar
1 vote
0 answers
85 views

Geometric quotients of DM stacks by group actions

Let $G$ be a finite group acting on a DM stack $X$ and $Y$ the quotient stack. I.e., $Y \to BG$ has fiber $X$. Is there a geometric quotient $X/G$ in some sense? I want automorphism groups of points ...
user avatar
  • 924
1 vote
1 answer
137 views

Is the restriction of a projection to a compact subset a quotient map?

Let $(X, \mathcal{T}_X)$ and $(Y, \mathcal{T}_Y)$ be topological spaces, $Z = X \times Y$, $\mathcal{T}_Z$ be the product topology on $Z$, $f : Z \to X$ be defined by $f(x, y) = x$, and $C \subset Z$ ...
user avatar
  • 377
3 votes
1 answer
177 views

Freely add all quotients to a category

I would like to know if there is some uniform construction out of a given category $\mathcal C$ that freely throws in all quotients,to form a new category $\mathcal C'$. Preferably $\mathcal C'$ has ...
user avatar
  • 437
3 votes
0 answers
216 views

CW structure on $\mathrm{PU}(3)$/Heisenberg group

$\DeclareMathOperator\SU{SU}\DeclareMathOperator\PU{PU}$Consider the quotient space $\PU(3)/H=\SU(3)/G_{81}$ where $H$ is the Heisenberg group of order 27 $G_{81}$ is the No. 9 group of order 81 (...
user avatar
  • 9,986
2 votes
1 answer
208 views

Quotient variety and subgroups

Let $G$ be an affine algebraic group (let's say over $\mathbb{C}$). If necessary one can assume $G$ to be reductive. Imagine one has $X$ over which $G$ acts freely: moreover, we have a locally closed ...
user avatar
5 votes
1 answer
137 views

Compactness of symmetric power of a compact space

Suppose I have a compact metric space $(X,d)$ and let $\mathcal{X}=X^K$ be the product space. Consider the equivalence relation $\sim$ on $\mathcal{X}$ given as: for $\alpha,\beta\in \mathcal{X}$, $\...
user avatar
  • 59
3 votes
0 answers
258 views

Is the composition of group quotients a group quotient?

I have two sets $X_1$, $X_2$ each with a corresponding group action $G_1$, $G_2$. Linking the two sets is $f:X_1\to X_2$ that maps orbits of $G_1$ into the same point in $X_2$. In other words $X_1/...
user avatar
1 vote
0 answers
99 views

Quotient measure on locally compact spaces

Suppose we are given a locally compact topological space $X$ and a discreet group $G$ acting on it (we can assume the action to be proper). Given a Radon probability measure on the quotient space $G \...
user avatar
  • 59
1 vote
0 answers
110 views

Associated fibered space

I am doing research for a university project which consists of studying quotients in algebraic geometry. In some notes concerning principal bundles that given a representation of the structure group $...
user avatar
3 votes
0 answers
66 views

Condition for: A simple quotient metric induced by surjective map + equivalence relation

Let $X$ be a metric space and let $f:X\rightarrow Z$ be a surjective map onto some set $Z$. Define the pseudo-metric $d_f$ on $Z$ by: $$ d_f(z_1,z_2)\triangleq \inf_{\underset{f(x_i)=z_i}{x_i\in X}} \...
user avatar
  • 93
3 votes
0 answers
109 views

Geometry of elements with prescribed multiplicity eigenvalues

Let us take $G=\operatorname{Gl}(n,\mathbb{C})$ (considered as a linear algebraic group). Let us take $x \in G$: we know that its orbit $\mathcal{O}_x$ under the conjugation action is isomorphic (as ...
user avatar
1 vote
1 answer
174 views

Quotient of $\mathbb{R}^n$ by a subgroup of $\mathrm{SO}(n)$

$\DeclareMathOperator\SO{SO}$ Let $\mathcal{M}$ be an open subset of $\mathbb{R}^n$ endowed with the Euclidean metric and $\mathcal{N}$ be a Riemannian manifold. Assume that $G$ is a Lie subgroup of $\...
user avatar
1 vote
0 answers
67 views

Partial crepant resolution in codimension 2

Let $\xi_5$ be a 5-root of the unity. We consider $\mathbb{C}^4/G$, where $G=\left\langle \sigma,\tau\right\rangle$, with $\sigma$ and $\tau$ the automorphisms given, respectively, by the following ...
user avatar
2 votes
0 answers
42 views

Is this Beppo-Levi curl space a Banach space?

Let us define the quotient space: $$ V = \{ \mathbf{u} \in L^2_{loc}(\mathbb{R}^3; \mathbb{R}^3) : \operatorname{curl} \mathbf u \in L^2(\mathbb{R}^3; \mathbb{R}^3) \} / \nabla H^1_{loc}(\mathbb{R}^3)....
user avatar
  • 163
1 vote
1 answer
135 views

Description of $A^\bullet(G/H)$ [closed]

Let $G$ be a compact Lie group and let $H$ be a closed subgroup of $G$, with Lie algebras $\mathfrak{g}$ and $\mathfrak{h}$. We denote $G\times_H \mathfrak{g} / \mathfrak{h}$: the set of orbits $(G \...
user avatar
  • 465
1 vote
1 answer
327 views

What is the quotient (pseudo)metric $d_\sim$ and how do I identify the infimum of possible sequences in this instance?

Let $Z$ be the the set of dyadic and ternary rationals in the interval $\left[\frac12,1\right)$ whose 3-adic valuation is either $-1$ or $0$, with the standard absolute value topology inherited from ...
user avatar
1 vote
0 answers
120 views

Descent of projective bundles

A problem studied in GIT is the descending of vector bundles (or more in general coherent sheaves) to quotients. It is a result of Kempf that whenever we have a vector bundle over a quasiprojective ...
user avatar
  • 287
6 votes
1 answer
278 views

Is the symplectic quotient $\mu^{-1}(0)/G$ unique up to something?

Given a Hamiltonian action of a compact Lie group $G$ on a symplectic manifold $(M,\omega)$, we may choose a moment map $\mu \colon M\to \mathfrak{g}^* $ and obtain the symplectic reduction $M/\!\!/G =...
user avatar
  • 263
3 votes
1 answer
144 views

$L_p(I,Y)^\perp=L_q(I,Y^\perp)$?

Let $X$ be a Banach space and $Y$ be a closed subspace of $X$. For $1<p<\infty$ consider the $p$-th power Bochner Integrable functions which takes values in $X$ and defined on the unit interval $...
user avatar
6 votes
1 answer
280 views

Properness of reductive group actions on smooth varieties

Suppose that $G$ is a reductive algebraic group acting on a smooth variety $X$, and that the action has finite stabilizers. When is the action of $G$ on $X$ proper? What is an example where the action ...
user avatar
0 votes
0 answers
120 views

When is the quotient of a geodesic space again a geodesic space?

I asked this on the math.stackexchange forum about a week ago but did not get any answers so I figured I might try it here as well. This is a straight up copy paste from my question here. I am ...
user avatar
4 votes
1 answer
186 views

Parametrizing quotient of matrices by the orthogonal group

I am trying to parametrize the collection of $d\times m$ real matrices quotient $d\times d$ orthogonal matrices. Formally, define $\sim$ on $\mathbb{R}^{d\times m}$ by $X\sim Y$ if there exists an ...
user avatar
  • 423
1 vote
0 answers
134 views

Subspaces of compact spaces and quotients of Hausdorff spaces

Let $\operatorname{Top}$ be the class of topological spaces. Furthermore, let $\mathcal{U}\subset\operatorname{Top}$ and $\mathcal{V}\subset\operatorname{Top}$ classes satisfying the following ...
user avatar
2 votes
1 answer
249 views

Explanation for "Squashing" and "Stretching" (Lorentzian Analogue of Berger Spheres)

In the paper Anti-de Sitter space, squashed and stretched Bengtsson and Sandin introduce the Lorentzian analogue of the squashed 3-sphere. After looking up Berger spheres, it seems what is meant with "...
user avatar
  • 639
3 votes
1 answer
190 views

Quotient of a Fano variety by a torus

We work over an algebraically closed field of characteristic zero. Let $X$ be a Fano variety, and $T\cong \mathbb{G}_m^r$ a torus acting faithfully on $X$. I think we can canonically linearize the ...
user avatar
  • 2,214