All Questions
Tagged with lie-groups sg.symplectic-geometry
72 questions
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 ...