Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 1510.01542

Gröbner Bases: Connecting Linear Algebra with Homological and Homotopical Algebra

Soutrik Roy Chowdhury
View original source ↗Read source document ↗Export metadata ↓

Abstract

The main objective of this paper is to connect the theory of $Gröbner$ bases to concepts of homological algebra. $Gröbner$ bases, an important tool in algebraic system and in linear algebra help us to understand the structure of an algebra presented by its generators and relations by constructing a basis of its set of relations. In this paper we mainly deal with graded augmented algebras. Given a graded augmented algebra with its generators and relations, it is possible to construct a free resolution from its $Gröbner$ basis, known as Anick's resolution. Though rarely minimal, this resolution helps us to understand combinatorial properties of the algebra. The notion of a $K_2$ algebra was recently introduced by Cassidy and Shelton as a generalization of the notion of a Koszul algebra. We compute the Anick's resolution of $K_2$ algebra which shows several nice combinatorial properties. Later we compute some derived functors from Anick's resolution and outline how to construct $A_\infty$-algebra structure on $Ext$-algebra from a minimal graded projective resolution in which we can use Anick's resolution as a tool. Thus this paper provides an unique platform to connect concepts of linear algebra with homological algebra and homotopical algebra with the help of $Gröbner$ bases.

Explore related subjects

math.KTmath.RA

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Soutrik Roy Chowdhury. 2015-10-06. Gröbner Bases: Connecting Linear Algebra with Homological and Homotopical Algebra. https://arxiv.org/abs/1510.01542

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

$E$-theory is compactly assembled

We show that the equivariant $E$-theory category $\mathrm{E}_{\mathrm{sep}}^{G}$ for separable $C^{*}$-algebras is a compactly assembled stable $\infty$-category. We derive this result as a consequence of the shape theory for $C^{*}$-algebras developed by Blackadar and Dardarlat and a new construction of $\mathrm{E}_{\mathrm{sep}}^{G}$. As an application we investigate a topological enrichment of the homotopy category of a compactly assembled $\infty$-category in general and argue that the results of Carrión and Schafhauser on the enrichment of the classical $E$-theory category can be derived by specialization.

math.KT↗
arXiv2026

Scissors automorphism groups I: Homological stability and K-theory

In any category with a reasonable notion of cover, each object has a group of scissors automorphisms. We prove that under mild conditions, the homology of this group is independent of the object, and can be expressed in terms of the scissors congruence K-theory spectrum defined by Zakharevich. We therefore obtain both a group-theoretic interpretation of Zakharevich's higher scissors congruence K-theory, as well as a method to compute the homology of scissors automorphism groups. In the classical case of scissors congruence of polytopes, this leads to calculations and structural results on the homology of the scissors automorphism group. In two sequels, we show that more generally our approach leads to homology calculations for various families of groups appearing in group theory and dynamics, recovering results of Szymik-Wahl, Li, and Tanner.

math.KT↗