Second syzygy of determinantal ideals generated by minors of generic symmetric matrices (Q674478): Difference between revisions

The author proves a plethysm formula for the complex \(S(S_2\varphi)\). Here \(S\) denotes the symmetric algebra, \(S_2\) the second symmetric power, \(\varphi\) an \(R\)-homomorphism of finite free modules over a commutative ring \(R\). The author also investigates a family of subcomplexes of the Schur complexes. Using these tools the author studies the syzygies of the ideal of \(t\)-minors \(I_t(X)\) of a generic \(n\times n\) symmetric matrix. He gives a new proof of Kurano's theorem [\textit{K. Kurano}, J. Algebra 124, No. 2, 388-413 (1989; Zbl 0699.14013)] saying that the first syzygies of \(I_t(X)\) are the expected ones in all characteristics, and shows that the number of third syzygies may depend on the characteristic \(p\) of the field of coefficients: For \(t=3\) and \(n\geq 11\) the value in characteristic 3 exceeds that in characteristic 0. Previously Andersen had shown that the number of fourth syzygies may depend on \(p\) [\textit{J. L. Andersen}, Thesis (Univ. Minnesota 1992)].