Local cohomology of logarithmic forms

Denham, G.; Schenck, H.; Schulze, M.; Wakefield, M.; Walther, U.

doi:10.5802/aif.2787

Local cohomology of logarithmic forms
[Cohomologie locale des formes logarithmiques]

Denham, G.¹ ; Schenck, H.² ; Schulze, M.³ ; Wakefield, M.⁴ ; Walther, U.⁵

¹ University of Western Ontario Department of Mathematics London, Ontario N6A 5B7 (Canada)
² University of Illinois Department of Mathematics Urbana, IL 61801 (USA)
³ University of Kaiserslautern Department of Mathematics 67663 Kaiserslautern (Germany)
⁴ United States Naval Academy Department of Mathematics Annapolis, MD 21402 (USA)
⁵ Purdue University Department of Mathematics West Lafayette, IN 47907 (USA)

Annales de l'Institut Fourier, Tome 63 (2013) no. 3, pp. 1177-1203.

Résumé
Abstract

Soit $X$ une variété algébrique lisse et $Y$ un diviseur sur $X$ . Nous étudions la géométrie du schéma Jacobien de $Y$ , les invariants homologiques provenant des formes différentielles logarithmiques le long de $Y$ , et leur relation avec la propriété que $Y$ soit un diviseur libre. Nous considérons les arrangements d’hyperplans comme source d’exemples et de contre-exemples. En particulier, nous faisons un calcul complet de la cohomologie locale des formes logarithmiques d’arrangements d’hyperplans génériques.

Let $Y$ be a divisor on a smooth algebraic variety $X$ . We investigate the geometry of the Jacobian scheme of $Y$ , homological invariants derived from logarithmic differential forms along $Y$ , and their relationship with the property that $Y$ be a free divisor. We consider arrangements of hyperplanes as a source of examples and counterexamples. In particular, we make a complete calculation of the local cohomology of logarithmic forms of generic hyperplane arrangements.

MR Zbl

DOI : 10.5802/aif.2787

Classification : 32S22, 52C35, 16W25
Keywords: hyperplane arrangement, logarithmic, differential form, free divisor
Mot clés : arrangements d’hyperplans, forme logarithmique différentielle, diviseur libre

Affiliations des auteurs :

Denham, G. ¹ ; Schenck, H. ² ; Schulze, M. ³ ; Wakefield, M. ⁴ ; Walther, U. ⁵

@article{AIF_2013__63_3_1177_0,
     author = {Denham, G. and Schenck, H. and Schulze, M. and Wakefield, M. and Walther, U.},
     title = {Local cohomology of logarithmic forms},
     journal = {Annales de l'Institut Fourier},
     pages = {1177--1203},
     publisher = {Association des Annales de l{\textquoteright}institut Fourier},
     volume = {63},
     number = {3},
     year = {2013},
     doi = {10.5802/aif.2787},
     zbl = {1277.32030},
     mrnumber = {3137483},
     language = {en},
     url = {http://www.numdam.org/articles/10.5802/aif.2787/}
}

TY  - JOUR
AU  - Denham, G.
AU  - Schenck, H.
AU  - Schulze, M.
AU  - Wakefield, M.
AU  - Walther, U.
TI  - Local cohomology of logarithmic forms
JO  - Annales de l'Institut Fourier
PY  - 2013
SP  - 1177
EP  - 1203
VL  - 63
IS  - 3
PB  - Association des Annales de l’institut Fourier
UR  - http://www.numdam.org/articles/10.5802/aif.2787/
DO  - 10.5802/aif.2787
LA  - en
ID  - AIF_2013__63_3_1177_0
ER  -

%0 Journal Article
%A Denham, G.
%A Schenck, H.
%A Schulze, M.
%A Wakefield, M.
%A Walther, U.
%T Local cohomology of logarithmic forms
%J Annales de l'Institut Fourier
%D 2013
%P 1177-1203
%V 63
%N 3
%I Association des Annales de l’institut Fourier
%U http://www.numdam.org/articles/10.5802/aif.2787/
%R 10.5802/aif.2787
%G en
%F AIF_2013__63_3_1177_0

Denham, G.; Schenck, H.; Schulze, M.; Wakefield, M.; Walther, U. Local cohomology of logarithmic forms. Annales de l'Institut Fourier, Tome 63 (2013) no. 3, pp. 1177-1203. doi : 10.5802/aif.2787. http://www.numdam.org/articles/10.5802/aif.2787/

Bibliographie
Cité par

[1] Borel, A.; Grivel, P.-P.; Kaup, B.; Haefliger, A.; Malgrange, B.; Ehlers, F. Algebraic $D$ -modules, Perspectives in Mathematics, 2, Academic Press Inc., Boston, MA, 1987 | MR

[2] Brieskorn, E. Singular elements of semi-simple algebraic groups, Actes du Congrès International des Mathématiciens (Nice, 1970), Tome 2, Gauthier-Villars, Paris, 1971, pp. 279-284 | MR | Zbl

[3] Bruce, J. W. Functions on discriminants, J. London Math. Soc. (2), Volume 30 (1984) no. 3, pp. 551-567 | DOI | MR | Zbl

[4] Calderón-Moreno, Francisco J. Logarithmic differential operators and logarithmic de Rham complexes relative to a free divisor, Ann. Sci. École Norm. Sup. (4), Volume 32 (1999) no. 5, pp. 701-714 | DOI | Numdam | MR | Zbl

[5] Calderón Moreno, Francisco J.; Mond, David; Narváez Macarro, Luis; Castro Jiménez, Francisco J. Logarithmic cohomology of the complement of a plane curve, Comment. Math. Helv., Volume 77 (2002) no. 1, pp. 24-38 | DOI | MR | Zbl

[6] Castro-Jiménez, Francisco J.; Narváez-Macarro, Luis; Mond, David Cohomology of the complement of a free divisor, Trans. Amer. Math. Soc., Volume 348 (1996) no. 8, pp. 3037-3049 | DOI | MR | Zbl

[7] Cohen, D.; Denham, G.; Falk, M.; Varchenko, A. Critical points and resonance of hyperplane arrangements, Canad. J. Math., Volume 63 (2011) no. 5, pp. 1038-1057 | DOI | MR | Zbl

[8] Denham, Graham; Schulze, Mathias Complexes, duality and Chern classes of logarithmic forms along hyperplane arrangements, Advanced Studies in Pure Mathematics, Volume 62, 2011 http://xxx.lanl.gov/abs/1004.4237 (in press) | MR

[9] Edelman, Paul H.; Reiner, Victor A counterexample to Orlik’s conjecture, Proc. Amer. Math. Soc., Volume 118 (1993) no. 3, pp. 927-929 | DOI | MR | Zbl

[10] Eisenbud, David; Huneke, Craig; Vasconcelos, Wolmer Direct methods for primary decomposition, Invent. Math., Volume 110 (1992) no. 2, pp. 207-235 | DOI | MR | Zbl

[11] Granger, Michel; Mond, David; Nieto-Reyes, Alicia; Schulze, Mathias Linear free divisors and the global logarithmic comparison theorem, Ann. Inst. Fourier (Grenoble), Volume 59 (2009) no. 2, pp. 811-850 | DOI | Numdam | MR | Zbl

[12] Granger, Michel; Mond, David; Schulze, Mathias Free divisors in prehomogeneous vector spaces, Proc. Lond. Math. Soc. (3), Volume 102 (2011) no. 5, pp. 923-950 | DOI | MR | Zbl

[13] Granger, Michel; Schulze, Mathias On the formal structure of logarithmic vector fields, Compos. Math., Volume 142 (2006) no. 3, pp. 765-778 | DOI | MR | Zbl

[14] Granger, Michel; Schulze, Mathias On the symmetry of $b$ -functions of linear free divisors, Publ. Res. Inst. Math. Sci., Volume 46 (2010) no. 3, pp. 479-506 | DOI | MR | Zbl

[15] de Gregorio, Ignacio; Mond, David; Sevenheck, Christian Linear free divisors and Frobenius manifolds, Compos. Math., Volume 145 (2009) no. 5, pp. 1305-1350 | DOI | MR | Zbl

[16] Lebelt, Karsten Zur homologischen Dimension äusserer Potenzen von Moduln, Arch. Math. (Basel), Volume 26 (1975) no. 6, pp. 595-601 | DOI | MR | Zbl

[17] Lebelt, Karsten Freie Auflösungen äusserer Potenzen, Manuscripta Math., Volume 21 (1977) no. 4, pp. 341-355 | DOI | MR | Zbl

[18] Looijenga, E. J. N. Isolated singular points on complete intersections, London Mathematical Society Lecture Note Series, 77, Cambridge University Press, Cambridge, 1984 | MR | Zbl

[19] Mangeney, Marguerite; Peskine, Christian; Szpiro, Lucien Anneaux de Gorenstein, et torsion en algèbre commutative, Séminaire d’Algèbre Commutative dirigé par Pierre Samuel, 1966/67. Texte rédigé, d’après des exposés de Maurice Auslander, Marquerite Mangeney, Christian Peskine et Lucien Szpiro. École Normale Supérieure de Jeunes Filles, Secrétariat mathématique, Paris, 1967 | MR

[20] Matsumura, Hideyuki Commutative ring theory, Cambridge Studies in Advanced Mathematics, 8, Cambridge University Press, Cambridge, 1989 (Translated from the Japanese by M. Reid) | MR | Zbl

[21] Mond, David; Schulze, Mathias Adjoint divisors and free divisors, arXiv.org, math.AG, 2010 (1001.1095, Submitted)

[22] Mustaţǎ, Mircea; Schenck, Henry K. The module of logarithmic $p$ -forms of a locally free arrangement, J. Algebra, Volume 241 (2001) no. 2, pp. 699-719 | DOI | MR | Zbl

[23] Orlik, Peter; Terao, Hiroaki Arrangements of hyperplanes, Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], 300, Springer-Verlag, Berlin, 1992 | MR | Zbl

[24] Roos, Jan-Erik Bidualité et structure des foncteurs dérivés de $lim_{\to}$ dans la catégorie des modules sur un anneau régulier, C. R. Acad. Sci. Paris, Volume 254 (1962), pp. 1556-1558 | MR | Zbl

[25] Rose, Lauren L.; Terao, Hiroaki A free resolution of the module of logarithmic forms of a generic arrangement, J. Algebra, Volume 136 (1991) no. 2, pp. 376-400 | DOI | MR | Zbl

[26] Saito, Kyoji Quasihomogene isolierte Singularitäten von Hyperflächen, Invent. Math., Volume 14 (1971), pp. 123-142 | DOI | MR | Zbl

[27] Saito, Kyoji Theory of logarithmic differential forms and logarithmic vector fields, J. Fac. Sci. Univ. Tokyo Sect. IA Math., Volume 27 (1980) no. 2, pp. 265-291 | MR | Zbl

[28] Sevenheck, Christian Bernstein polynomials and spectral numbers for linear free divisors, Ann. Inst. Fourier (Grenoble), Volume 61 (2011) no. 1, pp. 379-400 | arXiv | DOI | Numdam | MR | Zbl

[29] Simis, Aron Differential idealizers and algebraic free divisors, Commutative algebra (Lect. Notes Pure Appl. Math.), Volume 244, Chapman & Hall/CRC, Boca Raton, FL, 2006, pp. 211-226 | MR | Zbl

[30] Slodowy, Peter Simple singularities and simple algebraic groups, Lecture Notes in Mathematics, 815, Springer, Berlin, 1980 | MR | Zbl

[31] Solomon, L.; Terao, H. A formula for the characteristic polynomial of an arrangement, Adv. in Math., Volume 64 (1987) no. 3, pp. 305-325 | DOI | MR | Zbl

[32] van Straten, D. A note on the discriminant of a space curve, Manuscripta Math., Volume 87 (1995) no. 2, pp. 167-177 | DOI | MR | Zbl

[33] Terao, Hiroaki Free arrangements of hyperplanes and unitary reflection groups, Proc. Japan Acad. Ser. A Math. Sci., Volume 56 (1980) no. 8, pp. 389-392 http://projecteuclid.org/getRecord?id=euclid.pja/1195516722 | DOI | MR | Zbl

[34] Terao, Hiroaki Discriminant of a holomorphic map and logarithmic vector fields, J. Fac. Sci. Univ. Tokyo Sect. IA Math., Volume 30 (1983) no. 2, pp. 379-391 | MR | Zbl

[35] Wiens, Jonathan The module of derivations for an arrangement of subspaces, Pacific J. Math., Volume 198 (2001) no. 2, pp. 501-512 | DOI | MR | Zbl

[36] Wiens, Jonathan; Yuzvinsky, Sergey De Rham cohomology of logarithmic forms on arrangements of hyperplanes, Trans. Amer. Math. Soc., Volume 349 (1997) no. 4, pp. 1653-1662 | DOI | MR | Zbl

[37] Yuzvinsky, Sergey A free resolution of the module of derivations for generic arrangements, J. Algebra, Volume 136 (1991) no. 2, pp. 432-438 | DOI | MR | Zbl

[38] Zakalyukin, V. M. Reconstructions of fronts and caustics depending on a parameter, and versality of mappings, Current problems in mathematics, Vol. 22 (Itogi Nauki i Tekhniki), Akad. Nauk SSSR Vsesoyuz. Inst. Nauchn. i Tekhn. Inform., Moscow, 1983, pp. 56-93 | MR | Zbl

[39] Ziegler, Günter M. Combinatorial construction of logarithmic differential forms, Adv. Math., Volume 76 (1989) no. 1, pp. 116-154 | DOI | MR | Zbl

Cité par Sources :