Related papers: Saito criterion and its avatars
We give an explicit finite-dimensional model for the derived moduli stack of flat connections on $\mathbb{C}^k$ with logarithmic singularities along a weighted homogeneous Saito free divisor. We investigate in detail the case of plane…
Let $(R,\mm,K)$ be a regular local ring containing a field $k$ such that either char $k=0$ or char $k=p$ and tr-deg $K/\BF_p\geq 1$. Let $g_1,\ldots,g_t$ be regular parameters of $R$ which are linearly independent modulo $\mm^2$. Let…
In this paper, a randomized algorithm for deciding the irreducibility of an irreducible polynomial and factoring a reducible polynomial over the field of rational numbers is presented. The main idea underlying the algorithm is based on…
Even though modularity has been studied extensively in conventional logic programming, there are few approaches on how to incorporate modularity into Answer Set Programming, a prominent rule-based declarative programming paradigm. A major…
An important result in real algebraic geometry is the projection theorem: every projection of a semialgebraic set is again semialgebraic. This theorem and some of its conclusions lie at the basis of many other results, for example the…
A plane curve on a the projective space over a field of characteristic zero is free if its associated sheaf T of tangent vector fields tangent is a free module. Relatively few free curves are known. Here we prove that a divisor consisting…
Attribute reduction is a basic issue in knowledge representation and data mining. Rough sets provide a theoretical foundation for the issue. Matroids generalized from matrices have been widely used in many fields, particularly greedy…
In this article we introduce powerful tools and techniques from invariant theory to free analysis. This enables us to study free maps with involution. These maps are free noncommutative analogs of real analytic functions of several…
We study stable reduction of curves in the case where a tamely ramified base extension is sufficient. If X is a smooth curve defined over the fraction field of a strictly henselian discrete valuation ring, there is a criterion, due to T.…
We start by constructing a new root system for rational triple singularities and determine the number of roots for each rational triple singularity. Then we show that, for each root, we obtain a linear free divisor. So we obtain a new…
We consider the Zariski-Lipman Conjecture on free module of derivations for algebraic surfaces. Using the theory of non-complete algebraic surfaces, and some basic results about ruled surfaces, we will prove the conjecture for several…
Building on work of Brandt and Terao in their study of $k$-formality, we introduce a co-chain complex associated to a multi-arrangement and prove that its cohomologies determine freeness of the associated module of multi-derivations. This…
We prove several classification results for the components of the moduli space of rational curves on a smooth Fano threefold. In particular, we prove a conjecture of Batyrev on the growth of the number of components as the degree increases.…
In functional analysis there are several reasonable approaches to the notion of a projective module. We show that a certain general-categorical framework contains, as particular cases, all known versions. In this scheme, the notion of a…
The wall-and-chamber structure of the dependence of the reductive GIT quotient on the choice of linearisation is well known. In this article, we first give a brief survey of recent results in non-reductive GIT, which apply when the…
Forman's Discrete Morse theory is studied from an algebraic viewpoint. Analogous to independent work of Emil Skoeldberg we show that this theory can be extended to chain complexes of free modules over a ring. We provide three applications…
In 2002, Terao showed that every reflection multi-arrangement of a real reflection group with constant multiplicity is free by providing a basis of the module of derivations. We first generalize Terao's result to multi-arrangements stemming…
We overview numerous algorithms in computational $D$-module theory together with the theoretical background as well as the implementation in the computer algebra system \textsc{Singular}. We discuss new approaches to the computation of…
We prove a structure theorem for the differential operator in the 0-term of the ${\cal V}$-filtration with respect to a free divisor. Using this theorem, we give a formula for the logarithmic de Rham complex in terms of ${\cal…
A practical criterion for the irreducibility (with respect to integration by part identities) of a particular Feynman integral to a given set of integrals is presented. The irreducibility is shown to be related to the existence of stable…