Related papers: Gr\"obner basics for mixed Hodge modules

We establish doubly-exponential degree bounds for Gr\"obner bases in certain algebras of solvable type over a field (as introduced by Kandri-Rody and Weispfenning). The class of algebras considered here includes commutative polynomial…

In this paper, we characterized the relationship between Groebner bases and u-bases: any minimal Groebner basis of the syzygy module for n univariate polynomials with respect to the term-over-position monomial order is its u-basis.…

Modular algorithm are widely used in computer algebra systems (CAS), for example to compute efficiently the gcd of multivariate polynomials. It is known to work to compute Groebner basis over $\Q$, but it does not seem to be popular among…

We will introduce an $\mathbb{N}$-filtration on the negative part of a quantum group of type $A_n$, such that the associated graded algebra is a q-commutative polynomial algebra. This filtration is given in terms of the representation…

A Gr\"obner basis for the ideal determining mod 2 cohomology of Grassmannian G_{3,n} is obtained. This is used, along with the method of obstruction theory, to establish some new immersion results for these manifolds.

In this paper, we prove a Beilinson-type formula for the V-filtration of Kashiwara and Malgrange on a complex mixed Hodge module, using Hodge filtrations on the localization. Our formula expresses the V-filtration as the filtered D-module…

For a smooth algebraic variety $X$, a monodromic $D$-module on $X\times \mathbb{C}$ is decomposed into a direct sum of some $D$-modules on $X$. We show that the Hodge filtration of a mixed Hodge module on $X\times \mathbb{C}$ whose…

We introduce the notion of generalized bialgebra, which includes the classical notion of bialgebra (Hopf algebra) and many others. We prove that, under some mild conditions, a connected generalized bialgebra is completely determined by its…

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…

We determine explicitly the Hodge ideals for the determinant hypersurface as an intersection of symbolic powers of determinantal ideals. We prove our results by studying the Hodge and weight filtrations on the mixed Hodge module O_X(*Z) of…

In this paper we present the first-ever computer formalization of the theory of Gr\"obner bases in reduction rings, which is an important theory in computational commutative algebra, in Theorema. Not only the formalization, but also the…

In this work, we develop a new theory of multivariate V-filtration on D-modules along a simple normal crossing divisor and relate it with Sabbah's multi-filtration. We establish several new structural results and relate them with the Hodge…

We provide a framework connecting several well known theories related to the linearity of graded modules over graded algebras. In the first part, we pay a particular attention to the tensor products of graded bimodules over graded algebras.…

Necessary and sufficient conditions are given for a $G$-graded simple module over a unital associative algebra, graded by an abelian group $G$, to be isomorphic to a loop module of a simple module, as well as for two such loop modules to be…

Let $G$ be a connected reductive algebraic group. We develop a Gr\"obner theory for multiplicity-free $G$-algebras, as well as a tropical geometry for subschemes in a spherical homogeneous space $G/H$. We define the notion of a spherical…

The signatures of polynomials were originally introduced by Faug\`{e}re for the efficient computation of Gr\"obner bases [Fau02], and redefined by Arri-Perry [AP11] as the standard monomials modulo the module of syzygies. Since it is…

Let $K$ be a field, and $A=K[a_1,\ldots ,a_n]$ a solvable polynomial algebra in the sense of [K-RW, {\it J. Symbolic Comput.}, 9(1990), 1--26]. It is shown that if $A$ is an $\mathbb{N}$-graded algebra of $({\cal B},d(~))$-type, then $A$…

We determine the irregular Hodge filtration, as introduced by Sabbah, for the purely irregular hypergeometric $\mathcal{D}$-modules. We obtain in particular a formula for the irregular Hodge numbers of these systems. We use the reduction of…

This extended abstract gives a construction for lifting a Gr\"obner basis algorithm for an ideal in a polynomial ring over a commutative ring R under the condition that R also admits a Gr\"obner basis for every ideal in R.

Given a standard graded algebra over a field, we consider the relationship between G-quadraticity and the existence of a Koszul filtration. We show that having a quadratic Gr\"obner basis implies the existence of a Koszul filtration for…