TACNODE, Point of Osculation, Osculation Point, Double Cusp - the Third in the Series of Ak-Curve Sin- O.O T 1 ~ T2 Gularities

Total Page:16

File Type:pdf, Size:1020Kb

TACNODE, Point of Osculation, Osculation Point, Double Cusp - the Third in the Series of Ak-Curve Sin- O.O T 1 ~ T2 Gularities T TACNODE, point of osculation, osculation point, double cusp - The third in the series of Ak-curve sin- o.o T 1 ~ T2 gularities. The point (0,0) is a tacnode of the curve X 4 __ y2 • 0 in R 2. J I The first of the Ak-curve singularities are: an ordi- TId T 1 * T 2 nary double point, also called a node or crunode; the Fig. 1. cusp, or spinode; the tacnode; and the ramphoid cusp. They are exemplified by the curves X k+l - y2 = 0 Several special families of tangles have been consid- for k = 1,2,3,4. ered, including the rational tangles, the algebraic The terms 'crunode' and 'spinode' are seldom used tangles and the periodic tangles (see Rotor). The n- nowadays (2000). braid group is a subgroup of the monoid of n-tangles (cf. See also Node; Cusp. also Braided group). One has also considered framed tangles and graph tangles. The category of tangles, with References boundary points as objects and tangles as morphisms, is [1] ABHYANKAR, S.S.: Algebraic geometry for scientists and en- gineers, Amer. Math. Soc., 1990, p. 3; 60. important in developing quantum invariants of links and [2] DIMCA, A.: Topics on real and complex singularities, Vieweg, 3-manifolds (e.g. Reshetikhin-Turaev invariants). Tan- 1987. gles are also used to construct topological quantum field [3] GRIFFITHS, PH., AND HARRIS, J.: Principles of algebraic ge- theories. ometry, Wiley, 1978, p. 293; 507. [4] WALKER,R.J.: Algebraic curves, Princeton Univ. Press, 1950, References Reprint: Dover 1962. [1] BONAHON, P., AND SIEBENMANN, L.: Geometric splittings of M. Hazewinkel classical knots and the algebraic knots of Conway, Vol. 75 of MSC 1991:14H20 Lecture Notes, London Math. Soc., to appear. [2] CONWAY, J.H.: 'An enumeration of knots and links', in J. LEECH (ed.): Computational Problems in Abstract Alge- TANGLE, relative link - A one-dimensional manifold bra, Pergamon Press, 1969, pp. 329-358. properly embedded in a 3-ball, D a. [3] LOZANO, M.: 'Arcbodies', Math. Proc. Cambridge Philos. Soe. 94 (1983), 253-260. Two tangles are considered equivalent if they are am- bient isotopic with their boundary fixed. An n-tangle Jozef Przytycki has 2n points on the boundary; a link is a 0-tangle. MSC 1991:57M25 The term arcbody is used for a one-dimensional mani- fold properly embedded in a 3-dimensional manifold. TANGLE MOVE - For given n-tangles 2/"1 and T2 Tangles can be represented by their diagrams, i.e. (cf. also Tangle), the tangle move, or more specifically regular projections into a 2-dimensional disc with ad- the (T1,T2)-move, is substitution of the tangle T2 in ditional over- and under-information at crossings. Two the place of the tangle T1 in a link (or tangle). The tangle diagrams represent equivalent tangles if they are simplest tangle 2-move is a crossing change. This can related by Reidemeister moves (cf. Reidemeister the- be generalized to n-moves (cf. Montesinos-Nakanishi orem). The word 'tangle' is often used to mean a tangle conjecture or [5]), (m, q)-moves (cf. Fig. 1), and p/q- diagram or part of a link diagram. rational moves, where a rational 2-tangle is substituted The set of n-tangles forms a monoid; the identity in place of the identity tangle [6] (Fig. 2 illustrates a tangle and composition of tangles is illustrated in Fig. 1. 13/5-rational move). TANGLE MOVE A p/q-rational move preserves the space of Fox p- TAU METHOD, r method A method initially for- colourings of a link or tangle (cf. Fox n-colouring). mulated as a tool for the approximation of special func- For a fixed prime number p, there is a conjecture that tions of mathematical physics (cf. also Special func- any link can be reduced to a trivial link by p/q-rational tions), which could be expressed in terms of simple dif- moves (Iql _< p/2). ferential equations. It developed into a powerful and ac- Kirby moves (cf. Kirby calculus) can be interpreted curate tool for the numerical solution of complex differ- as tangle moves on framed links. ential and functional equations. A main idea in it is to approximate the solution of a given problem by solving exactly an approximate problem. ... q half twists Lanczos ~ formulation of the tau method. In [17], C. J~"-J'~"~"" "~'~ (m,q)-move Lanczos remarked that truncation of the series solution m half twists of a differential equation is, in some way, equivalent to introducing a perturbation term in the right-hand side Fig. 1. of the equation. Conversely, a polynomial perturbation term can be used to produce a truncated series, that is, a polynomial solution. 13/5-move Assume one wishes to solve by means of a power se- ries expansion the simple linear differential equation (cf. also Linear differential operator) Dy(x):=y'(x)+y(x)=0, O<x<l, Fig. 2. v(0) = 1, Habiro Cn-moves [1] are prominent in the theory of which defines y(x) = exp(-x). To find the coefficients Vassiliev Gusarov invariants of links and 3-manifolds. of a formal series expansion of y(x), one substitutes the The simplest and most extensively studied Habiro move series in the equation and generates a system of alge- (beyond the crossing change) is the A-move on a 3- braic equations for the coefficients: jaj + aj-1 = 0 for tangle (cf. Fig. 3). One can reduce every knot into the j = 1, 2,..., solving it in terms of a0. The value of a0 is trivial knot by A-moves [4]. fixed using the initial condition. To find a finite expan- sion, say of order n, one needs to make all coefficients aj with j > n equal to zero. This is achieved by adding a term of the form rx n to the right-hand side of the -move differential equation. One has (n + 1)an+l + an = % so that a,,+l, and all the coefficients following it, will be equal to zero if one chooses as = r. The same condi- Fig. 3. tion follows by substituting a segment of degree n of the References series expansion of y(x) = exp(-x) into the equation. [1] HABIRO, K.: 'Claspers and finite type invariants of links', Ge- If the solution of the perturbed differential equation is ometry and Topology 4 (2000), 1-83. regarded as an approximation to that of the original [2] HARIKAE, T., AND UCHIDA, Y.: 'Irregular dihedral branched coverings of knots', in M. BOZH/SY/)K (ed.): Topics in Knot equation with, say, a right-hand side equal to zero, it Theory, Vol. 399 of NATO ASI Ser. C, Kluwer Acad. Publ., seems natural to replace it by the best uniform ap- 1993, pp. 269-276. proxlmation of zero over the same interval J, which is [3] KIRBY, R.: 'Problems in low-dimensional topology', in a Chebyshev polynomial T2 (x) of degree n, defined over W. KAZEZ (ed.): Geometric Topology (Proc. Georgia Inter- J (cf. also Chebyshev polynomials). nat. Topolo9y Conf., 1993), Vol. 2 of Studies in Adv. Math., Amer. Math. Soc./IP, 1997, pp. 35-473. Therefore, to find an accurate polynomial approxima- [4] MURAKAMI, H., AND NAKANISHI, Y.: 'On a certain move gen- tion of y(x), Lanczos proposed solving exactly the more erating link homology', Math. Ann. 284 (1989), 75-89. complex perturbed problem (the tau problem): [5] PRZYTYCKI, J.H.: '3-coloring and other elementary invariants of knots': Knot Theory, Vol. 42, Banach Center Publ., 1998, Dye(x) = rT,~ (x), pp. 275-295. with the same initial conditions as before. The polyno- [6] UCHTDA, Y., in S. SUZUKI (ed.): Knots '96, Proc. Fifth Inter- nat. Research Inst. of MS J, World Sei., 1997, pp. 109 113. mial y*(x) is called the tau method approximation of Jozef Przytycki y(x) over the given interval J. MSC 1991:57M25 This tau problem can be solved for the unknown co- efficients of y*(x) using several alternative procedures. 396 TAU METHOD One of them is described above, that is, to set up and A sequence of canonical polynomials defined as sim- solve a system of linear algebraic equations linking the ply as DQn(x) := x n for all n = 0, 1,..., need not al- unknown coefficients of Dy* (x) with those of 7T~ (x). In ways exist or need not be unique. An algebraic and algo- this process one can assume that yn(X) itself can be ex- rithmic theory of the tau method, initially constructed pressed in either powers of x, or in Chebyshev, Legendre for elements D of the class D of linear differential op- or other polynomials. The first choice was Lanczos' orig- erators of arbitrary integer order, with polynomial or inal choice, and he explicitly indicated the possibility of rational coefficients (essentially the tools a computer choosing the others. handles) was discussed by E.L. Ortiz in [24]. In this The second choice is a tau method, often [8] called the work, canonical polynomials are defined as realizations Chebyshev method (or Legendre method) and, also, the of classes of equivalence of polynomials, for which the spectral method. This last formulation of the tau method algebraic kernel of the differential operator is the mod- has been extensively used and applied, since 1971, to ulus. These classes have gaps in their index sequence. complex problems in fluid dynamics by S.A. Orsag [11]. Elements D E D are then uniquely associated with re- There are at least three other approaches to the tau presentatives of such classes of canonical sequences.
Recommended publications
  • ON the EXISTENCE of CURVES with Ak-SINGULARITIES on K3 SURFACES
    Math: Res: Lett: 18 (2011), no: 00, 10001{10030 c International Press 2011 ON THE EXISTENCE OF CURVES WITH Ak-SINGULARITIES ON K3 SURFACES Concettina Galati and Andreas Leopold Knutsen Abstract. Let (S; H) be a general primitively polarized K3 surface. We prove the existence of irreducible curves in jOS (nH)j with Ak-singularities and corresponding to regular points of the equisingular deformation locus. Our result is optimal for n = 1. As a corollary, we get the existence of irreducible curves in jOS (nH)j of geometric genus g ≥ 1 with a cusp and nodes or a simple tacnode and nodes. We obtain our result by studying the versal deformation family of the m-tacnode. Moreover, using results of Brill-Noether theory on curves of K3 surfaces, we provide a regularity condition for families of curves with only Ak-singularities in jOS (nH)j: 1. Introduction Let S be a complex smooth projective K3 surface and let H be a globally generated line bundle of sectional genus p = pa(H) ≥ 2 and such that H is not divisible in Pic S. The pair (S; H) is called a primitively polarized K3 surface of genus p: It is well-known that the moduli space Kp of primitively polarized K3 surfaces of genus p is non-empty, smooth and irreducible of dimension 19: Moreover, if (S; H) 2 Kp is a very general element (meaning that it belongs to the complement of a countable ∼ union of Zariski closed proper subsets), then Pic S = Z[H]: If (S; H) 2 Kp, we denote S by VnH;1δ ⊂ jOS(nH)j = jnHj the so called Severi variety of δ-nodal curves, defined as the Zariski closure of the locus of irreducible and reduced curves with exactly δ nodes as singularities.
    [Show full text]
  • Arxiv:1912.10980V2 [Math.AG] 28 Jan 2021 6
    Automorphisms of real del Pezzo surfaces and the real plane Cremona group Egor Yasinsky* Universität Basel Departement Mathematik und Informatik Spiegelgasse 1, 4051 Basel, Switzerland ABSTRACT. We study automorphism groups of real del Pezzo surfaces, concentrating on finite groups acting with invariant Picard number equal to one. As a result, we obtain a vast part of classification of finite subgroups in the real plane Cremona group. CONTENTS 1. Introduction 2 1.1. The classification problem2 1.2. G-surfaces3 1.3. Some comments on the conic bundle case4 1.4. Notation and conventions6 2. Some auxiliary results7 2.1. A quick look at (real) del Pezzo surfaces7 2.2. Sarkisov links8 2.3. Topological bounds9 2.4. Classical linear groups 10 3. Del Pezzo surfaces of degree 8 10 4. Del Pezzo surfaces of degree 6 13 5. Del Pezzo surfaces of degree 5 16 arXiv:1912.10980v2 [math.AG] 28 Jan 2021 6. Del Pezzo surfaces of degree 4 18 6.1. Topology and equations 18 6.2. Automorphisms 20 6.3. Groups acting minimally on real del Pezzo quartics 21 7. Del Pezzo surfaces of degree 3: cubic surfaces 28 Sylvester non-degenerate cubic surfaces 34 7.1. Clebsch diagonal cubic 35 *[email protected] Keywords: Cremona group, conic bundle, del Pezzo surface, automorphism group, real algebraic surface. 1 2 7.2. Cubic surfaces with automorphism group S4 36 Sylvester degenerate cubic surfaces 37 7.3. Equianharmonic case: Fermat cubic 37 7.4. Non-equianharmonic case 39 7.5. Non-cyclic Sylvester degenerate surfaces 39 8. Del Pezzo surfaces of degree 2 40 9.
    [Show full text]
  • Topological Divisors of Zero and Shilov Boundary
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector Topology and its Applications 153 (2006) 1152–1163 www.elsevier.com/locate/topol Topological divisors of zero and Shilov boundary Alain Escassut Laboratoire de Mathématiques UMR 6620, Université Blaise Pascal, Clermont-Ferrand, Les Cézeaux, 63177 Aubiere cedex, France Received 17 February 2005; accepted 1 March 2005 Abstract Let L be a field complete for a non-trivial ultrametric absolute value and let (A, ·) be a com- mutative normed L-algebra with unity whose spectral semi-norm is ·si.LetMult(A, ·) be the set of continuous multiplicative semi-norms of A,letS be the Shilov boundary for (A, ·si) and let ψ ∈ Mult(A, ·si).Thenψ belongs to S if and only if for every neighborhood U of ψ in Mult(A, ·), there exists θ ∈ U and g ∈ A satisfying gsi = θ(g) and γ(g)<gsi ∀γ ∈ S \ U. Suppose A is uniform, let f ∈ A and let Z(f ) ={φ ∈ Mult(A, ·) | φ(f)= 0}.Thenf is a topo- logical divisor of zero if and only if there exists ψ ∈ S such that ψ(f) = 0. Suppose now A is complete. If f is not a divisor of zero, then it is a topological divisor of zero if and only if the ideal fAis not closed in A. Suppose A is ultrametric, complete and Noetherian. All topological divisors of zero are divisors of zero. This applies to affinoid algebras. Let A be a Krasner algebra H(D)without non-trivial idempotents: an element f ∈ H(D)is a topological divisor of zero if and only if fH(D) is not a closed ideal; moreover, H(D) is a principal ideal ring if and only if it has no topological divisors of zero but 0 (this new condition adds to the well-known set of equivalent conditions found in 1969).
    [Show full text]
  • NOTE on TORSION CONJECTURE 1. Introduction the Classical Torsion
    NOTE ON TORSION CONJECTURE ANNA CADORET AND AKIO TAMAGAWA Abstract. In this note, we give an elementary and effective proof of the fact that the torsion conjecture for jacobian varieties implies the torsion conjecture for abelian varieties. 2010 Mathematics Subject Classification. Primary: 14K15; Secondary: 14H30. 1. Introduction The classical torsion conjecture for abelian varieties over number fields can be stated as follows. Conjecture 1.1. Let d ≥ 0 be an integer then: - (Weak form): Given a number field k, there exists an integer N := N(k; d) ≥ 0 such that for any d-dimensional abelian variety A over k, one has: A(k)tors ⊂ A[N]: - (Strong form): Given an integer δ ≥ 1, there exists an integer N := N(δ; d) ≥ 0 such that for any number field k of degree ≤ δ and any d-dimensional abelian variety A over k, one has: A(k)tors ⊂ A[N]: Completing a body of works initiated by B. Mazur in the mid-1970's [Ma77], L. Merel achieved a proof of the d = 1 case of the strong torsion conjecture in the mid-1990's [Me96]. But the d > 1 case remains widely open though recent results of the authors show that the strong torsion conjecture for the p-primary part of the torsion holds for d-dimensional abelian varieties parametrized by curves [CT09]. The aim of this note is to give a proof of the following statement, which, in particular, shows that the torsion conjecture for abelian varieties is equivalent to the torsion conjecture for jacobian varieties. Theorem 1.2. Let d > 0 be an integer.
    [Show full text]
  • The Geometry of Resonance Tongues: a Singularity Theory Approach
    INSTITUTE OF PHYSICS PUBLISHING NONLINEARITY Nonlinearity 16 (2003) 1511–1538 PII: S0951-7715(03)55769-3 The geometry of resonance tongues: a singularity theory approach Henk W Broer1, Martin Golubitsky2 and Gert Vegter3 1 Department of Mathematics, University of Groningen, PO Box 800, 9700 AV Groningen, The Netherlands 2 Department of Mathematics, University of Houston, Houston, TX 77204-3476, USA 3 Department of Computing Science, University of Groningen, PO Box 800, 9700 AV Groningen, The Netherlands Received 7 November 2002, in final form 20 May 2003 Published 6 June 2003 Online at stacks.iop.org/Non/16/1511 Recommended by A Chenciner Abstract Resonance tongues and their boundaries are studied for nondegenerate and (certain) degenerate Hopf bifurcations of maps using singularity theory methods of equivariant contact equivalence and universal unfoldings. We recover the standard theory of tongues (the nondegenerate case) in a straightforward way and we find certain surprises in the tongue boundary structure when degeneracies are present. For example, the tongue boundaries at degenerate singularities in weak resonance are much blunter than expected from the nondegenerate theory. Also at a semi-global level we find ‘pockets’ or ‘flames’ that can be understood in terms of the swallowtail catastrophe. Mathematics Subject Classification: 37G15, 37G40, 34C25 1. Introduction This paper focuses on resonance tongues obtained by Hopf bifurcation from a fixed point of a map. More precisely, Hopf bifurcations of maps occur at parameter values where the Jacobian of the map has a critical eigenvalue that is a root of unity e2πpi/q , where p and q are coprime integers with q 3 and |p| <q.Resonance tongues themselves are regions in parameter space near the point of Hopf bifurcation where periodic points of period q exist and tongue boundaries consist of critical points in parameter space where the q-periodic points disappear, typically in a saddle-node bifurcation.
    [Show full text]
  • Real Rank Two Geometry Arxiv:1609.09245V3 [Math.AG] 5
    Real Rank Two Geometry Anna Seigal and Bernd Sturmfels Abstract The real rank two locus of an algebraic variety is the closure of the union of all secant lines spanned by real points. We seek a semi-algebraic description of this set. Its algebraic boundary consists of the tangential variety and the edge variety. Our study of Segre and Veronese varieties yields a characterization of tensors of real rank two. 1 Introduction Low-rank approximation of tensors is a fundamental problem in applied mathematics [3, 6]. We here approach this problem from the perspective of real algebraic geometry. Our goal is to give an exact semi-algebraic description of the set of tensors of real rank two and to characterize its boundary. This complements the results on tensors of non-negative rank two presented in [1], and it offers a generalization to the setting of arbitrary varieties, following [2]. A familiar example is that of 2 × 2 × 2-tensors (xijk) with real entries. Such a tensor lies in the closure of the real rank two tensors if and only if the hyperdeterminant is non-negative: 2 2 2 2 2 2 2 2 x000x111 + x001x110 + x010x101 + x011x100 + 4x000x011x101x110 + 4x001x010x100x111 −2x000x001x110x111 − 2x000x010x101x111 − 2x000x011x100x111 (1) −2x001x010x101x110 − 2x001x011x100x110 − 2x010x011x100x101 ≥ 0: If this inequality does not hold then the tensor has rank two over C but rank three over R. To understand this example geometrically, consider the Segre variety X = Seg(P1 × P1 × P1), i.e. the set of rank one tensors, regarded as points in the projective space P7 = 2 2 2 7 arXiv:1609.09245v3 [math.AG] 5 Apr 2017 P(C ⊗ C ⊗ C ).
    [Show full text]
  • The Witten Equation, Mirror Symmetry, and Quantum Singularity Theory
    Annals of Mathematics 178 (2013), 1{106 http://dx.doi.org/10.4007/annals.2013.178.1.1 The Witten equation, mirror symmetry, and quantum singularity theory By Huijun Fan, Tyler Jarvis, and Yongbin Ruan Abstract For any nondegenerate, quasi-homogeneous hypersurface singularity, we describe a family of moduli spaces, a virtual cycle, and a corresponding cohomological field theory associated to the singularity. This theory is analogous to Gromov-Witten theory and generalizes the theory of r-spin curves, which corresponds to the simple singularity Ar−1. We also resolve two outstanding conjectures of Witten. The first con- jecture is that ADE-singularities are self-dual, and the second conjecture is that the total potential functions of ADE-singularities satisfy correspond- ing ADE-integrable hierarchies. Other cases of integrable hierarchies are also discussed. Contents 1. Introduction2 1.1. Organization of the paper9 1.2. Acknowledgments9 2. W -curves and their moduli 10 2.1. W -structures on orbicurves 10 2.2. Moduli of stable W -orbicurves 20 2.3. Admissible groups G and W g;k;G 30 2.4. The tautological ring of W g;k 32 3. The state space associated to a singularity 35 3.1. Lefschetz thimble 35 3.2. Orbifolding and state space 37 H. F. was partially Supported by NSFC 10401001, NSFC 10321001, and NSFC 10631050. T. J. was partially supported by National Science Foundation grants DMS-0605155 and DMS-0105788 and the Institut Mittag-Leffler (Djursholm, Sweden). Y. R. was partially supported by the National Science Foundation and the Yangtze Center of Mathematics at Sichuan University.
    [Show full text]
  • Vanishing Cycles, Plane Curve Singularities, and Framed Mapping Class Groups
    VANISHING CYCLES, PLANE CURVE SINGULARITIES, AND FRAMED MAPPING CLASS GROUPS PABLO PORTILLA CUADRADO AND NICK SALTER Abstract. Let f be an isolated plane curve singularity with Milnor fiber of genus at least 5. For all such f, we give (a) an intrinsic description of the geometric monodromy group that does not invoke the notion of the versal deformation space, and (b) an easy criterion to decide if a given simple closed curve in the Milnor fiber is a vanishing cycle or not. With the lone exception of singularities of type An and Dn, we find that both are determined completely by a canonical framing of the Milnor fiber induced by the Hamiltonian vector field associated to f. As a corollary we answer a question of Sullivan concerning the injectivity of monodromy groups for all singularities having Milnor fiber of genus at least 7. 1. Introduction Let f : C2 ! C denote an isolated plane curve singularity and Σ(f) the Milnor fiber over some point. A basic principle in singularity theory is to study f by way of its versal deformation space ∼ µ Vf = C , the parameter space of all deformations of f up to topological equivalence (see Section 2.2). From this point of view, two of the most basic invariants of f are the set of vanishing cycles and the geometric monodromy group. A simple closed curve c ⊂ Σ(f) is a vanishing cycle if there is some deformation fe of f with fe−1(0) a nodal curve such that c is contracted to a point when transported to −1 fe (0).
    [Show full text]
  • Combination of Cubic and Quartic Plane Curve
    IOSR Journal of Mathematics (IOSR-JM) e-ISSN: 2278-5728,p-ISSN: 2319-765X, Volume 6, Issue 2 (Mar. - Apr. 2013), PP 43-53 www.iosrjournals.org Combination of Cubic and Quartic Plane Curve C.Dayanithi Research Scholar, Cmj University, Megalaya Abstract The set of complex eigenvalues of unistochastic matrices of order three forms a deltoid. A cross-section of the set of unistochastic matrices of order three forms a deltoid. The set of possible traces of unitary matrices belonging to the group SU(3) forms a deltoid. The intersection of two deltoids parametrizes a family of Complex Hadamard matrices of order six. The set of all Simson lines of given triangle, form an envelope in the shape of a deltoid. This is known as the Steiner deltoid or Steiner's hypocycloid after Jakob Steiner who described the shape and symmetry of the curve in 1856. The envelope of the area bisectors of a triangle is a deltoid (in the broader sense defined above) with vertices at the midpoints of the medians. The sides of the deltoid are arcs of hyperbolas that are asymptotic to the triangle's sides. I. Introduction Various combinations of coefficients in the above equation give rise to various important families of curves as listed below. 1. Bicorn curve 2. Klein quartic 3. Bullet-nose curve 4. Lemniscate of Bernoulli 5. Cartesian oval 6. Lemniscate of Gerono 7. Cassini oval 8. Lüroth quartic 9. Deltoid curve 10. Spiric section 11. Hippopede 12. Toric section 13. Kampyle of Eudoxus 14. Trott curve II. Bicorn curve In geometry, the bicorn, also known as a cocked hat curve due to its resemblance to a bicorne, is a rational quartic curve defined by the equation It has two cusps and is symmetric about the y-axis.
    [Show full text]
  • Singularities Bifurcations and Catastrophes
    Singularities Bifurcations and Catastrophes James Montaldi University of Manchester ©James Montaldi, 2020 © James Montaldi, 2020 Contents Preface xi 1 What’sitallabout? 1 1.1 The fold or saddle-nodebifurcation 2 1.2 Bifurcationsof contours 4 1.3 Zeeman catastrophemachine 5 1.4 Theevolute 6 1.5 Pitchfork bifurcation 11 1.6 Conclusions 13 Problems 14 I Catastrophe theory 17 2 Familiesof functions 19 2.1 Criticalpoints 19 2.2 Degeneracyin onevariable 22 2.3 Familiesoffunctions 23 2.4 Cuspcatastrophe 26 2.5 Why‘catastrophes’ 29 Problems 30 3 The ring of germs of smooth functions 33 3.1 Germs: making everythinglocal 33 3.2 Theringofgerms 35 3.3 Newtondiagram 39 3.4 Nakayama’s lemma 41 3.5 Idealsof finite codimension 43 3.6 Geometric criterion for finite codimension 45 Problems 45 4 Rightequivalence 49 4.1 Rightequivalence 49 4.2 Jacobianideal 51 4.3 Codimension 52 4.4 Nondegeneratecritical points 52 4.5 SplittingLemma 55 Problems 59 vi Contents 5 Finitedeterminacy 63 5.1 Trivial familiesofgerms 64 5.2 Finitedeterminacy 67 5.3 Apartialconverse 70 5.4 Arefinementofthefinitedeterminacytheorem 71 5.5 Thehomotopymethod 72 5.6 Proof of finite determinacy theorems 74 5.7 Geometriccriterion 77 Problems 78 6 Classificationoftheelementarycatastrophes 81 6.1 Classification of corank 1 singularities 82 6.2 Classification of corank 2 critical points 84 6.3 Thom’s 7 elementarysingularities 86 6.4 Furtherclassification 87 Problems 89 7 Unfoldingsand catastrophes 91 7.1 Geometry of families of functions 92 7.2 Changeofparameterandinducedunfoldings 94 7.3 Equivalenceof
    [Show full text]
  • Algebraic Curves and Surfaces
    Notes for Curves and Surfaces Instructor: Robert Freidman Henry Liu April 25, 2017 Abstract These are my live-texed notes for the Spring 2017 offering of MATH GR8293 Algebraic Curves & Surfaces . Let me know when you find errors or typos. I'm sure there are plenty. 1 Curves on a surface 1 1.1 Topological invariants . 1 1.2 Holomorphic invariants . 2 1.3 Divisors . 3 1.4 Algebraic intersection theory . 4 1.5 Arithmetic genus . 6 1.6 Riemann{Roch formula . 7 1.7 Hodge index theorem . 7 1.8 Ample and nef divisors . 8 1.9 Ample cone and its closure . 11 1.10 Closure of the ample cone . 13 1.11 Div and Num as functors . 15 2 Birational geometry 17 2.1 Blowing up and down . 17 2.2 Numerical invariants of X~ ...................................... 18 2.3 Embedded resolutions for curves on a surface . 19 2.4 Minimal models of surfaces . 23 2.5 More general contractions . 24 2.6 Rational singularities . 26 2.7 Fundamental cycles . 28 2.8 Surface singularities . 31 2.9 Gorenstein condition for normal surface singularities . 33 3 Examples of surfaces 36 3.1 Rational ruled surfaces . 36 3.2 More general ruled surfaces . 39 3.3 Numerical invariants . 41 3.4 The invariant e(V ).......................................... 42 3.5 Ample and nef cones . 44 3.6 del Pezzo surfaces . 44 3.7 Lines on a cubic and del Pezzos . 47 3.8 Characterization of del Pezzo surfaces . 50 3.9 K3 surfaces . 51 3.10 Period map . 54 a 3.11 Elliptic surfaces .
    [Show full text]
  • Book of Abstracts for the 3Rd Conference of Settat on Operator Algebras and Applications, November 1–5, 2011
    Book of Abstracts for the 3rd Conference of Settat on Operator Algebras and Applications, November 1{5, 2011 1. Speaker: Ahmed Al-Rawashdeh (United Arab Emirates University, Al Ain) Title: On Certain Projections of C*-Matrix Algebras ∗ Abstract: H. Dye defined the projections Pi;j(a) of a C -matrix algebra by ∗ −1 ∗ −1 Pi;j(a) = (1 + aa ) ⊗ Ei;i + (1 + aa ) a ⊗ Ei;j ∗ ∗ −1 ∗ ∗ −1 + a (1 + aa ) ⊗ Ej;i + a (1 + aa ) a ⊗ Ej;j; and he used it to show that in the case of factors not of type I2n, the unitary group determines the algebraic type of that factor. We study these projections and we show that in M2(C), the set of such projections includes all the projections. For infinite C∗-algebra A, having a system of matrix units, including the Cuntz algebra On, we have A ' Mn(A). M. Leen proved that in a simple, ∗ purely infinite C -algebra A, the ∗-symmetries generate U0(A). We revise and modify Leen's proof to show that part of such ∗-isometry factors are of the form 1−2Pi;j(!);! 2 U(A). In simple, unital ∗ purely infinite C -algebras having trivial K1-group, we prove that all Pi;j(!) have trivial K0-class. In particular, if u 2 U(On), then u can be factorized as a product of ∗-symmetries, where eight of them are of the form 1 − 2Pi;j(!). 2. Speaker: Pere Ara (Universitat Aut`onomade Barcelona, Spain) Title:(m; n)-dynamical systems and their C*-algebras Abstract: Given positive integers n and m, we consider dynamical systems in which n copies of a topological space is homeomorphic to m copies of that same space.
    [Show full text]