Skip to main content

All Questions

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

Explicit formula for complex structure on flag manifold/isospectral matrices?

Consider the flag manifold $M = U(n, \mathbb{C})/T^n$, where $T^n$ is the maximal torus of unitary diagonal matrices. Fixing a diagonal matrix $D$ with distinct reals on its diagonal, we can identify ...
2 votes
0 answers
85 views

Coherent states on compact abelian state spaces and complexification

First, to establish notation, let $T^*(M)$ denote the cotangent bundle of a manifold $M$. Let $\widehat{(-)}:= \hom_{\sf LCAbGrp}(-,\mathbb{T}):{\sf LCAbGrp}^{\sf op}\simeq {\sf LCAbGrp}$ denote the ...
3 votes
0 answers
80 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 ...
4 votes
0 answers
115 views

Examples of non-equivariant momentum maps

What are examples of non-equivariant momentum maps? Off the top of my hat, I know about the following examples: the action of translations of a symplectic vector space (yielding the Heisenberg group ...
4 votes
0 answers
178 views

The homotopy type of the space of symplectic structures

While reading the book Introduction to the $h$-Principle by Y. Eliashberg and N. Mishachev, I noticed that the authors state, at the end of section 9.1.A, that the space of all symplectic structures ...
0 votes
1 answer
169 views

Question about coadjoint orbits of compact connected Lie groups

Let $G$ be a compact Lie group with Lie algebra $\mathfrak{g}.$ Denote by $\mathfrak{g}^*$ the dual space of $\mathfrak{g}$. Let $r$ be an element of $\mathfrak{g}^*$ such that $G_r$ the stabilizer of ...
1 vote
0 answers
48 views

Relation between weight spaces of fixed loci of Hamiltonian $S^1$-actions

Consider an almost Kähler manifold $(M,\omega,I)$ with a $I$-(pseudo)holomorphic $\mathbb{C}^*$-action, whose $S^1$-part is Hamiltonian and the fixed locus $F=M^{S^1}$ is compact. Then, it breaks $F=\...
4 votes
0 answers
438 views

Symplectic principal bundles

A symplectic principal bundle is a principal bundle $(X,B, G)$ with projection map $q:X\to B$ such that $X$ and $B$ are symplectic manifolds and the right action of $G$ preserves the symplectic ...
6 votes
2 answers
448 views

Homogeneous symplectic manifolds

I have often heard/read a statement (see, e.g., this MathOverflow question) equivalent to the following: Let $G$ be a connected Lie group and $(M,\omega)$ a connected and simply-connected symplectic ...
3 votes
1 answer
105 views

Define a symplectic structure on $G \times_{G_\beta} V$, where $V$ is symplectic

Let $G$ be a compact Lie group with algebra $\mathfrak{g}$. Let $\beta $ be an element in the dual of the Lie algebra $\mathfrak{g}$. We denote by $G_\beta$ the stabilizer subgroup of $\beta$ by ...
3 votes
1 answer
258 views

Symplectic orbits in projective Hilbert spaces are simply connected

Let $G$ be a connected Lie group and let $(\pi, \mathcal{H})$ be an irreducible unitary representation of $G$ on an infinite-dimensional Hilbert space $\mathcal{H}$. Denote by $\mathcal{H}^{\infty}$ ...
11 votes
1 answer
455 views

Asking whether there is a compact Lie group containing affine symplectic group

The affine symplectic group is interesting and important in physics. However, the Lie group is noncompact. In order to have some good properties (Basically, we need some good behavior of Haar measure) ...
2 votes
1 answer
125 views

Are the odd dimensional spheres Poisson homogeneous spaces?

Are the odd dimensional spheres $S^{2n+1}$, for $n \in \mathbb{N}_{\geq 1}$, Poisson homogeneous spaces in the sense of Drinfeld?
3 votes
0 answers
74 views

Coordinates for quasiperiodic motion after reconstruction

Consider a free action of $SO(3)$ on a manifold $M$ and some (reducible) dynamics vector field $X$ on $M$. Suposse that the reduced dynamics $X_{red}$ on $M/SO(3)$ has only fixed points and periodic ...
1 vote
0 answers
285 views

Coadjoint orbits

I've posted the following question some days ago in math.stackexchange https://math.stackexchange.com/questions/4155747/co-adjoint-orbit but I didn't get any answer! While I was trying to teach my ...
7 votes
1 answer
279 views

Question about an example in symplectic geometry

Let M be a coadjoint orbit of dimension 6 of $SU(3)$, and let T be the maximal torus in $SU(3)$. If we denote $\mu : M \longrightarrow \mathbb{R}^2$ the moment map associated to the action of T on M, ...
3 votes
0 answers
135 views

Moment map of $\mathrm{O}(n)$-action on $\mathbb{C}^n$

Let $(\mathbb{C}^n, \omega_0)$ be the complex Euclidean space of dimension $n$ with the standard Kähler structure $\omega_0$. I am looking for a Hamiltonian $\mathrm{O}(n)$-action on $(\mathbb{C}^n, \...
6 votes
1 answer
325 views

An extension of symplectomorphism group

$\DeclareMathOperator\GL{GL}\DeclareMathOperator\Sp{Sp}$Let $\omega=\sum dx_i\wedge dy_i$ be the standard symplectic structure of $\mathbb{R}^{2n}=\mathbb{R}^{n}\times \mathbb{R}^n$. We consider the ...
2 votes
1 answer
126 views

Lifting one parameter subgroup $e^{t K}$ to the universal cover of $\mathrm{Sp}(2N,\mathbb{R})$

I would like to lift an arbitrary one-parameter subgroup $e^{t K}$ with $K\in\mathfrak{sp}(2N,\mathbb{R})$ to the universal cover $\widetilde{\mathrm{Sp}}(2N,\mathbb{R})$ (or at least its two-fold ...
4 votes
0 answers
250 views

Quotients of Kähler manifolds

Let $X$ be a Kähler manifold and $G$ a complex semisimple Lie group acting freely on $X$ by biholomorphisms and such that the Riemannian metric is preserved by a maximal compact subgroup $K$ of $G$. ...
1 vote
1 answer
620 views

Torsion-free $G$-Structures

I have the following question. Let $G \subset SO(n)$ be a Lie Group and $M$ be a smooth manifold of dimension $n$. Furthermore let $P$ be a $G$-structure on $M$ i.e. $P$ is a principal subbundle of ...
4 votes
1 answer
252 views

Flag manifolds as homogeneous Kahler manifolds

In this question it is asked if every flag manifold can be given the structure of a Kähler manifold. In the first answer it is written Flag manifolds exhaust all compact homogeneous Kähler ...
5 votes
1 answer
317 views

Moment map interpretation of Einstein equation

Einstein's famous equation relates the geometry of a (4-dimensional) manifold to the matter content in that manifold. Is there a way to obtain Einstein's equation as a moment map? More precisely, ...
8 votes
1 answer
363 views

Independence of Duistermaat-Heckman measure

Suppose that a compact Kähler manifold $(X,\omega)$ has a real torus acting on it by symplectomorphisms in a Hamiltonian way (the torus is not necessarily of maximal rank). Then for any smooth ...
5 votes
0 answers
411 views

Lagrangian subgroup of a nonabelian Lie group

My post here concerns the concept of Lagrangian subgroup for a non-abelian Lie group, such as a semi-simple non-abelian Lie group for gauge theory. See a previous post for other background ...
6 votes
1 answer
369 views

Can I bring the Kirillov 2-form on coadjoint orbits to adjoint orbits?

I tried asking this question on stackexchange and received no response. Given a semisimple Lie group, there is a symplectic structure on the coadjoint orbits arising from the Kirillov 2-form. Can I ...
2 votes
0 answers
100 views

Effective actions by non-commutative groups have non-commuting fundamental vector fields?

I have a bit of a contradiction in my brain and I was hoping once again that excellent Mathoverflow community could help me out :) Let $\rho_g$ be the action associated to a non-abelian Lie Group $G$ ...
5 votes
0 answers
572 views

Isn't the quantomorphism group really just the "WKB-quantomorphism" group?

Introduction In his second-most upvoted post, called "Why quantum mechanics?" (second only to his post on fibre bundles & gauge theory) in the physics SE community, Urs Schreiber, in the setting ...
4 votes
1 answer
285 views

Index formula with nonisolated fixed points

Consider a compact Riemannian manifold of even dimension $n$ admitting a $U(1)$ action. If the fixed points of the action are isolated, then Witten [1; eq. 35] gives the character-valued index of the ...
3 votes
0 answers
170 views

Finding generators of equivariant cohomology

Let $(M,\omega)$ be a symplectic manifold with symplectic form $\omega$, carrying a Hamiltonian action of a compact connected Lie group $G$ with moment map $\mu:M\to \mathfrak{g}^\ast$, where $\...
10 votes
2 answers
1k views

Quantization of conjugacy classes in a Lie group

Let $G$ be a Lie group (and to be safe, let's assume it is semisimple). Consider the action of $G$ on itself by conjugation, and form the GIT (algebro-geometric) quotient $G/\!/G$. Then let $\pi:G\...
8 votes
0 answers
285 views

Connection between integrable systems and group actions

An integrable system can be defined as a symplectic manifold together with the maxiumum possible number of Poisson commuting functions on the manifold which are almost everywhere independent. By the ...
3 votes
0 answers
230 views

Possible to express the coadjoint orbits in terms of Kahler reduction?

I have heard for many times that the coadjoint orbits of a compact semi-simple Lie group are Kahler. While I know that the symplectic structure on a coadjoint orbit can be given by the symplectic ...
3 votes
1 answer
335 views

Symplectic submanifolds of cotangent bundles of Lie groups

So, my question specifically pertains to $T^*SO(3)$ but I guess adjusted it could be asked about Lie groups in general. The canonical symplectic form on the cotangent bundle is invariant under the ...
2 votes
1 answer
123 views

Hamiltonian Group action with infinitely many stabiliser types

What is an example of a connected symplectic manifold $(M,\omega)$, with a Hamiltonian action of $G = U(1) =S^{1}$ with infinitely many stabiliser types? Infinitely many stabiliser types means that ...
10 votes
1 answer
698 views

Symplectic Lie groups

Assume that $G$ is a Lie group and at the same time it admits a symplectic structure. Does $G$ necessarily admit a symplectic structure such that the right multiplication preserves the symplectic ...
27 votes
2 answers
2k views

Intuition for symplectic groups

My question essentially breaks down to How do you, a working mathematician, think about (real) symplectic groups? How do you visualize symplectic (linear) transformations? What intuition do you ...
1 vote
1 answer
348 views

Hamiltonian potential invariant under lie group action?

Let $(M,g)$ be a riemannian manifold and $G$ a Lie group acting on $M$ by isometries. Taking a $G$-invariant function $f\colon M \to \mathbb{R}$, we have the riemannian gradient $\operatorname{grad} ...
3 votes
0 answers
337 views

Quotient space of Grassmannian

The Grassmannian $G(k,2k)$ is equipped with a nice $\mathbb Z_2$ action with respect to a non-degenerate symplectic bilinear form: $1.V=V^{perp}$. Is there a reference where the ring of polynomial ...
2 votes
0 answers
47 views

$TSU(n)$ completely integrable with 3 $SU(2)$ invariant functions?

Consider the Lie group $SU(n)$ endowed with the standard bi-invariant metric. Then $SU(n)$ can be viewed as a symmetric space of $K_{n,n} := SU(n) \times SU(n)$. Define $M := K_{n,n} /SU(n)$. Using ...
1 vote
0 answers
81 views

Symplectic gradients whose span doesn't intersect Lie group orbits

I asked a similar question some hours ago. But thinking about my problem, I found a loophole in my arguments, so that my question wasn't the right one. This one is what I wanted to ask: Let $G$ be a ...
3 votes
0 answers
274 views

Invariant functions on the dual Lie algebra

Let $G$ be a real Lie group and $\mathfrak{g}$ the corresponding Lie algebra. Let $\mathfrak{g}^*$ be the dual of the Lie algebra. Then we have the coadjoint action of $G$ on $\mathfrak{g}^*$. ...
1 vote
1 answer
86 views

set of coisotropic orbits open and dense, iff group acts locally transitively almost everywhere

I worked now some time with coisotropic actions of Liegroups on manifolds. But there is one key fact, that I don't understand, although it is very central in my considerations. Let $(M,\omega)$ be a ...
5 votes
1 answer
437 views

A criterion for orbits of complex reductive group to be closed

I am having some trouble understanding Nakajima's proof of the Kempf-Ness theorem in [1]. At the end (proof of Proposition 3.9(6)), his argument is basically the following: Let $G=K_{\Bbb C}$ be a ...
2 votes
1 answer
201 views

multiplicity-free action on $SO(n+1)/SO(n-1)$

I'm trying to show that the Lie group $G=SO(n+1) \times SO(2)$ acts multiplicity-free on the cotangentbundle $T^* (SO(n+1)/SO(n-1))$. That means: 1) There exists an $\operatorname{Ad}^*_G$-...
2 votes
1 answer
435 views

What are the finite subgroups of $\operatorname{Sp}_{2n}(\mathbb{Z})$?

I've read the following question: Finite subgroups of ${\rm SL}_2(\mathbb{Z})$ (reference request) and it made me wonder. It's easy to see that $\operatorname{SL}_2(\mathbb{Z})=\operatorname{Sp}_2(\...
0 votes
1 answer
155 views

Points with finite stabilizer in Hamiltonian torus actions

Atiyah-Guillemin-Sternberg theorem asserts that the image of the moment map $\mu$ for a Hamiltonian $(S^1)^m$-action on a smooth compact symplectic manifold $(M^{2n},\omega)$ is a convex polytope of $\...
2 votes
1 answer
286 views

The set of leaves of the distribution $D$ on coadjoint orbit $O_{\mu}$

Let $G$ be a compact connected Lie group and $O_{\mu}$ be a coadjoint orbit where $\mu\in \mathfrak{g}^*$ and $\mathfrak{g}^*$ is the dual of the Lie algebra of $\mathfrak{g}=\mathrm{Lie}(G)$. Let $...
0 votes
0 answers
101 views

G-invariant functions on manifold for G compact

In a paper I saw the following statement: Let $M$ be a connected symplectic manifold and $G$ be a compact Liegroup acting symplectically and hamiltonian on $M$. Let $\Phi \colon M \to \mathfrak{g^*}$ ...
19 votes
5 answers
4k views

Understanding moment maps and Lie brackets

I'm trying to learn about moment maps in symplectic topology (suppose our Lie group is $G$ with Lie algebra $\mathfrak g$, acting on the symplectic manifold $(M,\omega)$ by symplectomorphisms). I'm ...