This is unrelated to “analytic geometry” in the sense of methods in the geometry of -dimensional Euclidean space involving coordinate calculations (as opposed to synthetic geometry); which is usually combined with linear algebra taught in a geometric way. For Bassthis latter meaning see at coordinate system.
derived smooth geometry
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.
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.
Local properties of analytic manifolds and spaces are studied in local analytic geometry.
This section is about certain aspects of holomorphic functions .
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 .
In the AQFT formulation (actually the following description is the Heisenberg picture of quantum mechanics in a nutshell) selfadjoint operators on a Hilbert space are the observables of a physical system, while normed vectors represent the states the system can be in. The real number represents the probability that a system starting in state will be in state after a measurement of .
In AQFT we often encounter a set of operators indexed by several complex variables and try to deduce properties of the theory from the function . In this way, the theory of holomorphic functions of several variables is promoted to an irreplaceable tool in quantum field theory.
One striking difference of functions of several real variables and several complex variables is described by Hartogs’ theorem on separate analyticity:
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.
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.
Some results remain true in the multi dimensional case.
remark: As usual the domain is supposed to be an open, simply connected (not necessarily proper) subset of , which implies that the point of the precondition of the theorem is an interior point of the domain.
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 ) is biholomorph equivalent to the open disk , 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 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.
These theorems desribe situations where holomorphic functions defined on specific domains (the wedges) can be continued to holomorphic functions of larger domains.
We state here one version that will be of use to the nLab:
exists for all , where is an open ball with radius r. (The limit may not depend on the specific sequence chosen). Then is holomorph extendable into an open region with
with a constant that is independent from , and .
proof: V.S.Vladimirov, “theory of functions of several complex variables” (ZMATH entry)
Course notes on (global) analytic geometry are in
and for rigid analytic geometry in
Kiran Sridhara Kedlaya, Introduction to Rigid Analytic Geometry (web)
A gentle and modern introduction to complex manifolds that starts with an extensive exposition of the local theory is this:
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