2023/12/21 by Benedetti, Vladimiro, Faenzi, Daniele, Marchesi, Simone
#Algebraic Geometry (math.AG) #FOS: Mathematics
paper · doi:10.48550/arxiv.2312.13656
We exhibit a relationship between projective duality and the sheaf of logarithmic vector fields along a reduced divisor D of projective space, in that the push-forward of the ideal sheaf of the conormal variety in the point-hyperplane incidence, twisted by the tautological ample line bundle is isomorphic to logarithmic differentials along D. Then we focus on the adjoint discriminant D of a simple Lie group with Lie algebra \mathfrakg over an algebraically closed field k of characteristic zero and study the logarithmic module DerU(-log(D)) over U=k[\mathfrakg]. When \mathfrakg is simply laced, we show that this module has two direct summands: the G-invariant part, which is free with generators in degrees equal to the exponents of G, and the G-variant part, which is of projective dimension one, presented by the Jacobian matrix of the basic invariants of G and isomorphic to the image of the map ad : \mathfrakg ⊗ U(-1) → \mathfrakg ⊗ U given by the Lie bracket. When \mathfrakg is not simply laced, we give a length-one equivariant graded free resolution of DerU(-log(D)) in terms of the exponents of G and of the quasi-minuscule representation of G.