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

We study the relative algebraic closure $K$ of $\bar{\mathbb{F}}_p((t))$ inside $\bar{\mathbb{F}}((t^{\mathbb{Q}}))$. We show that the supports of elements in $K$ have order type strictly less than $\omega^\omega$. We also recover a theorem…

Let $k$ be a commutative ring and $S=k[x_0, \ldots, x_n]$ be a polynomial ring over $k$ with a monomial order. For any monomial ideal $J$, there exists an affine $k$-scheme of finite type, called Gr\"obner scheme, which parameterizes all…

We describe the equations and Gr\"obner bases of some degenerate K3 surfaces associated to rational normal scrolls. These K3 surfaces are members of a class of interesting singular projective varieties we call correspondence scrolls. The…

The theory of "subalgebra basis" analogous to standard basis (the generalization of Gr\"{o}bner bases to monomial ordering which are not necessarily well ordering \cite{GP1}.) for ideals in polynomial rings over a field is developed. We…

We show that if a countably generated Lie algebra $H$ does not contain isomorphic copies of certain finite-dimensional nilpotent Lie algebras $A$ and $B$ (satisfying some mild conditions), then $H$ embeds into a quotient of $A \ast B$ that…

Let $K$ be a number field of degree $d$ so that $K/\mathbb Q$ is a Galois extension. The {\it normal basis theorem} states that $K$ has a $\mathbb Q$-basis consisting of algebraic conjugates, in fact $K$ contains infinitely many such bases.…

We present a formalization of Gr\"obner basis theory in Lean 4, built on top of Mathlib's infrastructure for multivariate polynomials and monomial orders. Our development covers the core foundations of Gr\"obner basis theory, including…

A differential graded (DG for short) free algebra $\mathcal{A}$ is a connected cochain DG algebra such that its underlying graded algebra is $$\mathcal{A}^{\#}=\k\langle x_1,x_2,\cdots, x_n\rangle,\,\, \text{with}\,\, |x_i|=1,\,\, \forall…

We deal with classes of prime ideals whose associated graded ring is isomorphic to the Rees algebra of the conormal module in order to describe the divisor class group of the Rees algebra and to examine the normality of the conormal module.

In this expositional paper, we discuss commutative algebra -- a study inspired by the properties of integers, rational numbers, and real numbers. In particular, we investigate rings and ideals, and their various properties. After, we…

Let $I = ( f_1, \dots, f_n )$ be a homogeneous ideal in the polynomial ring $K[x_1, \dots,x_n]$ over a field $K$ generated by generic polynomials. Using an incremental approach based on a method by Gao, Guan and Volny, and properties of the…

We present basic properties of Gr\"obner bases of submodules of a free module of finite rank over a polynomial ring $R$ with coefficients in a graded truncated discrete valuations ring $A$. As an application, we give a criterion for a…

Given an associative, not necessarily commutative, ring R with identity, a formal matrix calculus is introduced and developed for pairs of matrices over R. This calculus subsumes the theory of homogeneous systems of linear equations with…

Let $G$ be a bipartite graph and $I=I(G)$ be its edge ideal. The aim of this note is to investigate different aspects of the Rees algebra $\mathcal{R}(I)$ of $I$. We compute its regularity and the universal Gr\"obner basis of its defining…

A homogeneous Riemannian manifold $(M=G/K, g)$ is called a space with homogeneous geodesics or a $G$-g.o. space if every geodesic $\gamma (t)$ of $M$ is an orbit of a one-parameter subgroup of $G$, that is $\gamma(t) = \exp(tX)\cdot o$, for…

Various concepts associated with quadratic algebras admit natural generalizations when the quadratic algebras are replaced by graded algebras which are finitely generated in degree 1 with homogeneous relations of degree N. Such algebras are…

Recent discoveries make it possible to compute the K-theory of certain rings from their cyclic homology and certain versions of their cdh-cohomology. We extend the work of G. Corti\~nas et al. who calculated the K-theory of, in addition to…

In this paper, we study ideals spanned by polynomials or overconvergent series in a Tate algebra. With state-of-the-art algorithms for computing Tate Gr{\"o}bner bases, even if the input is polynomials, the size of the output grows with the…

Constructions are given of Noetherian maximal orders that are finitely presented algebras over a field K, defined by monomial relations. In order to do this, it is shown that the underlying homogeneous information determines the algebraic…

Motivated by the question of whether Chow polynomials of matroids have only real roots, this article revisits the known relationship between Eulerian polynomials and the Hilbert series of Chow rings of permutohedral varieties. This is done…