ScalingStacks

6.4 Standard singularities in codimension two [03V0]

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

6.4 Standard singularities in codimension two

Let us remove the angle {(x,y)โˆˆ๐‘2|โ€‰โ€‰0<x<y}\left\{(x,y)\in{\bf R}^{2}\,|\,\,0<x<y\,\right\} from ๐‘2{{\bf R}}^{2}. After that we identify sides of the angle by the affine transformation (x,y)โ†ฆ(x+y,y)(x,y)\mapsto(x+y,y). In this way we introduce a new ๐™{\bf Z}-affine structure on ๐‘2โˆ–{(0,0)}{{\bf R}}^{2}\setminus\{(0,0)\} with the monodromy around (0,0)(0,0) given by the unipotent matrix (see Figure 3)

(1101).\left(\begin{array}[]{cc}1&1\\ 0&1\end{array}\right)\,\,.

Refer to caption

Figure 3: Glue both sides of the dashed area. White parallelograms are identified.

This ๐™{\bf Z}-affine structure does not admit a continuation to ๐‘2{{\bf R}}^{2}. Therefore we obtain a ๐™{\bf Z}-affine structure with singularities on ๐‘2{{\bf R}}^{2}. We will call standard the singularity at (0,0)(0,0).

Equivalently, we can describe this ๐™{\bf Z}-affine structure on ๐‘2โˆ–{(0,0)}{{\bf R}}^{2}\setminus\{(0,0)\} by taking a cut along the ray {(x,0)|x>0}\{(x,0)\,|\,x>0\} in ๐‘2{{\bf R}}^{2} and glue the standard ๐™{\bf Z}-affine structure above and below the cut by means of the affine transformation (x,y)โ†ฆ(x+y,y)(x,y)\mapsto(x+y,y) (see Figure 1 in Section 3.2.4). In this description it is clear that we can start the cut at arbitrary point (x0,0)(x_{0},0) on the xx-axes. The resulting singularity will be also called the standard one.

Remark 1

We can vary a position of (x0,0)(x_{0},0), thus obtaining a continuous path in the space of ๐™{\bf Z}-affine structures with singularities in ๐‘2{{\bf R}}^{2}.

More generally, suppose that BB is equipped with a ๐™{\bf Z}-affine structure which has standard singularities at points p1,โ€ฆ,pmp_{1},\dots,p_{m}. Then we can slightly move each point pip_{i} in the direction invariant under the local monodromy around pip_{i}. This gives a new ๐™{\bf Z}-affine structure which is ZPL-isomorphic to the initial one.

Standard singularity is called focus-focus singularity in the theory of integrable systems (see [Zu]). In non-archimedean geometry it appears as a singular value of some map f:Xaโ€‹nโ†’๐‘2f:X^{an}\to{{\bf R}}^{2}, where XX is an algebraic surface in 33-dimensional affine space ๐€K3{\bf A}_{K}^{3} (see Section 8).

Let us consider the Cartesian product of ๐‘2โˆ–{(0,0)}{{\bf R}}^{2}\setminus\{(0,0)\} equipped with the above ๐™{\bf Z}-affine structure with the standard (non-singular) ๐™{\bf Z}-affine structure on ๐‘nโˆ’2{{\bf R}}^{n-2}. Let us choose a continuous function fโก(z1,โ€ฆ,znโˆ’2)f(z_{1},...,z_{n-2}) and start the cuts at all points (fโก(z1,โ€ฆ,znโˆ’2),0,z1,โ€ฆ,znโˆ’2)(f(z_{1},...,z_{n-2}),0,z_{1},...,z_{n-2}). This means that we introduce the standard non-singular ๐™{\bf Z}-affine structure in the region yโ‰ 0y\neq 0 as well as in the region (y=0,x<fโก(z1,โ€ฆ,znโˆ’2))(y=0,x<f(z_{1},...,z_{n-2})). Near points (y=0,x>fโก(z1,โ€ฆ,znโˆ’2))(y=0,x>f(z_{1},...,z_{n-2})) we introduce a modified ๐™{\bf Z}-affine structure by declaring functions

(y,x+maxโก(y,0),z1,โ€ฆ,znโˆ’2)(y,x+\max(y,0),z_{1},\dots,z_{n-2})

to be ๐™{\bf Z}-affine coordinates. This gives an example of a โ€œcurvedโ€ singular set Bsโ€‹iโ€‹nโ€‹gB^{sing} of codimension 2. Since function ff can be approximated by PL functions, the above ๐™{\bf Z}-affine structure can be deformed to a PL one.

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.