An algorithm for computing compatibly Frobenius split subvarieties (Q414631): Difference between revisions
From MaRDI portal
Removed claim: reviewed by (P1447): Item:Q206816 |
Changed an Item |
||
Property / reviewed by | |||
Property / reviewed by: Cătălin Ciupercă / rank | |||
Normal rank |
Revision as of 00:13, 11 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | An algorithm for computing compatibly Frobenius split subvarieties |
scientific article |
Statements
An algorithm for computing compatibly Frobenius split subvarieties (English)
0 references
11 May 2012
0 references
Throughout \(R\) will denote a commutative ring of finite type over a perfect field \(k\) of prime characteristic \(p > 0\) or a localization of such a ring. We denote by \(F_{*}^e R\) the ring \(R\) viewed as an \(R\)-module via the \(e\)-th iteration of the Frobenius morphism \(F: R \to R\). Given an \(R\)-linear map \(\phi: F_{*}^e R \to R\) and an ideal \(J \subseteq R\), we say that \(J\) is \(\phi\)-compatible if \(\phi(F_{*}^e J) \subseteq J\). An \(R\)-linear map \(\phi: F_{*}^e R \to R\) is said to be a Frobenius splitting if \(\phi(F_{*}^e1)=1\). In this paper the authors describe an algorithm that produces all the \(\phi\)-compatible ideals of a given surjective \(R\)-linear map \(\phi: F_{*}^e R \to R\). In particular, the algorithm applies to the case of Frobenius splittings. Their work is motivated by a result (and its proof) of \textit{S. Kumar} and \textit{V. B. Mehta} [Int. Math. Res. Not. 2009, No. 19, 3595--3597 (2009; Zbl 1183.13006)] and \textit{K. Schwede} [Algebra Number Theory 3, No. 8, 907--950 (2009; Zbl 1209.13013)] who showed that there are only finitely many such \(\phi\)-compatible ideals. The authors also study a variant of the algorithm in the case when \(\phi\) is not necessarily surjective. These algorithms have been implemented in Macaulay2.
0 references
Frobenius map
0 references
Frobenius splitting
0 references
compatibly split
0 references
test ideal
0 references
algorithm
0 references
prime characteristic
0 references