Searcharxiv⌕ Search
Home/Archive/arXiv

arXiv · 0704.3278

Zeroth Hochschild homology of preprojective algebras over the integers

Travis Schedler
View original source ↗Read source document ↗Export metadata ↓

Abstract

We determine the Z-module structure of the preprojective algebra and its zeroth Hochschild homology, for any non-Dynkin quiver (and hence the structure working over any base commutative ring, of any characteristic). This answers (and generalizes) a conjecture of Hesselholt and Rains, producing new $p$-torsion classes in degrees 2p^l, l >= 1, We relate these classes by p-th power maps and interpret them in terms of the kernel of Verschiebung maps from noncommutative Witt theory. An important tool is a generalization of the Diamond Lemma to modules over commutative rings, which we give in the appendix. In the previous version, additional results are included, such as: the Poisson center of $\text{Sym } HH_0(Π)$ for all quivers, the BV algebra structure on Hochschild cohomology, including how the Lie algebra structure $HH_0(Π_Q)$ naturally arises from it, and the cyclic homology groups of $Π_Q$.

Explore related subjects

math.RTmath.QA

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Travis Schedler. 2016-05-28. Zeroth Hochschild homology of preprojective algebras over the integers. https://arxiv.org/abs/0704.3278

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Mutation of τ-exceptional pairs and sequences

We introduce a notion of mutation for $τ$-exceptional sequences of modules over arbitrary finite dimensional algebras. For hereditary algebras, we show that this coincides with the classical mutation of exceptional sequences. For rank two algebras, we show that mutation of $τ$-exceptional sequences is transitive if and only if mutation of support $τ$-tilting modules in the sense of Adachi-Iyama-Reiten is transitive.

math.RT↗
arXiv2026

Stability of plethysm coefficients and modified polynomial induction

Let $h_n$ denote the complete homogeneous symmetric function of degree $n$, $s_ν$ the Schur function indexed by a partition $ν$, and $\langle\cdot,\cdot\rangle$ the Hall inner product. The plethysm coefficient $\langle h_n[h_m], s_ν\rangle$ is the multiplicity of the Weyl module $W_ν(\mathbb{C}^N)$ in $\mathrm{Sym}^n(\mathrm{Sym}^m(\mathbb{C}^N))$ whenever $ν$ has at most $N$ parts. For a partition $λ$, let $λ[mn]=(mn-|λ|,λ_1,λ_2,\dots)$. Bowman and Paget proved that $\langle h_n[h_m], s_{λ[mn]}\rangle$ is independent of $m$ and $n$ once $m,n\ge|λ|$. We prove that this coefficient is already constant for $m\geλ_1$ and $n\ge\lfloor(|λ|+λ_1)/2\rfloor$, and that its stable value equals $\langle s_λ, H[H-1-h_1]\rangle$, where $H=\sum_{i\ge0}h_i$; the proof uses the skewing operators adjoint to multiplication by complete homogeneous symmetric functions. We give a short new proof of the Bowman-Paget theorem based on stability of vector-partition functions, which count the ways of writing a vector of non-negative integers as an unordered sum of non-zero such vectors (its parts). Using a Vandermonde-type determinantal identity, we deduce that the stable value is a signed sum of numbers of vector partitions all of whose parts have entries summing to at least 2. The same method gives a short proof of Brion's stability theorem. We show that the stable value equals the multiplicity of $W_λ(\mathbb{C}^k)$, where $k=\lfloor|λ|/2\rfloor$, in an explicit representation of $GL_k(\mathbb{C})$ independent of $m$ and $n$, obtained by modifying the polynomial induction of Narayanan, Paul, Prasad and Srivastava. Finally, we prove an explicit positive formula for the stable value, which counts the number of lattice points in a polytope, when $λ_1\le 4$.

math.RT↗
arXiv2026

A Counterexample To The TF-cone Conjecture

The TF-cone conjecture of Asai and Iyama predicts that the TF equivalence class of an integral $g$-vector is the open cone generated by the canonical summands of all its positive multiples. We give a counterexample to this conjecture. For the tensor product of the three-arrow Kronecker algebra with the path algebra of $s\to t$, a vector $w$ has a two-dimensional TF equivalence class, whereas every positive integral multiple $mw$ is generically indecomposable. The cone generated by these canonical summands is therefore a single ray. The same example disproves the relative-interior version proposed by Haerizadeh and Yassemi.

math.RT↗