nach oben

Erschienen in:

2013 | OriginalPaper | Buchkapitel

p ⁻¹-Linear Maps in Algebra and Geometry

verfasst von : Manuel Blickle, Karl Schwede

Erschienen in: Commutative Algebra

Verlag: Springer New York

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

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.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Vorheriges Kapitel Three Flavors of Extremal Betti Tables

Nächstes Kapitel Castelnuovo–Mumford Regularity of Annihilators, Ext and Tor Modules

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

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

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

Formal sums of codimension 1 subvarieties with rational coefficients.

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].

Or even semilocal.

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

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.

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

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

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.

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

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)MathSciNetMATHCrossRef

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

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)MathSciNetMATHCrossRef

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

10.

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

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)

12.

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

13.

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

14.

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

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)

16.

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

17.

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

18.

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

19.

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

20.

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

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)

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)

23.

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

24.

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

25.

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

26.

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

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

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)

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)

30.

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

31.

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

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)

33.

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

34.

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

35.

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

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)

37.

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

38.

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

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)

40.

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

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)

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)

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)

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)

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)

46.

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

47.

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

48.

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

49.

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

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)

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)

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)

53.

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

54.

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

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)

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)

57.

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

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)CrossRef

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)

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)

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)

62.

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

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)

64.

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

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)

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)

67.

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

68.

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

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)

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)

71.

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

72.

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

73.

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

74.

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

75.

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

76.

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

77.

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

78.

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

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)

80.

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

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

82.

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

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)

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)

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)

86.

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

87.

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

88.

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

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)

90.

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

91.

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

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)

93.

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

94.

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

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)

96.

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

Titel: p −1-Linear Maps in Algebra and Geometry
verfasst von: Manuel Blickle
Karl Schwede
Verlag: Springer New York
Buch: Commutative Algebra
Print ISBN: 978-1-4614-5291-1

Electronic ISBN: 978-1-4614-5292-8

Copyright-Jahr: 2013
DOI: https://doi.org/10.1007/978-1-4614-5292-8_5

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"