next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
TestIdeals :: TestIdeals

TestIdeals -- a package for calculations of singularities in positive characteristic

Description

TestIdeals is a package for basic computations of F-singularities. It is focused on computing test ideals and related objects. It does this via frobeniusRoot which computes I[1/pe] as introduced by Blickle-Mustata-Smith (this is equivalent to the image of an ideal under the Cartier operator in a polynomial ring).

We describe some notable functions below.

Notable functions:
  • testIdeal compute the test ideal of a normal Q-Gorenstein ring or pair.
  • testModule compute the parameter test module of a ring or pair.
  • parameterTestIdeal compute the parameter test ideal of a Cohen-Macaulay ring.
  • HSLGModule compute the stable image of the trace of Frobenius on the canonical module.
  • isFregular checks if a normal Q-Gorenstein ring or pair is F-regular.
  • isFpure checks if a ring is F-pure.
  • isFrational checks if a ring is F-rational.
  • isFinjective checks if a ring is F-injective.
  • compatibleIdeals finds the compatibly F-split ideals with a (near) F-splitting.

Acknowledgements:

The authors would like to thank David Eisenbud, Daniel Grayson, Anurag Singh, Greg Smith, and Mike Stillman for useful conversations and comments on the development of this package.

Authors

Version

This documentation describes version 0.2 of TestIdeals.

Source code

The source code from which this documentation is derived is in the file TestIdeals.m2. The auxiliary files accompanying it are in the directory TestIdeals/.

Exports

  • Functions and commands
    • adicDigit -- digit of the non-terminating expansion of a number in [0,1] in a given base
    • adicExpansion -- compute adic expansion
    • adicTruncation -- truncation of a non-terminating adic expansion
    • ascendIdeal -- finds the smallest phi-stable ideal containing a given ideal in a quotient of a polynomial ring.
    • canonicalIdeal -- given a ring, produces an ideal isomorphic to the canonical module
    • compatibleIdeals -- finds all ideals compatibly Frobenius split ideals
    • decomposeFraction -- decompose a rational number into a/(p^b(p^c-1))
    • fastExponentiation -- computes powers of elements in rings of positive characteristic quickly
    • floorLog -- floor of a logarithm
    • frobenius -- computes Frobenius powers of ideals and matrices
    • frobeniusPower -- computes the (generalized) Frobenius power of an ideal
    • frobeniusRoot -- computes I^[1/p^e] in a polynomial ring over a perfect field
    • frobeniusTraceOnCanonicalModule -- finds the u, which in a polynomail ring, determines the Frobenius trace on canonical module of a quotient of that ring
    • HSLGModule -- computes the submodule of the canonical module stable under the image of the trace of Frobenius
    • isCohenMacaulay -- determines if a ring is Cohen-Macaulay
    • isFinjective -- whether a ring is F-injective
    • isFpure -- whether a ring is F-pure
    • isFrational -- whether a ring is F-rational
    • isFregular -- whether a ring or pair is strongly F-regular
    • multiplicativeOrder -- multiplicative order of an integer modulo another
    • parameterTestIdeal -- computes the parameter test ideal of a Cohen-Macaulay ring
    • QGorensteinGenerator -- finds an element representing the Frobenius trace map of a Q-Gorenstein ring
    • testElement -- finds a test element of a ring
    • testIdeal -- computes the test ideal of f^t in a Q-Gorenstein ring
    • testModule -- finds the parameter test module of a reduced ring
  • Symbols
    • AscentCount -- an option for ascendIdeal
    • AssumeCM -- make assumptions about your ring
    • AssumeNormal, see AssumeCM -- make assumptions about your ring
    • AssumeReduced, see AssumeCM -- make assumptions about your ring
    • AssumeDomain -- an option to assume a ring is a domain
    • CanonicalStrategy -- an option for isFinjective
    • FrobeniusPowerStrategy -- an option for frobeniusPower
    • FrobeniusRootStrategy -- an option for various functions
    • IsLocal -- an option used to specify whether to only work locally
    • Katzman -- a valid value for the option CanonicalStrategy
    • MaxCartierIndex -- an option used to specify the maximum possible Cartier index of a divisor
    • MonomialBasis -- a valid value for the FrobeniusRootStrategy option
    • MTries -- an option to pass through to embedAsIdeal
    • Naive -- a valid value for the option FrobeniusPowerStrategy
    • NoZeroC -- an option for decomposeFraction
    • QGorensteinIndex -- an option used to specify the Q-Gorenstein index of the ring
    • Safe -- a valid value for the option FrobeniusPowerStrategy
    • Substitution -- a valid value for the FrobeniusRootStrategy option