Related papers: An algorithm for computing Grothendieck local resi…
Polynomial reduction is one of the main tools in computational algebra with innumerable applications in many areas, both pure and applied. Since many years both the theory and an efficient design of the related algorithm have been solidly…
Polynomial system solving arises in many application areas to model non-linear geometric properties. In such settings, polynomial systems may come with degeneration which the end-user wants to exclude from the solution set. The…
Grothendieck's formal functions theorem states that the coherent cohomology of a Noetherian scheme can be recovered from that of a blowup and the infinitesimal thickenings of the center and of the exceptional divisor of the blowup. In this…
In this paper we generalize the classical Groebner basis technique to prove the existence and present a method of computation of a dimension polynomial in two variables associated with a finitely generated D-module, that is, a finitely…
For an embedding of sufficiently high degree of a smooth projective variety X into projective space, we use residues to define a filtered holonomic D-module (M, F) on the dual projective space. This gives a concrete description of the…
We review recent results for heterotic moduli and the Hull--Strominger system. In particular, we discuss mathematical properties of the recently derived deformation operator $\bar D$ associated to the deformation complex of heterotic…
We compute the characters of the simple GL-equivariant holonomic D-modules on the vector spaces of general, symmetric and skew-symmetric matrices. We realize some of these D-modules explicitly as subquotients in the pole order filtration…
We introduce an appropriate notion of trace in the setting of quaternionic linear operators, arising from the well-known companion matrices. We then use this notion to define the quaternionic Fredholm determinant of trace-class operators in…
The main focus is the generic freeness of local cohomology modules in a graded setting. The present approach takes place in a quite nonrestrictive setting, by solely assuming that the ground coefficient ring is Noetherian. Under additional…
We consider families of sparse Laurent polynomials f_1,...,f_n with a finite set of common zeroes Z_f in the complex algebraic n-torus. The global residue assigns to every Laurent polynomial g the sum of its Grothendieck residues over the…
Remarks on the Hodge-Grothendieck class of the nearby cycles functor and a generalized local invariant cycles result.
The classical persistence algorithm computes the unique decomposition of a persistence module implicitly given by an input simplicial filtration. Based on matrix reduction, this algorithm is a cornerstone of the emergent area of topological…
Residue complexes were introduced by Grothendieck in algebraic geometry. These are canonical complexes of injective modules that enjoy remarkable functorial properties (traces). In this paper we study residue complexes over noncommutative…
In this paper we present algorithms for an efficient implementation of the Localized Orthogonal Decomposition method (LOD). The LOD is a multiscale method for the numerical simulation of partial differential equations with a continuum of…
We introduce an algorithm to decompose orthogonal matrix representations of the symmetric group over the reals into irreducible representations, which as a by-product also computes the multiplicities of the irreducible representations. The…
We consider cohomology of small categories with coefficients in a natural system in the sense of Baues and Wirsching. For any funtor L: K -> CAT, we construct a spectral sequence abutting to the cohomology of the Grothendieck construction…
We prove a local duality for some schemes associated to a 2-dimensional complete local ring whose residue field is an n-dimensional local field in the sense of Kato-Parshin. Our results generalize the Saito works in the case n=0 and are…
In this article, we study the behaviour of smooth algebra $R$ over local Noetherian local ring $A$. At first, we observe that for every $f\in R$, $R_f$ has finite length in the category of $D(R,A)$-module if dimension of $A$ is zero. This…
We define certain higher-dimensional Dedekind sums that generalize the classical Dedekind-Rademacher sums, and show how to compute them effectively using a generalization of the continued-fraction algorithm. We present two applications.…
The purpose of this paper is to study local cohomology in the noncommutative algebraic geometry framework of Artin and Zhang. The noncommutative spaces are obtained by base change of a Grothendieck category that is locally noetherian or…