Open WDVV equations and $\bigvee$-systems

This paper generalizes Veselov's $\bigvee$-systems to the context of open WDVV equations by establishing algebraic and geometric conditions on covectors for rank-one extensions that yield rational solutions, while exploring their connections to superpotentials and Dubrovin almost-duality.

The Gist

Imagine you are an architect trying to build a perfect, self-supporting structure. In the world of mathematics and physics, this structure is called a Frobenius manifold. It's a complex geometric shape where everything fits together perfectly, governed by a set of rules known as the WDVV equations. Think of these equations as the "laws of physics" that ensure your building doesn't collapse; they guarantee that if you multiply three things together, the order in which you do it doesn't change the result (associativity).

For a long time, mathematicians knew how to build these structures using a specific set of blueprints called $\vee$-systems (pronounced "vee-systems"). These blueprints are like a collection of arrows (vectors) arranged in a very specific, symmetrical pattern (like the petals of a flower or the points of a star). If you arrange your arrows just right, the laws of physics (the WDVV equations) are automatically satisfied.

The New Challenge: Opening the Door

Recently, physicists discovered a new kind of building project: Open Gromov-Witten theory. Imagine that instead of building a closed, self-contained room, you are building a structure that has an "open door" or an extra dimension sticking out. This requires a new set of rules, called the Open WDVV equations.

The problem? The old blueprints ($\vee$-systems) only worked for the closed rooms. They didn't know how to handle the "open door."

The Paper's Big Idea: The "Open $\vee$-System"

Authors Alessandro Proserpio and Ian Strachan asked a simple question: Can we modify the old blueprints to work for these new, open structures?

They developed a new concept called an Open $\vee$-system. Here is the analogy:

1. The Old System (Closed Room): Imagine a flat table with a set of arrows drawn on it. These arrows point in specific directions. If you follow the rules of the $\vee$-system, the arrows balance each other out perfectly, creating a stable, flat surface.
2. The New System (The Open Room): Now, imagine you lift one corner of that table slightly, creating a ramp or an extra dimension. You need to add new arrows to your blueprint to keep the structure stable on this new, tilted surface.
3. The Solution: The authors figured out exactly what those new arrows must look like. They found that to support the "open" part of the structure, you need to add a special set of arrows that interact with the old ones in a very precise way.

How They Did It: The "Difference" Trick

To find these new arrows, the authors used a clever trick involving differences.

Imagine you have a group of people standing in a circle (the old arrows). If you take the difference between two people standing next to each other, you get a new vector pointing from one to the other. The authors realized that for the "open" structure to work, the new arrows they add must be related to these "differences" between the old arrows.

They discovered a set of rules (conditions) that these new arrows must follow:

• Matching Poles: The new arrows must align perfectly with the "holes" or "poles" created by the old arrows.
• Balancing Act: The new arrows must cancel out any extra weight or imbalance introduced by opening the structure.

If these conditions are met, the new structure (the Open WDVV solution) is stable, just like the old one.

Real-World Examples: The Crystal and the Polygon

The paper doesn't just stay in theory; they tested their new blueprints on famous geometric shapes:

• The Crystal Groups (Coxeter Groups): Think of these as highly symmetrical crystals (like snowflakes). The authors showed that if you take a standard crystal pattern and apply their "open" rules, you get a new, valid structure.
• The Polygon (Dihedral Groups): Imagine a regular polygon, like a hexagon or an octagon. They showed how to take the symmetry of a polygon and extend it into this new "open" dimension.
• The Golden Ratio (H3 Group): They even applied this to complex 3D shapes involving the Golden Ratio, proving their method works even for the most intricate geometric puzzles.

Why Does This Matter?

In the world of math and physics, these structures aren't just abstract drawings. They are used to calculate invariants—numbers that describe the fundamental nature of space and time, particularly in string theory and quantum physics.

By creating these "Open $\vee$-systems," the authors have given physicists a new toolkit. They can now calculate properties of "open" strings (strings with endpoints) in a way that was previously impossible. It's like they found a new key that unlocks a door to a room we knew existed but couldn't enter.

Summary in a Nutshell

• The Problem: We had perfect rules for building closed mathematical structures, but we needed rules for structures with an "open" side.
• The Solution: The authors invented Open $\vee$-systems, which are modified sets of arrows that satisfy the new rules.
• The Method: They figured out that the new arrows must be carefully chosen "differences" of the old arrows to maintain balance.
• The Result: A new way to build stable mathematical structures that describe complex physical phenomena, extending our understanding of geometry and physics.

In short, they took a rigid, closed mathematical box and figured out how to open it without breaking it, creating a whole new class of shapes that obey the laws of the universe.

Technical Summary

1. Problem Statement

The paper addresses the generalization of the Witten-Dijkgraaf-Verlinde-Verlinde (WDVV) equations of associativity, which govern the geometry of Frobenius manifolds and topological field theories. Specifically, it focuses on Open WDVV equations, a system of partial differential equations (PDEs) arising from Open Gromov-Witten theory.

While rational solutions to the standard (closed) WDVV equations are well-understood through the concept of $\vee$-systems (introduced by Veselov), which relate solutions to sets of covectors satisfying specific algebraic conditions, there was no analogous algebraic characterization for the Open WDVV equations. The authors aim to:

1. Generalize the $\vee$-system concept to the open setting.
2. Derive the necessary algebraic and geometric conditions on a set of covectors (an "open $\vee$-system") such that a specific logarithmic ansatz yields a solution to the Open WDVV equations.
3. Construct explicit examples using Coxeter groups and relate these solutions to Landau-Ginzburg superpotentials and Dubrovin almost-duality.

2. Methodology

The authors employ a combination of algebraic geometry, Lie theory, and integrable systems theory:

• Rank-One Extensions: They consider the extension of a Frobenius manifold $M$ to a higher-dimensional manifold $\tilde{M}$ of rank one (codimension 1). This introduces an additional vector-valued prepotential $\Omega$ alongside the standard prepotential $F$.
• Ansatz Construction: They propose a specific functional form for the open prepotential $\Omega$ based on the Veselov ansatz for closed systems:
  $$\tilde{\Omega}(p) = \sum_{\tilde{\beta} \in \tilde{B}} k_{\tilde{\beta}} \tilde{\beta}(p) \log(\tilde{\beta}(p))$$
  where $\tilde{B}$ is a set of covectors in the extended space $\tilde{V} \cong \mathbb{R} \oplus V$.
• Reduction to Algebraic Conditions: By substituting this ansatz into the Open WDVV equations (which are a system of second-order PDEs for $\Omega$), the authors reduce the problem to a set of algebraic constraints on the covectors in $\tilde{B}$. This involves analyzing the residues of meromorphic forms associated with the logarithmic terms.
• Geometric Decomposition: They decompose the set of differences between covectors in $\tilde{B}$ into two classes: those that correspond to hyperplanes defined by the original closed $\vee$-system $A$, and those that do not. This leads to a bijection condition and residue matching conditions.
• Coxeter Group Analysis: They apply these conditions to specific cases where the underlying closed system $A$ is the root system $R_W$ of a finite irreducible Coxeter group $W$. They utilize the theory of small orbits (where differences between orbit elements are roots) to construct valid open systems.

3. Key Contributions

A. Definition of Open $\vee$-Systems

The authors define an open $\vee$-system $\tilde{B}$ associated with a closed $\vee$-system $A$. They prove that the function $\tilde{\Omega}$ satisfies the Open WDVV equations if and only if the set of covectors $\tilde{B}$ (projected to $B \subset V^*$) satisfies three specific conditions for every $\beta^\circ \in B$:

1. Bijection Condition: There exists a bijection between the set of positive roots $\alpha \in A^+$ that have a non-zero pairing with $\beta^\circ$ and the equivalence classes of differences $\{\beta^\circ - \beta\}$ that define the same hyperplanes.
2. Residue Matching: The weighted sum of the differences corresponding to a specific hyperplane must match the weighted sum of the roots from the closed system, scaled by the inner product $\langle \alpha, \beta^\circ \rangle^*$.
3. Vanishing Residue: The sum of weights for differences that do not correspond to any root in $A$ must vanish.

B. Construction of Examples via Coxeter Groups

The paper constructs explicit open $\vee$-systems for various Coxeter groups ($A_n, B_n, D_n, G_2, I_2(N), H_3$):

• Small Orbits: They utilize the classification of "small orbits" (where $\omega - w(\omega)$ is a root) to generate the set $B$.
• Non-Small Orbits: For cases where the orbit is not small (e.g., $A_3$ with weight $\omega_2$ or $D_n$), they show that the set $B$ must be augmented with the zero vector (and potentially other vectors) to satisfy the residue conditions. This leads to solutions involving terms like $-2x \log x$.
• Non-Crystallographic Groups: They extend the construction to non-crystallographic groups ($I_2(N)$ and $H_3$) by showing that differences between weight vectors are proportional to roots, satisfying the generalized conditions.

C. Connection to Superpotentials and Almost-Duality

The authors establish a direct link between their algebraic construction and Landau-Ginzburg (LG) models:

• They show that the derivative of the open prepotential with respect to the extension variable $x$ yields the LG superpotential: $\partial_x \tilde{\Omega} = \log \lambda$.
• Consequently, the superpotential is given by the product: $\lambda(x) = \prod (x - \beta(z))^{k_\beta}$.
• This recovers known superpotentials for Saito Frobenius manifolds and provides new superpotentials for dual-type structures (which are not necessarily weighted-homogeneous Frobenius manifolds).

4. Results

• Theorem 3.1: Provides the necessary and sufficient conditions for a set of covectors to form an open $\vee$-system.
• Explicit Solutions: The paper derives explicit formulas for the open prepotential $\tilde{\Omega}$ for $A_n, B_n, D_n, G_2, I_2(N)$, and $H_3$.
  • Example for $A_n$: $\tilde{\Omega}_{A_n} = \sum (x - z_i) \log(x - z_i)$.
  • Example for $D_n$: Requires the addition of a zero vector, resulting in $\tilde{\Omega}_{D_n} = \sum (x \pm z_i) \log(x \pm z_i) - 2x \log x$.
• Metric Structure: The authors demonstrate that the set $B$ induces a non-degenerate metric on the extended space $\tilde{V}$, analogous to the intersection form in the dual Frobenius manifold, even though the standard metric on the open sector is often degenerate in the literature.
• Generalization: The framework allows for the construction of solutions based on generalized root systems and subsystems, suggesting a path toward trigonometric and elliptic extensions.

5. Significance

• Unification of Theories: The work unifies the algebraic theory of $\vee$-systems (rational solutions to WDVV) with the geometric theory of Open Gromov-Witten invariants. It provides a purely algebraic method to generate solutions to the Open WDVV equations without relying solely on geometric constructions like Hurwitz spaces.
• New Class of Solutions: It identifies a new class of rational solutions to the Open WDVV equations that are not necessarily associated with standard Frobenius manifolds but rather with dual-type structures.
• Superpotential Recovery: The paper offers a reverse-engineering approach: starting from a set of covectors (an open $\vee$-system), one can reconstruct the Landau-Ginzburg superpotential, thereby characterizing the underlying geometry of the singularity or moduli space.
• Constraints on Constants: The analysis reveals that for open systems derived from Coxeter groups with multiple root lengths (like $B_n$ or $G_2$), the constants in the logarithmic ansatz are not arbitrary; they are constrained by the geometry (e.g., $h_s = 2h_l$), linking the algebraic parameters to the almost-dual structure.
• Future Directions: The paper opens avenues for studying higher-rank extensions, trigonometric/elliptic $\vee$-systems, and the relationship between rational and trigonometric solutions in the context of open theories.

In summary, Proserpio and Strachan successfully extend the powerful algebraic machinery of $\vee$-systems to the open sector, providing a rigorous classification of rational solutions to the Open WDVV equations and deepening the connection between integrable systems, singularity theory, and open string theory.