Related papers: Total positivity criteria for partial flag varieti…
We prove a local-global principle for twisted flag varieties over a semiglobal field.
In a previous paper we defined the concept of an affinized projective variety and its associated Hilbert series. We computed the Hilbert series for varieties associated to quadratic monomial ideals. In this paper we show how to apply these…
We show that the totally nonnegative part of a partial flag variety $G/P$ (in the sense of Lusztig) is a regular CW complex, confirming a conjecture of Williams. In particular, the closure of each positroid cell inside the totally…
We study intersections of opposite Bruhat cells in a semisimple complex Lie group, and associated totally nonnegative varieties.
We classify the (semi-simple parts of the) Lie algebra of the Zariski closure of a discrete subgroup of a split simple real-algebraic Lie group, whose limit sets are minimal and such that the limit set in the space of full flags contains a…
Let G be a semisimple simply connected group of simply laced type over C. We show that the flag manifold of G has a version defined over the "tropical" semifield Z on which the monoid G(Z) associated to G and the semifield Z acts.
We further develop the general theory of the "mixed modular derived category" introduced by the authors in a previous paper in this series. We then use it to study positivity and Q-Koszulity phenomena on flag varieties.
We introduce $\Theta$-positivity, a new notion of positivity in real semisimple Lie groups. The notion of $\Theta$-positivity generalizes at the same time Lusztig's total positivity in split real Lie groups as well as well known concepts of…
We prove that checking if a partial matrix is partial totally positive is co-NP-complete. This contrasts with checking a conventional matrix for total positivity, for which we provide a cubic time algorithm. Checking partial sign regularity…
We prove the positivity conjecture for all skew-symmetric cluster algebras.
We compute the Hilbert series of general weighted flag varieties and discuss a computer-aided method to determine their defining equations. We apply our results to weighted flag varieties coming from the Lie groups of type G_2 and GL(6), to…
We give a new proof of the Mordell-Lang conjecture in positive characteristic for finitely generated subgroups. We also make some progress towards the full Mordell-Lang conjecture in positive characteristic.
The main goal of this paper is to show that the (multi-homogeneous) coordinate ring of a partial flag variety $\mathbb{C} [G / P_K^{-}]$ admits a cluster algebra structure if $G$ is any simply-connected semisimple complex algebraic group.…
For any semifield K we define a K-form of a partial flag manifold of a semisimple group G of simply laced type over the complex numbers. The definition is in terms of the theory of canonical bases.
Let $G$ be a Kac-Moody group, split over $\mathbb R$. The totally nonnegative part of $G$ and its (ordinary) flag variety $G/B^+$ was introduced by Lusztig. It is known that the totally nonnegative parts of $G$ and $G/B^+$ have remarkable…
Let G be a semisimple affine algebraic group and P a parabolic subgroup of G. We classify all flag varieties G/P which admit an action of the commutative unipotent group G_a^n with an open orbit.
We show that braid varieties for any complex simple algebraic group $G$ are cluster varieties. This includes open Richardson varieties inside the flag variety $G/B$.
We study the intersection of the totally positive part of a split semisimple group over the real numbers with a totally positive parabolic subgroup.
We study the totally non-negative part of the complete flag variety and of its tropicalization. We start by showing that Lusztig's notion of non-negative complete flag variety coincides with the flags in the complete flag variety which have…
We consider rational projective homogeneous varieties over an algebraically closed field of positive characteristic, namely quotients of a semi-simple group by a possibly non-reduced parabolic subgroup. We determine the group scheme…