On a quadratic form associated with a surface automorphism and its applications to singularity theory (Q2673086): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Removed claims |
||
Property / author | |||
Property / author: Lilia Alanís-López / rank | |||
Property / author | |||
Property / author: Enrique Artal Bartolo / rank | |||
Revision as of 22:40, 14 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On a quadratic form associated with a surface automorphism and its applications to singularity theory |
scientific article |
Statements
On a quadratic form associated with a surface automorphism and its applications to singularity theory (English)
0 references
9 June 2022
0 references
The authors study the nilpotent part of a pseudo-periodic automorphism \(h\) of a real oriented surface \(\Sigma\) with boundary \(\partial \Sigma\). Let \(e\) be the least common multiple of the orders of \(h\) restricted to each periodic piece. Consider the operator \(N\colon H_1(\Sigma,\partial \Sigma;\mathbb Z)\to H_1(\Sigma;\mathbb Z)\) defined by \(N([\gamma])=[h^e(\gamma)-\gamma]\). The quadratic form \(Q(v,w)=\langle Nv,w\rangle\) descends to a quadratic form \(\widetilde Q\) on \(H_1(\Sigma,\partial \Sigma;\mathbb Z)/\ker N\). A formula for \(Q\) is given, involving the so called screw numbers measuring the amount of rotation in the collection of annuli in the Nielsen-Thurston decomposition. The bilinear form \(\widetilde Q\) is positive definite if all the screw numbers associated to orbits of annuli whose core curves are non-nullhomotopic are positive. This condition is satisfied if \(h\) is the geometric monodromy of a reduced function \(f \colon (X, 0) \to (\mathbb C, 0) \) on a normal surface singularity. The screw numbers can then be computed in terms of the embedded resolution. Explicit computations and examples are given. Numerical invariants associated to \(\widetilde Q\) are able to distinguish the examples of pairs of plane curve singularities with different topological type but same spectral pairs, due to \textit{R. Schrauwen} et al. [Proc. Symp. Pure Math. 53, 305--328 (1991; Zbl 0749.14003)]. The form \(\widetilde Q\) is also computed for the two infinite families of reducible plane singularities that are not topologically equivalent but have the same Seifert form given by \textit{P. Du Bois} and \textit{F. Michel} [J. Algebr. Geom. 3, No. 1, 1--38 (1994; Zbl 0810.32005)]. In that case \(\widetilde Q\) is always defined on an abelian group of rank 4; while this form is a weaker invariant than the Seifert form it is also much easier to compute.
0 references
pseudo-periodic surface automorphisms
0 references
positive definite quadratic form
0 references
monodromy automorphism
0 references
plane curve singularities
0 references
twist formula
0 references
screw numbers
0 references