-
Generalizing the Mukai Conjecture to the symplectic category and the Kostant game
Authors:
Alexander Caviedes Castro,
Milena Pabiniak,
Silvia Sabatini
Abstract:
In this paper we pose the question of whether the (generalized) Mukai inequalities hold for compact, positive monotone symplectic manifolds. We first provide a method that enables one to check whether the (generalized) Mukai inequalities hold true. This only makes use of the almost complex structure of the manifold and the analysis of the zeros of the so-called generalized Hilbert polynomial, whic…
▽ More
In this paper we pose the question of whether the (generalized) Mukai inequalities hold for compact, positive monotone symplectic manifolds. We first provide a method that enables one to check whether the (generalized) Mukai inequalities hold true. This only makes use of the almost complex structure of the manifold and the analysis of the zeros of the so-called generalized Hilbert polynomial, which takes into account the Atiyah-Singer indices of all possible line bundles. We apply this method to generalized flag varieties. In order to find the zeros of the corresponding generalized Hilbert polynomial we introduce a modified version of the Kostant game and study its combinatorial properties.
△ Less
Submitted 1 June, 2022;
originally announced June 2022.
-
Symplectic cohomological rigidity via toric degnerations
Authors:
Milena Pabiniak,
Susan Tolman
Abstract:
In this paper we study whether symplectic toric manifolds are symplectically cohomologically rigid. Here we say that symplectic cohomological rigidity holds for some family of symplectic manifolds if the members of that family can be distinguished by their integral cohomology rings and the cohomology classes of their symplectic forms. We show how toric degenerations can be used to produce the symp…
▽ More
In this paper we study whether symplectic toric manifolds are symplectically cohomologically rigid. Here we say that symplectic cohomological rigidity holds for some family of symplectic manifolds if the members of that family can be distinguished by their integral cohomology rings and the cohomology classes of their symplectic forms. We show how toric degenerations can be used to produce the symplectomorphisms necessary to answer this question. As a consequence we prove that symplectic cohomological rigidity holds for the family of symplectic Bott manifolds with rational symplectic form whose rational cohomology ring is isomorphic to $\mathrm{H}^*((\mathbb{CP}^1)^n;\mathbb{Q})$ for some $n$. In particular, we classify such manifolds up to symplectomorphism. Moreover, we prove that any symplectic toric manifold with rational symplectic form whose integral cohomology ring is isomorphic to $\mathrm{H}^*((\mathbb{CP}^1)^n;\mathbb{Z})$ is symplectomorphic to $(\mathbb{CP}^1)^n$ with a product symplectic structure.
△ Less
Submitted 27 February, 2020;
originally announced February 2020.
-
Toric degenerations in symplectic geometry
Authors:
Milena Pabiniak
Abstract:
A toric degeneration in algebraic geometry is a process where a given projective variety is being degenerated into a toric one. Then one can obtain information about the original variety via analyzing the toric one, which is a much easier object to study. Harada and Kaveh described how one incorporates a symplectic structure into this process, providing a very useful tool for solving certain probl…
▽ More
A toric degeneration in algebraic geometry is a process where a given projective variety is being degenerated into a toric one. Then one can obtain information about the original variety via analyzing the toric one, which is a much easier object to study. Harada and Kaveh described how one incorporates a symplectic structure into this process, providing a very useful tool for solving certain problems in symplectic geometry. Below we present applications of this method to questions about the Gromov width, and cohomological rigidity problems.
△ Less
Submitted 28 December, 2018;
originally announced December 2018.
-
Givental's non-linear Maslov index on lens spaces
Authors:
Gustavo Granja,
Yael Karshon,
Milena Pabiniak,
Sheila Sandon
Abstract:
Givental's non-linear Maslov index, constructed in 1990, is a quasimorphism on the universal cover of the identity component of the contactomorphism group of real projective space. This invariant was used by several authors to prove contact rigidity phenomena such as orderability, unboundedness of the discriminant and oscillation metrics, and a contact geometric version of the Arnold conjecture. I…
▽ More
Givental's non-linear Maslov index, constructed in 1990, is a quasimorphism on the universal cover of the identity component of the contactomorphism group of real projective space. This invariant was used by several authors to prove contact rigidity phenomena such as orderability, unboundedness of the discriminant and oscillation metrics, and a contact geometric version of the Arnold conjecture. In this article we give an analogue for lens spaces of Givental's construction and its applications.
△ Less
Submitted 9 April, 2020; v1 submitted 19 April, 2017;
originally announced April 2017.
-
Simplices in Newton-Okounkov bodies and the Gromov width of coadjoint orbits
Authors:
Xin Fang,
Peter Littelmann,
Milena Pabiniak
Abstract:
We give a uniform proof for the conjectured Gromov width of coadjoint orbits of all compact connected simple Lie groups, by analyzing simplices in Newton-Okounkov bodies.
We give a uniform proof for the conjectured Gromov width of coadjoint orbits of all compact connected simple Lie groups, by analyzing simplices in Newton-Okounkov bodies.
△ Less
Submitted 23 October, 2017; v1 submitted 5 July, 2016;
originally announced July 2016.
-
The Gromov width of coadjoint orbits of the symplectic group
Authors:
Iva Halacheva,
Milena Pabiniak
Abstract:
We prove that the Gromov width of coadjoint orbits of the symplectic group is at least equal to the upper bound known from the works of Zoghi and Caviedes. This establishes the actual Gromov width. Our work relies on a toric degeneration of a coadjoint orbit to a toric variety. The polytope associated to this toric variety is a string polytope arising from a string parametrization of elements of a…
▽ More
We prove that the Gromov width of coadjoint orbits of the symplectic group is at least equal to the upper bound known from the works of Zoghi and Caviedes. This establishes the actual Gromov width. Our work relies on a toric degeneration of a coadjoint orbit to a toric variety. The polytope associated to this toric variety is a string polytope arising from a string parametrization of elements of a crystal basis for a certain representation of the symplectic group.
△ Less
Submitted 8 August, 2017; v1 submitted 12 January, 2016;
originally announced January 2016.
-
Canonical bases for the equivariant cohomology and K-theory rings of symplectic toric manifolds
Authors:
Milena Pabiniak,
Silvia Sabatini
Abstract:
Let $M$ be a symplectic toric manifold acted on by a torus $\mathbb{T}$. In this work we exhibit an explicit basis for the equivariant K-theory ring $\mathcal{K}_{\mathbb{T}}(M)$ which is canonically associated to a generic component of the moment map. We provide a combinatorial algorithm for computing the restrictions of the elements of this basis to the fixed point set; these, in turn, determine…
▽ More
Let $M$ be a symplectic toric manifold acted on by a torus $\mathbb{T}$. In this work we exhibit an explicit basis for the equivariant K-theory ring $\mathcal{K}_{\mathbb{T}}(M)$ which is canonically associated to a generic component of the moment map. We provide a combinatorial algorithm for computing the restrictions of the elements of this basis to the fixed point set; these, in turn, determine the ring structure of $\mathcal{K}_{\mathbb{T}}(M)$. The construction is based on the notion of local index at a fixed point, similar to that introduced by Guillemin and Kogan in [GK].
We apply the same techniques to exhibit an explicit basis for the equivariant cohomology ring $H_{\mathbb{T}}(M; \mathbb{Z})$ which is canonically associated to a generic component of the moment map. Moreover we prove that the elements of this basis coincide with some well-known sets of classes: the equivariant Poincaré duals to the closures of unstable manifolds, and also the canonical classes introduced by Goldin and Tolman in [GT], which exist whenever the moment map is index increasing.
△ Less
Submitted 16 March, 2015;
originally announced March 2015.
-
On the Gromov width of polygon spaces
Authors:
Alessia Mandini,
Milena Pabiniak
Abstract:
For generic $r=(r_1,\ldots,r_n) \in \mathbb{R}^n_+$ the space $\mathcal{M}(r)$ of $n$--gons in $\mathbb{R}^3$ with edges of lengths $r$ is a smooth, symplectic manifold. We investigate its Gromov width and prove that the expression $$2π\min \{2 r_j, (\sum_{i \neq j} r_i) - r_j\,\,|\, j=1,\ldots,n\}$$ is the Gromov width of all (smooth) $5$--gon spaces and of $6$--gon spaces, under some condition o…
▽ More
For generic $r=(r_1,\ldots,r_n) \in \mathbb{R}^n_+$ the space $\mathcal{M}(r)$ of $n$--gons in $\mathbb{R}^3$ with edges of lengths $r$ is a smooth, symplectic manifold. We investigate its Gromov width and prove that the expression $$2π\min \{2 r_j, (\sum_{i \neq j} r_i) - r_j\,\,|\, j=1,\ldots,n\}$$ is the Gromov width of all (smooth) $5$--gon spaces and of $6$--gon spaces, under some condition on $r \in \mathbb{R}^6_+$. The same formula constitutes a lower bound for all (smooth) spaces of $6$--gons. Moreover, we prove that the Gromov width of $\mathcal{M}(r)$ is given by the above expression when $\mathcal{M}(r)$ is symplectomorphic to $\mathbb{C}\mathbb{P}^{n-3}$, for any $n \geq 4$.
△ Less
Submitted 13 May, 2017; v1 submitted 1 January, 2015;
originally announced January 2015.
-
On displaceability of pre-Lagrangian fibers in contact toric manifolds
Authors:
Aleksandra Marinkovic,
Milena Pabiniak
Abstract:
In this note we analyze displaceability of pre-Lagrangian toric fibers in contact toric manifolds. While every symplectic toric manifold contains at least one non-displaceable Lagrangian toric fiber and infinitely many displaceable ones, we show that this is not the case for contact toric manifolds. More precisely, we prove that for the contact toric manifolds $\mathbb{S}^{2d-1} (d\geq 2)$ and…
▽ More
In this note we analyze displaceability of pre-Lagrangian toric fibers in contact toric manifolds. While every symplectic toric manifold contains at least one non-displaceable Lagrangian toric fiber and infinitely many displaceable ones, we show that this is not the case for contact toric manifolds. More precisely, we prove that for the contact toric manifolds $\mathbb{S}^{2d-1} (d\geq 2)$ and $\mathbb{T}^k \times \mathbb{S}^{2d+k-1} (d \geq 1)$ all pre-Lagrangian toric fibers are displaceable, and that for all contact toric manifolds for which the toric action is free, except possibly non-trivial $\mathbb{T}^3$-bundles over $\mathbb{S}^2$, all pre-Lagrangian toric fibers are non-displaceable. Moreover we also prove that if for a compact connected contact toric manifold all but finitely many pre-Lagrangian toric fibers are non-displaceable then the action is necessarily free. On the other hand, as we will discuss, displaceability of all pre-Lagrangian toric fibers seems to be related to the non-orderability of the underlying contact manifolds.
△ Less
Submitted 2 October, 2016; v1 submitted 7 July, 2014;
originally announced July 2014.
-
Every symplectic toric orbifold is a centered reduction of a Cartesian product of weighted projective spaces
Authors:
Aleksandra Marinković,
Milena Pabiniak
Abstract:
We prove that every symplectic toric orbifold is a centered reduction of a Cartesian product of weighted projective spaces. A theorem of Abreu and Macarini shows that if the level set of the reduction passes through a non-displaceable set then the image of this set in the reduced space is also non-displaceable. Using this result we show that every symplectic toric orbifold contains a non-displacea…
▽ More
We prove that every symplectic toric orbifold is a centered reduction of a Cartesian product of weighted projective spaces. A theorem of Abreu and Macarini shows that if the level set of the reduction passes through a non-displaceable set then the image of this set in the reduced space is also non-displaceable. Using this result we show that every symplectic toric orbifold contains a non-displaceable fiber and we identify this fiber.
△ Less
Submitted 14 May, 2015; v1 submitted 28 January, 2014;
originally announced January 2014.
-
Gromov width of non-regular coadjoint orbits of U(n), SO(2n) and SO(2n+1)
Authors:
Milena Pabiniak
Abstract:
Let G be a compact connected Lie group G and T its maximal torus. The coadjoint orbit O_lambda through lambda in Lie(T)^* is canonically a symplectic manifold. Therefore we can ask the question about its Gromov width. In many known cases the Gromov width is exactly the minimum over the set {< alpha_j^{\vee},lambda > ; alpha_j^{\vee} a coroot and < alpha_j^{\vee},lambda > positive}. We show that th…
▽ More
Let G be a compact connected Lie group G and T its maximal torus. The coadjoint orbit O_lambda through lambda in Lie(T)^* is canonically a symplectic manifold. Therefore we can ask the question about its Gromov width. In many known cases the Gromov width is exactly the minimum over the set {< alpha_j^{\vee},lambda > ; alpha_j^{\vee} a coroot and < alpha_j^{\vee},lambda > positive}. We show that the Gromov width of coadjoint orbits of the unitary group and of most of the coadjoint orbits of the special orthogonal group is at least the above minimum. The proof uses the torus action coming from the Gelfand-Tsetlin system.
△ Less
Submitted 28 February, 2013;
originally announced February 2013.
-
Displacing Lagrangians in the manifolds of full flags in C^3
Authors:
Milena Pabiniak
Abstract:
In symplectic geometry a question of great importance is whether a (Lagrangian) submanifold is displaceable, that is, if it can be made disjoint from itself by the means of a Hamiltonian isotopy. In these notes we analyze the coadjoint orbits of SU(n) and their Lagrangian submanifolds that are fibers of the Gelfand-Tsetlin map. We use the coadjoint action to displace a large collection of these fi…
▽ More
In symplectic geometry a question of great importance is whether a (Lagrangian) submanifold is displaceable, that is, if it can be made disjoint from itself by the means of a Hamiltonian isotopy. In these notes we analyze the coadjoint orbits of SU(n) and their Lagrangian submanifolds that are fibers of the Gelfand-Tsetlin map. We use the coadjoint action to displace a large collection of these fibers. Then we concentrate on the case n=3 and apply McDuff's method of probes to show that "most" of the generic Gelfand-Tsetlin fibers are displaceable. "Most" means "all but one" in the non-monotone case, and means "all but a 1-parameter family" in the monotone case. In the case of non-monotone manifold of full flags we present explicitly an unique non-displaceable Lagrangian fiber (S^1)^3. This fiber was already proved to be non-displaceable in \cite{NNU}. Our contribution is in displacing other fibers and thus proving the uniqueness.
△ Less
Submitted 6 October, 2012;
originally announced October 2012.
-
Lower bounds for Gromov width in the SO(n) coadjoint orbits
Authors:
Milena Pabiniak
Abstract:
Let G be a compact connected Lie group G and T its maximal torus. The coadjoint orbit O_λ through λin the dual of the Lie algebra of T, is canonically a symplectic manifold. Therefore we can ask the question of its Gromov width. In many known cases the width is exactly the minimum over the positive results of pairing λwith coroots: min{< α_j^{\vee},λ> ; α_j^{\vee} is a coroot and < α_j^{\vee},λ> i…
▽ More
Let G be a compact connected Lie group G and T its maximal torus. The coadjoint orbit O_λ through λin the dual of the Lie algebra of T, is canonically a symplectic manifold. Therefore we can ask the question of its Gromov width. In many known cases the width is exactly the minimum over the positive results of pairing λwith coroots: min{< α_j^{\vee},λ> ; α_j^{\vee} is a coroot and < α_j^{\vee},λ> is positive}. We will show that the Gromov width for regular coadjoint orbits of the special orthogonal group is at least this minimum. The proof uses the torus action coming from the Gelfand-Tsetlin system.
△ Less
Submitted 31 December, 2011;
originally announced January 2012.
-
Lower bounds for Gromov width of coadjoint orbits in U(n)
Authors:
Milena Pabiniak
Abstract:
We use the Gelfand-Tsetlin pattern to construct an effective Hamiltonian, completely integrable action of a torus T on an open dense subset of a coadjoint orbit of the unitary group. We then identify a proper Hamiltonian T-manifold centered around a point in the dual of the Lie algebra of T. A theorem of Karshon and Tolman says that such a manifold is equivariantly symplectomorphic to a particular…
▽ More
We use the Gelfand-Tsetlin pattern to construct an effective Hamiltonian, completely integrable action of a torus T on an open dense subset of a coadjoint orbit of the unitary group. We then identify a proper Hamiltonian T-manifold centered around a point in the dual of the Lie algebra of T. A theorem of Karshon and Tolman says that such a manifold is equivariantly symplectomorphic to a particular subset of R^2D. This fact enables us to construct symplectic embeddings of balls into certain coadjoint orbits of the unitary group, and therefore obtain a lower bound for their Gromov width. Using the identification of the dual of the Lie algebra of the unitary group with the space of (n x n) Hermitian matrices, the main theorem states that for a coadjoint orbit through λ=diag(λ_1, ..., λ_n) in the dual of the Lie algebra of the unitary group, where at most one eigenvalue is repeated, the lower bound for Gromov width is equal to the minimum of the differences λ_i-λ_j, over all λ_i>λ_j. For a generic orbit (i.e. with distinct λ_i's), with additional integrality conditions, this minimum has been proved to be exactly the Gromov width of the orbit. For nongeneric orbits this lower bound is new.
△ Less
Submitted 5 September, 2011;
originally announced September 2011.
-
Localization and Specialization for Hamiltonian Torus Actions
Authors:
Milena Pabiniak
Abstract:
We consider a Hamiltonian action of n-dimensional torus, T^n, on a compact symplectic manifold (M,ω) with d isolated fixed points. For every fixed point p there exists (though not unique) a class a_p in H^*_{T}(M; Q) such that the collection {a_p}, over all fixed points, forms a basis for H^*_{T}(M; Q) as an H^*(BT; Q) module. The map induced by the inclusion, ι^*:H^*_{T}(M; Q) \rightarrow H^*_{T}…
▽ More
We consider a Hamiltonian action of n-dimensional torus, T^n, on a compact symplectic manifold (M,ω) with d isolated fixed points. For every fixed point p there exists (though not unique) a class a_p in H^*_{T}(M; Q) such that the collection {a_p}, over all fixed points, forms a basis for H^*_{T}(M; Q) as an H^*(BT; Q) module. The map induced by the inclusion, ι^*:H^*_{T}(M; Q) \rightarrow H^*_{T}(M^{T}; Q)= \oplus_{j=1}^{d}Q[x_1, ..., x_n] is injective. We use such classes {a_p} to give necessary and sufficient conditions for f=(f_1, ...,f_d) in \oplus_{j=1}^{d}Q[x_1, ..., x_n] to be in the image of ι^*, i.e. to represent an equiviariant cohomology class on M. In the case when T is a circle and present these conditions explicitly. We explain how to combine this 1-dimensional solution with Chang-Skjelbred Lemma in order to obtain the result for a torus T of any dimension. Moreover, for a GKM T-manifold M our techniques give combinatorial description of H^*_{K}(M; Q), for a generic subgroup K \hookrightarrow T, even if M is not a GKM K-manifold.
△ Less
Submitted 22 January, 2013; v1 submitted 4 August, 2010;
originally announced August 2010.
-
On the first group of the chromatic cohomology of graphs
Authors:
Milena D. Pabiniak,
Jozef H. Przytycki,
Radmila Sazdanovic
Abstract:
The algebra of truncated polynomials A_m=Z[x]/(x^m) plays an important role in the theory of Khovanov and Khovanov-Rozansky homology of links. We have demonstrated that Hochschild homology is closely related to Khovanov homology via comultiplication free graph cohomology. It is not difficult to compute Hochschild homology of A_m and the only torsion, equal to Z_m, appears in gradings (i,m(i+1)/2…
▽ More
The algebra of truncated polynomials A_m=Z[x]/(x^m) plays an important role in the theory of Khovanov and Khovanov-Rozansky homology of links. We have demonstrated that Hochschild homology is closely related to Khovanov homology via comultiplication free graph cohomology. It is not difficult to compute Hochschild homology of A_m and the only torsion, equal to Z_m, appears in gradings (i,m(i+1)/2) for any positive odd i. We analyze here the grading of graph cohomology which is producing torsion for a polygon. We find completely the cohomology H^{1,v-1}_{A_2}(G) and H^{1,2v-3}_{A_3}(G). The group H^{1,v-1}_{A_2}(G) is closely related to the standard graph cohomology, except that the boundary of an edge is the sum of endpoints instead of the difference. The result about H^{1,v-1}_{A_2}(G) gives as a corollary a fact about Khovanov homology of alternating and + or - adequate link diagrams. The group H^{1,2v-3}_{A_3}(G) can be computed from the homology of a cell complex, X_{Δ,4}(G), built from the graph G. In particular, we prove that A_3 cohomology can have any torsion. We give a simple and complete characterization of those graphs which have torsion in cohomology H^{1,2v-3}_{A_3}(G) (e.g. loopless graphs which have a 3-cycle). We also construct graphs which have the same (di)chromatic polynomial but different H^{1,2v-3}_{A_3}(G). Finally, we give examples of calculations of width of H^{1,*}_{A_3}(G) and of cohomology H^{1,(m-1)(v-2)+1}_{A_m}(G) for m>3.
△ Less
Submitted 13 July, 2006;
originally announced July 2006.
