When does the F-signature exist? (Q2372642): Difference between revisions

Let \((R,m,k)\) be a reduced local F-finite ring, \(\text{char}(R)=p>0, \dim(R)=d.\) Let \(R^{1/q}=R^{a_q}\oplus M_q\) be a direct sum decomposition of \(R^{1/q}\) such that \(M_q\) has no free direct summands. If \(R\) is complete, such a decomposition is unique up to isomorphism. The F-signature of \(R\) is \(s(R)=\lim_{q\rightarrow\infty}\frac{a_q}{q^d+\log_p[k:k^p]},\) if it exists. The authors investigate the open question whether or not, for a strongly F-regular ring the F-signature exists. The first result is that the F-signature exists if \(R\) is an \(\mathbb{N}\)-graded reduced ring over an F-finite field. The second result shows that this happens also for an F-finite strongly regular ring which is \(\mathbb{Q}\)-Gorenstein on the punctured spectrum.