Skip to main content
SpringerLink
Log in

An algorithm for producing F-pure ideals

  • Published:
Archiv der Mathematik Aims and scope Submit manuscript

Abstract

This paper describes a method for computing all F-pure ideals for a given Cartier map of a polynomial ring over a finite field.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Blickle M.: Test ideals via algebras of p −e-linear maps. J. Algebraic Geom., 22, 49–83 (2013)

    Article  MATH  MathSciNet  Google Scholar 

  2. Blickle M., Böckle G.: Cartier modules: finiteness results. J. Reine Angew. Math., 661, 85–123 (2011)

    Article  MATH  MathSciNet  Google Scholar 

  3. Blickle M., Mustaţă M., Smith K. E.: Discreteness and rationality of F-thresholds. Michigan Math. J., 57, 43–61 (2008)

    Article  MATH  MathSciNet  Google Scholar 

  4. A. F. Boix and M. Katzman FPureAlgorithm.m2: a Macaulay2 package for computing F-pure ideals with respect to principal Cartier algebras, Available at http://atlas.mat.ub.edu/personals/aboix/thesis.html, 2013.

  5. M. Brion and S. Kumar Frobenius splitting methods in geometry and representation theory, volume 231 of Progress in Mathematics, Birkhäuser Boston Inc., Boston, MA, 2005.

  6. D. R. Grayson and M. E. Stillman Macaulay2, a software system for research in algebraic geometry, Available at http://www.math.uiuc.edu/Macaulay2/, 2013.

  7. Katzman M.: Parameter-test-ideals of Cohen-Macaulay rings. Compos. Math., 144, 933–948 (2008)

    Article  MATH  MathSciNet  Google Scholar 

  8. Katzman M.: A non-finitely generated algebra of Frobenius maps. Proc. Amer. Math. Soc., 138, 2381–2383 (2010)

    Article  MATH  MathSciNet  Google Scholar 

  9. Katzman M., Schwede K.: An algorithm for computing compatibly Frobenius split subvarieties. J. Symbolic Comput., 47, 996–1008 (2012)

    Article  MATH  MathSciNet  Google Scholar 

  10. M. Katzman and K. Schwede FSplitting, a Macaulay2 package implementing an algorithm for computing compatibly Frobenius split subvarieties, Available at http://katzman.staff.shef.ac.uk/FSplitting/, 2012.

  11. Schwede K.: Test ideals in non-\({\mathbb{Q}}\) -Gorenstein rings. Trans. Amer. Math. Soc., 363, 5925–5941 (2011)

    Article  MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Economics and Business, Universitat Pompeu Fabra, Jaume I Building, Ramon Trias Fargas 25-27, 08005, Barcelona, Spain

    Alberto F. Boix

  2. Department of Pure Mathematics, University of Sheffield, Hicks Building, Sheffield, S3 7RH, UK

    Mordechai Katzman

Authors
  1. Alberto F. Boix
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Mordechai Katzman
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Alberto F. Boix.

Additional information

A. F. Boix is partially supported by MTM2010-20279-C02-01.

M. Katzman is supported by EPSRC grant EP/I031405/1.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Boix, A.F., Katzman, M. An algorithm for producing F-pure ideals. Arch. Math. 103, 421–433 (2014). https://doi.org/10.1007/s00013-014-0704-7

Download citation

  • Received:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00013-014-0704-7

Mathematical Subject Classification

Keywords

Search

Navigation