Related papers: Saito criterion and its avatars
Lezama \cite{LezamaLatorre2017} introduced the notion of semi-graded ring with the aim of generalizing $\mathbb{Z}$-graded rings and several families of noncommutative rings of polynomial type non-$\mathbb{N}$-graded such as the skew…
We show that any good moduli space $\pi : \mathcal{X} \to Y$ has a splitting after a proper, generically finite covering of $Y$. As an application we generalize Koll\'ar's ampleness lemma to give a criterion for projectivity of a good…
These notes are an extended version of the authors' lectures at the 2013 CMI Workshop "Mixed Hodge Modules and Their Applications". We give an overview, with an emphasis on applications, of recent developments on the interaction between…
We investigate under what conditions holomorphic forms defined on the regular locus of a reduced complex space extend to holomorphic (or logarithmic) forms on a resolution of singularities. We give a simple necessary and sufficient…
This paper presents new approaches for finding the determinant and inverse of a matrix. The choice of pivot selection is kept arbitrary and can be made according to the users need. So the ill conditioned matrices can be handled easily. The…
The purpose of this paper is to study the structure of reflexive sheaves over projective spaces through hyperplane sections. We give a criterion for a reflexive sheaf to split into a direct sum of line bundles. An application to the theory…
We extend Langton's valuative criterion for families of coherent algebraic sheaves to a complex analytic set-up. As a consequence we derive a set of sufficient conditions for the compactness of a moduli space of semistable sheaves over a…
Let R be a subring of the rationals. We want to investigate self splitting R-modules G that is Ext_R(G,G)=0 holds and follow Schultz to call such modules splitters. Free modules and torsion-free cotorsion modules are classical examples for…
A set of objects is to be divided fairly among agents with different tastes, modeled by additive utility-functions. If we consider the objects as indivisible, many instances of the decision problem: ``Is there a fair division of the objects…
Trinomial varieties are affine varieties given by a system of equations consisting of polynomials with three terms. Such varieties are total coordinate spaces of normal varieties with torus action of complexity one. For an affine variety…
For finite complex reflexion groups, we consider the graded $W$-modules of diagonally harmonic polynomials in $r$ sets of variables, and show that associated Hilbert series may be described in a global manner, independent of the value of…
We define pullback and separated presentations of modules over pullback rings, and, if the ring is a pullback of epimorphisms over a semisimple ring, an algorithm reducing such a presentation of a module to an $R$-diagram. The latter is the…
A criterion for a functor between derived categories of coherent sheaves to be full and faithful is given. A semiorthogonal decomposition for the derived category of coherent sheaves on the intersection of two even dimensional quadrics is…
Numerical invariants of a minimal free resolution of a module $M$ over a regular local ring $(R,\n)$ can be studied by taking advantage of the rich literature on the graded case. The key is to fix suitable $\n$-stable filtrations ${\mathbb…
We give a valuative criterion for when a smooth algebraic stack with a separated good moduli space is the quotient of a separated Deligne-Mumford stack by a torus. For doing so, we introduce a new class of morphisms, the so-called effective…
We develop a general criterion for cut elimination in sequent calculi for propositional modal logics, which rests on absorption of cut, contraction, weakening and inversion by the purely modal part of the rule system. Our criterion applies…
The key to a robust and efficient implementation of a computational geometry algorithm is an efficient algorithm for detecting degenerate predicates. We study degeneracy detection in constructing the free space of a polyhedron that rotates…
In 2002, it was conjectured that a free divisor satisfying the so-called Logarithmic Comparison Theorem (LCT) must be strongly Euler-homogeneous. Today, it is known to be true only in ambient dimension less or equal than three or assuming…
We confirm the quasi-projective case of Saito's conjecture, namely that the cohomological characteristic classes defined by Abbes and Saito can be computed in terms of the characteristic cycles. We construct a cohomological characteristic…
The necessary and sufficient conditions for a function to be totally or partially separable are derived. It is shown that a function is totally separable if and only if each component of the gradient vector of depends only on the…