Remarks on Blowing-Up Divisorial Ideals.
The rational homology groups of packing complexes are important in algebraic geometry since they control the syzygies of line bundles on projective embeddings of products of projective spaces (Segre–Veronese varieties). These complexes are a common generalization of the multidimensional chessboard complexes and of the matching complexes of complete uniform hypergraphs, whose study has been a topic of interest in combinatorial topology. We prove that the multivariate version of representation stability,...
We consider the representation theory for a class of log-canonical surface singularities in the sense of reflexive (or equivalently maximal Cohen-Macaulay) modules and in the sense of finite dimensional representations of the local fundamental group. A detailed classification and enumeration of the indecomposable reflexive modules is given, and we prove that any reflexive module admits an integrable connection and hence is induced from a finite dimensional representation of the local fundamental...
Consider a compact subset of real -space defined by polynomial inequalities . For a polynomial non-negative on , natural sufficient conditions are given (in terms of first and second derivatives at the zeros of in ) for to have a presentation of the form , a sum of squares of polynomials. The conditions are much less restrictive than the conditions given by Scheiderer in [11, Cor. 2.6]. The proof uses Scheiderer’s main theorem in [11] as well as arguments from quadratic form theory...
This paper studies the representation of a non-negative polynomial f on a non-compact semi-algebraic set K modulo its KKT (Karush-Kuhn-Tucker) ideal. Under the assumption that f satisfies the boundary Hessian conditions (BHC) at each zero of f in K, we show that f can be represented as a sum of squares (SOS) of real polynomials modulo its KKT ideal if f ≥ 0 on K.
We show an explicit relation between the Chow form and the Grothendieck residue; and we clarify the role that the residue can play in the intersection theory besides its role in the division problem.