nLab analytic geometry

Contents

This entry is about geometry based on the study of analytic functions, hence about analytic varieties.

This is unrelated to “analytic geometry” in the sense of methods in the geometry of nn-dimensional Euclidean space involving coordinate calculations (as opposed to synthetic geometry); which is usually combined with linear algebra taught in a geometric way. For this latter meaning see at coordinate system.

Contents

Idea

In research mathematics, when one says analytic geometry, then “analytic” refers to analytic functions in the sense of Taylor expansion and by analytic geometry one usually means the study of geometry of complex manifolds/complex analytic spaces, as well as their analytic subsets, Stein domains and related notions. More generally one may replace the complex numbers by non-archimedean fields in which case one speaks of rigid analytic geometry.

Similarly to an algebraic variety, an analytic variety is locally given as a zero locus of a finite set of analytic functions, i.e. of holomorphic functions in complex analytic geometry.

A short survey can be found in a chapter of Dieudonne’s Panorama of pure mathematics.

In addition to analytic geometry over complex numbers, there is also another formalism which allows for nonarchimedean ground fields. This is the subject of rigid analytic geometry or global analytic geometry. Similarly to schemes, rigid analytic varieties are glued from Bercovich spectra of certain commutative Banach algebras, so-called affinoids, in a certain Grothendieck topology. (See analytic space.) There are several variants of the formalism (e.g. due Huber). The subject is closely related to formal geometry and has its main applications in arithmetic geometry and representation theory.

It is an open problem to find an appropriate analogue of rigid analytic geometry in noncommutative geometry, which is supposed to play an important role in mirror symmetry.

Local properties of analytic manifolds and spaces are studied in local analytic geometry.

Theorems

(…)

(…)

Holomorphic functions of several complex variables

This section is about certain aspects of holomorphic functions n\mathbb{C}^n \to \mathbb{C}.

Currently it concentrates on aspects of relevance in the application to AQFT, such as a version of the edge-of-the-wedge theorem.

From the viewpoint of complex manifolds this is the local theory that describes the situation in coordinate patches.

When we talk about holomorphic functions in the following and do not specify the domain, we will always assume that the domain is an open, simply connected subset of n\mathbb{C}^n.

relevance to quantum field theory (QFT)

In the AQFT formulation (actually the following description is the Heisenberg picture of quantum mechanics in a nutshell) selfadjoint operators AA on a Hilbert space \mathcal{H} are the observables of a physical system, while normed vectors x,yx, y \in \mathcal{H} represent the states the system can be in. The real number y,Ax\langle y, A x \rangle represents the probability that a system starting in state xx will be in state yy after a measurement of AA.

In AQFT we often encounter a set of operators indexed by several complex variables z=(z 1,z 2,...)z = (z_1, z_2, ...) and try to deduce properties of the theory from the function f(z):=y,A(z)xf(z) := \langle y, A(z)x \rangle. In this way, the theory of holomorphic functions of several variables is promoted to an irreplaceable tool in quantum field theory.

Hartogs’ theorem

One striking difference of functions of several real variables and several complex variables is described by Hartogs’ theorem on separate analyticity:

  • Theorem (Hartogs): Let f be a \mathbb{C}-valued function defined in an open set U nU \subset \mathbb{C}^n. Suppose that f is analytic in each variable z jz_j when the other coordinates z kz_k are fixed. Then f is analytic as a function of all n coordinates.

remark: There are no other assumptions about f necessary, it needs not to be continous or even measurable. Note that in the real case the property of being partially differentiable alone encodes nearly no information about a function.

Reference:

relevance: When reading AQFT literature you will often encounter the claim that given functions are holomorphic, Hartogs’ theorem simplifies the task of checking these claims considerably, because you have to check the holomorphy in every single variable only.

analogues from the one-dimensional theory

Some results remain true in the multi dimensional case.

  • Identity theorem: If a holomorphic function is zero in a neighbourhood of a point, it is the zero function.

remark: As usual the domain is supposed to be an open, simply connected (not necessarily proper) subset of n\mathbb{C}^n, which implies that the point of the precondition of the theorem is an interior point of the domain.

domains of holomorphy

One of the most notably difference of the theory of one complex variable and of several complex variables is that the riemann mapping theorem fails in several complex variables, which is in a certain sense the reason why in several complex variables there are domains which can be enlarged such that all holomorphic functions extend to the larger domain.

handwaving why this is not possible in one dimension: According to the riemann mapping theorem every domain (open, simply connected proper subset of \mathbb{C}) is biholomorph equivalent to the open disk E:={z:|z|<1}E: = \{ z: |z| \lt 1 \}, which means that the rings of holomorphic functions are isomorph, too. But the ring of holomorphic functions on E has to every point in the boundary of E a function that has a pole in this point, so that E cannot be enlarged in a way that all holomorphic functions are extentable. Therefore this applies to every domain.

Some domains in n\mathbb{C}^n do have the property that they cannot be enlarged, and since this is an interesting property, the name domain of holomorphy was coined for these, and the question how they could be described was promoted to an interesting research topic in the beginning of the 20th century.

edge of the wedge theorems

These theorems desribe situations where holomorphic functions defined on specific domains (the wedges) can be continued to holomorphic functions of larger domains.

They are a valuable tool in AQFT (and were in fact discovered by one of the fathers of the theory, Nikolay Bogolyubov).

We state here one version that will be of use to the nLab:

  • theorem (edge of the wedge): Let K:={z n:|z|r}K := \{ z \in \mathbb{C}^n: |z| \le r \} be a ball in n\mathbb{C}^n and let 𝒞 n\mathcal{C} \subset \mathbb{R}^n be an open convex cone such that 𝒞(𝒞)\mathcal{C} \cap (- \mathcal{C}) \neq \emptyset . We put z=x+iyz = x + iy with x,y nx, y \in \mathbb{R}^n and define an open domain G by G:={z=x+iy:zK,y𝒞}G:= \{ z = x + iy: z \in K, y \in \mathcal{C} \}. Let ff be a holomorphic function in G and assume that
    lim y0,y𝒞f(x+iy) \lim_{y \to 0, y \in \mathcal{C}} f(x + iy)

    exists for all xB r nx \in B_r \subset \mathbb{R}^n, where B rB_r is an open ball with radius r. (The limit may not depend on the specific sequence chosen). Then ff is holomorph extendable into an open region GG 0G \cup G_0 with

    G 0:= xB r{z:|zx|θdist(x,U)} G_0 := \bigcup_{x \in B_r} \{ z: |z-x| \le \theta \cdot dist(x, \partial U) \}

    with 0<θ<10 \lt \theta \lt 1 a constant that is independent from x,B rx, B_r, and ff.

proof: V.S.Vladimirov, “theory of functions of several complex variables” (ZMATH entry)

References

Course notes on (global) analytic geometry are in

and for rigid analytic geometry in

  • Kiran Sridhara Kedlaya, Introduction to Rigid Analytic Geometry (web)

  • Brian Conrad, Several approaches to non-archimedean geometry (pdf)

A gentle and modern introduction to complex manifolds that starts with an extensive exposition of the local theory is this:

  • Daniel Huybrechts, Complex geometry. An introduction. (ZMATH entry)

  • Hans Grauert, Reinhold Remmert, Theory of Stein spaces, Grundlehren der Math. Wissenschaften 236, Springer 1979, xxi+249 pp.; Coherent analytic sheaves, Grundlehren der Math. Wissenschaften 265, Springer 1984. xviii+249 pp.; Komplexe Räume, Math. Ann. 136, 1958, 245–318, DOI

Discussion of Berkovich space analytic geometry as algebraic geometry in the general sense of Bertrand Toën and Gabriele Vezzosi is in

For more see the references at rigid analytic geometry and at analytic space.

category: analysis, geometry

Last revised on March 4, 2018 at 19:46:42. See the history of this page for a list of all contributions to it.