Related papers: Bloch-Wigner theorem over rings with many units II

We prove Dirichlet's theorem for polynomial rings: Let F be a pseudo algebraically closed field. Then for all relatively prime polynomials a(X), b(X)\in F[X] and for every sufficiently large positive integer n there exist infinitely many…

We use the properties of the refined Bloch group of a field to prove that H_3 of SL_2 of a global field is never finitely generated, and to calculate - up to some 2-torsion - H_3 of SL_2 of local fields with finite residue field of odd…

A theorem of Kaplansky asserts that a semigroup of matrices with entries from a field whose members all have singleton spectra is triangularizable. Indeed, Kaplansky's Theorem unifies well-known theorems of Kolchin and Levitzki on…

We show a general decomposition theorem in Baer *-rings. As a consequence the vast majority of decompositions known in the algebra of bounded Hilbert space operators are generalized to Baer *-rings. There are also results which are new in…

A generalization of Selberg's beta integral involving Schur polynomials associated with partitions with entries not greater than 2 is explicitly computed. The complex version of this integral is given after proving a general statement…

We show a conditional exactness statement for the Nisnevich Gersten complex associated to an $\mathbb{A}^1$-invariant cohomology theory with Nisnevich descent for smooth schemes over a Dedekind ring with only infinite residue fields. As an…

In this article we prove several important results on graded rings, especially monoid-rings, that are motivated and inspired by Kaplansky's zero-divisor, unit and idempotents conjectures. Among the main results, we first generalize…

The purpose of this article is to prove that Gersten's conjecture for a commutative regular local ring is true. As its applications, we will prove the vanishing conjecture for certain Chow groups, generator conjecture for certain $K$-groups…

We generalize certain parts of the theory of group rings to the twisted case. Let G be a finite group acting (possibly trivially) on a field L of characteristic coprime to the order of the kernel of this operation. Let K in L be the fixed…

We construct, for any finite commutative ring $R$, a family of representations of the general linear group $\mathrm{GL}_n(R)$ whose intertwining properties mirror those of the principal series for $\mathrm{GL}_n$ over a finite field.

We relate the structure of the Bloch-Kato groups associated with a de Rham Galois representation over a perfectoid field to the Galois theory of the ring $\mathbf{B}_\mathrm{dR}^+$ of $p$-adic periods. As an application, we answer the…

We introduce a general theory of homological Milnor-Witt cycle modules over an excellent base scheme equipped with a dimension function, extending both Rost's cycle modules and Feld's theory over fields. To any such module we associate a…

Hitchin pairs on Riemann surfaces are generalizations of Higgs bundles, allowing the Higgs field to be twisted by an arbitrary line bundle. We consider this generalization in the context of $G$-Higgs bundles for a real reductive Lie group…

We compute the $k$th power-sums (for all $k>0$) over an arbitrary finite unital ring $R$. This unifies and extends the work of Brawley, Carlitz, and Levine for matrix rings [Duke Math. J. 1974], with folklore results for finite fields and…

We prove a global uniform Artin-Rees lemma type theorem for sections of ample line bundles over smooth projective varieties. This result is used to prove an Artin-Rees lemma for the polynomial ring with uniform degree bounds. The proof is…

The ring of ad\`eles of a global field and its group of units, the group of id\`eles, are fundamental objects in modern number theory. We discuss a formalization of their definitions in the Lean 3 theorem prover. As a prerequisite, we…

Goodwillie's rational isomorphism between relative algebraic K-theory and relative cyclic homology, together with the lambda decomposition of cyclic homology, illustrates the close relationships among algebraic K-theory, cyclic homology,…

This article studies the equation $[A,B]^k = {\rm Id}_n$ for matrices over $\mathbb{C}$, characterizing the pairs $(k,n)$ for which solutions exist via a classical result of Lam and Leung on sums of roots of unity. The problem is next…

Consider the polynomial ring in countably infinitely many variables over a field of characteristic zero, together with its natural action of the infinite general linear group G. We study the algebraic and homological properties of finitely…

Similarly to how the classical group ring isomorphism problem asks, for a commutative ring $R$, which information about a finite group $G$ is encoded in the group ring $RG$, the twisted group ring isomorphism problem asks which information…