Massively parallel computation of tropical varieties, their positive part, and tropical Grassmannians
Dominik Bendle,Janko Böhm,Yue Ren,Benjamin Schröter
DOI: https://doi.org/10.1016/j.jsc.2023.102224
IF: 0.97
2024-01-01
Journal of Symbolic Computation
Abstract:We present a massively parallel framework for computing tropicalizations of algebraic varieties which can make use of symmetries using the workflow management system GPI-Space and the computer algebra system Singular. We determine the tropical Grassmannian TGr 0 ( 3 , 8 ) . Our implementation works efficiently on up to 840 cores, computing the 14763 orbits of maximal cones under the canonical S 8 -action in about 20 minutes. Relying on our result, we show that the Gröbner structure of TGr 0 ( 3 , 8 ) refines the 16-dimensional skeleton of the coarsest fan structure of the Dressian Dr ( 3 , 8 ) , except for 23 orbits of special cones, for which we construct explicit obstructions to the realizability of their tropical linear spaces. Moreover, we propose algorithms for identifying maximal-dimensional cones which belong to positive tropicalizations of algebraic varieties. We compute the positive Grassmannian TGr + ( 3 , 8 ) and compare it to the cluster complex of the classical Grassmannian Gr ( 3 , 8 ) .
mathematics, applied,computer science, theory & methods