Quantcast
  • Register
PhysicsOverflow is a next-generation academic platform for physicists and astronomers, including a community peer review system and a postgraduate-level discussion forum analogous to MathOverflow.

Welcome to PhysicsOverflow! PhysicsOverflow is an open platform for community peer review and graduate-level Physics discussion.

Please help promote PhysicsOverflow ads elsewhere if you like it.

News

PO is now at the Physics Department of Bielefeld University!

New printer friendly PO pages!

Migration to Bielefeld University was successful!

Please vote for this year's PhysicsOverflow ads!

Please do help out in categorising submissions. Submit a paper to PhysicsOverflow!

... see more

Tools for paper authors

Submit paper
Claim Paper Authorship

Tools for SE users

Search User
Reclaim SE Account
Request Account Merger
Nativise imported posts
Claim post (deleted users)
Import SE post

Users whose questions have been imported from Physics Stack Exchange, Theoretical Physics Stack Exchange, or any other Stack Exchange site are kindly requested to reclaim their account and not to register as a new user.

Public \(\beta\) tools

Report a bug with a feature
Request a new functionality
404 page design
Send feedback

Attributions

(propose a free ad)

Site Statistics

205 submissions , 163 unreviewed
5,047 questions , 2,200 unanswered
5,345 answers , 22,709 comments
1,470 users with positive rep
816 active unimported users
More ...

  A question about Quantized closed Kaehler manifolds

+ 2 like - 0 dislike
3193 views

Let $(M,\omega)$ be a Quantized closed Kaehler manifold then by Koderia embedding theorem , $M$ must be algebraicly projective i.e, we have the embedding

$$\phi: (M,\omega)\to  (\mathbb CP^N, \omega_{FS})$$ So $$\phi^*\omega_{FS}=\omega+\frac{i}{2\pi}\partial\bar \partial \epsilon $$

where $\epsilon$ is a smooth function and is defined as follows:

Definition of $\epsilon$ function: Let $\pi:(L,h)\to (M,\omega)$ be a prequantum line bundle and let $x\in M$ and $q\in L^+$ such that $\pi(q)=x$ and $H$ is the Hilbert space of global holomorphic sections ($h$ is hermitian metric). Then we can write $s(x)=\delta_q(s)q$ where $\delta_q:H\to \mathbb C$ is a linear continous functional of $s$ and by Riesz theorem $\delta_q(s)=\langle s,e_q \rangle_h$ where $e_q\in H$ and thus $s(x)= \langle s,e_q\rangle_hq$ and we can define the real valued function on $M$ by the formula

$$\epsilon(x)=h(q,q)\left \| e_q \right \|_h^2$$

Now the conjecture is that, if $\epsilon$ be constant then $M$ is homogeneous space? Is there any counterexample or proof for it?

This question is known as Andrea Loi's conjecture in his doctoral thesis

Peter Crooks gave a counterexample and I removed the part simply connected, I want to see this conjecture still is conjecture :)

This post imported from StackExchange MathOverflow at 2014-10-17 11:02 (UTC), posted by SE-user Hassan Jolany
asked May 24, 2014 in Theoretical Physics by Hassan Jolany (60 points) [ no revision ]
retagged Nov 9, 2014 by dimension10
It would probably help if you explained exactly what you mean by «homogeneous space».

This post imported from StackExchange MathOverflow at 2014-10-17 11:03 (UTC), posted by SE-user Mariano Suárez-Alvarez
By the way, if this is a known conjecture/open problem, then it is a good idea to give a reference to its origin.

This post imported from StackExchange MathOverflow at 2014-10-17 11:03 (UTC), posted by SE-user Mariano Suárez-Alvarez
I edited it again, :)

This post imported from StackExchange MathOverflow at 2014-10-17 11:03 (UTC), posted by SE-user Hassan Jolany
homogeneous space, here is of the form $G/H$ which $G,H$ are Lie groups

This post imported from StackExchange MathOverflow at 2014-10-17 11:03 (UTC), posted by SE-user Hassan Jolany
A strong necessary condition is that the automorphism group of $M$ act transitively on $M$.

This post imported from StackExchange MathOverflow at 2014-10-17 11:03 (UTC), posted by SE-user Peter Crooks
You mean $Aut(M)\cap Isom(M,\omega)$ act transitively on $M$?

This post imported from StackExchange MathOverflow at 2014-10-17 11:03 (UTC), posted by SE-user Hassan Jolany

1 Answer

+ 1 like - 0 dislike

I do not believe this is the case. If you have any smooth complex submanifold $X$ of $\mathbb{CP}^n$, then the Kahler form on $\mathbb{CP}^n$ pulls-back to a Kahler form $\omega$ on $X$ (so $\phi^*\omega_{FS}=\omega$). You can take $X$ to be any smooth projective variety. These are not all simply-connected. For instance, let $X$ be an elliptic curve.

This post imported from StackExchange MathOverflow at 2014-10-17 11:03 (UTC), posted by SE-user Peter Crooks
answered May 24, 2014 by Peter Crooks (70 points) [ no revision ]
Quantized Kaehler manifolds leds to $[\omega]\in H^2(M,\mathbb Z)$, then the curvature form is belong to the image of $H^2(M,\mathbb Z)\to H^2(M,\mathbb C)$ so we will have Koderia embedding theorem. I edited my question and defined $\epsilon$ function

This post imported from StackExchange MathOverflow at 2014-10-17 11:03 (UTC), posted by SE-user Hassan Jolany
If $\epsilon$ is constant, then your condition seems to be $\phi^*(\omega_{FS})=\omega$. This occurs in my setup by construction. Also, a Kahler form $\omega$ on a projective variety defines a class in integral cohomology, so I think this is fine.

This post imported from StackExchange MathOverflow at 2014-10-17 11:03 (UTC), posted by SE-user Peter Crooks
So, let remore simply connected part. Then it is still correct,?

This post imported from StackExchange MathOverflow at 2014-10-17 11:03 (UTC), posted by SE-user Hassan Jolany
If $X$ is not simply-connected, then it cannot be written as a homogeneous space of a semisimple simply-connected $G$. A projective homogeneous $G$-variety is equivariantly isomorphic to a partial flag variety $G/P$. These are always simply-connected. So, the elliptic curve I mentioned above is not a homogeneous $G$-variety.

This post imported from StackExchange MathOverflow at 2014-10-17 11:03 (UTC), posted by SE-user Peter Crooks
In assumption, I assumed closed manifolds , i.e compact manifolds without boundary, so here you have considered compact elliptic curves without boundary ?

This post imported from StackExchange MathOverflow at 2014-10-17 11:03 (UTC), posted by SE-user Hassan Jolany
Yes, that's right. By elliptic curve, I mean the quotient of $\mathbb{C}$ by an integral lattice of rank $2$. It has no boundary.

This post imported from StackExchange MathOverflow at 2014-10-17 11:03 (UTC), posted by SE-user Peter Crooks
But the quotient of $\mathbb C$ by an integral lattice of rank 2 is simply connected really? You said "A projective homogeneous G-variety is equivariantly isomorphic to a partial flag variety $G/P$" can you give a reference for it?

This post imported from StackExchange MathOverflow at 2014-10-17 11:03 (UTC), posted by SE-user Hassan Jolany
The point is that this quotient is NOT simply-connected. Therefore, it is not a homogeneous $G$-variety. This gives you the counter-example you requested. That the spaces $G/P$ are simply-connected follows from the Schubert cell decomposition of $G/P$. I would suggest searching for this.

This post imported from StackExchange MathOverflow at 2014-10-17 11:03 (UTC), posted by SE-user Peter Crooks
Yes, I know$ G/P$ is simply connected , but I am looking for a reason for your statement "A projective homogeneous $G$-variety is equivariantly isomorphic to a partial flag variety $G/P$""

This post imported from StackExchange MathOverflow at 2014-10-17 11:03 (UTC), posted by SE-user Hassan Jolany
You can find this in several books on algebraic groups. A parabolic subgroup is one for which $G/P$ is a complete variety. Also, a projective variety is always complete. So, I would suggest looking for material on parabolics and complete varieties.

This post imported from StackExchange MathOverflow at 2014-10-17 11:03 (UTC), posted by SE-user Peter Crooks
Thanks a lot, this conjecture was from Andrea loi

This post imported from StackExchange MathOverflow at 2014-10-17 11:03 (UTC), posted by SE-user Hassan Jolany
Homogeneous space for what sort of groups? The elliptic curve iis homogeneous over itself! :-)

This post imported from StackExchange MathOverflow at 2014-10-17 11:03 (UTC), posted by SE-user Mariano Suárez-Alvarez
Fair enough. In my comments, I assumed $G$ was simply-connected and semisimple. This seemed reasonable in the context of the question.

This post imported from StackExchange MathOverflow at 2014-10-17 11:03 (UTC), posted by SE-user Peter Crooks

Your answer

Please use answers only to (at least partly) answer questions. To comment, discuss, or ask for clarification, leave a comment instead.
To mask links under text, please type your text, highlight it, and click the "link" button. You can then enter your link URL.
Please consult the FAQ for as to how to format your post.
This is the answer box; if you want to write a comment instead, please use the 'add comment' button.
Live preview (may slow down editor)   Preview
Your name to display (optional):
Privacy: Your email address will only be used for sending these notifications.
Anti-spam verification:
If you are a human please identify the position of the character covered by the symbol $\varnothing$ in the following word:
p$\hbar$ysicsOverfl$\varnothing$w
Then drag the red bullet below over the corresponding character of our banner. When you drop it there, the bullet changes to green (on slow internet connections after a few seconds).
Please complete the anti-spam verification




user contributions licensed under cc by-sa 3.0 with attribution required

Your rights
...