An algorithm for computing compatibly Frobenius split subvarieties
Abstract
Let $R$ be a ring of prime characteristic $p$, and let $F^e_* R$ denote $R$ viewed as an $R$-module via the $e$th iterated Frobenius map. Given a surjective map $\phi : F^e_* R \to R$ (for example a Frobenius splitting), we exhibit an algorithm which produces all the $\phi$-compatible ideals. We also explore a variant of this algorithm under the hypothesis that $\phi$ is not necessarily a Frobenius splitting (or even surjective). This algorithm, and the original, have been implemented in Macaulay2.
- Publication:
-
arXiv e-prints
- Pub Date:
- April 2011
- DOI:
- 10.48550/arXiv.1104.1937
- arXiv:
- arXiv:1104.1937
- Bibcode:
- 2011arXiv1104.1937K
- Keywords:
-
- Mathematics - Commutative Algebra;
- Mathematics - Algebraic Geometry;
- 14B05;
- 13A35
- E-Print:
- 15 pages, many statements clarified and numerous other substantial improvements to the exposition (thanks to the referees). To appear in the Journal of Symbolic Computation