Infinitesimal Noncommutative Witt Group Schemes

• Infinitesimal non-commutative Witt group schemes are local, functorial constructions that generalize classical Witt vectors to associative algebras using V-adic filtrations and truncations.
• They leverage structures like Teichmüller maps, Verschiebung, Frobenius, and ghost components, linking Hochschild–Witt complexes with de Rham–Witt comparisons and Hopf-algebraic models.
• These schemes serve as building blocks in singular geometry, providing explicit local factors in Nori’s fundamental group scheme and illustrating Tannakian and non-commutative algebraic applications.

Searching arXiv for the cited papers to ground the article and verify identifiers. Infinitesimal non-commutative Witt group schemes are local or pro-local group-valued constructions that extend key features of classical Witt vector theory from commutative rings and smooth schemes to associative, generally non-commutative settings. Across several distinct but related frameworks, they appear as functorial abelian groups equipped with Teichmüller maps, Verschiebung and, in some constructions, Frobenius and ghost components; as Hopf-dual affine group schemes built from free irreducible cocommutative Hopf algebras; and as accessory local factors in explicit decompositions of Nori’s fundamental group scheme of certain singular varieties (Kaledin, 2016, 2002.01538, Pisolkar et al., 28 Jan 2026, Hai et al., 9 Jul 2025). The subject is unified by the idea that non-commutative Witt theory admits an “infinitesimal” filtration by truncations or $V$-adic layers, but it also exhibits sharp obstructions: outside the commutative case, scheme-theoretic representability is delicate or unavailable, Morita invariance becomes a decisive structural constraint, and different non-commutative Witt constructions cannot in general be related by ghost-compatible or structure-preserving maps (Pisolkar, 2020).

1. Conceptual setting and scope

Classical Witt vectors organize $p$-typical or big Witt data into functors with filtration, ghost coordinates, and Frobenius–Verschiebung calculus. In the non-commutative setting, multiple constructions preserve parts of this structure. The Hochschild–Witt complex associates to any associative unital $k$-algebra $A$, over a perfect field $k$ of characteristic $p>0$, a functorial complex $WCH_\bullet(A)$ with homology $WHH_\bullet(A)$; in degree $0$, $WHH_0(A)$ recovers Hesselholt’s non-commutative Witt vectors, while in the commutative finitely generated smooth case it recovers the de Rham–Witt complex $p$0 (Kaledin, 2016). A separate construction defines big Witt vectors with coefficients $p$1 for a unital associative ring $p$2 and an $p$3-bimodule $p$4, producing a Hausdorff complete topological abelian group with ghost map, Teichmüller generators, Frobenius and Verschiebung operators, and Morita invariance in the specialization $p$5 (2002.01538).

A different line of work develops universal $p$6-typical group-valued functors on the category of associative rings with unity. For a prime $p$7, the functor $p$8 is constructed as a universal pre-Witt functor, subject to an explicit conjecture concerning non-commutative polynomials, and $p$9 is constructed as a universal Witt functor closely related to Hesselholt’s Witt functor $k$0 (Pisolkar et al., 28 Jan 2026). In this framework, the infinitesimal structure is encoded by $k$1-adic completeness and truncations $k$2.

A geometric realization appears in the study of singular projective varieties obtained by pinching a simply connected smooth projective variety along a finite subscheme. There, explicit local affine group schemes $k$3 attached to connected pinching data decompose as amalgamated products of infinitesimal non-commutative Witt group schemes $k$4, and these furnish the local factors in an explicit description of Nori’s fundamental group scheme $k$5 (Hai et al., 9 Jul 2025). This identifies infinitesimal non-commutative Witt group schemes as concrete Tannakian and Hopf-algebraic objects, not only as abstract functors.

2. Hochschild–Witt complexes and $k$6-typical infinitesimal structure

For a perfect field $k$7 of characteristic $k$8 and an associative unital $k$9-algebra $A$0, the Hochschild–Witt formalism begins with polynomial Witt vectors $A$1, a family of polynomial functors

$A$2

equipped with surjective restriction maps $A$3, injective co-restriction maps $A$4 satisfying $A$5, and a functorial Teichmüller map $A$6 characterized by $A$7 (Kaledin, 2016). Each $A$8 extends to a trace functor on the cyclic category, and in the inverse limit $A$9 the values are torsion-free and carry an $k$0-structure compatible with the pseudotensor structure (Kaledin, 2016).

Applying these trace functors to the cyclic object $k$1 yields cyclic objects $k$2 and $k$3. The Hochschild–Witt complexes are then defined by

$k$4

with homology groups

$k$5

functorially in $k$6 (Kaledin, 2016). In the commutative case, the pseudotensor structure yields graded-commutative algebra structures on these homology groups, and the Connes–Tsygan operator $k$7 acts as a derivation (Kaledin, 2016).

The infinitesimal character of the construction is expressed by filtrations and truncations. Each $k$8 carries standard and costandard filtrations induced from $k$9, while in the inverse limit only the standard filtration survives and $p>0$0 (Kaledin, 2016). Proposition 4.3 gives short exact sequences

$p>0$1

together with companion exact sequences involving $p>0$2 (Kaledin, 2016). These exact sequences formalize the successive “infinitesimal layers” generated by Verschiebung and Frobenius truncation.

At homology level, the $p>0$3-structure descends and satisfies the classical $p>0$4-typical identities

$p>0$5

both for $p>0$6 and in the inverse limit $p>0$7 (Kaledin, 2016). The first identity anchors the $p>0$8-typical scaling law, while the second identifies the cyclic operator $p>0$9 as the homological analogue of the differential in de Rham–Witt theory.

3. Degree zero, ghost components, and non-commutative Witt group functors

The degree-zero group $WCH_\bullet(A)$0 is identified functorially with Hesselholt’s non-commutative Witt vectors $WCH_\bullet(A)$1. The construction uses the augmentation and Teichmüller maps to define

$WCH_\bullet(A)$2

and then assemble these maps over truncation length by

$WCH_\bullet(A)$3

(Kaledin, 2016). Theorem 5.4 proves functorial isomorphisms

$WCH_\bullet(A)$4

compatible with restriction and Verschiebung and satisfying $WCH_\bullet(A)$5 (Kaledin, 2016). Thus the Hochschild–Witt construction gives a chain-level realization of Hesselholt’s group-valued non-commutative Witt theory.

Hesselholt’s ghost map for a general associative ring is a map

$WCH_\bullet(A)$6

with components

$WCH_\bullet(A)$7

and Hesselholt’s construction requires factorization through abelian groups $WCH_\bullet(A)$8, functoriality, injectivity when $WCH_\bullet(A)$9 has no $WHH_\bullet(A)$0-torsion, and compatible restriction maps (Kaledin, 2016). This passage through the commutator quotient is fundamental: even when the input is a non-commutative ring, the ghost coordinates live in $WHH_\bullet(A)$1, not in $WHH_\bullet(A)$2 itself.

A related but broader construction defines big Witt vectors with coefficients $WHH_\bullet(A)$3 for a unital associative ring $WHH_\bullet(A)$4 and an $WHH_\bullet(A)$5-bimodule $WHH_\bullet(A)$6. Here one starts from the completed tensor algebra

$WHH_\bullet(A)$7

and the subgroup of special units $WHH_\bullet(A)$8, then defines $WHH_\bullet(A)$9 as the abelianization of $0$0 modulo the relations $0$1, completed with respect to the degree filtration (2002.01538). The resulting group is functorial, Hausdorff, and complete, and specializes to the additive group underlying the classical big Witt ring when $0$2 is commutative and $0$3 (2002.01538).

The ghost map in this setting is induced from the logarithmic derivative

$0$4

and descends to a continuous homomorphism

$0$5

(2002.01538). When the transfer maps from coinvariants to invariants are injective, this ghost map is injective and a homeomorphism onto its image (2002.01538). The tangent space at the identity satisfies

$0$6

so the linearization is again controlled by a commutator quotient (2002.01538). This suggests that the “infinitesimal” content of non-commutative Witt groups is closely tied to Hochschild-type degree-zero invariants.

4. Universal $0$7-adic constructions and truncation layers

The universal approach of 2026 formalizes what data a non-commutative $0$8-typical Witt theory should carry. A pre-Witt functor is a functor $0$9 equipped with a Verschiebung $WHH_0(A)$0 and a Teichmüller map $WHH_0(A)$1, such that $WHH_0(A)$2 is additive, $WHH_0(A)$3 is complete for the filtration $WHH_0(A)$4, and suitable $WHH_0(A)$5-torsion-freeness conditions hold (Pisolkar et al., 28 Jan 2026). This definition isolates the $WHH_0(A)$6-adic and additive core of $WHH_0(A)$7-typical Witt theory without imposing a Frobenius operator as part of the structure.

The functor $WHH_0(A)$8 is constructed from the Cuntz–Deninger $WHH_0(A)$9-functor. For a ring $p$00, one sets

$p$01

and lets $p$02 be the closure in $p$03 of the subgroup generated by $p$04 (Pisolkar et al., 28 Jan 2026). After imposing presentation relations and saturation conditions along all maps from $p$05-torsion free sources, one obtains $p$06, independent of the chosen free presentation (Pisolkar et al., 28 Jan 2026). The additivity constraint survives passage to the quotient because in $p$07 one has

$p$08

which is visibly additive (Pisolkar et al., 28 Jan 2026).

Under Conjecture 1.9 and for $p$09, $p$10 is initial among pre-Witt functors on associative rings with unity (Pisolkar et al., 28 Jan 2026). The stronger functor $p$11 is obtained by imposing non-commutative Witt polynomial relations for addition and subtraction of Teichmüller elements: $p$12 and, under the same conjecture, $p$13 is universal among Witt functors (Pisolkar et al., 28 Jan 2026).

The infinitesimal interpretation is explicit. For any $p$14, the truncations

$p$15

fit into short exact sequences

$p$16

and similarly for $p$17 (Pisolkar et al., 28 Jan 2026). In the commutative case, the corresponding truncated Witt functors are finite, infinitesimal, unipotent $p$18-group schemes, and the paper states that in the non-commutative case $p$19 and $p$20 should be viewed as infinitesimal non-commutative Witt group functors approximating the full object (Pisolkar et al., 28 Jan 2026). Since representability by classical schemes fails in the category of associative rings, the appropriate structure is a $p$21-adically filtered pro-object rather than a scheme in the usual sense.

5. Hopf-algebraic group schemes $p$22 and singular geometry

A genuinely scheme-theoretic incarnation is provided by infinitesimal non-commutative Witt group schemes $p$23 attached to Ditters’ and Newman’s Hopf-algebraic theory. Let $p$24 be the free associative $p$25-algebra on generators $p$26, graded by $p$27, with comultiplication

$p$28

and antipode determined recursively by the elements $p$29 defined from $p$30 (Hai et al., 9 Jul 2025). Ditters constructs a minimal curve $p$31 in $p$32 such that each $p$33 is homogeneous of degree $p$34 and $p$35 (Hai et al., 9 Jul 2025). For $p$36, the non-commutative Witt Hopf algebra is

$p$37

and the associated infinitesimal non-commutative Witt group scheme is

$p$38

(Hai et al., 9 Jul 2025).

These group schemes are local and satisfy a height bound: $p$39 is local, and its height is $p$40 (Hai et al., 9 Jul 2025). Their maximal abelian quotient is explicitly

$p$41

where $p$42 is the $p$43-th Frobenius kernel of the infinite Witt group scheme (Hai et al., 9 Jul 2025). This places $p$44 directly adjacent to classical Witt geometry: its abelianization retains both a diagonalizable factor and an infinitesimal commutative Witt factor.

These Hopf-algebraic group schemes arise as local accessory factors in Nori’s fundamental group scheme of pinched singular varieties. For a finite connected scheme $p$45 with local algebra $p$46, the Tannakian category $p$47 has dual affine group scheme $p$48, and $p$49, where $p$50 carries a cocommutative Hopf algebra structure determined by the multiplication constants of $p$51 (Hai et al., 9 Jul 2025). Newman’s theorem gives a coproduct decomposition

$p$52

which dualizes to the amalgamated product decomposition

$p$53

(Hai et al., 9 Jul 2025). The multiplicity of $p$54 is computed from the filtration $p$55 by

$p$56

(Hai et al., 9 Jul 2025).

For singular varieties $p$57 obtained by pinching a simply connected smooth projective variety $p$58 along a finite subscheme $p$59 to a reduced finite scheme $p$60, the resulting fundamental group scheme satisfies

$p$61

under the hypotheses $p$62 and $p$63 reduced (Hai et al., 9 Jul 2025). Since each $p$64 is local of explicitly computable height, this yields explicit nontrivial local examples of Nori’s $p$65 with prescribed height (Hai et al., 9 Jul 2025). In this sense, infinitesimal non-commutative Witt group schemes are not only analogues of classical Witt group schemes but also the local building blocks of a geometric fundamental group construction in singular characteristic-$p$66 geometry.

6. Relation to classical Witt theory and de Rham–Witt geometry

The closest classical comparison occurs in the commutative smooth case. If $p$67 is commutative, of finite type over $p$68, and $p$69 is smooth over $p$70, then the Hochschild–Kostant–Rosenberg isomorphism identifies

$p$71

and the Connes–Tsygan operator $p$72 becomes the de Rham differential $p$73 (Kaledin, 2016). The non-commutative Cartier model of Theorem 3.3 recovers Illusie’s Cartier isomorphism in this setting (Kaledin, 2016). The main comparison theorem then states

$p$74

compatibly with product, Frobenius $p$75, Verschiebung $p$76, and with $p$77 sent to $p$78 (Kaledin, 2016). Thus the Hochschild–Witt complex computes the $p$79-de Rham procomplex in the classical smooth commutative regime.

The big-Witt-with-coefficients construction also specializes correctly. If $p$80 is commutative and $p$81, then $p$82, $p$83, and $p$84 identifies with the additive group underlying the classical big Witt ring $p$85 (2002.01538). For commutative $p$86, the external monoidal structure recovers the usual ring structure on $p$87, and the ghost map agrees with the classical $p$88-type ghost components (2002.01538).

The universal constructions $p$89 and $p$90 likewise restrict to the classical $p$91-typical Witt vectors on commutative rings. The theorem stated is that if $p$92, then $p$93 (Pisolkar et al., 28 Jan 2026). In this commutative regime, the usual identities $p$94 and $p$95 hold, whereas in the non-commutative universal characterization Frobenius is not imposed and the additive constraint $p$96 replaces it (Pisolkar et al., 28 Jan 2026).

The Hopf-algebraic group schemes $p$97 also recover commutative Witt geometry after abelianization. The paper states that $p$98 identifies with the commutative quotient $p$99, and hence $k$00 identifies with the largest abelian quotient of $k$01 (Hai et al., 9 Jul 2025). This shows that the classical truncated Witt group scheme sits as the abelian shadow of the non-commutative object.

7. Obstructions, misconceptions, and current limits

A common misconception is that there should be a single canonical non-commutative Witt vector construction directly interpolating all existing approaches. The available results point in the opposite direction. For the free associative ring $k$02 and any prime $k$03, there is no continuous surjective group homomorphism

$k$04

that commutes with Verschiebung and the Teichmüller map (Pisolkar, 2020). Moreover, any continuous map $k$05 with those compatibilities must commute with ghost maps, and this forced ghost compatibility leads to contradiction (Pisolkar, 2020). In the opposite direction, there is no set map

$k$06

that commutes with ghost maps (Pisolkar, 2020). The obstruction is detected by the failure of

$k$07

in $k$08, witnessed via a trace computation in $k$09 (Pisolkar, 2020).

These no-go results delimit the meaning of “group scheme” in the non-commutative context. In the Hochschild–Witt setting, representability by schemes is explicitly not claimed; the obstacles include the lack of a natural ring structure on $k$10 when $k$11 is non-commutative and the absence of commutative geometry tools (Kaledin, 2016). In the big-Witt-with-coefficients setting, representability as a formal group scheme is described as delicate and generally unavailable; $k$12 is better viewed as a pro-group functor with exactness and Morita invariance properties (2002.01538). In the universal $k$13 setting, representability by classical schemes fails in the category of associative rings, so the correct interpretation is again as group-valued functors with $k$14-adic pro-structure (Pisolkar et al., 28 Jan 2026).

Another structural fault line is Morita invariance. The big Witt functor $k$15 is Morita invariant, and in particular $k$16 for all $k$17 (2002.01538). By contrast, $k$18 is not Morita invariant, and $k$19 differs from $k$20; the 2026 paper therefore suspects that Hesselholt’s $k$21 is the universal Morita-invariant Witt functor (Pisolkar et al., 28 Jan 2026). This suggests that Morita invariance is not a technical embellishment but a decisive organizing principle for which non-commutative Witt constructions behave geometrically.

A further limitation is conjecturality. The universality of $k$22 and $k$23 depends on Conjecture 1.9, a non-commutative independence statement for Teichmüller elements in free associative polynomial rings (Pisolkar et al., 28 Jan 2026). Without the conjecture, one still has natural transformations $k$24 and a canonical surjection $k$25, but the strongest universal statements remain conditional (Pisolkar et al., 28 Jan 2026).

Taken together, these results indicate that “infinitesimal non-commutative Witt group schemes” is not a single established category with one universal model. Rather, it denotes a family of interrelated structures: functorial abelian groups with $k$26-adic or truncation filtrations; Hochschild–cyclic complexes carrying $k$27-operations and de Rham–Witt comparisons; and, in the most literal scheme-theoretic sense, local affine group schemes $k$28 arising from Hopf duality and appearing as explicit factors in the Tannakian description of singular fundamental group schemes (Kaledin, 2016, 2002.01538, Pisolkar et al., 28 Jan 2026, Hai et al., 9 Jul 2025, Pisolkar, 2020). A plausible implication is that the subject is best understood as a stratified landscape of models, linked by ghost-coordinate, $k$29-adic, and Morita-invariant phenomena, rather than as a direct non-commutative transplant of classical Witt group-scheme theory.