Related papers: Gr\"obner basics for mixed Hodge modules
The purpose of this paper is to develop a new theory of gauges in mixed characteristic. Namely, let $k$ be a perfect field of characteristic $p>0$ and $W(k)$ the $p$-typical Witt vectors. Making use of Berthelot's arithmetic differential…
In that paper, we recall the notion of the multidegree for $D$-modules, as exposed in a previous paper, with a slight simplification. A particular emphasis is given on hypergeometric systems, used to provide interesting and computable…
We study the PBW-filtration on the highest weight representations $V(\la)$ of the Lie algebras of type ${\tt A}_{n}$ and ${\tt C}_{n}$. This filtration is induced by the standard degree filtration on $\U(\fn^-)$. In previous papers, the…
This text consists of five relatively systematic notes on Gr\"obner bases and free resolutions of modules over solvable polynomial algebras.
We introduce the notion of mixed Hodge complex on an algebraic variety, improving Du Bois' filtered complex, and relate Deligne's theory of mixed Hodge structure with the theory of mixed Hodge module. This was supposed to be true, but is…
We study generalized $V$-filtrations, defined by Sabbah, on $\mathcal D$-modules underlying mixed Hodge modules on $X\times \mathbf A^r$. Using cyclic covers, we compare these filtrations to the usual $V$-filtration, which is better…
In this paper we study mixed Hodge structures on the cohomology of locally symmetric varieties and give an application to modular forms. After proving vanishing of some Hodge numbers, we focus on the weight filtration on the last Hodge…
Solving polynomial systems arising from applications is frequently made easier by the structure of the systems. Weighted homogeneity (or quasi-homogeneity) is one example of such a structure: given a system of weights…
Given a mixed Hodge module and a meromorphic function f on a complex manifold, we associate to these data a filtration (the irregular Hodge filtration) on the exponentially twisted holonomic module, which extends the construction of…
We generalize signature Gr\"obner bases, previously studied in the free algebra over a field or polynomial rings over a ring, to ideals in the mixed algebra $R[x_1,...,x_k]\langle y_1,\dots,y_n \rangle$ where $R$ is a principal ideal…
We construct a cellular basis of the walled Brauer algebra which has similar properties as the Murphy basis of the group algebra of the symmetric group. In particular, the restriction of a cell module to a certain subalgebra can be easily…
Border bases can be considered to be the natural extension of Gr\"obner bases that have several advantages. Unfortunately, to date the classical border basis algorithm relies on (degree-compatible) term orderings and implicitly on reduced…
We propose a new more efficient method for the computation of two-sided Gr\"obner bases of ideals and bimodules shifting the problem to the enveloping algebra. Arising from the ideas this method involves, we introduce the notion of…
We study the PBW filtration on the highest weight representations $V(\la)$ of $\msp_{2n}$. This filtration is induced by the standard degree filtration on $U(\n^-)$. We give a description of the associated graded $S(\n^-)$-module $gr…
Let h \subset g be an inclusion of Lie algebras with quotient h-module n. There is a natural degree filtration on the h-module U(g)/U(g)h whose associated graded h-module is isomorphic to S(n). We give a necessary and sufficient condition…
Gr\"obner bases can be used for computing the Hilbert basis of a numerical submonoid. By using these techniques, we provide an algorithm that calculates a basis of a subspace of a finite-dimensional vector space over a finite prime field…
We generalize the Gr\"obner basis method for free D-modules to the case of several term orderings induced by a partition of the set of basic variables. Using this generalized Gr\"obner basis technique we prove the existence and give a…
We present an elegant, generic and extensive formalization of Gr\"obner bases in Isabelle/HOL. The formalization covers all of the essentials of the theory (polynomial reduction, S-polynomials, Buchberger's algorithm, Buchberger's criteria…
We introduce the notion of a favourable module for a complex unipotent algebraic group, whose properties are governed by the combinatorics of an associated polytope. We describe two filtrations of the module, one given by the total degree…
In this paper we introduce a certain space of higher order modular forms of weight 0 and show that it has a Hodge structure coming from the geometry of the fundamental group of a modular curve. This generalizes the usual structure on…