Complements of discriminants of real parabolic function singularities. II

This paper classifies all local connected components of non-discriminant sets near parabolic function singularities, thereby proving and refining previous conjectures, enumerating local Petrovskii lacunas for hyperbolic PDE wavefronts, and demonstrating that certain parabolic singularities possess nontrivial one-dimensional homology groups in their discriminant complements, all achieved through a novel method combining Picard–Lefschetz theory with computer-assisted Morse surgery analysis.

The Gist

Imagine you are standing in a vast, multidimensional landscape made of smooth, rolling hills and valleys. This landscape represents all possible shapes a mathematical function can take. Most of the time, these shapes are smooth and predictable—like a gentle hill or a deep bowl.

However, there are specific "danger zones" in this landscape where the terrain suddenly becomes jagged, sharp, or folds over itself. In mathematics, these are called singularities. They are the points where the rules of smoothness break down.

This paper is a detailed map of the safe zones surrounding a specific, complex family of these danger zones, known as parabolic singularities.

Here is a breakdown of what the author, V.A. Vassiliev, has done, using simple analogies:

1. The "Discriminant" (The Wall of Danger)

Think of the Discriminant as a giant, invisible wall that separates the smooth, safe parts of the landscape from the jagged, dangerous parts.

• If you are on one side of the wall, your function is smooth and well-behaved.
• If you cross the wall, your function develops a sharp point or a fold (a singularity).
• The goal of this paper is to count and describe all the distinct "rooms" or "islands" of safety that exist right next to this wall.

2. The "Parabolic" Family (The Complex Neighbors)

Mathematicians have already mapped the simplest danger zones (called "simple singularities"). But there is a second, slightly more complex family called parabolic singularities.

• Analogy: If simple singularities are like a single sharp spike, parabolic singularities are like a complex, twisted knot. They are harder to untangle.
• The paper focuses on three main types of these knots: X9, J10, and P8.

3. The Main Discovery: Counting the "Safe Rooms"

The author's main job was to answer a simple question: "How many distinct safe islands are there right next to these complex knots?"

Before this paper, mathematicians had made guesses (conjectures) about the number of these islands.

• The Result: The author proved that most of the guesses were correct.
• The Surprise: In one specific case (the P2_8 knot), the guess was wrong. There is actually one more safe island than previously thought. It's like thinking a maze has 10 exits, but after a careful search, you find an 11th hidden door.

4. The Method: The "Virtual Function" Computer Game

How did he count them? You can't just look at the math equations; they are too complex. Instead, the author used a clever trick:

• The Virtual Function: Imagine taking a photo of the "skeleton" of the shape (its topology) and its mathematical DNA (how its parts intersect). This "virtual function" acts like a fingerprint.
• The Computer Program: The author wrote a computer program that acts like a game engine. It simulates "surgery" on these shapes—cutting and pasting them to see how they change.
• The Logic: If two shapes have the same "fingerprint" and can be transformed into each other without hitting the "Wall of Danger," they belong to the same safe room. The computer counted all the unique fingerprints to get the final list.

5. Why Does This Matter? (The Wave Analogy)

You might ask, "Who cares about counting safe rooms in math?" The answer lies in physics, specifically in how waves travel (like sound, light, or shockwaves).

• The Wavefront: Imagine a shockwave from an explosion moving through the air. The edge of this wave is the "wavefront."
• The Lacuna (The Quiet Zone): Sometimes, inside the chaotic mess of a wave, there are pockets of perfect silence or regularity. These are called lacunas.
• The Connection: The shape of the "safe rooms" in the math paper directly tells us where these pockets of silence will appear in real-world physics.
  • If you know which "safe room" a wave is coming from, you can predict if the wave will be chaotic or if it will have a smooth, predictable tail.
  • The author's discovery of the new safe room means there is a new type of quiet zone in certain physical waves that scientists didn't know existed before.

Summary

• The Problem: Map the safe areas next to complex mathematical "knots."
• The Tool: A computer program that simulates cutting and pasting shapes to count unique patterns.
• The Result: Confirmed most existing maps, but found a new hidden room in one specific case.
• The Impact: This new map helps physicists understand exactly where waves will behave smoothly and where they will be chaotic, potentially leading to better models for everything from acoustics to astrophysics.

In short, the author built a more accurate atlas of the mathematical "danger zones," finding a hidden path that allows waves to travel more smoothly than we previously thought possible.

Technical Summary

Here is a detailed technical summary of the paper "Complements of Discriminants of Real Parabolic Function Singularities. II" by V.A. Vassiliev.

1. Problem Statement

The paper addresses the classification of local connected components of the complements of discriminant varieties for real parabolic function singularities.

• Context: In the theory of smooth functions, singularities are classified by their stability under small perturbations. The "simple" singularities (Arnold's $A, D, E$ series) were previously solved. The next most important class is the parabolic singularities (unimodal singularities), which include the classes $X_9$, $J_{10}$, and $P_8$.
• The Discriminant: For a family of functions depending on parameters, the discriminant is the set of parameters where the function has a critical point with a zero critical value. The complement of this set consists of regions where the function is non-singular (Morse).
• The Goal: The author aims to enumerate all connected components of the complement of the discriminant variety for the versal deformations of all real forms of parabolic singularities. This enumeration is crucial for understanding the topological types of non-discriminant perturbations and has direct applications in the theory of hyperbolic partial differential equations (PDEs), specifically regarding Petrovskii lacunas (regions where wave functions are regular).

2. Methodology

The paper employs a sophisticated combination of algebraic topology, singularity theory, and computational methods.

• Virtual Functions and Formal Graphs:

  • The author utilizes a set-valued invariant called a virtual function. For a generic polynomial, this data includes the intersection matrix of vanishing cycles, intersection indices with real points, Morse indices of critical points, and the counts of positive/negative critical values.
  • These virtual functions form a formal graph where vertices represent virtual functions and edges represent "standard flips" (elementary surgeries modeling changes in the function's topology).
  • Virtual Components: The connected subgraphs of this formal graph (after removing edges that cross the discriminant) are called virtual components. Propositions in the paper establish that every real connected component of the discriminant complement maps to a specific virtual component.

• Symmetry Groups and Reduction:

  • The author analyzes the action of specific symmetry groups (e.g., $G_0$, $G_1$, $S(3)$) on the parameter spaces of the versal deformations.
  • By proving that real components associated with the same virtual component are mapped to each other by these groups, the author reduces the problem of counting real components to determining the orbit structure of these groups acting on specific representative polynomials.

• Computer-Assisted Verification:

  • A significant part of the methodology involves a computer program that formalizes Picard–Lefschetz theory and Morse function surgeries.
  • This program calculates the virtual components and their invariants (such as the "Card" invariant, representing the number of vertices in the virtual component).
  • The program is used to verify that specific constructed polynomials realize the predicted virtual components and to rule out the existence of additional components.

• Homological Invariants:

  • The paper introduces and utilizes homological invariants (such as the Homology Index $HI(f)$ and the Invariant Ind) to distinguish between components that might otherwise appear topologically similar.
  • It investigates the 1-cohomology of the discriminant complements to prove non-triviality in specific cases.

3. Key Contributions and Results

The paper provides a complete enumeration of the connected components for all real parabolic singularity classes, correcting and refining previous conjectures (specifically from the author's prior work [25]).

A. Classification of Components by Singularity Class

The author lists the exact number of connected components for each class (see Table 2 in the text):

1. Class $X_9$ (4 families: $X_9^+, X_9^-, X_9^1, X_9^2$):

   • $X_9^+$: 7 components.
   • $X_9^1$: 14 components (correcting a previous count of 11; two sets of perturbations were found to consist of pairs of distinct components).
   • $X_9^2$: 52 components.
   • $X_9^-$: Symmetric to $X_9^+$.

2. Class $J_{10}$ (2 families: $J_{10}^1, J_{10}^3$):

   • $J_{10}^1$: 13 components (correcting a previous count of 11).
   • $J_{10}^3$: 33 components.

3. Class $P_8$ (2 families: $P_8^1, P_8^2$):

   • $P_8^1$: 7 components.
   • $P_8^2$: 15 components.

B. Topological and Homological Discoveries

• Non-trivial Homology: Unlike simple singularities (where discriminant complements are homotopically trivial), the paper proves that certain components of parabolic singularities have non-trivial first homology groups ($H_1 \neq 0$).
  • Specifically, components in $X_9^+$, $X_9^-$, and $P_8^1$ exhibit non-trivial 1-cohomology.
  • The author constructs explicit 1-cycles (families of polynomials) that generate these homology groups.
• Rigid Isotopy vs. Topological Type: The paper distinguishes between "rigid isotopy" classes (connected components of the discriminant complement) and "topological types" (isotopy classes of zero-level sets). In some cases, different connected components realize the same topological type (e.g., in $X_9^1$ and $X_9^2$).

C. Correction of Previous Work

• The paper corrects the counts for $J_{10}^1$ (from 11 to 13) and $X_9^1$ (from 14 to 14, but clarifying the structure) by demonstrating that certain sets of perturbations previously thought to be single components are actually split into multiple distinct components due to symmetry constraints and Bezout's theorem arguments.

4. Application: Petrovskii Lacunas

A major application of these results is in the theory of hyperbolic PDEs.

• Lacunas: A "lacuna" is a region in the parameter space of a wave equation where the wave function is regular (analytic) despite the presence of a singularity in the generating family.
• Enumeration: The connected components of the discriminant complement correspond to local Petrovskii lacunas.
• New Discovery: The paper confirms a conjecture that the list of lacunas for parabolic singularities was almost complete, except for the $P_8^2$ case.
  • The author discovers one new local lacuna for the $P_8^2$ singularity (associated with the component having the invariant $Card = 262$).
  • This increases the number of lacunas for $P_8^2$ (with odd $N$ and even $i_+$) from 2 to 3.

5. Significance

• Completeness: This work completes the classification of discriminant complements for the entire family of unimodal (parabolic) singularities, a fundamental step in the global theory of function singularities.
• Methodological Advancement: It demonstrates the power of combining formal combinatorial graphs (virtual functions) with computer algebra and geometric topology to solve complex classification problems that are intractable by hand.
• Physical Relevance: By resolving the structure of discriminant complements, the paper provides the necessary topological data to fully characterize the regularity of wave functions near singular points in hyperbolic PDEs, impacting fields like integral geometry and mathematical physics.
• Theoretical Insight: The discovery of non-trivial homology in these complements highlights a fundamental difference between simple and parabolic singularities, suggesting richer topological structures in the deformation spaces of higher-complexity singularities.