@article{KreuzerLinhLong2024, author = {Kreuzer, Martin and Linh, Tran N. K. and Long, Le N.}, title = {Differential theory of zero-dimensional schemes}, series = {Journal of Pure and Applied Algebra}, volume = {229 (2025)}, journal = {Journal of Pure and Applied Algebra}, number = {1}, publisher = {Elsevier}, address = {Amsterdam}, issn = {1873-1376}, doi = {10.1016/j.jpaa.2024.107815}, url = {http://nbn-resolving.de/urn:nbn:de:bvb:739-opus4-19130}, pages = {31 Seiten}, year = {2024}, abstract = {To study a 0-dimensional scheme |X in |P^n over a perfect field K, we use the module of K{\"a}hler differentials (Omega)(^1)(_{R/K}) of its homogeneous coordinate ring R and its exterior powers, the higher modules of K{\"a}hler differentials (Omega)(^m)(_{R/K}). One of our main results is a characterization of weakly curvilinear schemes |X by the Hilbert polynomials of the modules (Omega)(^m)(_{R/K}) which allows us to check this property algorithmically without computing the primary decomposition of the vanishing ideal of |X. Further main achievements are precise formulas for the Hilbert functions and Hilbert polynomials of the modules (Omega)(^m)(_{R/K}) for a fat point scheme |X which extend and settle previous partial results and conjectures. Underlying these results is a novel method: we first embed the homogeneous coordinate ring R into its truncated integral closure ~R. Then we use the corresponding map from the module of K{\"a}hler differentials (Omega)(^1)(_{R/K}) to (Omega)(^1)(_{~R/K}) to find a formula for the Hilbert polynomial HP((Omega)(^1)(_{R/K})) and a sharp bound for the regularity index ri((Omega)(^1)(_{R/K})). Next we extend this to formulas for the Hilbert polynomials HP((Omega)(^m)(_{R/K})) and bounds for the regularity indices of the higher modules of K{\"a}hler differentials. As a further application, we characterize uniformity conditions on |X using the Hilbert functions of the K{\"a}hler differential modules of |X and its subschemes.}, language = {en} }