Tropical symplectic flag varieties: a Lie-theoretic approach
We study tropicalization of symplectic flag varieties with respect to the Pl\"ucker embedding. We identify a particular maximal prime cone in this tropicalization by explicitly giving its facets. For every interior point of this maximal cone, the corresponding Gr\"obner degeneration is the toric variety associated to the Feigin-Fourier-Littelmann-Vinberg (FFLV) polytope. Our main tool is the notion of birational sequences introduced by Fourier, Littelmann and the second author, which bridges between weighted PBW filtrations of representations of symplectic Lie algebras and degree functions on defining ideals of symplectic flag varieties.