Veronese algebras and modules of rings with straightening laws (Q1941821)

The notion of algebra with straightening laws (ASL for short) was introduced in the early eighties by \textit{C. De Concini, D. Eisenbud} and \textit{C. Procesi} [Hodge algebras, Astérisque 91 (1982; Zbl 0509.13026)]. These algebras give an unified treatment of both algebraic and geometric objects that have a combinatorial nature. The coordinate rings of some classical algebraic varieties, such as determinantal rings (in particular the coordinate ring of Grassmannians) and Pfaffian rings, are examples of ASL's. One interesting question regarding ASLs is whether their Veronese algebras still have a structure of algebra with straightening laws. The only positive answer to this question was given by Conca in the case of the polynomial ring. In Section 2, the author extends Conca's result, proving that the Veronese modules of the polynomial ring have the structure of a module with straightening laws (MSL for short). As a corollary, they obtain the result of \textit{A. Aramova, Ş. Bărcănescu} and \textit{J. Herzog} [Rev. Roum. Math. Pures Appl. 40, No. 3--4, 243--251 (1995; Zbl 0883.13013)] which states that the Veronese modules have a linear resolution. Using the results of Bruns on MSL's, they also give an upper bound for the rate of a finitely generated MSL. The bound is given in terms of the degrees of its generators and the degrees of the generators of the ASL. In Section 3, the author studies whether the Veronese algebra of a homogeneous ASL still has a structure of algebra with straightening laws. The complicated structure of its Veronese algebra as an ASL indicates that this question does not have an easy answer. In the last section of this paper, the author constructs a new poset starting from a poset of rank three. Then they prove that it has the combinatorial properties to support an ASL structure of the Veronese algebra.