Commutative Algebra (math.AC)

  • PDF
    We compute the $F$-pure threshold of a degree three homogeneous polynomial in three variables with an isolated singularity. The computation uses elementary methods to prove a known result of Bhatt and Singh.
  • PDF
    For a ring R with identity, we define a class of nonlinear higher order recurrences on unitary left R-modules that include linear recurrences as special cases. We obtain sufficient conditions for the equivalence of a recurrence of order k+1 in this class to a pair consisting of a recurrence of order k and a recurrence of order 1. A sufficient condition for the existence of such a pair, known as a semiconjugate factorization of the original recurrence, is the existence of certain sequences of units in R. If the coefficients of the original recurrence in R are independent of the time index then we show that the factorization exists whenever two characteristic polynomials share a common root that is a unit in R. We use this fact to show that polynomial factorization in integral domains implies the semiconjugate factorization of recurrences in the corresponding modules. Our results are applicable to systems of higher order difference equations in direct products of rings for which, unlike the more commonly studied first-order systems, no standard theory is available even when the rings are fields.
  • PDF
    This paper initiates the study of the "Laplacian simplex" $T_G$ obtained from a finite graph $G$ by taking the convex hull of the columns of the Laplacian matrix for $G$. Basic properties of these simplices are established, and then a systematic investigation of $T_G$ for trees, cycles, and complete graphs is provided. Motivated by a conjecture of Hibi and Ohsugi, our investigation focuses on reflexivity, the integer decomposition property, and unimodality of Ehrhart $h^*$-vectors. We prove that if $G$ is a tree, odd cycle, complete graph, or a whiskering of an even cycle, then $T_G$ is reflexive. We show that while $T_{K_n}$ has the integer decomposition property, $T_{C_n}$ for odd cycles does not. The Ehrhart $h^*$-vectors of $T_G$ for trees, odd cycles, and complete graphs are shown to be unimodal. As a special case it is shown that when $n$ is an odd prime, the Ehrhart $h^*$-vector of $T_{C_n}$ is given by $(h_0^*,\ldots,h_{n-1}^*)=(1,\ldots,1,n^2-n+1,1,\ldots, 1)$. We also provide a combinatorial interpretation of the Ehrhart $h^*$-vector for $T_{K_n}$.