Related papers: Flat modules and Gr\"obner bases over truncated di…

Let R be a homomorphic image of a Gorenstein local ring. Recent work has shown that there is a bridge between Auslander categories and modules of finite Gorenstein homological dimensions over R. We use Gorenstein dimensions to prove new…

A differential algebra of finite type over a field k is a filtered algebra A, such that the associated graded algebra is finite over its center, and the center is a finitely generated k-algebra. The prototypical example is the algebra of…

Graded vector bundles over a given $\mathbb{Z}$-graded manifold can be defined in three different ways: certain sheaves of graded modules over the structure sheaf of the base graded manifold, finitely generated projective graded modules…

We apply the theory of Groebner bases to the computation of free resolutions over a polynomial ring, the defining equations of a canonically embedded curve, and the unirationality of the moduli space of curves of a fixed genus.

Let $P_N(R)$ be the space of all real polynomials in $N$ variables with the usual inner product $<, >$ on it, given by integrating over the unit sphere. We start by deriving an explicit combinatorial formula for the bilinear form…

In recent years, persistence modules have been viewed as graded modules with gradation over a preordered set serving as the indexing set. We provide sufficient criteria for a projective module over a PID to be free when the indexing set is…

We study modular forms of some congruence subgroups. In this paper, we treat the cases level is 2-power, 3-power or 5. Structures of graded rings and many identities of infinite sum or infinite product are given. Theory of rational (1/3,…

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…

Let G be a connected complex Lie group. We show that any flat principal G-bundle over any finite CW-complex pulls back to a trivial bundle over some finite covering space of the base space if and only if each real characteristic class of…

We develop the theory of groupoid graded semisimple rings. Our rings are neither unital nor one-sided artinian. Instead, they exhibit a strong version of having local units and being locally artinian, and we call them $\Gamma_0$-artinian.…

Let R be the quotient of a polynomial ring over a field k by an ideal generated by monomials. We derive a formula for the multigraded Poincare' series of R, i.e., the generating function for the ranks of the modules in a minimal multigraded…

This papers studies centralizers of an element, $a$, in the nucleus of a non-associative algebra with a special type of valuation. We prove that the centralizer of $a$ is a free module of finite rank over the algebra generated by $a$.

Consider the polynomial ring in countably infinitely many variables over a field of characteristic zero, together with its natural action of the infinite general linear group G. We study the algebraic and homological properties of finitely…

We begin the study of a tilting theory in certain truncated categories of modules $\mathcal G(\Gamma)$ for the current Lie algebra associated to a finite-dimensional complex simple Lie algebra, where $\Gamma = P^+ \times J$, $J$ is an…

Given a finitely generated algebra $A$, it is a fundamental question whether $A$ has a full rank discrete (Krull) valuation $\mathfrak{v}$ with finitely generated value semigroup. We give a necessary and sufficient condition for this, in…

We include short and elementary proofs of two theorems characterizing reductive group schemes over a discrete valuation ring, in a slightly more general context.

Let A be a finitely generated associative algebra over an algebraically closed field. We characterize the finite dimensional modules over A whose orbit closures are regular varieties.

In this paper we present the definition of quasi-bases for modules over a ring that is commutative but not necessarily division and discuss properties that guarantee the existence of quasi-bases. Based on this result we further prove that…

In this work we present a way to construct the so-called root diagram for one-point AG codes $C$ arising from certain types of curves $\mathcal{X}$ over $\mathbb{F}_q$ with plane model $f(y)=g(x)$. Using this root diagram we can get an…

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…