Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 2610.40392

A dynamical approach to Frobenius splitting

Alapan Mukhopadhyay·Ilya Smirnov
View original source ↗Read source document ↗Export metadata ↓

Abstract

A dynamical system can be associated to the process of decomposing iterated Frobenius pushforwards of modules into indecomposable direct summands. Via this connection, we apply the theory of Markov chains to study asymptotic counts of multiplicities of indecomposable summands in the iterated Frobenius pushforwards of the given module, as the number of iterations grows. Our results recover and extend the existing results on the existence of the (generalized) F-signature due to Hashimoto--Symonds, Hashimoto--Kobayashi, Smith--Van den Bergh, Tucker, and Yao. We also develop further the theory of F-contributors, the modules for which the multiplicity grows at the maximal possible rate. As a key algebraic input, we define and develop strongly F-regular modules, extending Hochster--Huneke's notion of strongly F-regular rings. We use strongly F-regular modules to prove convergence of the relevant sequences and algebraically characterize F-contributors, when the underlying ring admits a module-finite strongly F-regular extension or has dimension at most two.

Explore related subjects

math.ACmath.AGmath.DS

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Alapan Mukhopadhyay, Ilya Smirnov. 2026-10-29. A dynamical approach to Frobenius splitting. https://arxiv.org/abs/2610.40392

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

KEEP EXPLORING

Related papers

arXiv2026

$F$-injectivity does not imply $F$-fullness in normal domains

We construct examples of Noetherian three-dimensional local geometrically normal domains of prime characteristic which are $F$-injective but not $F$-full. Along the way, we find examples of two-dimensional local geometrically normal domains which are $F$-injective but not $F$-anti-nilpotent. A crucial theme of our constructions is the behavior of $F$-injectivity along a purely inseparable finite base change.

math.AC↗
arXiv2026

A new proof of characteristic-free Knörrer periodicity

Let $R = S/(f)$ be a complete local hypersurface ring and let $A = S[\![u,v]\!]/(f+uv)$. Pfister and Popescu showed that the stable categories of maximal Cohen-Macaulay modules over $R$ and over $A$ are equivalent, with no assumption on the characteristic. We give a short proof. If $(Φ,Ψ)$ is a matrix factorization of $h$ and $\partial$ is a derivation, then $(\partialΨ,\partialΦ)$ is a null-homotopy for multiplication by $\partial h$. Since $u$ and $v$ are partial derivatives of $f+uv$, they act as zero on the stable category of $A$, so the Koszul complex on $u$ and $v$ splits in the singularity category, and this gives density. For the double branched cover $S[\![z]\!]/(f+z^2)$ the same argument yields $2z$: it recovers Knörrer's lemma up to free summands on the double branched cover when $2$ is a unit, and we show by an example that this lemma, and periodicity for the iterated double branched cover $S[\![z,w]\!]/(f+z^2+w^2)$, fail in characteristic two. We also compute the second syzygy over $A$ of a maximal Cohen-Macaulay $R$-module by an explicit resolution, and show that the change of basis used there cannot be given by a universal matrix formula.

math.AC↗
arXiv2026

Intersection multiplicity of a sparse curve and a trinomial curve

Let f $\in$ C[x, y] be a trinomial and let g $\in$ C[x, y] be a sparse polynomial with N monomials (N $\ge$ 1). We address the problem of bounding the local intersection multiplicity of the bivariate polynomial system f = g = 0 at an isolated root q $\in$ (C * )^ 2 only in terms of N . Our main result establishes that the local multiplicity of the system at any isolated solution q $\in$ (C * ) ^2 is at most (N -1)(N +2)/ 2 , independently of the degrees of f and g. Furthermore, we know that this bound is sharp for N = 3.

math.AC↗