We formulate several conjectures which shed light on the structure of Veronese syzygies of projective spaces. Our conjectures are based on experimental data that we derived by developing a numerical linear algebra and distributed computation technique for computing and synthesizing new cases of Veronese embeddings for P 2 .We analyze the Betti numbers of S(b; d), as well as multigraded and equivariant refinements. We write
DateThus β p,p+q (P n , b; d) denotes the vector space dimension of K p,q (P n , b; d). The natural linear action of GL n+1 (C) on S induces an action on K p,q (P n , b; d), and so we can decompose this as a direct sum of Schur functors of total weight d(p + q) + b i.e.where S λ is the Schur functor corresponding to the partition λ [FH91, p. 76]. This is the Schur decomposition of K p,q (P n , b; d), and is the most compact way to encode the syzygies. Specializing to the action of (C * ) n+1 , gives a decomposition of K p,q (P n , b; d) into a sum of Z n+1 -graded vector spaces of total weight d(p + q) + b. Specifically, writing C(−a) for the vector space C together with the (C * ) n+1 -action given by (λ 0 , λ 1 , . . . , λ n )·µ = λ a 0 0 λ a 1 1 · · · λ an n µ we haveas a Z n+1 -graded vector spaces, or equivalently as (C * ) n+1 representations. This is referred to as the multigraded decomposition of K p,q (P n , b; d).We are motivated by three main questions. The most ambitious goal is to provide a full description of the Betti table of every Veronese embedding in terms of Schur modules.Question 0.1 (Schur Modules). Compute the Schur module decomposition of K p,q (P n , b; d).Almost nothing is known, or even conjectured, about this question, even in the case of P 2 . Our most significant conjecture provides a first step towards an answer to this question. Specifically, Conjecture 6.1 proposes an explicit prediction for the Schur modules S λ ⊆ K p,q (P n , b; d) with the most dominant weights.Our second question comes from Ein and Lazarsfeld's [EL12, Conjecture 7.5] and is related to more classical questions about Green's N p -condition for varieties [Gre84a, EL93]:Question 0.2 (Vanishing). When is K p,q (P n , b; d) = 0?Our Conjecture 6.1 would also imply [EL12, Conjecture 7.5], and thus it offers a new perspective on Question 0.2. Conjecture 6.1 is based on a construction of monomial syzygies, introduced in [EEL16]. Our new data suggests a surprisingly tight correspondence between the dominant weights of K p,q (P n , b; d) and the monomial syzygies constructed in [EEL16], and that there is much more to be understood from this simple monomial construction.Our third question is inspired by Ein, Erman, and Lazarsfeld's conjecture that each row of these Betti tables converges to a normal distribution [EEL15, Conjecture B]. Question 0.3 (Quantitative Behavior). Fix n, q and b.(1) Can one provide any reasonable quantitative description or bounds on K p,q (P n , b; d), either for a fixed d or as d → ∞? (2) More specifically, does the function p → dim K p,q (P n , b; d), when appropriately scaled...