Skip to main content
http -> https (the question was bumped anyway)
Source Link
Martin Sleziak
  • 4.7k
  • 4
  • 35
  • 40

The recent paper K-Groups for Rings of Finite Cohen-Macaulay TypeK-Groups for Rings of Finite Cohen-Macaulay Type by H. Holm allows us to compute the Quillen $K$-group $K_1(\text{mod}\hspace{.1 cm}R)$ as a quotient of the abelianization of the automorphism group of a representation generator of the category of maximal Cohen-Macaulay $R$-modules (that is, a module $M$ such $\text{add}_RM = \text{MCM}\hspace{.1 cm}R)$) under some restrictions (that can be found in the paper).

While I'm a bit of a newcomer to algebraic K-theory, I understand that the computation of (Quillen) K-groups is a notoriously difficult task, which is why I find the main theorem of this paper so striking. The computation of $K_1$ in this context relies on being able to compute Auslander-Reiten sequences, which from my understanding, can be done readily. In fact, this paper seems to have almost an algorithmic feel (though, that may be stretching it!) to the computation of $K_1(\text{mod}\hspace{.1 cm}R)$. Which brings me to ask, are there any other such theorems out there? Specifically, what theorems are out there that say we can compute $K_1(\text{mod}\hspace{.1 cm}R)$ in a similarly concrete way?

Just to point out, in the case $R$ is Artinian, Quillen's Dévissage Theorem gives us that $K_1(\text{mod}\hspace{.1 cm}R)$ is isomorphic to $k^*$.

The recent paper K-Groups for Rings of Finite Cohen-Macaulay Type by H. Holm allows us to compute the Quillen $K$-group $K_1(\text{mod}\hspace{.1 cm}R)$ as a quotient of the abelianization of the automorphism group of a representation generator of the category of maximal Cohen-Macaulay $R$-modules (that is, a module $M$ such $\text{add}_RM = \text{MCM}\hspace{.1 cm}R)$) under some restrictions (that can be found in the paper).

While I'm a bit of a newcomer to algebraic K-theory, I understand that the computation of (Quillen) K-groups is a notoriously difficult task, which is why I find the main theorem of this paper so striking. The computation of $K_1$ in this context relies on being able to compute Auslander-Reiten sequences, which from my understanding, can be done readily. In fact, this paper seems to have almost an algorithmic feel (though, that may be stretching it!) to the computation of $K_1(\text{mod}\hspace{.1 cm}R)$. Which brings me to ask, are there any other such theorems out there? Specifically, what theorems are out there that say we can compute $K_1(\text{mod}\hspace{.1 cm}R)$ in a similarly concrete way?

Just to point out, in the case $R$ is Artinian, Quillen's Dévissage Theorem gives us that $K_1(\text{mod}\hspace{.1 cm}R)$ is isomorphic to $k^*$.

The recent paper K-Groups for Rings of Finite Cohen-Macaulay Type by H. Holm allows us to compute the Quillen $K$-group $K_1(\text{mod}\hspace{.1 cm}R)$ as a quotient of the abelianization of the automorphism group of a representation generator of the category of maximal Cohen-Macaulay $R$-modules (that is, a module $M$ such $\text{add}_RM = \text{MCM}\hspace{.1 cm}R)$) under some restrictions (that can be found in the paper).

While I'm a bit of a newcomer to algebraic K-theory, I understand that the computation of (Quillen) K-groups is a notoriously difficult task, which is why I find the main theorem of this paper so striking. The computation of $K_1$ in this context relies on being able to compute Auslander-Reiten sequences, which from my understanding, can be done readily. In fact, this paper seems to have almost an algorithmic feel (though, that may be stretching it!) to the computation of $K_1(\text{mod}\hspace{.1 cm}R)$. Which brings me to ask, are there any other such theorems out there? Specifically, what theorems are out there that say we can compute $K_1(\text{mod}\hspace{.1 cm}R)$ in a similarly concrete way?

Just to point out, in the case $R$ is Artinian, Quillen's Dévissage Theorem gives us that $K_1(\text{mod}\hspace{.1 cm}R)$ is isomorphic to $k^*$.

edited tags
Link
Stefan Kohl
  • 19.6k
  • 21
  • 75
  • 137
Post Made Community Wiki by Stefan Kohl
added 26 characters in body
Source Link

The recent paper K-Groups for Rings of Finite Cohen-Macaulay Type by H. Holm allows us to compute the Quillen $K$-group $K_1(\text{mod}\hspace{.1 cm}R)$ as a quotient of the abelianization of the automorphism group of a representation generator of the category of maximal Cohen-Macaulay $R$-modules (that is, a module $M$ such $\text{add}_RM = \text{MCM}\hspace{.1 cm}R)$) under some restrictions (that can be found in the paper).

While I'm a bit of a newcomer to algebraic K-theory, I understand that the computation of (Quillen) K-groups is a notoriously difficult task, which is why I find the main theorem of this paper so striking. The computation of $K_1$ in this context relies on being able to compute Auslander-Reiten sequences, which from my understanding, can be done readily. In fact, this paper seems to have almost an algorithmic feel (though, that may be stretching it!) to the computation of $K_1(\text{mod}\hspace{.1 cm}R)$. Which brings me to ask, are there any other such theorems out there? Specifically, what theorems are out there that say we can compute $K_1(\text{mod}\hspace{.1 cm}R)$ in a similarly concrete way?

Just to point out, in the case $R$ is Artinian, Quillen's Dévissage Theorem gives us that $K_1(\text{mod}\hspace{.1 cm}R)$ is isomorphic to $k^*$.

The recent paper K-Groups for Rings of Finite Cohen-Macaulay Type by H. Holm allows us to compute the Quillen $K$-group $K_1(\text{mod}\hspace{.1 cm}R)$ as a quotient of the abelianization of a representation generator of the category of maximal Cohen-Macaulay $R$-modules (that is, a module $M$ such $\text{add}_RM = \text{MCM}\hspace{.1 cm}R)$) under some restrictions (that can be found in the paper).

While I'm a bit of a newcomer to algebraic K-theory, I understand that the computation of (Quillen) K-groups is a notoriously difficult task, which is why I find the main theorem of this paper so striking. The computation of $K_1$ in this context relies on being able to compute Auslander-Reiten sequences, which from my understanding, can be done readily. In fact, this paper seems to have almost an algorithmic feel (though, that may be stretching it!) to the computation of $K_1(\text{mod}\hspace{.1 cm}R)$. Which brings me to ask, are there any other such theorems out there? Specifically, what theorems are out there that say we can compute $K_1(\text{mod}\hspace{.1 cm}R)$ in a similarly concrete way?

Just to point out, in the case $R$ is Artinian, Quillen's Dévissage Theorem gives us that $K_1(\text{mod}\hspace{.1 cm}R)$ is isomorphic to $k^*$.

The recent paper K-Groups for Rings of Finite Cohen-Macaulay Type by H. Holm allows us to compute the Quillen $K$-group $K_1(\text{mod}\hspace{.1 cm}R)$ as a quotient of the abelianization of the automorphism group of a representation generator of the category of maximal Cohen-Macaulay $R$-modules (that is, a module $M$ such $\text{add}_RM = \text{MCM}\hspace{.1 cm}R)$) under some restrictions (that can be found in the paper).

While I'm a bit of a newcomer to algebraic K-theory, I understand that the computation of (Quillen) K-groups is a notoriously difficult task, which is why I find the main theorem of this paper so striking. The computation of $K_1$ in this context relies on being able to compute Auslander-Reiten sequences, which from my understanding, can be done readily. In fact, this paper seems to have almost an algorithmic feel (though, that may be stretching it!) to the computation of $K_1(\text{mod}\hspace{.1 cm}R)$. Which brings me to ask, are there any other such theorems out there? Specifically, what theorems are out there that say we can compute $K_1(\text{mod}\hspace{.1 cm}R)$ in a similarly concrete way?

Just to point out, in the case $R$ is Artinian, Quillen's Dévissage Theorem gives us that $K_1(\text{mod}\hspace{.1 cm}R)$ is isomorphic to $k^*$.

added 152 characters in body
Source Link
Loading
Source Link
Loading