Hcfyk

Let $Gr(k,n)$ be the set of all $k$-dimensional subspaces of an $n$-dimensional vector space. Then $Gr(k,n)$ is a projective variety and it has Plucker coordinates $P_i_1, ldots, i_k$ ($i_1<ldots<i_k$) which is the determinant of the matrix $(x_ij)_i in [k], j in i_1, ldots, i_k$. Certain Plucker coordinates satisfy the Plucker relation. For example, for $Gr(2,n)$, $P_12P_34 + P_23P_14-P_13P_24=0$. Therefore $P_13P_24 = P_12P_34 + P_23P_14$ can be viewed as a decomposition of the product of $P_13$ and $P_24$. For $P_12$, $P_34$, we say that their product is irreducible. That is $P_12P_34$ cannot be written as a sum (with two or more terms in the summation, each summand has positive coefficient) of products of Plucker coordinates.

Given two Plucker coordinates $P_i_1, ldots, i_k$, $P_j_1, ldots, j_k$, is there some formula for the decomposition of $P_i_1, ldots, i_k P_j_1, ldots, j_k = sum_T c_T P_T$ (P_T is a product of certain Plucker coordinates, $c_T>0$) in the literature? Thank you very much.

Your exact question seems a little strange to me because, beyond the 3-term relation, more general Plücker relations will have many terms with both positive and negative signs. So for $k>2$ it is not clear that we can ever do decompositions of the type you're describing. But the question of which subsets of Plücker coordinates are algebraically independent and generate the coordinate ring of the Grassmannian, and how do we write arbitrary elements of the coordinate ring in the corresponding basis, is the beginning of the study of cluster algebras. See e.g. https://arxiv.org/abs/math/0311148.