Abstract:We present a Prym construction which associates abelian varieties to vertex-transitive strongly regular graphs. As an application we construct Prym-Tyurin varieties of arbitrary exponent $\geq 3$, generalizing a result by Lange, Recillas and Rochas.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to associate abelian varieties with vertex - transitive strongly regular graphs. Specifically, the author proposes a Prym construction method. Through the given graph structure and curve coverings, the symmetric divisor correspondence is defined, and further, the complementary sub - varieties \( P_+ \) and \( P_- \) in the Jacobian are constructed. These sub - varieties are called Prym varieties.
### Main Problems and Solutions
1. **Problem Description**:
- How to construct abelian varieties through strongly regular graphs in graph theory.
- Construct Prym - Tyurin varieties with arbitrary index ≥3 for specific types of graphs (such as lattice graph \( L2(n) \) and its complement).
2. **Solution**:
- **Prym Construction**: Given the adjacency matrix \( A \) of a vertex - transitive strongly regular graph \( G \), and a label set \( \{x_1,\ldots,x_d\} \) on an unramified fiber of degree \( d \), and assume that the induced monodromy group is represented as a subgroup of the automorphism group of graph \( G \). By defining the symmetric divisor correspondence \( D \), and then define the complementary sub - varieties \( P_+ \) and \( P_- \).
- **Formula Representation**: The symmetric divisor correspondence \( D \) is defined such that the multiplicity of the point \( (x_i,x_j) \) in \( D \) is \( a_{ij} \), where \( a_{ij} \) is an element of the adjacency matrix \( A \). The sub - varieties \( P_\pm \) are given by:
\[
P_\pm=\ker(\gamma - r_\mp \mathrm{id}_{J(C)})^0
\]
where \( r_\pm \) are the special eigenvalues of the adjacency matrix \( A \), and \( \gamma \) is the endomorphism of the Jacobian \( J(C) \) naturally associated with \( D \).
- **Application Example**: For the lattice graph \( L2(n) \) and its complement, through an appropriate covering \( C\rightarrow P^1 \), an \( l \)-dimensional Prym - Tyurin variety with index \( n \) can be constructed.
### Key Conclusions
- Through this method, Prym - Tyurin varieties with arbitrary index ≥3 can be constructed, generalizing the results of Lange, Recillas and Rochas.
- For specific types of graphs (such as lattice graphs), by choosing appropriate coverings and branch points, the dimension of the corresponding Prym - Tyurin variety can be calculated.
In summary, the main contribution of this paper is to provide a new method to connect strongly regular graphs in graph theory with abelian varieties in algebraic geometry, and demonstrate the application of this method through specific examples.