No Arabic abstract
We introduce a notion of weakly log-canonical Poisson structures on positive varieties with potentials. Such a Poisson structure is log-canonical up to terms dominated by the potential. To a compatible real form of a weakly log-canonical Poisson variety we assign an integrable system on the product of a certain real convex polyhedral cone (the tropicalization of the variety) and a compact torus. We apply this theory to the dual Poisson-Lie group $G^*$ of a simply-connected semisimple complex Lie group $G$. We define a positive structure and potential on $G^*$ and show that the natural Poisson-Lie structure on $G^*$ is weakly log-canonical with respect to this positive structure and potential. For $K subset G$ the compact real form, we show that the real form $K^* subset G^*$ is compatible and prove that the corresponding integrable system is defined on the product of the decorated string cone and the compact torus of dimension $frac{1}{2}({rm dim} , G - {rm rank} , G)$.
Let G be a complex reductive group acting on a finite-dimensional complex vector space H. Let B be a Borel subgroup of G and let T be the associated torus. The Mumford cone is the polyhedral cone generated by the T-weights of the polynomial functions on H which are semi-invariant under the Borel subgroup. In this article, we determine the inequalities of the Mumford cone in the case of the linear representation associated to a quiver and a dimension vector n=(n_x). We give these inequalities in terms of filtered dimension vectors, and we directly adapt Schofields argument to inductively determine the dimension vectors of general subrepresentations in the filtered context. In particular, this gives one further proof of the Horn inequalities for tensor products.
Smale-Barden manifolds are simply-connected closed 5-manifolds. It is an important and difficult question to decide when a Smale-Barden manifold admits a Sasakian or a K-contact structure. The known constructions of Sasakian and K-contact structures are obtained mainly by two techniques. These are either links (Boyer and Galicki), or semi-regular Seifert fibrations over smooth orbifolds (Kollar). Recently, the second named author of this article started the systematic development of quasi-regular Seifert fibrations, that is, over orbifolds which are not necessarily smooth. The present work is devoted to several applications of this theory. First, we develop constructions of a Smale-Barden manifold admitting a quasi-regular Sasakian structure but not a semi-regular K-contact structure. Second, we determine all Smale-Barden manifolds that admit a null Sasakian structure. Finally, we show a counterexample in the realm of cyclic Kahler orbifolds to the algebro-geometric conjecture that claims that for an algebraic surface with $b_1=0$ and $b_2>1$ there cannot be $b_2$ smooth disjoint complex curves of genus g>0 spanning the (rational) homology.
Let $G$ be a connected and simply connected complex semisimple Lie group. For a collection of homogeneous $G$-spaces $G/Q$, we construct a finite atlas ${mathcal{A}}_{rm BS}(G/Q)$ on $G/Q$, called the Bott-Samelson atlas, and we prove that all of its coordinate functions are positive with respect to the Lusztig positive structure on $G/Q$. We also show that the standard Poisson structure $pi_{G/Q}$ on $G/Q$ is presented, in each of the coordinate charts of ${mathcal{A}}_{rm BS}(G/Q)$, as a symmetric Poisson CGL extension (or a certain localization thereof) in the sense of Goodearl-Yakimov, making $(G/Q, pi_{G/Q}, {mathcal{A}}_{rm BS}(G/Q))$ into a Poisson-Ore variety. Examples of $G/Q$ include $G$ itself, $G/T$, $G/B$, and $G/N$, where $T subset G$ is a maximal torus, $B subset G$ a Borel subgroup, and $N$ the uniradical of $B$.
We study several questions on the existence of negative Sasakian structures on simply connected rational homology spheres and on Smale-Barden manifolds of the form $#_k(S^2times S^3)$. First, we prove that any simply connected rational homology sphere admitting positive Sasakian structures also admits a negative one. This result answers the question, posed by Boyer and Galicki in their book [BG], of determining which simply connected rational homology spheres admit both negative and positive Sasakian structures. Second, we prove that the connected sum $#_k(S^2times S^3)$ admits negative quasi-regular Sasakian structures for any $k$. This yields a complete answer to another question posed in [BG].
We study the exotic t-structure on the derived category of coherent sheaves on two-block Springer fibre (i.e. for a nilpotent matrix of type (m+n,n) in type A). The exotic t-structure has been defined by Bezrukavnikov and Mirkovic for Springer theoretic varieties in order to study representations of Lie algebras in positive characteristic. Using work of Cautis and Kamnitzer, we construct functors indexed by affine tangles, between categories of coherent sheaves on different two-block Springer fibres (i.e. for different values of n). After checking some exactness properties of these functors, we describe the irreducible objects in the heart of the exotic t-structure, and enumerate them by crossingless (m,m+2n) matchings. We compute the Exts between the irreducible objects, and show that the resulting algebras are an annular variant of Khovanovs arc algebras. In subsequent work we will make a link with annular Khovanov homology, and use these results to give a positive characteristic analogue of some categorification results using two-block parabolic category O (by Bernstein-Frenkel-Khovanov, Brundan, Stroppel, et al).