version: February 24, 2012 (revised and corrected)
                       Topics in Complex Analytic Geometry
                                                     by
                                            Janusz Adamus
                                                Lecture Notes
                                                  PARTII
                                         Department of Mathematics
                                      The University of Western Ontario
                                     c
                                    
Copyright by Janusz Adamus (2007-2012)
              2                                                                      Janusz Adamus
              Contents
              1 Analytic tensor product and fibre product of analytic spaces                      5
              2 Rank and fibre dimension of analytic mappings                                     8
              3 Vertical components and effective openness criterion                             17
              4 Flatness in complex analytic geometry                                           24
              5 Auslander-type effective flatness criterion                                       31
                                                                       A
                                     This document was typeset using A S-LT X.
                                                                   M E
                  Topics in Complex Analytic Geometry - Math 9607/9608                                                        3
                  References
                  [I]         J. Adamus, Complex analytic geometry, Lecture notes Part I (2008).
                  [A1]        J. Adamus, Natural bound in Kwiecinski’s´      criterion for flatness, Proc. Amer. Math. Soc.
                              130, No.11 (2002), 3165–3170.
                  [A2]        J. Adamus, Vertical components in fibre powers of analytic spaces, J. Algebra 272 (2004),
                              no. 1, 394–403.
                  [A3]        J. Adamus, Vertical components and flatness of Nash mappings, J. Pure Appl. Algebra 193
                              (2004), 1–9.
                  [A4]        J. Adamus, Flatness testing and torsion freeness of analytic tensor powers, J. Algebra 289
                              (2005), no. 1, 148–160.
                  [ABM1]      J. Adamus, E.Bierstone, P. D. Milman, Uniform linear bound in Chevalley’s lemma, Canad.
                              J. Math. 60 (2008), no.4, 721–733.
                  [ABM2]      J. Adamus, E. Bierstone, P. D. Milman, Geometric Auslander criterion for flatness, to
                              appear in Amer. J. Math.
                  [ABM3]      J. Adamus, E. Bierstone, P. D. Milman, Geometric Auslander criterion for openness of an
                              algebraic morphism, preprint (arXiv:1006.1872v1).
                  [Au]        M. Auslander, Modules over unramified regular local rings, Illinois J. Math. 5 (1961), 631–
                              647.
                  [BM]        E. Bierstone, P. D. Milman, “The local geometry of analytic mappings”, Dottorato di
                              Ricerca in Matematica, ETS Editrice, Pisa, 1988.
                  [Bou]       N. Bourbaki, “Elements of Mathematics, Commutative Algebra”, Springer, 1989.
                  [Dou]       A.Douady,Le probl`eme des modules pour les sous-espaces analytiques compacts d’un espace
                              analytique donn´e, Ann. Inst. Fourier (Grenoble) 16:1 (1966), 1–95.
                  [Ei]        D. Eisenbud, “Commutative Algebra with a View Toward Algebraic Geometry”, Springer,
                              New York, 1995.
                  [Fi]        G. Fischer, “Complex Analytic Geometry”, Lecture Notes in Mathematics, Vol. 538.
                              Springer, Berlin-New York, 1976.
                  [Fri]       J. Frisch, Points de platitude d’un morphisme d’espaces analytiques complexes, Invent.
                              Math. 4 (1967), 118–138.
                  [Ga]        A. M. Gabrielov, Formal relations between analytic functions, Math. USSR Izv. 7 (1973),
                              1056–1088.
                  [GK]        A. Galligo, M. Kwiecinski,´   Flatness and fibred powers over smooth varieties, J. Algebra
                              232, No.1 (2000), 48–63.
                  [GR]        H. Grauert, R. Remmert, “Analytische Stellenalgebren”, Springer, Berlin-New York, 1971.
                  [Har]       R. Hartshorne, “Algebraic Geometry”, Springer, New York, 1977.
                  [Hi]        H. Hironaka, Stratification and flatness, in “Real and Complex Singularities”, Proc. Oslo
                              1976, ed. Per Holm, Stijthof and Noordhof (1977), 199–265.
                      4                                                                                                                Janusz Adamus
                      [Ku]          E. Kunz, “Introduction to Commutative Algebra and Algebraic Geometry”, Birkh¨auser,
                                    Boston, 1985.
                      [Kw]          M. Kwiecinski,´      Flatness and fibred powers, Manuscripta Mathematica 97 (1998), 163–173.
                      [Li]          S. Lichtenbaum, On the vanishing of Tor in regular local rings, Illinois J. Math. 10 (1966),
                                    220–226.
                      [Lo]          S. Lo  jasiewicz, “Introduction to Complex Analytic Geometry”, Birkh¨auser, Basel, 1991.
                      [Mu]          D. Mumford, “The red book of varieties and schemes”, LNM 1358, Springer-Verlag, Berlin,
                                    1988.
                      [JPS]         J.-P. Serre, “Local Algebra”, Springer, 2000.
                      [V1]          W.V.Vasconcelos, Flatness testing and torsionfree morphisms, J. Pure App. Algebra 122
                                    (1997), 313–321.
                      [V2]          W.V.Vasconcelos, “Computational methods in commutative algebra and algebraic geom-
                                    etry”, Algorithms and Computation in Mathematics 2, Springer, 1998.