3.1. Neighborhoods of the discriminant [03F0]
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
3.1. Neighborhoods of the discriminant
For a given we define subsets and whose union will give the complement of a neighborhood of depending on two real parameters . We assume to be small in the scales, respectively. In what follows we identify with and via the maps and associated with the bi-PIKAS of type .
For we let be the set of points in the corresponding facet of which lie in the closed polyhedron (cf. [HZ02, Section 3.2]), and similar for . Explicitly,
Because are small the sets and are non-empty. We define the smooth part of as
Then the neighborhood of is defined as the complement to all these closed sets in :
An important observation is that as in the scales of , respectively.