Related papers: On (De)homogenized Gr\"obner Bases

The problem is the classification of the ideals of ``free differential algebras", or the associated quotient algebras, the q-algebras; being finitely generated, unital C-algebras with homogeneous relations and a q-differential structure.…

Let $p(t)$ be an admissible Hilbert polynomial in $\PP^n$ of degree $d$. The Hilbert scheme $\hilb^n_p(t)$ can be realized as a closed subscheme of a suitable Grassmannian $ \mathbb G$, hence it could be globally defined by homogeneous…

Fix a pair of positive integers d and n. We create a ring R and a complex G of R-modules with the following universal property. Let P be a polynomial ring in d variables over a field and let I be a grade d Gorenstein ideal in P which is…

We study graded rings of meromorphic Hermitian modular forms of degree two whose poles are supported on an arrangement of Heegner divisors. For the group $\mathrm{SU}_{2,2}(\mathcal{O}_K)$ where $K$ is the imaginary-quadratic number field…

In this article, we prove the following results:\\ \noindent \text{(1).} Let $R$ be a smooth affine algebra of dimension $3$ over an algebraically closed field $K$ with $3!\in K$, then we show that $\Um_4(R)=e_1\Sp_4(R)$ and $\Um_4(R…

A deformation of the Orlik-Solomon algebra of a matroid M is defined as a quotient of the free associative algebra over a commutative ring R with 1. It is shown that the given generators form a Groebner basis and that after suitable…

We define graded, quasi-coherent $\mathcal{O}_S$-algebras over a given base derived scheme $S$, and show that these are equivalent to derived $\mathbb{G}_{m,S}$-schemes which are affine over $S$. We then use this $\mathbb{G}_{m,S}$-action…

Let J be a strongly stable monomial ideal in P=k[X0,...,Xn] and let BSt(J) be the family of all the homogeneous ideals in P such that the set N(J) of all the monomials that do not belong to J is a k-vector basis of the quotient P/I. We show…

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$…

Let $K$ be an algebraically closed field of characteristic zero and ${P_n=K[x_1,\ldots,x_n]}$ the polynomial ring. Any $K$-derivation $D$ on $P_n$ is of the form ${ D=\sum_{i=1}^n f_i(x_1,\ldots,x_n)\frac{\partial}{\partial x_i} },$ where…

We consider algebras over a field $k$ of characteristic zero. The article is concerned with the isomorphism of graded vectorspaces \[ H(\gl(A))\iso\wedge (HC(A)[-1]) \] between the Lie algebra homology of matrices and the free graded…

Let $I_1\subset I_2\subset\dots$ be an increasing sequence of ideals of the ring $\Bbb Z[X]$, $X=(x_1,\dots,x_n)$ and let $I$ be their union. We propose an algorithm to compute the Gr\"obner base of $I$ under the assumption that the…

A $G$-grading on an algebra is called multiplicity free if each homogeneous component of the grading is 1-dimensional, where $G$ is an abelian group. We introduce skew root systems of Lie type and skew root systems of Jordan type…

We extend the classical notion of standardly stratified $k$-algebra (stated for finite dimensional $k$-algebras) to the more general class of rings, possibly without $1,$ with enough idempotents. We show that many of the fundamental…

Let $S={\sf k}[X_1,\dots, X_n]$ be a polynomial ring, where ${\sf k}$ is a field. This article deals with the defining ideal of the Rees algebra of squarefree monomial ideal generated in degree $n-2$. As a consequence, we prove that Betti…

We study the locus of the liftings of a homogeneous ideal $H$ in a polynomial ring over any field. We prove that this locus can be endowed with a structure of scheme $\mathrm L_H$ by applying the constructive methods of Gr\"obner bases, for…

We consider a generalization $K_0^{\operatorname{gr}}(R)$ of the standard Grothendieck group $K_0(R)$ of a graded ring $R$ with involution. If $\Gamma$ is an abelian group, we show that $K_0^{\operatorname{gr}}$ completely classifies graded…

Let $\mathcal{A}$ be a connected cochain DG algebra such that its underlying graded algebra $\mathcal{A}^{\#}$ is the graded skew polynomial algebra $$k\langle x_1,x_2, x_3\rangle/\left(\begin{array}{ccc} x_1x_2+x_2x_1\\ x_2x_3+x_3x_2\\…

We study the graded polynomial identities with a homogeneous involution on the algebra of upper triangular matrices endowed with a fine group grading. We compute their polynomial identities and a basis of the relatively free algebra,…

Let $G$ be a compact connected Lie group and $K$ a closed connected subgroup. Assume that the order of any torsion element in the integral cohomology of $G$ and $K$ is invertible in a given principal ideal domain $k$. It is known that in…