> 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 $n$-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.
higher geometry / derived geometry
geometric little (∞,1)-toposes
geometric big (∞,1)-toposes
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.
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.
(…)
(…)
This section is about certain aspects of holomorphic functions $\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 $\mathbb{C}^n$.
In the AQFT formulation (actually the following description is the Heisenberg picture of quantum mechanics in a nutshell) selfadjoint operators $A$ on a Hilbert space $\mathcal{H}$ are the observables of a physical system, while normed vectors $x, y \in \mathcal{H}$ represent the states the system can be in. The real number $\langle y, A x \rangle$ represents the probability that a system starting in state $x$ will be in state $y$ after a measurement of $A$.
In AQFT we often encounter a set of operators indexed by several complex variables $z = (z_1, z_2, ...)$ and try to deduce properties of the theory from the function $f(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.
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.
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.
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 $\mathbb{C}^n$, 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 $\mathbb{C}$) is biholomorph equivalent to the open disk $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 $\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.
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:
exists for all $x \in B_r \subset \mathbb{R}^n$, where $B_r$ is an open ball with radius r. (The limit may not depend on the specific sequence chosen). Then $f$ is holomorph extendable into an open region $G \cup G_0$ with
with $0 \lt \theta \lt 1$ a constant that is independent from $x, B_r$, and $f$.
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)
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.