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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
A coherent Cartier module \(\mathcal{F}\) if nilpotent is some power of the structural map is zero.
- 2.
An abstract scheme with a finite Frobenius is called F-finite.
- 3.
Here \(\frac{1} {{p}^{e}} \cdot\mathbb{Z}\) is the subgroup of ℚ generated by \(\frac{1} {{p}^{e}}\).
- 4.
Formal sums of codimension 1 subvarieties with rational coefficients.
- 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.
Or even semilocal.
- 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.
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.
That is, a full Abelian subcategory which is closed under extensions; see [5].
- 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.
References
Àlvarez Montaner, J., Boix, A., Zarzuela, S.: Frobenius and Cartier algebras of Stanley-Reisner rings. J. Algebra 358(15), 162–177 (2012)
Anderson, G.W.: An elementary approach to L-functions mod p. J. Number Theory 80(2), 291–303 (2000)
Blickle, M.: Minimal γ–sheaves. Algebra Number Theory 2(3), 347–368 (2008)
Blickle, M.: Test ideals via algebras of p − e-liner maps. J. Algebraic Geom. 22, 49–83 (2013)
Blickle, M., Böckle, G.: Cartier crystals. manuscript in preparation, started 2006
Blickle, M., Böckle, G.: Cartier modules: finiteness results. J. Reine Angew. Math. 661, 85–123 (2011). 2863904
Blickle, M., Mustaţă, M., Smith, K.: Discreteness and rationality of F-thresholds. Michigan Math. J. 57, 43–61 (2008)
Blickle, M., Mustaţă, M., Smith, K.E.: F-thresholds of hypersurfaces. Trans. Amer. Math. Soc. 361(12), 6549–6565 (2009) 2538604 (2011a:13006)
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
Böckle, G., Pink, R.: Cohomological Theory of crystals over function fields. Tracts in Mathematics. European Mathematical Society, Zürich (2009)
Brion, M., Kumar, S.: Frobenius splitting methods in geometry and representation theory. Progress in Mathematics, vol. 231. Birkhäuser, Boston (2005). MR2107324 (2005k:14104)
Bruns, W., Herzog, J.: Cohen-Macaulay rings. Cambridge Studies in Advanced Mathematics, vol. 39. Cambridge University Press, Cambridge, 1993. MR1251956 (95h:13020)
Cartier, P.: Une nouvelle opération sur les formes différentielles. C. R. Acad. Sci. Paris 244, 426–428 (1957) 0084497 (18,870b)
Conrad, B.: Grothendieck duality and base change. Lecture Notes in Mathematics, vol. 1750. Springer, Berlin (2000). MR1804902 (2002d:14025)
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)
Deligne, P., Illusie, L.: Relvements modulo $pˆ2$ et dcomposition du complexe de de rham. Inventiones Mathematica 89, 247–270 (1987)
Emerton, M., Kisin, M.: Riemann–Hilbert correspondence for unit ℱ-crystals. Astérisque 293, vi+257 pp (2004)
Enescu, F., Hochster, M.: The Frobenius structure of local cohomology. Algebra Number Theory 2(7), 721–754 (2008). MR2460693 (2009i:13009)
Esnault, H., Viehweg, E.: Lectures on vanishing theorems. DMV Seminar, vol. 20. Birkhäuser, Basel (1992). MR1193913 (94a:14017)
Fedder, R.: F-purity and rational singularity. Trans. Amer. Math. Soc. 278(2), 461–480 (1983) MR701505 (84h:13031)
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)
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)
Gabriel, P.: Des catégories abéliennes. Bull. Soc. Math. France 90, 323–448 (1962). 0232821 (38 #1144)
Haboush, W.J.: A short proof of the Kempf vanishing theorem. Invent. Math. 56(2), 109–112 (1980) 558862 (81g:14008)
Hacon, C.D.: On log canonical inversion of adjunction. arXiv:1202.0491, PEMS, volume in honour of V. Shokurov. To appear
Hara, N.: A characteristic p analog of multiplier ideals and applications. Comm. Algebra 33(10), 3375–3388 (2005). MR2175438 (2006f:13006)
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
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)
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)
Hara, N., Takagi, S.: On a generalization of test ideals. Nagoya Math. J. 175, 59–74 (2004). MR2085311 (2005g:13009)
Hartshorne, R.: A property of A-sequences. Bull. Soc. Math. France 94, 61–65 (1966) 0209279 (35 #181)
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)
Hartshorne, R.: Local cohomology. A seminar given by A. Grothendieck, Harvard University, Fall, vol. 1961. Springer, Berlin (1967). MR0224620 (37 #219)
Hartshorne, R.: Algebraic geometry, Graduate Texts in Mathematics, vol. 52. Springer, New York (1977). MR0463157 (57 #3116)
Hartshorne, R.: Stable reflexive sheaves. Math. Ann. 254(2), 121–176, (1980). 597077 (82b:14011)
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)
Hartshorne, R., Speiser, R.: Local cohomological dimension in characteristic p. Ann. Math. (2) 105(1), 45–79 (1977) MR0441962 (56 #353)
Hochster, M.: Foundations of tight closure theory. Lecture Notes from a Course Taught on the University of Michigan Fall 2007 (2007)
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)
Hochster, M., Roberts, J.L.: The purity of the Frobenius and local cohomology. Adv. Math. 21(2), 117–172 (1976) MR0417172 (54 #5230)
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)
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)
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)
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)
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)
Kawakita, M.: Inversion of adjunction on log canonicity. Invent. Math. 167(1), 129–133 (2007) MR2264806 (2008a:14025)
Kawamata, Y.: A generalization of Kodaira-Ramanujam’s vanishing theorem. Math. Ann. 261(1), 43–46 (1982). MR675204 (84i:14022)
Kawamata, Y.: Subadjunction of log canonical divisors. II. Amer. J. Math. 120(5), 893–899 (1998). MR1646046 (2000d:14020)
Keeler, D.S.: Fujita’s conjecture and Frobenius amplitude. Amer. J. Math. 130(5), 1327–1336 (2008) 2450210 (2009i:14006)
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)
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)
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)
Kunz, E.: Characterizations of regular local rings for characteristic p. Amer. J. Math. 91, 772–784 (1969). MR0252389 (40 #5609)
Kunz, E.: Kähler differentials. Advanced Lectures in Mathematics, Friedr. Vieweg & Sohn, Braunschweig (1986). MR864975 (88e:14025)
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)
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)
Lech, C.: Inequalities related to certain couples of local rings. Acta Math. 112, 69–89 (1964). 0161876 (28 #5080)
Lipman, J.: Notes on derived functors and Grothendieck duality, Foundations of Grothendieck duality and diagrams of schemes, Lecture Notes in Math., Springer Berlin (2009)
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)
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)
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)
Ma, L.: Finiteness property of local cohomology for F-pure local rings. arXiv:1204.1539 (2012).
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)
Matsumura, H.: Commutative algebra. In: Mathematics Lecture Note Series, vol. 56, 2nd edn. Benjamin/Cummings Publishing, Reading (1980). MR575344 (82i:13003)
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)
Mehta, V.B., Ramanathan, A.: Frobenius splitting and cohomology vanishing for Schubert varieties. Ann. Math. (2) 122(1), 27–40 (1985). MR799251 (86k:14038)
Miyachi, J.-I.: Localization of triangulated categories and derived categories. J. Algebra 141(2), 463–483 (1991) 1125707 (93b:18016)
Moriya, M.: Theorie der Derivationen und Körperdifferenten. Math. J. Okayama Univ. 2, 111–148 (1953) MR0054643 (14,952f)
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)
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)
Ramanan, S., Ramanathan, A.: Projective normality of flag varieties and Schubert varieties. Invent. Math. 79(2), 217–224 (1985). MR778124 (86j:14051)
Scheja, G., Storch, U.: Über Spurfunktionen bei vollständigen Durchschnitten. J. Reine Angew. Math. 278/279, 174–190 (1975). MR0393056 (52 #13867)
Schwede, K.: F-adjunction. Algebra Number Theory 3(8), 907–950 (2009)
Schwede, K.: Centers of F-purity. Math. Z. 265(3), 687–714 (2010). 2644316
Schwede, K.: A canonical linear system associated to adjoint divisors in characteristic p > 0. J. Reine Angew. Math. arXiv:1107.3833
Schwede, K.: Test ideals in non-ℚ-Gorenstein rings. Trans. Amer. Math. Soc. 363(11), 5925–5941 (2011) 2817415 (2012c:13011)
Schwede, K., Takagi, S.: Rational singularities associated to pairs. Michigan Math. J. 57, 625–658 (2008)
Schwede, K., Smith, K.E.: Globally F-regular and log Fano varieties. Adv. Math. 224(3), 863–894 (2010) 2628797 (2011e:14076)
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)
Schwede, K., Tucker, K.: On the behavior of test ideals under finite morphisms. arXiv:1003.4333, J. Algebraic Geom. To appear
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)
Sharp, R.Y.: Tight closure test exponents for certain parameter ideals. Michigan Math. J. 54(2), 307–317 (2006) 2252761 (2007e:13008)
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)
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)
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)
Shokurov, V.V.: Three-dimensional log perestroikas. Izv. Ross. Akad. Nauk Ser. Mat. 56(1), 105–203 (1992). MR1162635 (93j:14012)
Silverman, J.H.: The arithmetic of elliptic curves. In: Graduate Texts in Mathematics, vol. 106, 2nd edn. Springer, Dordrecht (2009). 2514094 (2010i:11005)
Smith, K.E.: Fujita’s freeness conjecture in terms of local cohomology. J. Algebraic Geom. 6(3), 417–429 (1997). MR1487221 (98m:14002)
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)
Takagi, S.: An interpretation of multiplier ideals via tight closure. J. Algebraic Geom. 13(2), 393–415 (2004). MR2047704 (2005c:13002)
Takagi, S., Watanabe, K.-I.: On F-pure thresholds. J. Algebra 282(1), 278–297 (2004). MR2097584 (2006a:13010)
Takagi, S., Takahashi, R.: D-modules over rings with finite F-representation type. Math. Res. Lett. 15(3), 563–581 (2008). MR2407232 (2009e:13003)
Tate, J.: Residues of differentials on curves. Ann. Sci. École Norm. Sup. (4) 1, 149–159 (1968). 0227171 (37 #2756)
Viehweg, E.: Vanishing theorems. J. Reine Angew. Math. 335, 1–8 (1982). MR667459 (83m:14011)
Vitulli, M.A.: Weak normality and seminormality. Commutative Algebra—Noetherian and non-Noetherian Perspectives, pp. 441–480. Springer, New York (2011). 2762521 (2012d:13040)
Yanagihara, H.: On an intrinsic definition of weakly normal rings. Kobe J. Math. 2(1), 89–98 (1985). MR811809 (87d:13007)
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
Corresponding author
Editor information
Editors and Affiliations
Rights 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
DOI: https://doi.org/10.1007/978-1-4614-5292-8_5
Published:
Publisher Name: Springer, New York, NY
Print ISBN: 978-1-4614-5291-1
Online ISBN: 978-1-4614-5292-8
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)