AI 中文总结
该研究针对有限生成自由群上的有限表现模，推导了其到高维随机模的同态平均数目的闭式表达式，证明其为q^n的有理函数，且基于偏模理论给出了相关结果。
AI 中文摘要
设F是有限生成自由群，L是有限表现的𝔽_q[F]-模，我们研究从L到𝔽_q上n维𝔽_q[F]-模的𝔽_q[F]-模同态的平均数目Λ_L(n)。我们证明，对所有足够大的n，Λ_L(n)是q^n的有理函数，满足Λ_L(n)=q^{χ(L)n}+∑_{N∈A(L)}q^{χ(L/N)n}(1+O(q^{-n}))，其中χ(L)表示L的欧拉特征，A(L)是L中无非零自由商的非零𝔽_q[F]-子模的集合。我们的证明基于偏模理论，该理论可能具有独立意义并可用于其他场景。
英文摘要
Let $F$ be a finitely generated free group, and let $L$ be a finitely presented $\mathbb{F}_q[F]$-module. We study the average number $Λ_L(n)$ of $\mathbb{F}_q[F]$-module homomorphisms from $L$ to an $\mathbb{F}_q[F]$-module of dimension $n$ over $\mathbb{F}_q$. We show that, for all sufficiently large $n$, the quantity $Λ_L(n)$ is given by a rational function of $q^n$ and satisfies \[ Λ_L(n) = q^{χ(L)n} + \sum_{N\in A(L)} q^{χ(L/N)n}\bigl(1+O(q^{-n})\bigr), \] where $χ(L)$ denotes the Euler characteristic of $L$, and $A(L)$ is the set of nonzero $\mathbb{F}_q[F]$-submodules $N$ of $L$ that have no nonzero free quotients. Our proof is based on a theory of partial modules that may be of independent interest and have further applications.
