In this paper, we show the spectral convergence result of $\overline{\partial}$-Laplacians when $(X,ω)$ is a compact toric symplectic manifold equipped with the natural prequantum line bundle $L$. We consider a family $\{ J_s\}_s$ of $ω$-compatible complex structures tending to the large complex structure limit, and obtain the spectral convergence of $\overline{\partial}$-Laplacians acting on $L^k$.
We introduce the cutting construction of possibly non-compact symplectic toric manifolds, in particular, toric symplectic cones that correspond to a weakly convex good cone. Since the symplectization of a toric contact manifold is a toric symplectic cone, we can also construct toric contact manifolds that correspond to a weakly convex good cone by the cutting construction. (Note that these toric contact manifolds can not be constructed by Delzant construction.) We further prove there are no toric Sasakian structures on these contact manifolds. From this, contact toric manifolds of toric K-cont…
In \cite{btoric}, Guillemin et al. proved a Delzant-type theorem which classifies $b$-symplectic toric manifolds. More generally, in \cite{torus} they proved a similar convexity result for general Hamiltonian torus action on $b$-symplectic manifolds. In this paper, we provide a new way to construct $b$-symplectic toric manifolds from usual toric manifolds. Conversely, through this way, we can also decompose a $b$-symplectic toric manifolds to usual toric manifolds. Finally, we will try to prove that this kind of decomposition is useful, although the symplectic structure for our decomposition o…
We give a generalization of toric symplectic geometry to Poisson manifolds which are symplectic away from a collection of hypersurfaces forming a normal crossing configuration. We introduce the tropical momentum map, which takes values in a generalization of affine space called a log affine manifold. Using this momentum map, we obtain a complete classification of such manifolds in terms of decorated log affine polytopes, hence extending the classification of symplectic toric manifolds achieved by Atiyah, Guillemin-Sternberg, Kostant, and Delzant.
In this article we extend cutting and blowing up to the nonrational symplectic toric setting. This entails the possibility of cutting and blowing up for symplectic toric manifolds and orbifolds in nonrational directions.
In this article, we introduce symplectic reduction in the framework of nonrational toric geometry. When we specialize to the rational case, we get symplectic reduction for the action of a general, not necessarily closed, Lie subgroup of the torus.
We discuss the construction of toric Kaehler metrics on symplectic 2n-manifolds with a hamiltonian n-torus action and present a simple derivation of the Guillemin formula for a distinguished Kaehler metric on any such manifold. The results also apply to orbifolds.
In the same way that a contact manifold determines and is determined by a symplectic cone, a Sasaki manifold determines and is determined by a suitable Kahler cone. Kahler-Sasaki geometry is the geometry of these cones. This paper presents a symplectic action-angle coordinates approach to toric Kahler geometry and how it was recently generalized, by Burns-Guillemin-Lerman and Martelli-Sparks-Yau, to toric Kahler-Sasaki geometry. It also describes, as an application, how this approach can be used to relate a recent new family of Sasaki-Einstein metrics constructed by Gauntlett-Martelli-Sparks-W…
In a recent paper Donaldson explains how to use an older construction of Joyce to obtain four dimensional local models for scalar-flat Kahler metrics with a 2-torus symmetry. Using this idea, he recovers and generalizes the Taub-NUT metric by including it in a new family of complete scalar-flat toric Kahler metrics. In this paper we generalize Donaldson's method and construct complete scalar-flat toric Kahler metrics on any symplectic toric 4-manifold with "strictly unbounded" moment polygon. These include the asymptotic locally Euclidean scalar-flat Kahler metrics previously constructed by Ca…
In this paper, we show that the complete scalar-flat Kahler metrics constructed by Abreu and the author on strictly unbounded toric 4-dimensional orbifolds have finite $L^2$ norm of the full Riemannian tensor. In particular, this answers a question of Donaldon's on the corresponding Generalized Taub-NUT metric on $R^4$. This norm is explicitly determined when the underlying toric manifold is the minimal resolution of a cyclic singularity. In the Ricci-flat case corresponding to gravitational instantons, this recovers a recent result of Atiyah-Lebrun.
A theorem of Delzant states that any symplectic manifold $(M,\om)$ of dimension $2n$, equipped with an effective Hamiltonian action of the standard $n$-torus $\T^n = \R^{n}/2π\Z^n$, is a smooth projective toric variety completely determined (as a Hamiltonian $\T^n$-space) by the image of the moment map $ϕ:M\to\R^n$, a convex polytope $P=ϕ(M)\subset\R^n$. In this paper we show, using symplectic (action-angle) coordinates on $P\times \T^n$, how all $\om$-compatible toric complex structures on $M$ can be effectively parametrized by smooth functions on $P$. We also discuss some topics suited for a…
A symplectic toric orbifold is a compact connected orbifold $M$, a symplectic form $ω$ on $M$, and an effective Hamiltonian action of a torus $T$ on $M$, where the dimension of $T$ is half the dimension of $M$. We prove that there is a one-to-one correspondence between symplectic toric orbifolds and convex rational simple polytopes with positive integers attached to each facet.
Let $M$ be a projective toric manifold. We prove two results concerning respectively Kaehler-Einstein submanifolds of M and symplectic embeddings of the standard euclidean ball in M. Both results use the well-known fact that M contains an open dense subset biholomorphic to C^n.
In [GMPS] we proved that the moment map image of a $b$-symplectic toric manifold is a convex $b$-polytope. In this paper we obtain convexity results for the more general case of non-toric hamiltonian torus actions on $b$-symplectic manifolds. The modular weights of the action on the connected components of the exceptional hypersurface play a fundamental role: either they are all zero and the moment map behaves as in classic symplectic one, or they are all nonzero and the moment map behaves as in the toric $b$-symplectic case studied in [GMPS].
In this article we construct Lagrangian torus fibrations for general quintic \cy hypersurfaces near the large complex limit and their mirror manifolds using gradient flow method. Then we prove the Strominger-Yau-Zaslow mirror conjecture for this class of \cy manifolds in symplectic category.
We compute the homotopy type of the space of T^n-equivariant symplectic embeddings from the standard 2n-dimensional ball of some fixed radius into a 2n-dimensional symplectic-toric manifold M, and use this computation to define a Z-valued step function on the positive real line which is an invariant of the symplectic-toric type of M. We conclude with a discussion of the partially equivariant case of this result.
In the first part of the paper, we build a foundation for further work on Hamiltonian actions on symplectic orbifolds. Most importantly we prove the orbifold versions of the abelian connectedness and convexity theorems. In the second half, we prove that compact symplectic orbifolds with completely integrable torus actions are classified by convex simple rational polytopes with a positive integer attached to each facet and that all such orbifolds are algebraic toric varieties.
Anti-diagonal toric generalized K$\ddot{a}$hler structures of symplectic type on a compact toric symplectic manifold were investigated in \cite{Wang2} . In this article, we consider \emph{general} toric generalized K$\ddot{a}$hler structures of symplectic type, without requiring them to be anti-diagonal. Such a structure is characterized by a triple $(τ, C, F)$ where $τ$ is a strictly convex function defined in the interior of the moment polytope $Δ$ and $C, F$ are two constant anti-symmetric matrices. We prove that underlying each such a structure is a \emph{canonical} toric K$\ddot{a}$hler s…
We prove that a Poisson structure on a projective toric variety which is invariant by the torus action and whose symplectic leaves are the torus orbits is not exact. This is deduced from a geometric criterion for non-exactness of Poisson structures with a finite number of symplectic leaves.
After observing that the well-known convexity theorems of symplectic geometry also hold for compact contact manifolds with an effective action of a torus whose Reeb vector field corresponds to an element of the Lie algebra of the torus, we use this fact together with a recent symplectic orbifold version of Delzant's theorem due to Lerman and Tolman [LT] to show that every such compact toric contact manifold can be obtained by a contact reduction from an odd dimensional sphere.
Let $P$ be a Delzant polytope. We show that the quantization of the corresponding toric manifold $X_{P}$ in toric Kähler polarizations and in the toric real polarization are related by analytic continuation of Hamiltonian flows evaluated at time $t = \sqrt{-1} s$. We relate the quantization of $X_{P}$ in two different toric Kähler polarizations by taking the time-$\sqrt{-1} s$ Hamiltonian "flow" of strongly convex functions on the moment polytope $P$. By taking $s$ to infinity, we obtain the quantization of $X_{P}$ in the (singular) real toric polarization. Recall that $X_{P}$ has an open dens…
On a compact Kähler manifold $X$, Toeplitz operators determine a deformation quantization $(\operatorname{C}^\infty(X, \mathbb{C})[[\hbar]], \star)$ with separation of variables [10] with respect to transversal complex polarizations $T^{1, 0}X, T^{0, 1}X$ as $\hbar \to 0^+$ [15]. The analogous statement is proved for compact symplectic manifolds with transversal non-singular real polarizations [13]. In this paper, we establish the analogous result for transversal singular real polarizations on compact toric symplectic manifolds $X$. Due to toric singularities, half-form correction and localiza…
We prove that a compact toric locally conformally Kähler manifold which is not Kähler admits a toric Vaisman structure, a fact which was conjectured in \cite{mmp}. This is the final step leading to the classification of compact toric locally conformally Kähler manifolds started in \cite{p} and \cite{mmp}. We also show, by constructing an example, that unlike in the symplectic case, toric locally conformally symplectic manifolds are not necessarily toric locally conformally Kähler.
The collection of $d \times N$ complex matrices with prescribed column norms and prescribed (nonzero) singular values forms a compact algebraic variety, which we refer to as a frame space. Elements of frame spaces -- i.e., frames -- are used to give robust representations of complex-valued signals, so that geometrical and measure-theoretic properties of frame spaces are of interest to the signal processing community. This paper is concerned with the following question: what is the probability that a frame drawn uniformly at random from a given frame space has the property that any subset of $d…
A theorem of E.Lerman and S.Tolman, generalizing a result of T.Delzant, states that compact symplectic toric orbifolds are classified by their moment polytopes, together with a positive integer label attached to each of their facets. In this paper we use this result, and the existence of "global" action-angle coordinates, to give an effective parametrization of all compatible toric complex structures on a compact symplectic toric orbifold, by means of smooth functions on the corresponding moment polytope. This is equivalent to parametrizing all toric Kahler metrics and generalizes an analogous…
In the classical theory of toric manifolds polytopes appear in two guises -- as Newton polytopes of line bundles on the complex, and as moment polytopes on the symplectic side, the link between the two being established by the prequantizability condition on the cohomology class of the symplectic form. Here we give a combinatorial description of the orbifold Picard group for complete toric orbifolds, with the aim of detailing the relation between complex and symplectic aspects in the orbifold setting. In particular this permits to illustrate the breakdown of identification of (orbifold) line bu…
We define toric contact manifolds in arbitrary codimension and give a description of such manifolds in terms of a kind of labelled polytope embedded into a grassmannian, analogous to the Delzant polytope of a toric symplectic manifold.
We study a notion of pre-quantization for $b$-symplectic manifolds. We use it to construct a formal geometric quantization of $b$-symplectic manifolds equipped with Hamiltonian torus actions with nonzero modular weight. We show that these quantizations are finite dimensional $T$-modules.
A (biased and incomplete) review of the status of the theory of symplectic connections on supermanifolds is presented. Also, some comments regarding Fedosov's technique of quantization are made.
A simple algebraic characterization of the Fano manifolds in the class of homogeneous toric bundles over a flag manifold $G^C/P$ is provided in terms of symplectic data.
We study the Berezin-Toeplitz quantization using as quantum space the space of eigenstates of the renormalized Bochner Laplacian corresponding to eigenvalues localized near the origin on a symplectic manifold. We show that this quantization has the correct semiclassical behavior and construct the corresponding star-product.
Geometric quantization of a Poisson manifold need not imply quantization of its symplectic leaves. We provide the leafwise geometric quantization of a Poisson manifold, seen as a foliated one, whose quantum algebra restricted to each leaf is quantized.
We present explicit universal strict deformation quantization formulae for actions of Iwasawa subgroups AN of SU(1,n). This answers a question raised by Rieffel.
We establish the theory of Berezin-Toeplitz quantization on symplectic manifolds of bounded geometry. The quantum space of this quantization is the spectral subspace of the renormalized Bochner Laplacian associated with some interval near zero. We show that this quantization has the correct semiclassical limit.
We study the half-form Kaehler quantization of a smooth symplectic toric manifold $(X,ω)$, such that $[ω/2π]-c_{1}(X)/2 \in H^{2}(X,{\mathbb{Z}})$ and is nonnegative. We define the half-form corrected quantization of $(X,ω)$ to be given by holomorphic sections of a certain hermitian line bundle $L\rightarrow X$ with Chern class $[ω/ 2π]-c_{1}(X)/2$. These sections then correspond to integral points of a "corrected" polytope $P_{L}$ with integral vertices. For a suitably translated moment polytope $P_{X}$ for $(X,ω)$, we have that $P_{L}\subset P_{X}$ is obtained from $P_{X}$ by a one-half inwa…
We develop the theory of Berezin-Toeplitz operator on any compact symplectic prequantizable manifold from scratch. Our main inspiration is the Boutet de Monvel-Guillemin theory, that we simplify in several ways to obtain a concise exposition. A comparison with the spin-c Dirac quantization is also included.
We introduce a new kind of groupoid--a pseudo étale groupoid, which provides many interesting examples of noncommutative Poisson algebras as defined by Block, Getzler, and Xu. Following the idea that symplectic and Poisson geometries are the semiclassical limits of the corresponding quantum geometries, we quantize these noncommutative Poisson manifolds in the framework of deformation quantization.
In this paper we propose a noncommutative generalization of the relationship between compact Kähler manifolds and complex projective algebraic varieties. Beginning with a prequantized Kähler structure, we use a holomorphic Poisson tensor to deform the underlying complex structure into a generalized complex structure, such that the prequantum line bundle and its tensor powers deform to a sequence of generalized complex branes. Taking homomorphisms between the resulting branes, we obtain a noncommutative deformation of the homogeneous coordinate ring. As a proof of concept, this is implemented f…
A symplectic fibration is a fibre bundle in the symplectic category. We find the relation between deformation quantization of the base and the fibre, and the total space. We use the weak coupling form of Guillemin, Lerman, Sternberg and find the characteristic class of deformation of symplectic fibration. We also prove that the classical moment map could be quantized if there exists an equivariant connection. Along the way we touch upon the general question of quantization with values in a bundle of algebras. We consider Fedosov's construction of deformation quantization in general. In the App…
We apply the geometric quantization method with real polarizations to the quantization of a symplectic torus. By quantizing with half-densities we canonically associate to the symplectic torus a projective Hilbert space and prove that the projective factor is expressible in terms of the Maslov-Kashiwara index. As in the quantization of a linear symplectic space, we have two ways of resolving the projective ambiguity: (i) by introducing a metaplectic structure and using half-forms in the definition of the Hilbert space; (ii) by choosing a 4-fold cover of the Lagrangian Grassmannian of the linea…
In the first part of this article we provide a geometrically oriented approach to the theory of orbispaces which originally had been introduced by Chen. We explain the notion of a vector orbibundle and characterize the good sections of a reduced vector orbibundle as the smooth stratified sections. In the second part of the article we elaborate on the quantizability of a symplectic orbispace. By adapting Fedosov's method to the orbispace setting we show that every symplectic orbispace has a deformation quantization. As a byproduct we obtain that every symplectic orbifold possesses a star produc…
We prove that there is no faithful finite-dimensional representation by skew-hermitian matrices of a ``basic algebra of observables'' B on a noncompact symplectic manifold M. Consequently there exists no finite-dimensional quantization of any Lie subalgebra of the Poisson algebra C^\infty(M) containing B.
