Related papers: Filtered restriction of geometric D-modules
Let R be a complete discrete valuation ring, S=R[[u]] and n a positive integer. The aim of this paper is to explain how to compute efficiently usual operations such as sum and intersection of sub-S-modules of S^d. As S is not principal, it…
We give an introduction to the theory of $V$-filtrations of Malgrange and Kashiwara. After discussing the basic properties of this construction (in the case of a smooth hypersurface and, later, in the general case), we describe the…
We establish some cohomological bounds in D-module theory that are known in the holonomic case and folklore in general. The method rests on a generalization of the b-function lemma for non-holonomic D-modules.
We describe an algorithm computing the monodromy and the pole order filtration on the top Milnor fiber cohomology of hypersurfaces in $\mathbb{P}^n$ whose pole order spectral sequence degenerates at the second page. In the case of…
Let $R$ be a polynomial or power series ring over a field $k$. We study the length of local cohomology modules $H^j_I(R)$ in the category of $D$-modules and $F$-modules. We show that the $D$-module length of $H^j_I(R)$ is bounded by a…
We study the following distance realization problem. Given a quasi-metric $D$ on a set $T$ of terminals, does there exist a directed Okamura-Seymour graph that realizes $D$ as the (directed) shortest-path distance metric on $T$? We show…
We use filtered modules over a Noetherian ring and fibred bounded control on homomorphisms to construct a new kind of controlled algebra with applications in geometric topology. The theory here can be thought of as a "pushout" of the…
This paper studies the algebraic structure of a new class of hyperplane arrangement $A$ obtained by deleting two hyperplanes from a free arrangement. We provide information on the minimal free resolutions of the logarithmic derivation…
Inspired by the work of Hahn-Raksit-Wilson, we introduce a variant of the even filtration which is naturally defined on $\mathbf{E}_{1}$-rings and their modules. We show that our variant satisfies flat descent and so agrees with the…
The relaxed highest weight representations introduced by Feigin et al. are a class of representations of the affine Kac-Moody algebra $\hat{\mathfrak{sl}_2}$, which do not have a highest (or lowest) weight. We formulate a generalization of…
Evaluating a polynomial on a set of points is a fundamental task in computer algebra. In this work, we revisit a particular variant called trimmed multipoint evaluation: given an $n$-variate polynomial with bounded individual degree $d$ and…
We construct Hodge filtered cohomology groups for complex manifolds that combine the topological information of generalized cohomology theories with geometric data of Hodge filtered holomorphic forms. This theory provides a natural…
The goal of this note is to explain a derivation of the formulas for the local Euler obstructions of determinantal varieties of general, symmetric and skew-symmetric matrices, by studying the invariant de Rham complex and using character…
The Koszul homology of modules of the polynomial ring $R$ is a central object in commutative algebra.It is strongly related with the minimal free resolution of these modules, and thus with regularity, Hilbert functions, etc. Here we…
We give a definition for the restriction of a difference module on the affine line to a formal neighborhood of an orbit, trying to mimic the analogous definition and properties for a D-module. We show that this definition is reasonable in…
We show that the triply-graded Khovanov-Rozansky homology of the $(m,n)$ torus knot can be recovered from the finite-dimensional representation $\mathrm{L}_{m/n}$ of the rational Cherednik algebra at slope $m/n$, endowed with the Hodge…
We use discrete Morse theory to study free resolutions of monomial ideals in combination with splitting techniques. We establish the minimality of such pruned resolutions for several classes of ideals, including stable and linear quotient…
We study the Hodge filtrations of Schmid and Vilonen on unipotent representations of real reductive groups. We show that for various well-defined classes of unipotent representations (including, for example, the oscillator representations…
Feynman integrals are solutions to linear partial differential equations with polynomial coefficients. Using a triangle integral with general exponents as a case in point, we compare $D$-module methods to dedicated methods developed for…
Let $\Lambda$ be a basic finite dimensional algebra over an algebraically closed field, presented as a path algebra modulo relations; further, assume that $\Lambda$ is graded by lengths of paths. The paper addresses the classifiability, via…