🔢 mathematics

An Affine Semigroup from Orbifold Boundary Conditions: cut, phylogenetic and hierarchical models in the unit-weight sector, and weighted configurations beyond them

This paper identifies the affine semigroup governing gauge theory boundary conditions on two-dimensional orbifolds, demonstrating that its unweighted sector encompasses known cut, phylogenetic, and hierarchical models—including group-based models on tripods—while providing a new complete intersection classification for these models. The weighted sector introduces new structures involving tree gluing for weighted alphabets and the emergence of orthogonal and symplectic columns.

Original authors: Carles Marín

Published 2026-09-03✓ Author reviewed ⓘ

📖 6 min read🧠 Deep dive

CC BY 4.0

Original authors: Carles Marín

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

In the study of shapes and spaces, mathematicians often look for patterns that repeat across different fields, finding that the rules governing a physical system can sometimes be described by the same logic that organizes a network of connections. This paper sits at the intersection of theoretical physics and algebra, exploring how the possible states of a specific type of physical system are counted and organized. The system in question involves a gauge theory, a framework used to describe forces in physics, set upon a two-dimensional surface that has been folded or twisted in specific ways, known as an orbifold. On these surfaces, the boundaries of the system can be set in various ways, much like setting the rules for a game. The author is interested in classifying these boundary settings. They discovered that these settings do not just form a random list; instead, they fit together into a structured collection called an affine semigroup. This structure acts like a ledger, where every possible state is a unique entry, and the way these entries combine follows strict mathematical laws. Understanding this structure is crucial because it reveals the hidden geometry of the physical system, telling scientists exactly how many distinct states exist for any given size of the system and how those states relate to one another.

The author set out to identify this specific mathematical structure for a wide variety of orbifold systems. They found that for many cases, these structures were already known to mathematicians under different names, but they had not been recognized as the same object until now. For instance, when the system involves a simple twist by a factor of two, the structure of the boundary conditions is identical to a known configuration of cuts in a graph, a concept studied in combinatorics. Similarly, for systems with a uniform twist, the structure matches a model used in evolutionary biology to trace the history of species on a tree. The author proved these connections by showing that the points representing the physical states are exactly the same as the points in these known mathematical models, not just similar in shape. This identification allowed the author to borrow decades of existing mathematical knowledge to describe the physical system, confirming properties like the number of independent rules needed to define the system and the complexity of its relationships. Notably, the author found that the phylogenetic identification holds when the orbifold cone orders are equal; when they are not equal, the result is a mixed-order variant of the group-based model that the existing literature does not appear to cover.

However, the paper's most significant contribution lies in the cases that did not fit these existing models. The author examined situations where the boundary conditions carried "weights," which correspond to more complex physical properties that cannot be described by simple binary choices. In these weighted cases, the familiar mathematical frameworks of graph cuts or evolutionary trees break down. To address this, the author constructed a new set of rules for these scenarios, mapping out how the different weighted states glue together. Specifically, the author identified thirteen gluing trees that cover the unitary, orthogonal, and symplectic realisations of every case. They discovered that for a specific type of system involving three branches, the mathematical structure behaves perfectly and simply only when the underlying group of symmetries is small, specifically when it has one, two, or three elements. As soon as the group grows larger, the structure becomes more complex and loses a property known as being a complete intersection, meaning it cannot be described by the minimum possible number of simple equations. This is a statement about the object as a whole; while Casanellas, Fernandez-Sanchez, and Michalek proved that these varieties are complete intersections on a Zariski-open piece (the region the phylogenetics literature works in), the author shows that the $\mathbb{Z}_4$ tripod is not a complete intersection globally. This finding clarifies a long-standing question in the field, showing that the simplicity observed in small systems does not hold for larger ones.

The study also tackled a specific, complex case involving a product of two twisted circles. Here, the author provided a complete and exhaustive description of the system's structure, which had been partially understood before but never fully detailed. They calculated the exact number of fundamental building blocks needed to describe the system, finding that there are sixteen such generators. They further showed that the system requires two types of rules to be fully defined: eight quadratic relations and eight quartic relations. This precise accounting reproduces, from the physics side, invariants that Sturmfels and Sullivant had already tabulated in 2008 for the very same ring (codimension, degree, generators, normality), arrived at from a completely different direction. The paper adds an independent direct proof that the system is not a complete intersection. The author also determined the system's symmetry group, showing that all sixteen building blocks fall into two distinct families that can be swapped by the system's symmetries. This level of detail confirms that the system is robust and well-behaved in a mathematical sense, even though it is too complex to be described by the simplest possible set of equations.

Finally, the paper addresses a broader family of systems formed by stacking multiple twisted circles together. The author proved that once the number of circles reaches three or more, the system can no longer be described as a cut configuration of a graph, nor can it be a complete intersection. They demonstrated this by showing that the number of required rules grows faster than the number of available connections in any possible graph, making the graph description impossible. While the system remains mathematically well-behaved in other ways, this result marks a clear boundary where the simple, intuitive models of the past cease to apply. The work leaves open the question of whether these larger systems possess another deep mathematical property called normality, which would guarantee they are even more stable than currently known. By mapping out exactly where the old models work and where they fail, and by providing the first detailed description of the weighted cases, the paper offers a clear, verified map of a complex mathematical landscape, turning a collection of physical boundary conditions into a precise algebraic object.

Technical Summary: An Affine Semigroup from Orbifold Boundary Conditions

Problem Statement
This note addresses the classification of equivalence classes of boundary conditions for a gauge theory on a two-dimensional orbifold. These classes form the fibers of a marginal map and are naturally indexed by the elements of an affine semigroup. The primary object of study is this semigroup, $S$ , generated by an "alphabet" of labels. Each label carries a positive integer weight (the dimension of an irreducible representation of the orbifold's space group) and local data (multiplicities of eigenvalues at cone points). The author seeks to identify the structure of $S$ , determine its toric ideal, and establish whether it constitutes a complete intersection, particularly in cases involving weighted alphabets which have not been covered by existing frameworks in algebraic statistics.

Methodology
The paper employs a combination of toric geometry, combinatorial commutative algebra, and exhaustive computational verification.

Semigroup Construction: The semigroup $S$ is defined as the sub-semigroup of $\mathbb{N}^{1+c}$ generated by vectors $a_i = (w_i, v_i)$ , where $w_i$ is the weight and $v_i$ is the local data.
Identification with Known Models: For specific cases (unit weights, specific orbifold groups), the author establishes equalities between the point configurations of $S$ $S$ and known structures:
- Cut Configurations: Over $\mathbb{Z}_2$ , the semigroup is identified with the cut configuration of specific graphs ( $P_3$ , $C_4$ , $W_4$ ).
- Group-Based Models: Over $\mathbb{Z}_m$ with unit weights and equal cone orders, $S$ corresponds to group-based phylogenetic models on claw trees.
- Hierarchical Models: For products $(S^1/\mathbb{Z}_2)^k$ , $S$ is identified with the binary hierarchical model of the boundary complex of a cross-polytope.
Gluing Criterion: To determine if $S$ is a complete intersection, the author applies the gluing criterion (Fischer, Morris, Shapiro; Delorme). The author searches for partitions of the minimal generating set into two non-empty parts that form a gluing, verifying this via lattice intersection (Hermite normal form) and membership tests.
Computational Verification: All numerical invariants (Hilbert series, $h^*$ -vectors, minimal Markov bases, Cohen–Macaulay type) are computed via ancillary scripts. The paper emphasizes reproducibility, noting that every number regenerates from these scripts, which include "receipts" (verification logs) and decoys to ensure correctness.

Key Contributions and Results

Identification of Point Configurations: The author proves that for specific orbifolds, the semigroup configurations are equal (in exact arithmetic) to known combinatorial objects, not merely combinatorially similar. This framing reveals that many cases were already known under different names in the literature, but their connection to orbifold boundary conditions had not been previously recognized.
- $S^1/\mathbb{Z}_2$ corresponds to the cut configuration of $P_3$ .
- $T^2/\mathbb{Z}_2$ corresponds to the cut configuration of $C_4$ .
- $S^1/\mathbb{Z}_2 \times S^1/\mathbb{Z}_2$ corresponds to the cut configuration of the wheel graph $W_4$ .
- $T^2/\mathbb{Z}_m$ with mixed cone orders corresponds to a "mixed-order" variant of the group-based model. While the standard model requires equal cone orders, the author identifies this mixed-order variant as a distinct structure not covered by existing literature.
Classification of Complete Intersections:
- Tripod Model: For the group-based model on a tripod (claw tree with three leaves) over a finite abelian group $G$ , the semigroup is a complete intersection if and only if $|G| \leq 3$ (which includes the trivial group). As the group grows larger, the structure becomes more complex, losing the property of being a complete intersection. This is a statement about the object as a whole; Casanellas, Fernandez-Sanchez, and Michalek proved that these varieties are complete intersections on a Zariski-open piece (the region the phylogenetics literature works in), and that remains true. The point is that the two statements are genuinely different: the $\mathbb{Z}_4$ tripod is a complete intersection on that open set, but is not one globally.
- Product Orbifolds: The semigroup for $(S^1/\mathbb{Z}_2)^k$ is not a complete intersection for any $k \geq 3$ . This is proven via an extreme-ray bound (Theorem 1), showing the number of generators ( $4^k$ ) exceeds the bound ( $2d-2$ ) for $k \geq 3$ .
The Exceptional Case ( $S^1/\mathbb{Z}_2 \times S^1/\mathbb{Z}_2$ ):
- The ring is a normal, Cohen–Macaulay toric ring of codimension 7 and degree 64.
- This accounting reproduces, from the physics side, invariants that Sturmfels and Sullivant had already tabulated in 2008 for the very same ring (codimension, degree, generators, normality), arrived at from a completely different direction. The paper adds an independent direct proof that the system is not a complete intersection.
- It is not Gorenstein; its Cohen–Macaulay type is 9.
- The minimal Markov basis consists of 16 indispensable binomials: 8 quadrics and 8 quartics. The quartics are necessary because degree-2 moves fail to connect specific fibers of the local-data map.
- The automorphism group of the configuration is identified as $\mathbb{Z}_2^4 \rtimes \text{Aut}(W_4)$ , of order 128.
Weighted Alphabets (Primary Contribution):
The author identifies a sector of "weighted" alphabets arising from two mechanisms: induction to higher-dimensional irreducibles (for non-abelian space groups) and recombination of conjugate pairs (for real/quaternionic spaces). This sector is adjacent to, but distinct from, the non-abelian direction raised by Sturmfels and Sullivant in 2005. This represents the paper's most significant expansion, as it covers scenarios that no existing framework (such as cut configurations or standard group-based models) can address. The author provides the first characterization of these cases, identifying thirteen gluing trees that cover the unitary, orthogonal, and symplectic realizations of every case.

Significance and Claims
The paper provides a precise identification of the affine semigroups arising from orbifold boundary conditions, bridging gauge theory with toric geometry and algebraic statistics.

Attribution of Known Results: The author attributes the properties of the unweighted cases (cut ideals, group-based models) to existing literature, verifying that the orbifold constructions reproduce known invariants without prior knowledge of existing tables.
Novelty: The primary contributions lie in:
1. The classification of the tripod model for all finite abelian groups, showing the global complete intersection property fails for $|G| \geq 4$ .
2. The proof that $(S^1/\mathbb{Z}_2)^k$ is not a complete intersection for $k \geq 3$ and not a cut ideal.
3. The detailed analysis of the "exceptional case" ( $S^1/\mathbb{Z}_2 \times S^1/\mathbb{Z}_2$ ), providing its exact invariants (type 9, unique minimal Markov basis).
4. The introduction and characterization of the weighted sector, providing the first gluing trees and Hilbert series for these cases, which are necessary for the physics of non-diagonal boundary conditions.

The work is presented as a "ledger" of what is inherited from prior work versus what is established here, with a focus on rigorous, machine-verifiable computation.

Technical Summary: An Affine Semigroup from Orbifold Boundary Conditions

More like this