Abstract:With the goal of computing the Grothendieck group of certain multigraded infinite polynomial rings and the $K$-series of infinite matrix Schubert spaces, we introduce a new type of $\Gamma$-graded $k$-algebra (which we call a PDCF algebra) and a new type of graded module (a BDF module) over said algebra. Since infinite polynomial rings are not Noetherian and the modules of interest are not finitely generated, we compensate by requiring certain finiteness properties of the grading group $\Gamma$ and of the grading itself. If $R$ is a PDCF $\Gamma$-graded $k$-algebra, we prove that every projective BDF $\Gamma$-graded $R$-module is free, and that when the graded maximal ideal of $R$ is generated by a regular sequence, a BDF analog of the Hilbert Syzygy Theorem holds: every BDF $R$-module has a free resolution of BDF $R$-modules which, though not finite, has the property that each graded piece is eventually zero. We use this to show that the Grothendieck group of projective BDF $R$-modules (defined similarly to $K_0(R)$) is isomorphic to the Grothendieck group of all BDF $R$-modules (defined similarly to $G_0(R)$). We describe this Grothendieck group explicitly by using $K$-series to give an isomorphism with a certain space of formal Laurent series. Finally we give a BDF version of Serre's formula for the product in the Grothendieck group, making it into a ring.

Division algebras of prime degree with infinite genus

Genus of division algebras over fields with infinite transcendence degree

The genus of division algebras over discrete valued fields

Transcendental splitting fields of division algebras

Outer forms of type $A_2$ with infinite genus

ON<i>K</i><sub>2</sub>OF DIVISION ALGEBRAS

On K-2 Of Division Algebras

Division rings for group algebras of virtually compact special groups

On the genera of semisimple groups defined over an integral domain of a global function field

Differential graded division algebras, their modules, and dg-simple algebras

Invariants in divided power algebras

The unitary subgroups of group algebras for a class of finite 2-groups with the derived subgroup of order 2

The unitary subgroups of group algebras of a class of finite $2$-groups with derived subgroup of order $2$

Large degree primitive points on curves

Bi-algebraic geometry of strata of differentials in genus zero

On the existence of dimension zero divisors in algebraic function fields defined over F_q

Genus theory, governing field, ramification and Frobenius

Frobenius' Theorem on Division Algebras

On Arithmetic Genus of Hilbert Modular Varieties on Cyclic Number-Fields

Small generators of abelian number fields

The Grothendieck Ring of Certain Non-Noetherian Group-Graded Algebras via $K$-Series