Birationality criterion for residual linear type monomial ideals

Let k[x]=k[x1,,xn]k[\mathbf{x}]=k[x_1,\ldots,x_n], and let FF be a finite set of qnq\geq n monomials of the same degree d2d\geq 2. Suppose that the ideal (F)k[x](F)\subset k[\mathbf{x}] is of residual linear type, meaning that the defining bihomogeneous ideal of its Rees algebra is generated in bidegrees (,1)( *,1) and (0,)(0,*). Let the log-matrix of FF record the exponents of its monomials, and let its linear syzygy matrix record the linear syzygies among the elements of FF. Write k[xd]k[\mathbf{x}_d] for the kk-subalgebra generated by all monomials of degree dd. Birationality criterion. The following conditions are equivalent: (i) both the log-matrix and the linear syzygy matrix of FF have maximal rank; (ii) the extension k[F]k[xd]k[F]\subset k[\mathbf{x}_d] is birational. Ideals of residual linear type, also called ideals of fiber type, have defining relations generated by those of the symmetric algebra together with the polynomial relations over kk. The conjecture asks whether the rank conditions on the monomial data and linear syzygies exactly characterize birationality for this class of ideals; its resolution is not supplied in the source.

Sources & referencesView supporting material

Primary source

Aron Simis and Rafael H. Villarreal, “Linear syzygies and birational combinatorics”, arXiv:math/0505159 (2006).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.