# zbMATH — the first resource for mathematics

Characterizing normal crossing hypersurfaces. (English) Zbl 1333.32034
The purpose of this paper is to give an algebraic characterization of normal crossing divisors on complex manifolds. It is known that a normal crossing divisor is a free divisor. The author proves that a divisor on a complex manifold has normal crossings at a point if and only if it is free with radical Jacobian ideal at that point and its normalization is smooth. Since there is a characterization of free divisors using their Jacobian ideals [A. G. Aleksandrov, Math. USSR, Sb. 65, No. 2, 561–574 (1990; Zbl 0684.32010); translation from Mat. Sb., Nov. Ser. 137(179), No. 4(12), 554–567 (1988)], one obtains a purely algebraic characterization of normal crossing divisors.
From K. Saito’s theory [J. Fac. Sci., Univ. Tokyo, Sect. I A 27, 265–291 (1980; Zbl 0496.32007)], the characterization can be given in terms of logarithmic differential forms and vector fields, and also from [M. Granger and M. Schulze, Compos. Math. 150, No. 9, 1607–1622 (2014; Zbl 1314.32043)] it can be given in terms of the logarithmic residue.

##### MSC:
 32S25 Complex surface and hypersurface singularities 32S10 Invariants of analytic local rings 32A27 Residues for several complex variables 14B05 Singularities in algebraic geometry
Full Text:
##### References:
 [1] Aleksandrov, AG, Euler-homogeneous singularities and logarithmic differential forms, Ann. Glob. Anal. Geom., 4, 225-242, (1986) · Zbl 0632.32007 [2] Aleksandrov, AG, Nonisolated Saito singularities, Math. USSR Sbornik, 65, 561-574, (1990) · Zbl 0684.32010 [3] Aleksandrov, AG, Logarithmic differential forms, torsion differentials and residue, Complex Var. Theory Appl., 50, 777-802, (2005) · Zbl 1083.32024 [4] Aleksandrov, AG; Tsikh, AK, Théorie des résidus de Leray et formes de barlet sur une intersection complète singulière, C. R. Acad. Sci. Paris Sér. I Math., 333, 973-978, (2001) · Zbl 0999.32003 [5] Altman, A., Kleiman, S.: Introduction to Grothendieck duality theory. In: Lecture Notes in Mathematics, vol. 146. Springer, Berlin (1970) · Zbl 0215.37201 [6] Bass, H, On the ubiquity of Gorenstein rings, Math. Z., 82, 8-28, (1963) · Zbl 0112.26604 [7] Bodnár, G.: Algorithmic tests for the normal crossing property. In: Automated Deduction in Geometry, Lecture Notes in Computer Science, vol. 2930, pp. 1-20. Springer, Berlin (2004) · Zbl 0999.32003 [8] Buchweitz, RO; Ebeling, W; Bothmer, HG, Low-dimensional singularities with free divisors as discriminants, J. Algebraic Geom., 18, 371-406, (2009) · Zbl 1167.14004 [9] Buchweitz, R.O., Mond, D.: Linear free divisors and quiver representations. In: Singularities and computer algebra. In: London Math. Soc. Lecture Note Ser., vol. 324, pp. 41-77. Cambridge University Press, Cambridge (2006) · Zbl 1101.14013 [10] Calderón Moreno, F.J., Narváez Macarro, L.: The module $${\cal D}\!\!f^s$$ for locally quasi-homogeneous free divisors. Comp. Math. 134, 59-64 (2002) · Zbl 1017.32023 [11] Calderón Moreno, F.J., Narváez Macarro, L.: On the logarithmic comparison theorem for integrable logarithmic connections. Proc. Lond. Math. Soc. (3) 98(3), 585-606 (2009) · Zbl 1166.32005 [12] Castro Jiménez, F; Narváez Macarro, L; Mond, D, Cohomology of the complement of a free divisor, Trans. Am. Math. Soc., 348, 3037-3049, (1996) · Zbl 0862.32021 [13] Damon, J.: On the freeness of equisingular deformations of plane curve singularities. Topol. Appl. 118(1-2), 31-43 (2002). Arrangements in Boston: a Conference on Hyperplane Arrangements (1999) · Zbl 0995.32022 [14] De-Concini, C; Procesi, C, Wonderful models of subspace arrangements, Selecta Mathematica, 1, 459-494, (1995) · Zbl 0842.14038 [15] Deligne, P.: Théorie de Hodge II. Inst. Hautes Études Sci. Publ. Math. 40, 5-57 (1971) · Zbl 0219.14007 [16] Denham, G; Schenck, H; Schulze, M; Wakefield, M; Walther, U, Local cohomology of logarithmic forms, Ann. Institut Fourier, 63, 1177-1203, (2013) · Zbl 1277.32030 [17] Eisenbud, D.: Commutative algebra with a view toward algebraic geometry, graduate texts in mathematics, vol. 150. Springer, New York (1995) · Zbl 0819.13001 [18] Faber, E.: Normal crossings in local analytic geometry. Phd thesis, Universität Wien (2011) · Zbl 0509.14006 [19] Faber, E, Towards transversality of singular varieties: splayed divisors, Publ. RIMS, 49, 393-412, (2013) · Zbl 1277.32032 [20] Faber, E; Hauser, H, Today’s menu: geometry and resolution of singular algebraic surfaces, Bull. Am. Math. Soc., 47, 373-417, (2010) · Zbl 1235.14016 [21] Fulton, W; MacPherson, R, A compactification of configuration spaces, Ann. Math., 139, 183-225, (1994) · Zbl 0820.14037 [22] Gaffney, T; Hauser, H, Characterizing singularities of varieties and of mappings, Invent. Math., 81, 427-447, (1985) · Zbl 0627.14004 [23] Granger, M; Mond, D; Schulze, M, Free divisors in prehomogeneous vector spaces, Proc. Lond. Math. Soc. (3), 102, 923-950, (2011) · Zbl 1231.14042 [24] Granger, M., Schulze, M.: Normal crossing properties of complex hypersurfaces via logarithmic residues. Compos. Math. (2014, To appear) · Zbl 1314.32043 [25] 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. In: Lecture Notes in Mathematics, No. 20. Springer, Berlin (1966) · Zbl 1277.32032 [26] Hironaka, H, Resolution of singularities of an algebraic variety over a field of characteristic zero, Ann. Math., 79, 109-326, (1964) · Zbl 0122.38603 [27] Hoşten, S., Smith, G.G.: Monomial ideals. In: Computations in Algebraic Geometry with Macaulay 2, Algorithms Comput. Math., vol. 8, pp. 73-100. Springer, Berlin (2002) · Zbl 1235.14016 [28] de Jong, T., Pfister, G.: Local analytic geometry. In: Advanced Lectures in Mathematics. Vieweg, Braunschweig-Wiesbaden (2000) · Zbl 0959.32011 [29] Lang, S.: Fundamentals of Differential Geometry, Graduate Texts in Mathematics, vol. 191. Springer, New York (1999) · Zbl 0932.53001 [30] Lejeune-Jalabert, M; Teissier, B, Clôture intégrale des idéaux et équisingularité with an appendix by Jean-jacques risler, Ann. Fac. Sci. Toulouse Math. (6), 17, 781-859, (2008) · Zbl 1171.13005 [31] Lipman, J; Teissier, B, Pseudo-rational local rings and a theorem of briançon skoda about the integral closure of ideals, Michigan Math. J., 28, 97-116, (1981) · Zbl 0464.13005 [32] Looijenga, E.J.N.: Isolated singular points on complete intersections. In: London Mathematical Society Lecture Note Series, vol. 77. Cambridge University Press, Cambridge (1984) · Zbl 0552.14002 [33] Mather, JN; Yau, SST, Classification of isolated hypersurface singularities by their moduli algebras, Invent. Math., 69, 243-251, (1982) · Zbl 0499.32008 [34] Matsumura, H.: Commutative ring theory. In: Cambridge Studies in Advanced Mathematics, vol. 8. Cambridge University Press, Cambridge (1986) · Zbl 0603.13001 [35] Mond, D., Pellikaan, R.: Fitting ideals and multiple points of analytic mappings. In: Algebraic Geometry and Complex Analysis (Pátzcuaro, 1987). Lecture Notes in Mathematics, vol. 1414, pp. 107-161. Springer, Berlin (1989) · Zbl 0715.32007 [36] Mond, D; Straten, D, The structure of the discriminant of some space-curve singularities, Q. J. Math., 52, 355-365, (2001) · Zbl 1045.14014 [37] Narasimhan, R.: Introduction to the theory of analytic spaces. In: Lecture Notes in Mathematics, vol. 25. Springer, Berlin (1966) · Zbl 0168.06003 [38] Narváez Macarro, L.: Linearity conditions on the Jacobian ideal and logarithmic-meromorphic comparison for free divisors. In: Singularities 1, Contemp. Math., vol. 474, pp. 245-269. American Mathematical Society, Providence (2008) · Zbl 1166.32006 [39] Nobile, A, Some properties of the Nash blowing-up, Pac. J. Math., 60, 297-305, (1975) · Zbl 0324.32012 [40] Orlik, P., Terao, H.: Arrangements of hyperplanes. In: Grundlehren der Mathematischen Wissenschaften, vol. 300. Springer, Berlin (1992) · Zbl 0757.55001 [41] Pellikaan, R, Finite determinacy of funtions with non-isolated singularities, Proc. Lond. Math. Soc., 57, 357-382, (1988) · Zbl 0621.32019 [42] Piene, R.: Ideals associated to a desingularization. In: Algebraic Geometry (Proc. Summer Meeting, Univ. Copenhagen, Copenhagen, 1978), Lecture Notes in Mathematics, vol. 732, pp. 503-517. Springer, Berlin (1979) · Zbl 0129.29701 [43] Rossi, H, Vector fields on analytic spaces, Ann. Math., 2, 455-467, (1963) · Zbl 0129.29701 [44] Saito, K, Theory of logarithmic differential forms and logarithmic vector fields, J. Fac. Sci. Univ. Tokyo, 27, 265-291, (1980) · Zbl 0496.32007 [45] Saito, K, Primitive forms for a universal unfolding of a function with an isolated critical point, J. Fac. Sci. Univ. Tokyo Sect. IA Math., 28, 775-792, (1981) · Zbl 0523.32015 [46] Scheja, G, Fortsetzungssätze der komplex-analytischen cohomologie und ihre algebraische charakterisierung, Math. Ann., 157, 75-94, (1964) · Zbl 0136.20704 [47] Sekiguchi, J, Three dimensional Saito free divisors and singular curves, J. Sib. Fed. Univ. Math. Phys., 1, 33-41, (2008) [48] Simis, A.: Differential idealizers and algebraic free divisors. In: Commutative Algebra, Lect. Notes Pure Appl. Math., vol. 244, pp. 211-226 (2006) · Zbl 1099.13030 [49] Siu, Y.T., Trautmann, G.: Gap-sheaves and extension of coherent analytic subsheaves. In: Lecture Notes in Mathematics, vol. 172. Springer, Berlin (1971) · Zbl 0208.10403 [50] Lê, D.T., Saito K.: The local $$π _{1}$$ of the complement of a hypersurface with normal crossings in codimension $$1$$ is abelian. Ark. Mat. 22(1), 1-24 (1984) · Zbl 0553.14006 [51] Terao, H, Arrangements of hyperplanes and their freeness I, J. Fac. Sci. Univ. Tokyo Sect. IA Math., 27, 293-312, (1980) · Zbl 0509.14006 [52] Terao, H.: The exponents of a free hypersurface. In: Singularities, Part 2 (Arcata, Calif., 1981). In: Proc. Sympos. Pure Math., vol. 40, pp. 561-566. American Mathematical Society, Providence (1983)
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.