11.2 Main assumptions, and an apology [03WQ]
Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Complete original source context · Original author HTML
11.2 Main assumptions, and an apology
Let us suppose that our collection of lines satisfies the following assumptions:
- Assumption A1
-
There is a smooth metric and a collection of balls with centers at such that each ball contains exactly two lines outcoming of .
- Assumption A2
-
There exists such that for any the distance in between and the boundary of is greater or equal to .
We are going to show that such a collection does exist in Section 11.
Assumptions A1 and A2 are very artificial, they do not hold in physical picture which is the main motivation for the construction. It is quite possible that they can be weakened or even omitted. The main purpose of introducing them here is the possibility to define the sheaf of analytic functions by simple gluing. In complex geometry it is similar to the gluing of closed Riemann surfaces with boundaries by the mean of real-analytic identifications of the boundaries. It is well-known that one can replace real-analytic maps by smooth ones (or even by quasi-symmetric continuous maps). Maybe the rest of this section is unnecessary, and unpleasant technical arguments in Section 11.5 can be avoided.