Searcharxiv⌕ Search
Home/Archive/arXiv

arXiv · 2609.37931

The WittVectors package for Macaulay2

Anne Fayolle·Abhay Goel·Devlin Mallory·Eamon Quinlan-Gallego·Teppei Takamatsu
View original source ↗Read source document ↗Export metadata ↓

Abstract

We implement a Macaulay2 package for computations involving rings of truncated Witt vectors $W_n(R)$ of a finitely generated $\F_p$-algebra $R$. This package includes ring operations (addition, multiplication, Frobenius, Verschiebung, etc.) on elements of $W_n(R)$, conversion between tuple representatives and ghost map representatives of elements of truncated Witt vectors over polynomial rings, and explicit computation of $W_n(R)$ as a finite-type algebra over $\Z/p^n$. This functionality is based on an algorithm we developed for performing arithmetic operations in rings of finite length $p$-typical Witt vectors over finitely generated $\F_p$-algebras. In addition, we implement an algorithm to calculate lifts of Frobenius from $\F_p$-algebras to flat lifts over $\Z/p^2\Z$, and an algorithm to find the quasi-$F$-splitting height of a local or graded complete intersection ring.

Explore related subjects

math.ACmath.AG

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Anne Fayolle, Abhay Goel, Devlin Mallory, Eamon Quinlan-Gallego, Teppei Takamatsu. 2026-09-29. The WittVectors package for Macaulay2. https://arxiv.org/abs/2609.37931

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

KEEP EXPLORING

Related papers

arXiv2026

Hilbert Series and Logarithmic Degrees of $A$-Hypergeometric Series

Fix a generic weight vector and a fake exponent of a homogeneous $A$-hypergeometric system. Using all corresponding standard pairs, including embedded ones, we construct an Artinian quotient of the Stanley--Reisner ring of the link of the negative support. Its Hilbert series gives the graded dimensions of the orthogonal complement of the local fake indicial ideal and, under the Okuyama--Saito Frobenius condition, those of the leading logarithmic coefficient space of actual series solutions. The construction requires no Cohen--Macaulay hypothesis. When a top-dimensional standard pair occurs and the link is Cohen--Macaulay, the Hilbert series specializes to the $h$-polynomial of the link.

math.AC↗
arXiv2026

Christophersen's problem for monomial algebras

Christophersen's problem predicts that the connected component of the automorphism group of a finite-dimensional local algebra $A$ of dimension $\ell$ over an algebraically closed field of characteristic zero has dimension at least $\ell-1$, with equality if and only if $A$ is isomorphic to $\mathbf{k}[t]/(t^{\ell})$. We settle this problem in the class of monomial algebras. Using the combinatorial structure of the irredundant irreducible decomposition of a monomial ideal, we prove the predicted inequality and characterize the equality case. We further obtain stronger lower bounds depending on whether the defining monomial ideal is reducible or irreducible, and we determine all monomial algebras attaining each of these bounds.

math.AC↗
arXiv2026

Weak and strong Lefschetz properties for vertex cover Artinian algebras associated to graphs

Let $G$ be a finite simple graph and let $A_c(G)$ be the Artinian algebra associated with its cover ideal. We prove that $A_c(G)$ has the WLP when $τ(G)>|V(G)|/2$, where $τ(G)$ denotes the size of a minimum vertex cover of $G$. As a consequence, $A_c(G)$ has the WLP with high probability when the Erdős-Rényi random graph model is considered. Moreover, we study the borderline case $τ(G)=|V(G)|/2$ and as a result, classify the WLP for paths, cycles, Ferrers graphs, and well-covered trees.

math.AC↗