Skip to main content

p −1-Linear Maps in Algebra and Geometry

  • Chapter
  • First Online:
Commutative Algebra

Abstract

At least since Habousch’s proof of Kempf’s vanishing theorem, Frobenius splitting techniques have played a crucial role in geometric representation theory and algebraic geometry over a field of positive characteristic. In this article we survey some recent developments which grew out of the confluence of Frobenius splitting techniques and tight closure theory and which provide a framework for higher dimension geometry in positive characteristic. We focus on local properties, i.e. singularities, test ideals, and local cohomology on the one hand and global geometric applicatioms to vanishing theorems and lifting of sections on the other.

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

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 149.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 199.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 199.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    A coherent Cartier module \(\mathcal{F}\) if nilpotent is some power of the structural map is zero.

  2. 2.

    An abstract scheme with a finite Frobenius is called F-finite.

  3. 3.

    Here \(\frac{1} {{p}^{e}} \cdot\mathbb{Z}\) is the subgroup of ℚ generated by \(\frac{1} {{p}^{e}}\).

  4. 4.

    Formal sums of codimension 1 subvarieties with rational coefficients.

  5. 5.

    On a projective variety X, you can take the definition of big to be a divisor which has a multiple which is linearly equivalent to an ample divisor plus an effective divisor [55, Corollary 2.2.7].

  6. 6.

    Or even semilocal.

  7. 7.

    This means that f i is not a zero divisor in \(S/\langle f_{1},\ldots,f_{i-1}\rangle\) for all i > 0.

  8. 8.

    Essentially étale means essentially of finite type and formally étale, i.e., a morphism that can be factored as a localization followed by a finite type étale morphism.

  9. 9.

    That is, a full Abelian subcategory which is closed under extensions; see [5].

  10. 10.

    It is important to note that while we call it an algebra, it is not generally an R-algebra because R is not central.

  11. 11.

    This definition differs slightly from the original one given in [4] where one requires equality for every minimal prime of σ(M) instead of R. Though this yields different results in general, in light of the Kashiwara equivalence Proposition 8.1.5, the respective theories imply each other.

References

  1. Àlvarez Montaner, J., Boix, A., Zarzuela, S.: Frobenius and Cartier algebras of Stanley-Reisner rings. J. Algebra 358(15), 162–177 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  2. Anderson, G.W.: An elementary approach to L-functions mod p. J. Number Theory 80(2), 291–303 (2000)

    Google Scholar 

  3. Blickle, M.: Minimal γ–sheaves. Algebra Number Theory 2(3), 347–368 (2008)

    Article  MathSciNet  MATH  Google Scholar 

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

    Article  MATH  Google Scholar 

  5. Blickle, M., Böckle, G.: Cartier crystals. manuscript in preparation, started 2006

    Google Scholar 

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

    Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

  8. Blickle, M., Mustaţă, M., Smith, K.E.: F-thresholds of hypersurfaces. Trans. Amer. Math. Soc. 361(12), 6549–6565 (2009) 2538604 (2011a:13006)

    Google Scholar 

  9. Blickle, M., Schwede, K., Takagi, S., Zhang, W.: Discreteness and rationality of F-jumping numbers on singular varieties. Math. Ann. 347(4), 917–949 (2010) 2658149

    Google Scholar 

  10. Böckle, G., Pink, R.: Cohomological Theory of crystals over function fields. Tracts in Mathematics. European Mathematical Society, Zürich (2009)

    Book  MATH  Google Scholar 

  11. Brion, M., Kumar, S.: Frobenius splitting methods in geometry and representation theory. Progress in Mathematics, vol. 231. Birkhäuser, Boston (2005). MR2107324 (2005k:14104)

    Google Scholar 

  12. Bruns, W., Herzog, J.: Cohen-Macaulay rings. Cambridge Studies in Advanced Mathematics, vol. 39. Cambridge University Press, Cambridge, 1993. MR1251956 (95h:13020)

    Google Scholar 

  13. Cartier, P.: Une nouvelle opération sur les formes différentielles. C. R. Acad. Sci. Paris 244, 426–428 (1957) 0084497 (18,870b)

    Google Scholar 

  14. Conrad, B.: Grothendieck duality and base change. Lecture Notes in Mathematics, vol. 1750. Springer, Berlin (2000). MR1804902 (2002d:14025)

    Google Scholar 

  15. de Smit, B.: The different and differentials of local fields with imperfect residue fields. Proceedings of Edinburgh Mathematical Society (2) 40(2), 353–365 (1997). MR1454030 (98d:11148)

    Google Scholar 

  16. Deligne, P., Illusie, L.: Relvements modulo $pˆ2$ et dcomposition du complexe de de rham. Inventiones Mathematica 89, 247–270 (1987)

    Article  MathSciNet  MATH  Google Scholar 

  17. Emerton, M., Kisin, M.: Riemann–Hilbert correspondence for unit -crystals. Astérisque 293, vi+257 pp (2004)

    Google Scholar 

  18. Enescu, F., Hochster, M.: The Frobenius structure of local cohomology. Algebra Number Theory 2(7), 721–754 (2008). MR2460693 (2009i:13009)

    Google Scholar 

  19. Esnault, H., Viehweg, E.: Lectures on vanishing theorems. DMV Seminar, vol. 20. Birkhäuser, Basel (1992). MR1193913 (94a:14017)

    Google Scholar 

  20. Fedder, R.: F-purity and rational singularity. Trans. Amer. Math. Soc. 278(2), 461–480 (1983) MR701505 (84h:13031)

    Google Scholar 

  21. Fujita, T.: Vanishing theorems for semipositive line bundles. Algebraic geometry (Tokyo/Kyoto, 1982), Lecture Notes in Mathematics, vol. 1016, pp. 519–528. Springer, Berlin (1983). 726440 (85g:14023)

    Google Scholar 

  22. Gabber, O.: Notes on some t-structures. Geometric Aspects of Dwork Theory, Vol. I, II, pp. 711–734. Walter de Gruyter GmbH & Co. KG, Berlin (2004)

    Google Scholar 

  23. Gabriel, P.: Des catégories abéliennes. Bull. Soc. Math. France 90, 323–448 (1962). 0232821 (38 #1144)

    Google Scholar 

  24. Haboush, W.J.: A short proof of the Kempf vanishing theorem. Invent. Math. 56(2), 109–112 (1980) 558862 (81g:14008)

    Google Scholar 

  25. Hacon, C.D.: On log canonical inversion of adjunction. arXiv:1202.0491, PEMS, volume in honour of V. Shokurov. To appear

    Google Scholar 

  26. Hara, N.: A characteristic p analog of multiplier ideals and applications. Comm. Algebra 33(10), 3375–3388 (2005). MR2175438 (2006f:13006)

    Google Scholar 

  27. Hara, N.: F-pure thresholds and F-jumping exponents in dimension two. Math. Res. Lett. 13(5–6), 747–760 (2006). With an appendix by Paul Monsky. MR2280772

    Google Scholar 

  28. Hara, N., Watanabe, K.-I.: F-regular and F-pure rings vs. log terminal and log canonical singularities. J. Algebraic Geom. 11(2), 363–392 (2002). MR1874118 (2002k:13009)

    Google Scholar 

  29. Hara, N., Yoshida, K.-I.: A generalization of tight closure and multiplier ideals. Trans. Amer. Math. Soc. 355(8), 3143–3174 (2003) (electronic). MR1974679 (2004i:13003)

    Google Scholar 

  30. Hara, N., Takagi, S.: On a generalization of test ideals. Nagoya Math. J. 175, 59–74 (2004). MR2085311 (2005g:13009)

    Google Scholar 

  31. Hartshorne, R.: A property of A-sequences. Bull. Soc. Math. France 94, 61–65 (1966) 0209279 (35 #181)

    Google Scholar 

  32. Hartshorne, R.: Residues and duality. Lecture notes of a seminar on the work of A. Grothendieck, given at Harvard 1963/64. With an appendix by P. Deligne. Lecture Notes in Mathematics, vol. 20, Springer, Berlin (1966) MR0222093 (36 #5145)

    Google Scholar 

  33. Hartshorne, R.: Local cohomology. A seminar given by A. Grothendieck, Harvard University, Fall, vol. 1961. Springer, Berlin (1967). MR0224620 (37 #219)

    Google Scholar 

  34. Hartshorne, R.: Algebraic geometry, Graduate Texts in Mathematics, vol. 52. Springer, New York (1977). MR0463157 (57 #3116)

    Google Scholar 

  35. Hartshorne, R.: Stable reflexive sheaves. Math. Ann. 254(2), 121–176, (1980). 597077 (82b:14011)

    Google Scholar 

  36. Hartshorne, R.: Generalized divisors on Gorenstein schemes. Proceedings of Conference on Algebraic Geometry and Ring Theory in Honor of Michael Artin, Part III (Antwerp, 1992), vol. 8, pp. 287–339 (1994). MR1291023 (95k:14008)

    Google Scholar 

  37. Hartshorne, R., Speiser, R.: Local cohomological dimension in characteristic p. Ann. Math. (2) 105(1), 45–79 (1977) MR0441962 (56 #353)

    Google Scholar 

  38. Hochster, M.: Foundations of tight closure theory. Lecture Notes from a Course Taught on the University of Michigan Fall 2007 (2007)

    Google Scholar 

  39. Hochster, M.: Some finiteness properties of Lyubeznik’s \(\mathcal{F}\)-modules. Algebra, Geometry and Their Interactions. Contemporary Mathematics, vol. 448, pp. 119–127. American Mathematical Society, Providence (2007) 2389238 (2009c:13010)

    Google Scholar 

  40. Hochster, M., Roberts, J.L.: The purity of the Frobenius and local cohomology. Adv. Math. 21(2), 117–172 (1976) MR0417172 (54 #5230)

    Google Scholar 

  41. Hochster, M., Huneke, C.: Tight closure, invariant theory, and the Briançon-Skoda theorem. J. Amer. Math. Soc. 3(1), 31–116 (1990) MR1017784 (91g:13010)

    Google Scholar 

  42. Huneke, C.: Tight closure and its applications. CBMS Regional Conference Series in Mathematics, vol. 88. Published for the Conference Board of the Mathematical Sciences, Washington, DC, 1996, With an appendix by Melvin Hochster. MR1377268 (96m:13001)

    Google Scholar 

  43. Huneke, C., Swanson, I.: Integral closure of ideals, rings, and modules. In: London Mathematical Society Lecture Note Series, vol. 336. Cambridge University Press, Cambridge (2006) MR2266432 (2008m:13013)

    Google Scholar 

  44. Katz, N.M.: Nilpotent connections and the monodromy theorem: Applications of a result of Turrittin, Inst. Hautes Études Sci. Publ. Math. (1970), (39), 175–232. 0291177 (45 #271)

    Google Scholar 

  45. Katzman, M., Lyubeznik, G., Zhang, W.: On the discreteness and rationality of F-jumping coefficients. J. Algebra 322(9), 3238–3247 (2009). 2567418 (2011c:13005)

    Google Scholar 

  46. Kawakita, M.: Inversion of adjunction on log canonicity. Invent. Math. 167(1), 129–133 (2007) MR2264806 (2008a:14025)

    Google Scholar 

  47. Kawamata, Y.: A generalization of Kodaira-Ramanujam’s vanishing theorem. Math. Ann. 261(1), 43–46 (1982). MR675204 (84i:14022)

    Google Scholar 

  48. Kawamata, Y.: Subadjunction of log canonical divisors. II. Amer. J. Math. 120(5), 893–899 (1998). MR1646046 (2000d:14020)

    Google Scholar 

  49. Keeler, D.S.: Fujita’s conjecture and Frobenius amplitude. Amer. J. Math. 130(5), 1327–1336 (2008) 2450210 (2009i:14006)

    Google Scholar 

  50. Kollár, J., Mori, S.: Birational geometry of algebraic varieties. Cambridge Tracts in Mathematics, vol. 134, Cambridge University Press, Cambridge (1998), With the collaboration of C.H. Clemens and A. Corti. Translated from the 1998 Japanese original. MR1658959 (2000b:14018)

    Google Scholar 

  51. Kollár, J., and 14 coauthors: Flips and abundance for algebraic threefolds. Société Mathématique de France, Paris, 1992. Papers from the Second Summer Seminar on Algebraic Geometry held at the University of Utah, Salt Lake City, Utah, August 1991, Astérisque No. 211 (1992). MR1225842 (94f:14013)

    Google Scholar 

  52. Kumar, S., Mehta, V.B.: Finiteness of the number of compatibly split subvarieties. Int. Math. Res. Not. IMRN 2009(19), 3595–3597 (2009). 2539185 (2010j:13012)

    Google Scholar 

  53. Kunz, E.: Characterizations of regular local rings for characteristic p. Amer. J. Math. 91, 772–784 (1969). MR0252389 (40 #5609)

    Google Scholar 

  54. Kunz, E.: Kähler differentials. Advanced Lectures in Mathematics, Friedr. Vieweg & Sohn, Braunschweig (1986). MR864975 (88e:14025)

    Google Scholar 

  55. Lazarsfeld, R.: Positivity in algebraic geometry. I. Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas. 3rd Series. A Series of Modern Surveys in Mathematics], vol. 48. Springer, Berlin (2004). Classical setting: line bundles and linear series. MR2095471 (2005k:14001a)

    Google Scholar 

  56. Lazarsfeld, R.: Positivity in algebraic geometry. II. Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas. 3rd Series. A Series of Modern Surveys in Mathematics], vol. 49. Springer, Berlin (2004). Positivity for vector bundles, and multiplier ideals. MR2095472 (2005k:14001b)

    Google Scholar 

  57. Lech, C.: Inequalities related to certain couples of local rings. Acta Math. 112, 69–89 (1964). 0161876 (28 #5080)

    Google Scholar 

  58. Lipman, J.: Notes on derived functors and Grothendieck duality, Foundations of Grothendieck duality and diagrams of schemes, Lecture Notes in Math., Springer Berlin (2009)

    Book  Google Scholar 

  59. Lyubeznik, G.: F-modules: applications to local cohomology and D-modules in characteristic p > 0. J. Reine Angew. Math. 491, 65–130 (1997). MR1476089 (99c:13005)

    Google Scholar 

  60. Lyubeznik, G., Smith, K.E.: Strong and weak F-regularity are equivalent for graded rings. Amer. J. Math. 121(6), 1279–1290 (1999) MR1719806 (2000m:13006)

    Google Scholar 

  61. Lyubeznik, G., Smith, K.E.: On the commutation of the test ideal with localization and completion. Trans. Amer. Math. Soc. 353(8), 3149–3180 (2001). (electronic). MR1828602 (2002f:13010)

    Google Scholar 

  62. Ma, L.: Finiteness property of local cohomology for F-pure local rings. arXiv:1204.1539 (2012).

    Google Scholar 

  63. Majadas, J., Rodicio, A.G.: Smoothness, regularity and complete intersection. In: London Mathematical Society Lecture Note Series, vol. 373. Cambridge University Press, Cambridge (2010). 2640631 (2011m:13028)

    Google Scholar 

  64. Matsumura, H.: Commutative algebra. In: Mathematics Lecture Note Series, vol. 56, 2nd edn. Benjamin/Cummings Publishing, Reading (1980). MR575344 (82i:13003)

    Google Scholar 

  65. Matsumura, H.: Commutative ring theory. Cambridge Studies in Advanced Mathematics, vol. 8, 2nd edn. Cambridge University Press, Cambridge (1989). Translated from the Japanese by M. Reid. MR1011461 (90i:13001)

    Google Scholar 

  66. Mehta, V.B., Ramanathan, A.: Frobenius splitting and cohomology vanishing for Schubert varieties. Ann. Math. (2) 122(1), 27–40 (1985). MR799251 (86k:14038)

    Google Scholar 

  67. Miyachi, J.-I.: Localization of triangulated categories and derived categories. J. Algebra 141(2), 463–483 (1991) 1125707 (93b:18016)

    Google Scholar 

  68. Moriya, M.: Theorie der Derivationen und Körperdifferenten. Math. J. Okayama Univ. 2, 111–148 (1953) MR0054643 (14,952f)

    Google Scholar 

  69. Mustaţǎ, M., Takagi, S., Watanabe, K.-I.: F-thresholds and Bernstein-Sato polynomials. European Congress of Mathematics, European Mathematical Society, Zürich, pp. 341–364 (2005). MR2185754 (2007b:13010)

    Google Scholar 

  70. Peskine, C., Szpiro, L.: Dimension projective finie et cohomologie locale. Applications à la démonstration de conjectures de M. Auslander, H. Bass et A. Grothendieck, Inst. Hautes Études Sci. Publ. Math. 42, 47–119 (1973). MR0374130 (51 #10330)

    Google Scholar 

  71. Ramanan, S., Ramanathan, A.: Projective normality of flag varieties and Schubert varieties. Invent. Math. 79(2), 217–224 (1985). MR778124 (86j:14051)

    Google Scholar 

  72. Scheja, G., Storch, U.: Über Spurfunktionen bei vollständigen Durchschnitten. J. Reine Angew. Math. 278/279, 174–190 (1975). MR0393056 (52 #13867)

    Google Scholar 

  73. Schwede, K.: F-adjunction. Algebra Number Theory 3(8), 907–950 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  74. Schwede, K.: Centers of F-purity. Math. Z. 265(3), 687–714 (2010). 2644316

    Google Scholar 

  75. Schwede, K.: A canonical linear system associated to adjoint divisors in characteristic p > 0. J. Reine Angew. Math. arXiv:1107.3833

    Google Scholar 

  76. Schwede, K.: Test ideals in non-ℚ-Gorenstein rings. Trans. Amer. Math. Soc. 363(11), 5925–5941 (2011) 2817415 (2012c:13011)

    Google Scholar 

  77. Schwede, K., Takagi, S.: Rational singularities associated to pairs. Michigan Math. J. 57, 625–658 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  78. Schwede, K., Smith, K.E.: Globally F-regular and log Fano varieties. Adv. Math. 224(3), 863–894 (2010) 2628797 (2011e:14076)

    Google Scholar 

  79. Schwede, K., Tucker, K.: On the number of compatibly Frobenius split subvarieties, prime F-ideals, and log canonical centers. Ann. Inst. Fourier (Grenoble) 60(5), 1515–1531 (2010). 2766221 (2012d:13007)

    Google Scholar 

  80. Schwede, K., Tucker, K.: On the behavior of test ideals under finite morphisms. arXiv:1003.4333, J. Algebraic Geom. To appear

    Google Scholar 

  81. Schwede, K., Tucker, K., Zhang, W.: Test ideals via a single alteration and discreteness and rationality of f-jumping numbers. Math. Res. Lett. 19(01), 191–197 (2012)

    MathSciNet  Google Scholar 

  82. Sharp, R.Y.: Tight closure test exponents for certain parameter ideals. Michigan Math. J. 54(2), 307–317 (2006) 2252761 (2007e:13008)

    Google Scholar 

  83. Sharp, R.Y.: Graded annihilators of modules over the Frobenius skew polynomial ring, and tight closure. Trans. Amer. Math. Soc. 359(9), 4237–4258 (2007) (electronic). MR2309183 (2008b:13006)

    Google Scholar 

  84. Sharp, R.Y.: On the Hartshorne–Speiser–Lyubeznik theorem about Artinian modules with a Frobenius action. Proc. Amer. Math. Soc. 135(3), 665–670 (2007) (electronic). 2262861 (2007f:13008)

    Google Scholar 

  85. Sharp, R.Y., Yoshino, Y.: Right and left modules over the Frobenius skew polynomial ring in the F-finite case. Math. Proc. Cambridge Philos. Soc. 150(3), 419–438 (2011). 2784768 (2012e:13009)

    Google Scholar 

  86. Shokurov, V.V.: Three-dimensional log perestroikas. Izv. Ross. Akad. Nauk Ser. Mat. 56(1), 105–203 (1992). MR1162635 (93j:14012)

    Google Scholar 

  87. Silverman, J.H.: The arithmetic of elliptic curves. In: Graduate Texts in Mathematics, vol. 106, 2nd edn. Springer, Dordrecht (2009). 2514094 (2010i:11005)

    Google Scholar 

  88. Smith, K.E.: Fujita’s freeness conjecture in terms of local cohomology. J. Algebraic Geom. 6(3), 417–429 (1997). MR1487221 (98m:14002)

    Google Scholar 

  89. Smith, K.E.: Globally F-regular varieties: applications to vanishing theorems for quotients of Fano varieties. Michigan Math. J. 48, 553–572 (2000). Dedicated to William Fulton on the occasion of his 60th birthday. MR1786505 (2001k:13007)

    Google Scholar 

  90. Takagi, S.: An interpretation of multiplier ideals via tight closure. J. Algebraic Geom. 13(2), 393–415 (2004). MR2047704 (2005c:13002)

    Google Scholar 

  91. Takagi, S., Watanabe, K.-I.: On F-pure thresholds. J. Algebra 282(1), 278–297 (2004). MR2097584 (2006a:13010)

    Google Scholar 

  92. Takagi, S., Takahashi, R.: D-modules over rings with finite F-representation type. Math. Res. Lett. 15(3), 563–581 (2008). MR2407232 (2009e:13003)

    Google Scholar 

  93. Tate, J.: Residues of differentials on curves. Ann. Sci. École Norm. Sup. (4) 1, 149–159 (1968). 0227171 (37 #2756)

    Google Scholar 

  94. Viehweg, E.: Vanishing theorems. J. Reine Angew. Math. 335, 1–8 (1982). MR667459 (83m:14011)

    Google Scholar 

  95. Vitulli, M.A.: Weak normality and seminormality. Commutative Algebra—Noetherian and non-Noetherian Perspectives, pp. 441–480. Springer, New York (2011). 2762521 (2012d:13040)

    Google Scholar 

  96. Yanagihara, H.: On an intrinsic definition of weakly normal rings. Kobe J. Math. 2(1), 89–98 (1985). MR811809 (87d:13007)

    Google Scholar 

Download references

Acknowledgements

The authors are deeply indebted to Alberto Fernandez Boix, Lance Miller, Claudiu Raicu, Kevin Tucker, Wenliang Zhang, and the referee for innumerable valuable comments on previous drafts of this chapter.

The first author was partially supported by a Heisenberg Fellowship and the SFB/TRR45. The second author was partially supported by the NSF grant DMS #1064485 and a Sloan Research Fellowship.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Karl Schwede .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer Science+Business Media New York

About this chapter

Cite this chapter

Blickle, M., Schwede, K. (2013). p −1-Linear Maps in Algebra and Geometry. In: Peeva, I. (eds) Commutative Algebra. Springer, New York, NY. https://doi.org/10.1007/978-1-4614-5292-8_5

Download citation

Publish with us

Policies and ethics