-
Computational aspects of orbifold equivalence
Authors:
Timo Kluck,
Ana Ros Camacho
Abstract:
In this paper we study the computational feasibility of an algorithm to prove orbifold equivalence between potentials describing Landau-Ginzburg models. Through a comparison with leading results of Groebner basis computations in cryptology, we infer that the algorithm produces systems of equations that are beyond the limits of current technical capabilities. As such the algorithm needs to be augme…
▽ More
In this paper we study the computational feasibility of an algorithm to prove orbifold equivalence between potentials describing Landau-Ginzburg models. Through a comparison with leading results of Groebner basis computations in cryptology, we infer that the algorithm produces systems of equations that are beyond the limits of current technical capabilities. As such the algorithm needs to be augmented by `inspired guesswork', and we provide two new examples of applying this approach.
△ Less
Submitted 26 September, 2023; v1 submitted 25 January, 2019;
originally announced January 2019.
-
New compact forms of the trigonometric Ruijsenaars-Schneider system
Authors:
L. Feher,
T. J. Kluck
Abstract:
The reduction of the quasi-Hamiltonian double of ${\mathrm{SU}}(n)$ that has been shown to underlie Ruijsenaars' compactified trigonometric $n$-body system is studied in its natural generality. The constraints contain a parameter $y$, restricted in previous works to $0<y < π/n$ because Ruijsenaars' original compactification relies on an equivalent condition. It is found that allowing generic…
▽ More
The reduction of the quasi-Hamiltonian double of ${\mathrm{SU}}(n)$ that has been shown to underlie Ruijsenaars' compactified trigonometric $n$-body system is studied in its natural generality. The constraints contain a parameter $y$, restricted in previous works to $0<y < π/n$ because Ruijsenaars' original compactification relies on an equivalent condition. It is found that allowing generic $0<y<π/2$ results in the appearance of new self-dual compact forms, of two qualitatively different types depending on the value of $y$. The type (i) cases are similar to the standard case in that the reduced phase space comes equipped with globally smooth action and position variables, and turns out to be symplectomorphic to ${\mathbb{C}P^{n-1}}$ as a Hamiltonian toric manifold. In the type (ii) cases both the position variables and the action variables develop singularities on a nowhere dense subset. A full classification is derived for the parameter $y$ according to the type (i) versus type (ii) dichotomy. The simplest new type (i) systems, for which $π/n < y < π/(n-1)$, are described in some detail as an illustration.
△ Less
Submitted 2 December, 2013;
originally announced December 2013.
-
On the Calogero-Moser solution by root-type Lax pair
Authors:
Timo Kluck
Abstract:
The `root type Lax pair' for the rational Calogero-Moser system for any simply-laced root system yields not a solution for the path q(t), but for the values of the inner products (α,q(t)), where α ranges over all roots of the root system. It does not, however, tell us which value of the inner product corresponds to which root. We show that the solution is indeed uniquely determined by these values…
▽ More
The `root type Lax pair' for the rational Calogero-Moser system for any simply-laced root system yields not a solution for the path q(t), but for the values of the inner products (α,q(t)), where α ranges over all roots of the root system. It does not, however, tell us which value of the inner product corresponds to which root. We show that the solution is indeed uniquely determined by these values (up to root system automorphisms) at almost all times. We show by counterexample that it is possible for two different values of q to yield the same set of values for the inner products (α,q). The indeterminacy introduced by the root system automorphisms gives rise to the question when the path crosses the boundary of the fundamental domains. We present an algebraic approach for constructing an indicator function containing this information.
△ Less
Submitted 30 November, 2011;
originally announced November 2011.
