Questions tagged [homogeneous-spaces]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
1 vote
0 answers
132 views

Mulitplicity one property for $\mathcal{D}'$ and $L^2$ over a homogeneous space

Let $G$ and $G_0$ be Lie groups, and suppose that a homogeneous space $X=G/G_0$ have a $G$-invariant measure. It is known (E.G.F. Thomas showed) that there is an admissible parametrization $\{\mathcal{...
user509119's user avatar
2 votes
1 answer
115 views

Connecting homomorphism in non-abelian cohomology

Let $G$ be a simply connected, semisimple algebraic group over $\mathbb{R}$ and let $X$ be a homogeneous space for $G$ with finite commutative stabilizer $\mu$. There is a connecting homomorphism from ...
Victor de Vries's user avatar
2 votes
0 answers
120 views

The double quotient of SU(N) by its diagonal maximal torus

$\DeclareMathOperator\SU{SU}$The special unitary group $\SU(N)$ contains $T^{N-1}$ as a maximal torus, which we take to be the diagonal subgroup of $\SU(N)$. Can we describe the double quotient space $...
Yilmaz Caddesi's user avatar
3 votes
1 answer
129 views

Curvature calculation of $S^{2n+1}=U(n+1)/U(n)$ as a homogeneous space

I asked this question at StackExchange, but got no answer. So I am reposting it here. I eventually want to check how the Hopf fibration $$ S^{2n+1}\to {\mathbb C}P^n $$ satisfies the Riemannian ...
Three aggies's user avatar
0 votes
1 answer
151 views

Help in understanding the singular system of linear forms and non escape of mass

I am having some trouble in understanding certain portions of the following paper by KKLM https://link.springer.com/article/10.1007/s11854-017-0033-4 So in proposition 3.1, they proved the estimate ...
User1723's user avatar
  • 307
0 votes
0 answers
87 views

Criteria on $f$ such that $\begin{bmatrix} 1 & f(t)\\ 0 & 1 \end{bmatrix}\mathbb Z^2$ is equidistributed on the circle (periodic orbit)

Consider $\left(\begin{bmatrix} 1 & t \\ 0 & 1 \end{bmatrix}\mathbb Z^2 \right)_{t\in \mathbb R} \cong S^1$. Let $\mu$ denote the rotation invariant Haar measure $m$ on this orbit. I wonder if ...
taylor's user avatar
  • 435
7 votes
1 answer
164 views

Homogeneous metric connections on 3-dimensional Lie groups

Let $G$ be a 3-dimensional unimodular Lie group equipped with a left-invariant metric $q$. Call $P_{SO}$ its oriented orthonormal frame bundle. Considering the moduli space of connections $\mathscr{B}$...
Matteo Bruno's user avatar
6 votes
0 answers
342 views

Why can't a Lie group act transitively on a finite volume hyperbolic manifold?

In the comments on the MathSE question "Is Seifert-Weber space homogeneous for a Lie group?", it is claimed that if $ M $ is a manifold which admits a finite volume hyperbolic metric (...
Ian Gershon Teixeira's user avatar
4 votes
0 answers
139 views

Is the total space of a $ U_1 $ principal bundle over a compact homogeneous space always itself homogeneous?

Let $ U_1 \to E \to B $ be a $ U_1 $ principal bundle. Suppose that $ B $ is homogenous (admits a transitive action by a Lie group) and compact. Then must it be the case that $ E $, the total space of ...
Ian Gershon Teixeira's user avatar
8 votes
0 answers
224 views

Lattice point counts on the determinantal variety

I recently came across the following result of Katznelson [1]. It says that for some $C>0$, the following lattice point count holds for $n> m\geq k$. $\#\{A \in M_{m \times n}(\mathbb{Z}) \mid \...
Breakfastisready's user avatar
3 votes
1 answer
294 views

Equidistribution of the orbit $\{\text{diag}(t^a,t^{-a})\Lambda \}_{t>0}$ for a.e. $\Lambda\in \text{SL}(2,\mathbb R)/\text{SL}(2,\mathbb Z)$

$\DeclareMathOperator\diag{diag}\DeclareMathOperator\SL{SL}$It is well-known that geodesic flow $g_t=\{\diag(e^t,e^{-t}) \}_{t>0}$ acts ergodically (actually mixing) on $\SL(2,\mathbb R)$ (Howe–...
user506835's user avatar
1 vote
2 answers
148 views

Generalization of the flatness of $\mathbb R^3$

Original setup Consider the manifold $M=\mathbb R^3$ with the natural vector bundle connection $\nabla$. This connection, like any connection on a vector bundle, induces, or is induced by, a principal ...
A. J. Pan-Collantes's user avatar
4 votes
1 answer
269 views

Mackey coset decomposition formula

I have a question about following argument I found in these notes on Mackey functors: (2.1) LEMMA. (page 6) Let $G$ be a finite group and $J$ any subgroup. Whenever $H$ and $K$ are subgroups of $J$, ...
user267839's user avatar
  • 6,000
3 votes
0 answers
71 views

Can a semisimple orbit always be identified with a cotangent bundle?

Let $H$ be a semisimple element of the Lie algebra $\mathfrak{g}$ of a semisimple Lie group $G$, and let $M:=\mathrm{Ad}_G(H)\subset\mathfrak{g}$ be the corresponding adjoint orbit. If we choose a ...
Giovanni Moreno's user avatar
8 votes
2 answers
353 views

Spherical roots, restricted roots, and the dual group of a symmetric variety

Let $k$ be an algebraically closed field of characteristic $0$ and $G$ a semisimple simply-connected group over $k$. Consider a symmetric variety of the form $X=G/H$, for $H=G^\theta$ the fixed point ...
G. Gallego's user avatar
2 votes
1 answer
217 views

Fourier transforms of homogeneous functions [closed]

Compute Fourier transforms of homogeneous functions of the form, $$ \frac{1}{|x|^{n+d}}P_d(x) $$ where $P_d$ is a homogenous harmonic polynomial of degree $d$ in $n+1$ variables.
user124297's user avatar
3 votes
1 answer
114 views

Existence of a bounded measurable subset of $\text{SL}(d,\mathbb R)$ that is Borel isomorphic to $\text{SL}(d,\mathbb R)/\text{SL}(d,\mathbb Z)$?

$\text{SL}(d,\mathbb R)/\text{SL}(d,\mathbb Z)$ has two interesting properties: on one hand it is non-compact, but on the other hand it admits a unique $\text{SL}(d,\mathbb R)$-invariant finite ...
user506835's user avatar
3 votes
0 answers
115 views

Integrating over a fundamental domain in $\text{SL}(d,\mathbb R)$ under $\text{SL}(d,\mathbb Z)$ action and the choice of the fundamental domain

Let $\mathcal{F}$ be a fundamental domain in $\text{SL}(d,\mathbb R)$ under $\text{SL}(d,\mathbb Z)$ action. It is well known that there exists a unique $\text{SL}(d,\mathbb R)$-invariant probability ...
user506835's user avatar
4 votes
0 answers
105 views

Monodromy action on homogeneous spaces

If $H$ is a Lie subgroup of $G$, then there is a fibration sequence $$ G/H\to BH\to BG. $$ By choosing a model for $EG$ we can promote this into a fibre bundle. My question is about how to understand ...
Mark Grant's user avatar
5 votes
0 answers
129 views

Is every linear Lie group of bounded geometry?

$\newcommand\norm[1]{\lVert#1\rVert}$Given any point $p$ of a smooth Riemannian manifold $M$ there exists $r\in (0,\infty]$ such that the Riemannian exponential is a diffeomorphism in the geodesic ...
Marco's user avatar
  • 263
2 votes
0 answers
112 views

Double quotient integral formula on $\Gamma \backslash G /K$

Let $G=\text{SL}(n,\mathbb R)$, $\Gamma=\text{SL}(n,\mathbb Z)$ and $K=\text{SO}(n,\mathbb R)$. Consider the double coset space $X= \Gamma \backslash G /K$ and its fundamental domain $\mathcal F\...
taylor's user avatar
  • 435
2 votes
0 answers
156 views

Weil's "Sur la formule de Siegel dans la théorie des groupes classiques"

I am struggling to understand the following passage on Weil's text "Sur la formule de Siegel dans la théorie des groupes classiques" on page 16. If I understood correctly, in the second ...
Breakfastisready's user avatar
5 votes
2 answers
345 views

Integrating on orbits of algebraic groups

Suppose $G$ is a $\mathbb{Q}$-algebraic group (I am interested in the semisimple case) acting rationally on a vector space $V_\mathbb{Q}$. Let $x \in V_\mathbb{Q}$ be a non-zero rational vector. ...
Breakfastisready's user avatar
5 votes
1 answer
219 views

Non-integrable almost complex structure for complex projective $3$-space

It is well known that complex projective three space $\mathbb{C}\mathbf{P}^3$ is a complex manifold. However it also possess a non-integrable almost-complex structure (as discussed in this article for ...
Didier de Montblazon's user avatar
2 votes
1 answer
278 views

Product decomposition into semisimple and unipotent parts of an algebraic group (in Borel’s LAG)

Let $G$ be an algebraic group, i.e., an affine reduced, separated $k$-scheme of finite type with structure of a group. In Borel’s Linear Algebraic Groups Theorem III.10.6(4) says Theorem 10.6 (3): ...
user267839's user avatar
  • 6,000
3 votes
0 answers
49 views

Are there invariants of configurations of points in space obtainable via the moduli space of solutions of the Berry-Robbins problem?

Let $C_n(\mathbb{R}^3)$ denote the configuration space of $n$ distinct points in Euclidean $3$-space and let $U(n)/T^n$ denote the flag manifold associated to the unitary group $U(n)$, i.e. the ...
Malkoun's user avatar
  • 5,011
7 votes
1 answer
266 views

Non-homogeneous line bundles over a homogeneous space

Let $G$ be a compact Lie group and $G/K$ a connected homogeneous space. A homogeneous vector bundle over $G/K$ is a vector bundle is one that is isomorphic to a vector bundle of the form $$ G \times_{\...
László Szabados's user avatar
1 vote
0 answers
56 views

Second moment version of the multiple-sum Rogers integration formula

I know the following theorems due to Rogers. Let $X$ denote the space of $n$-dimensional unimodualar lattices in $\mathbb R^n$, equipped with the canonical Haar measure. Theorem 1(Siegel-Rogers). Let ...
taylor's user avatar
  • 435
4 votes
0 answers
97 views

Modern reference for a theorem by Bott on the Dolbeault cohomology of compact homogeneous manifolds

I am looking for a modern, maybe shorter or even easier, reference for Theorem II of Homogeneous vector bundles (R. Bott, Annals of mathematics, 1957). This is a theorem where the Dolbeault cohomology ...
Max Reinhold Jahnke's user avatar
3 votes
1 answer
187 views

Free $S^1$-action on compact homogeneous spaces

Let $M = G/K$ be a compact homogeneous space, i.e. $G$ a connected compact Lie group, and $K$ a closed subgroup inside $G$ that contains no nontrivial normal subgroup of $G$. If $r(G) > r(K)$ (...
abracadabra12345's user avatar
4 votes
2 answers
177 views

How large is the set of unimodular lattices whose sucesssive minima cannot be attained by a basis of lattice?

Recall that the $i$-th successive minimum of $L\in \mathcal L$ (space of full rank lattices in $\mathbb R^d$), denoted $\lambda_i(L)$ is the infimum of the radii of the balls containing $i$-linearly ...
taylor's user avatar
  • 435
5 votes
1 answer
181 views

Can all hermitian symmetric spaces be realised as coadjoint orbits?

Here is what I know. Assume $M\cong G/K$ is an irreducible hermitian symmetric space. Denote the Lie-algebra of $K$ by $\mathfrak{t}$. Proposition 1.2. chapter 3 in Wienhard - Bounded cohomology and ...
JohannaB's user avatar
6 votes
1 answer
217 views

m-point-homogeneous, but not (m+1)-point-homogeneous

It is straightforward to check that the discrete cube $Q=\{0,1\}^n$ with $\ell^1$-metric is 3-point-homogeneous, but not 4-point-homogeneous (assuming $n$ is large). In other words, if $A\subset Q$ ...
Anton Petrunin's user avatar
1 vote
0 answers
103 views

Exists $G$-equivariant embedding with faithful representation of $G$?

Let $k$ be a field of characteristic zero and $G$ a reductive group over $k$. Furthermore, let $X$ be a projective $k$-variety with a $G$-action. Then we know, for example from Mumfords book about GIT,...
KKD's user avatar
  • 463
7 votes
0 answers
243 views

Direct proof that $g_t=\text{diag}(e^{t/m}I_m,e^{-t/n}I_n)$'s action on $\operatorname{SL}(d,\mathbb R)/{\operatorname{SL}(d,\mathbb Z)}$ is ergodic

I wonder if there are any direct proof that $g_t=\operatorname{diag}(e^{t/m}I_m,e^{-t/n}I_n)$'s action on $\operatorname{SL}(d,\mathbb R)/{\operatorname{SL}(d,\mathbb Z)}$ is ergodic (or even stronger,...
No One's user avatar
  • 1,553
1 vote
0 answers
112 views

Coinvariants of a homogeneous space

We work over $\mathbb{C}$. Let $G$ be an algebraic group, and let $X$ be an affine homogeneous $G$-variety. Write $\mathbb{C}[X]$ for the algebra of regular functions on $X$, which is itself a $G$-...
freeRmodule's user avatar
  • 1,025
1 vote
0 answers
107 views

About the classification of simply connected homogeneous 3-manifolds

I've read somewhere (but cannot locate the source) that the following classification holds: simply connected homogeneous 3-manifolds are either isometric to $S^2 \times \mathbb{R}$ or to a metric Lie ...
Paul Cusson's user avatar
  • 1,735
6 votes
2 answers
818 views

Do all homogeneous spaces have homogeneous compactifications?

Let $X$ be a separable metric space which is homogeneous, i.e. for every two points $x,y\in X$ there is a homeomorphism $h$ of $X$ onto itself such that $h(x)=y$. A compactification of $X$ is a ...
D.S. Lipham's user avatar
  • 3,055
3 votes
0 answers
107 views

Almost two-point homogeneous spaces

I define a NICE space to be a connected Riemannian manifold $M$ such that for any two distinct points $p,q\in M$, there exists an isometry $R_{p,q}$ exchanging these two points (that is such that $R_{...
Andrea Aveni's user avatar
4 votes
1 answer
196 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 ...
Malkoun's user avatar
  • 5,011
2 votes
0 answers
43 views

Scalar curvature of homogeneous bounded domains

Is it true that a bounded domain $\Omega \subset \mathbb C^n$ equipped with a homogeneous metric (not necessarily a Bergman metric) has (constant) negative scalar curvature?
Robbixmaths's user avatar
1 vote
0 answers
183 views

Homogeneous metrics on compact Lie groups

Given a differentiable manifold $M$, a Riemannian metric $g$ on $M$ is called homogeneous if its isometry group acts transitively on $M$. In that case, given any group $G$ acting transtitively on $(M,...
emiliocba's user avatar
  • 2,321
1 vote
0 answers
78 views

Intersection of open orbits in homogeneous space

Let $G$ be a simple complex algebraic group. Let $P(\alpha_i),P(\alpha_k)$ be maximal standard parabolic subgroups of $G$ associated to simple roots $\alpha_i,\alpha_k$ in the root system associated ...
Bobech's user avatar
  • 381
0 votes
2 answers
419 views

The (last step of the) proof that the set of badly approximable matrices has measure zero

An $m \times n$ matrix $A$ is called badly approximable if there exists $c > 0$ such that for all integer vectors $p \in \mathbb Z^m$ and $q \in \mathbb Z^n-\{0\}$ we have $$ \|A q + p \| \ge c \| ...
No One's user avatar
  • 1,553
3 votes
1 answer
244 views

Classification of "homogeneous" submanifolds of ℝⁿ

I define a subset $M$ of $\mathbb R^n$ to be a "homogeneous Euclidean manifold" if: it is a closed connected smooth submanifold of $\mathbb R^n$, for every $p, q$ in $M$, there is a ...
Andrea Aveni's user avatar
11 votes
1 answer
535 views

Classification of homogeneous Einstein manifolds

In Besse's "Einstein manifolds", p. 177, he states that, until that moment, no general classification of homogeneous Einstein manifolds was know, even in the compact case. More specifically, ...
Alice's user avatar
  • 221
4 votes
1 answer
209 views

An analogy of product formula for homogeneous space?

$\DeclareMathOperator\Sel{Sel}$Let $E$ be an elliptic curve defined over a number field $K$ with full $2$-torsion. The classical complete $2$-descent method tells that the $2$-Selmer group $\Sel_2(E/K)...
Shenxing Zhang's user avatar
4 votes
0 answers
177 views

Decomposition of fiber product of $G$-sets in $G$-orbits

I have posted an identical question in MSE few days ago, but maybe this site is a better adress to discuss this problem: Let $G$ be a finite group and $K, H \leq G$ two subgroups. Then the right ...
user267839's user avatar
  • 6,000
2 votes
0 answers
149 views

Homogeneous space and rational section

Let's embed $\operatorname{SO}_n$ inside $\operatorname{GL}_n$ through the standard representation. Does the map $\operatorname{GL}_n\rightarrow \operatorname{GL}_n/{\operatorname{SO}_n}$ admit a ...
prochet's user avatar
  • 3,432
2 votes
0 answers
33 views

Properties of the orbit $Abx_0$ when $b$ is upper or lower triangular but not diagonal

Let $G=\text{SL}(d,\mathbb R)$ and $\Gamma = \text{SL}(d,\mathbb Z)$. The homogeneous space is identified with the space of unimodular lattices, denoted $X_d$. Let $A$ denote the subgroup of $G$ ...
No One's user avatar
  • 1,553

1
2 3 4 5