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
3
votes
0answers
224 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/...
1
vote
0answers
79 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 \...
1
vote
0answers
89 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 $...
3
votes
0answers
58 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}} \...
3
votes
0answers
95 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 ...
1
vote
1answer
150 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 $\...
1
vote
0answers
49 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 ...
2
votes
0answers
41 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)....
1
vote
1answer
124 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 \...
2
votes
1answer
227 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 ...
1
vote
0answers
112 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 ...
6
votes
1answer
266 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 =...
3
votes
1answer
139 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 $...
6
votes
1answer
243 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 ...
0
votes
0answers
93 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 ...
4
votes
1answer
147 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 ...
1
vote
0answers
101 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 ...
2
votes
1answer
215 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 "...
3
votes
1answer
173 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 ...