All Questions
Tagged with algebraic-k-theory ac.commutative-algebra
14 questions with no upvoted or accepted answers
9
votes
0
answers
426
views
Is the class of commutative generalized Euclidean rings stable under quotient and localization?
Let $R$ be an associative ring with identity and let $E_n(R)$ be the subgroup of $GL_n(R)$ generated by matrices obtained from the identity matrix by replacing an off-diagonal entry by some $r∈R$. Let ...
- 7,893
9
votes
0
answers
260
views
Is the generation of rings by their units a question in K-theory?
Susan's question When can number rings be spanned (as $\mathbb{Z}$-modules) by units? smells like an algebraic K-theory question in disguise. I'll reformulate the question first:
Given an integral ...
- 13.3k
5
votes
0
answers
107
views
Size of minimal generating set of ideal over Laurent polynomial ring
Recently in attacking a problem in algebraic topology relating to the construction of stably-free non-free modules over integral group rings I’ve noticed that it is often fairly easy to reduce to ...
- 187
4
votes
0
answers
112
views
The $K_1$-group of integer valued polynomials
Let $R=$ Int$(\mathbb{Z}) = \{f \in \mathbb{Q}[x]| f(\mathbb{Z}) \subset \mathbb{Z}\}$. I am interested to find $K_1(R)$. I list my trials below:
Let us construct a Milnor square $$\matrix{R&\...
- 141
4
votes
0
answers
216
views
Is an orthogonal direct sum decomposition with respect to two quadratic forms necessarily unique up to isomorphism
Consider two quadratic forms $Q$ and $P$ over a finite dimensional vector space $V$ over a quadratically closed (or perhaps Pythagorean) field $F$. If $V$ can be decomposed as $V = V_1 \oplus V_2 \...
- 4,943
4
votes
0
answers
135
views
$K$-group of category of bounded chain complexes of Projective modules with finite length homologies
For a Commutative Noetherian local ring $(R, \mathfrak m)$, let $K_0^{\mathfrak m}(R)$ denote the abelian Group generated by isomorphism classes of bounded chain complexes of finitely generated free ...
- 1,209
4
votes
0
answers
112
views
Centers of Noetherian Algebras and K-theory
I'll start off a little vauge: Let $E$ be a noncommutative ring which is finitely generated over its noetherian center $Z$. Denote by $\textbf{mod}\hspace{.1 cm} E$ the category of finitely ...
- 161
3
votes
0
answers
205
views
Extending vector bundles over a regular divisor in a regular affine scheme
This is more-or-less question (3) on page 170 of Quillen's "Projective Modules over Polynomial Rings" (link):
Let $A$ be a regular Noetherian ring and let $f \in A$ be an element of $A$ such that $...
- 2,017
3
votes
0
answers
122
views
Is the Milnor boundary map, a natural transformation?
Consider the Milnor $K_n$-functors for discrete valuiation fields. For any discrete valuation field $F$ we can associate an abelian group $K_n(F)$ and the construction is given thanks a universal ...
- 1,237
3
votes
0
answers
591
views
Algebraic description of double vector bundles.
It is well known, by Serre-Swan theorem, that given a compact manifold M there is an equivalence of categories between the category of vector bundles over M and the category of finitely generated ...
- 51
2
votes
0
answers
267
views
K-theory and completion
I asked this question also on math.stackexchange. But maybe it's better to ask the Mathoverflow community.
I vaguely remember the existence of a statement that relates the $K$-theory (in the sense of ...
- 165
1
vote
0
answers
305
views
Presentation of Chevalley groups over Bezout domains
Let $\Phi$ be a root system of type $A_1$, $A_2$, $B_2$ or $G_2$. For a (commutative, unital) ring $R$, consider the group $G_{\Phi}(R)$ defined by Steinberg's presentation as in [1, Theorem 12.1.1 ...
- 563
1
vote
0
answers
151
views
$K_1(k[x]/(x^2))$ for a field $k$
$\DeclareMathOperator\GL{GL}$The definition of $K_1$ is stated in "The K-book" by Charles Weibel as a quotient of $\GL(R)$, where $\GL(R)$ is the union of the sequence $R^{ \times} = \GL_1(R)...
- 167
1
vote
0
answers
282
views
Computation of Quillen K-groups for mod R
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 ...