English
Related papers

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

200 papers

Let $G$ be a semisimple algebraic group over a field of characteristic $p > 0$. We prove that the dual Weyl modules for $G$ all have $p$-filtrations when $p$ is not too small. Moreover, we give applications of this theorem to…

Representation Theory · Mathematics 2019-05-21 Henning Haahr Andersen

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]. Based on the Gr\"obner basis theory for $A$ and for free modules over $A$, an elimination theory…

Rings and Algebras · Mathematics 2019-01-15 Huishi Li

We study the complexity of Gr\"obner bases computation, in particular in the generic situation where the variables are in simultaneous Noether position with respect to the system. We give a bound on the number of polynomials of degree $d$…

Symbolic Computation · Computer Science 2014-07-18 Magali Bardet , Jean-Charles Faugère , Bruno Salvy

We give an explicit algorithm to compute a projective resolution of a module over the noncommutative ring based on the noncommutative Groebner bases theory.

Algebraic Topology · Mathematics 2009-06-09 Tomohiro Fukaya

Grassmann manifolds $G_{k,n}$ are among the central objects in geometry and topology. The Borel picture of the mod 2 cohomology of $G_{k,n}$ is given as a polynomial algebra modulo a certain ideal $I_{k,n}$. The purpose of this paper is to…

Algebraic Topology · Mathematics 2013-05-20 Zoran Z. Petrović , Branislav I. Prvulović , Marko Radovanović

In this paper we develop the theory of operads, algebras and modules in cofibrantly generated symmetric monoidal model categories. We give J-semi model strucures, which are a slightly weaker version of model structures, for operads and…

Algebraic Topology · Mathematics 2007-05-23 Markus Spitzweck

Let G be a connected and reductive algebraic group over an algebraically closed field of characteristic p > 0. An interesting class of representations of G consists of those G-modules having a good filtration -- i.e. a filtration whose…

Representation Theory · Mathematics 2013-03-22 Chuck Hague , George McNinch

Gr{\"o}bner bases is one the most powerful tools in algorithmic non-linear algebra. Their computation is an intrinsically hard problem with a complexity at least single exponential in the number of variables. However, in most of the cases,…

Symbolic Computation · Computer Science 2019-02-04 Matías Bender , Jean-Charles Faugère , Elias Tsigaridas

Inclusion preserving maps from modules over an Artin algebra to complete partially ordered sets are studied. This yields a filtration of the Ziegler spectrum which is indexed by all Gabriel-Roiter measures. Another application is a…

Representation Theory · Mathematics 2011-12-06 Henning Krause , Mike Prest

Experiment shows that the reverse length-lexicographical word ordering consistently yields far smaller Gr\"obner bases for modular p-group algebras than the length-lexicographical ordering. For the so-called Jennings word ordering, based on…

Group Theory · Mathematics 2009-10-12 David J. Green

The aim of this paper is to introduce and study a large class of $\mathfrak{g}$-module algebras which we call factorizable by generalizing the Gauss factorization of (square or rectangular) matrices. This class includes coordinate algebras…

Representation Theory · Mathematics 2018-01-31 Arkady Berenstein , Karl Schmidt

We define formal vector bundles with marked sections on Hilbert modular schemes and we show how to use them to construct modular sheaves with an integrable meromorphic connection and a filtration which, in degree 0, gives to us a $p$-adic…

Algebraic Geometry · Mathematics 2020-08-03 Giacomo Graziani

We generalize Griffiths' theorem on the Hodge filtration of the primitive cohomology of a smooth projective hypersurface, using the local Bernstein-Sato polynomials, the V-filtration of Kashiwara and Malgrange along the hypersurface and the…

Algebraic Geometry · Mathematics 2007-05-23 Alexandru Dimca , Morihiko Saito

We develop filtered-graded techniques for algebras in monoidal categories with the main goal of establishing a categorical version of Bongale's 1967 result: A filtered deformation of a Frobenius algebra over a field is Frobenius as well.…

Quantum Algebra · Mathematics 2022-10-26 Chelsea Walton , Harshit Yadav

In this article we establish a version of Koszul duality for filtered rings arising from $p$-adic Lie groups. Our precise setup is the following. We let $G$ be a uniform pro-$p$ group and consider its completed group algebra…

Number Theory · Mathematics 2019-02-27 Claus Sorensen

Using evaluation at appropriately chosen points, we propose a Gr\"obner basis free approach for calculating the secondary invariants of a finite permutation group. This approach allows for exploiting the symmetries to confine the…

Combinatorics · Mathematics 2011-10-19 Nicolas Borie , Nicolas M. Thiéry

One of the main contributions which Volker Weispfenning made to mathematics is related to Groebner bases theory. In this paper we present an algorithm for computing all algebraic intermediate subfields in a separably generated unirational…

Symbolic Computation · Computer Science 2008-05-15 Jaime Gutierrez , David Sevilla

In this paper we introduce and study the ''convergent'' algebra (containing ''a'' and ''b'' and acting on holomorphic germs in ''a'') which naturally acts on the ''generalized Brieskorn modules'' associated to the Gauss-Manin connections of…

Complex Variables · Mathematics 2025-10-27 Daniel Barlet

We show how to use Groebner bases for operads to prove various freeness theorems: freeness of certain operads as nonsymmetric operads, freeness of an operad Q as a P-module for an inclusion P into Q, freeness of a suboperad. This gives new…

Rings and Algebras · Mathematics 2010-01-20 Vladimir Dotsenko

This paper is a detailed description of an algorithm based on a generalized Buchberger algorithm for constructing Groebner-type bases associated with polynomials of shift operators. The algorithm is used for calculating Feynman integrals…

High Energy Physics - Phenomenology · Physics 2009-11-11 A. V. Smirnov