English
Related papers

Related papers: Gr\"obner bases of modules over sigma-PBW extensio…

200 papers

The first part of the paper is a survey of recent results about the cohomology of $(\phi,\Gamma)$-modules and its applications to the theory of Selmer complexes. In the second part we formulate a version of the Main Conjecture for $p$-adic…

Number Theory · Mathematics 2014-04-30 Denis Benois

We study Lie algebroids in positive characteristic and moduli spaces of their modules. In particular, we show a Langton's type theorem for the corresponding moduli spaces. We relate Langton's construction to Simpson's construction of…

Algebraic Geometry · Mathematics 2015-03-24 Adrian Langer

In this note, we extend modular techniques for computing Gr\"obner bases from the commutative setting to the vast class of noncommutative $G$-algebras. As in the commutative case, an effective verification test is only known to us in the…

Rings and Algebras · Mathematics 2017-04-11 Wolfram Decker , Christian Eder , Viktor Levandovskyy , Sharwan K. Tiwari

Let the finite group $G$ act linearly on the vector space $V$ over the field $k$ of arbitrary characteristic. If $H<G$ is a subgroup the extension of invariant rings $k[V]^G\subset k[V]^H$ is studied using modules of covariants. An example…

Commutative Algebra · Mathematics 2014-02-26 Abraham Broer , Jianjun Chuai

We give algorithms for computing multiplier ideals using Gr\"obner bases in Weyl algebras. The algorithms are based on a newly introduced notion which is a variant of Budur--Musta\c{t}\v{a}--Saito's (generalized) Bernstein--Sato polynomial.…

Algebraic Geometry · Mathematics 2010-01-30 Takafumi Shibuta

Let $G$ be an abelian group of order $n$ and let $R$ be a commutative ring which admits a homomorphism ${\Bbb Z}[\zeta_{n}]\ra R$, where $\zeta_{n}$ is a (complex) primitive $n$-th root of unity. Given a finite $R[G\e]$-module $M$, we…

Number Theory · Mathematics 2007-05-23 Cristian D. Gonzalez-Aviles

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…

Symbolic Computation · Computer Science 2015-12-22 Jean-Charles Faugère , Mohab Safey El Din , Thibaut Verron

We discuss additional supersymmetries for N = (2, 2) supersymmetric non-linear sigma models described by left and right semichiral superfields.

High Energy Physics - Theory · Physics 2010-05-11 M. Goteman , U. Lindstrom

We show that there exists a Galois correspondence between subalgebras of an H-comodule algebra A over a base ring R and generalised quotients of a Hopf algebra H if both A and H are flat Mittag--Leffler modules. We also provide new criteria…

Quantum Algebra · Mathematics 2013-04-30 Marcin Szamotulski

We make explicit the exponential bound on the degrees of the polynomials appearing in the Effective Quillen-Suslin Theorem, and apply it jointly with the Hilbert-Burch Theorem to show that the syzygy module of a sequence of m polynomials in…

Commutative Algebra · Mathematics 2021-06-09 Teresa Cortadellas Benitez , Carlos D'Andrea , Eulalia Montoro

We introduce the $\textit{Macaulay2}$ package $\texttt{OIGroebnerBases}$ for working with OI-modules over Noetherian polynomial OI-algebras. The main methods implement OI-analogues of Buchberger's algorithm and Schreyer's theorem to compute…

Commutative Algebra · Mathematics 2023-10-10 Michael Morrow

We improve certain degree bounds for Grobner bases of polynomial ideals in generic position. We work exclusively in deterministically verifiable and achievable generic positions of a combinatorial nature, namely either strongly stable…

Symbolic Computation · Computer Science 2017-05-09 Amir Hashemi , Werner M. Seiler

The main conjectures in Iwasawa theory predict the relationship between the Iwasawa modules and the $p$-adic $L$-functions. Using a certain proved formulation of the main conjecture, Greither and Kurihara described explicitly the (initial)…

Number Theory · Mathematics 2020-06-09 Takenori Kataoka

Let $R\subset A$ be a Frobenius extension of rings. We prove that: (1) for any left $A$-module $M$, $_{A}M$ is Gorenstein projective (injective) if and only if the underlying left $R$-module $_{R}M$ is Gorenstein projective (injective). (2)…

K-Theory and Homology · Mathematics 2019-07-15 Wei Ren

In this work we generalize the concept of injective module and develop a theory of divisibility for modules over a general ring, which provides a general and unified framework to study Kummer-like field extensions arising from commutative…

Commutative Algebra · Mathematics 2023-01-10 Sebastiano Tronto

In this paper, by assuming a faithful action of a finite flat $\mathbb{Z}_p$-algebra $\mathscr{R}$ on a $p$-divisible group $\mathcal{G}$ defined over the ring of $p$-adic integers $\mathscr{O}_K$, we construct a category of new…

Number Theory · Mathematics 2024-04-10 Mabud Ali Sarkar , Absos Ali Shaikh

In this note we compute length, support and dimension of syzygy modules of certain modules. This partially answers questions asked by Huneke et al.

Commutative Algebra · Mathematics 2018-05-29 Mohsen Asgharzadeh

In this paper, we define the Gr\"obner-Shirshov basis for a dialgebra. The Composition-Diamond lemma for dialgebras is given then. As results, we give Gr\"obner-Shirshov bases for the universal enveloping algebra of a Leibniz algebra, the…

Rings and Algebras · Mathematics 2010-09-03 L. A. Bokut , Yuqun Chen , Cihua Liu

In this paper, we study the module of Euler systems. We determine the ideal of an Iwasawa algebra associated with Euler systems of rank $0$. We also show that the module of higher rank Euler systems for $\mathbb{G}_{m}$ over a totally real…

Number Theory · Mathematics 2021-10-26 Ryotaro Sakamoto

It is natural to study octonion Hilbert spaces as the recently swift development of the theory of quaternion Hilbert spaces. In order to do this, it is important to study first its algebraic structure, namely, octonion modules. In this…

Rings and Algebras · Mathematics 2019-11-22 Qinghai Huo , Yong Li , Guangbin Ren