-
Ghost states underlying spatial and temporal patterns: how non-existing invariant solutions control nonlinear dynamics
Authors:
Zheng Zheng,
Pierre Beck,
Tian Yang,
Omid Ashtari,
Jeremy P Parker,
Tobias M Schneider
Abstract:
Close to a saddle-node bifurcation, when two invariant solutions collide and disappear, the behavior of a dynamical system can closely resemble that of a solution which is no longer present at the chosen parameter value. For bifurcating equilibria in low-dimensional ODEs, the influence of such 'ghosts' on the temporal behavior of the system, namely delayed transitions, has been studied previously.…
▽ More
Close to a saddle-node bifurcation, when two invariant solutions collide and disappear, the behavior of a dynamical system can closely resemble that of a solution which is no longer present at the chosen parameter value. For bifurcating equilibria in low-dimensional ODEs, the influence of such 'ghosts' on the temporal behavior of the system, namely delayed transitions, has been studied previously. We consider spatio-temporal PDEs and characterize the phenomenon of ghosts by defining representative state-space structures, which we term 'ghost states,' as minima of appropriately chosen cost functions. Using recently developed variational methods, we can compute and parametrically continue ghost states of equilibria, periodic orbits, and other invariant solutions. We demonstrate the relevance of ghost states to the observed dynamics in various nonlinear systems including chaotic maps, the Lorenz ODE system, the spatio-temporally chaotic Kuramoto-Sivashinsky PDE, the buckling of an elastic arc, and 3D Rayleigh-Bénard convection.
△ Less
Submitted 15 November, 2024;
originally announced November 2024.
-
Coupling Fluid Plasma and Kinetic Neutral Models using Correlated Monte Carlo Methods
Authors:
Gregory J. Parker,
Maxim V. Umansky,
Benjamin D. Dudson
Abstract:
While boundary plasmas in present-day tokamaks generally fall in a fluid regime, neutral species near the boundary often require kinetic models due to long mean-free-paths compared to characteristic spatial scales in the region. Monte-Carlo (MC) methods provide a complete, high-fidelity approach to solving kinetic models, and must be coupled to fluid plasma models to simulate the full plasma-neutr…
▽ More
While boundary plasmas in present-day tokamaks generally fall in a fluid regime, neutral species near the boundary often require kinetic models due to long mean-free-paths compared to characteristic spatial scales in the region. Monte-Carlo (MC) methods provide a complete, high-fidelity approach to solving kinetic models, and must be coupled to fluid plasma models to simulate the full plasma-neutrals system. The statistical nature of MC methods, however, prevents the convergence of coupled fluid-kinetic simulations to an exact self-consistent steady-state. Moreover, this forces the use of explicit methods that can suffer from numerical errors and require huge computational resources. Correlated Monte-Carlo (CMC) methods are expected to alleviate these issues but have historically enjoyed only mixed success. Here, a fully implicit method for coupled plasma-neutral systems is demonstrated in 1D using the UEDGE plasma code and a homemade CMC code. In particular, it is shown that ensuring the CMC method is a differentiable function of the background plasma is sufficient to employ a Jacobian-Free Newton-Krylov solver for implicit time steps. The convergence of the implicit coupling method is explored and compared with explicit coupling and uncorrelated methods. It is shown that ensuring differentiability by controlling random seeds in the MC is sufficient to achieve convergence, and that the use of implicit time-stepping methods has the potential for improved stability and runtimes over explicit coupling methods.
△ Less
Submitted 29 January, 2025; v1 submitted 15 July, 2024;
originally announced July 2024.
-
$\mathbb Z_2$-Harmonic Spinors and 1-forms on Connected sums and Torus sums of 3-manifolds
Authors:
Siqi He,
Gregory J. Parker
Abstract:
Given a pair of $\mathbb{Z}_2$-harmonic spinors (resp. 1-forms) on closed Riemannian 3-manifolds $(Y_1, g_1)$ and $(Y_2,g_2)$, we construct $\mathbb{Z}_2$-harmonic spinors (resp. 1-forms) on the connected sum $Y_1 \# Y_2$ and the torus sum $Y_1 \cup_{T^2} Y_2$ using a gluing argument. The main tool in the proof is a parameterized version of the Nash-Moser implicit function theorem established by D…
▽ More
Given a pair of $\mathbb{Z}_2$-harmonic spinors (resp. 1-forms) on closed Riemannian 3-manifolds $(Y_1, g_1)$ and $(Y_2,g_2)$, we construct $\mathbb{Z}_2$-harmonic spinors (resp. 1-forms) on the connected sum $Y_1 \# Y_2$ and the torus sum $Y_1 \cup_{T^2} Y_2$ using a gluing argument. The main tool in the proof is a parameterized version of the Nash-Moser implicit function theorem established by Donaldson and the second author. We use these results to construct an abundance of new examples of $\mathbb Z_2$-harmonic spinors and 1-forms. In particular, we prove that for every closed 3-manifold $Y$, there exist infinitely many $\mathbb{Z}_2$-harmonic spinors with singular sets representing infinitely many distinct isotopy classes of embedded links, strengthening an existence theorem of Doan-Walpuski. Moreover, combining this with previous results, our construction implies that if $b_1(Y) > 0$, there exist infinitely many $\mathrm{spin}^c$ structures on $Y$ such that the moduli space of solutions to the two-spinor Seiberg-Witten equations is non-empty and non-compact.
△ Less
Submitted 15 July, 2024;
originally announced July 2024.
-
Classification and nonexistence for $t$-structures on derived categories of schemes
Authors:
Alexander Clark,
Pat Lank,
Kabeer Manali-Rahul,
Chris J. Parker
Abstract:
This work establishes new results on the classification of $t$-structures for many subcategories of the derived category of quasi-coherent sheaves on a Noetherian scheme. Our work makes progress in two different directions. On one hand, we provide an improvement of a result of Takahashi on $t$-structures, generalizing it to the case of the bounded derived category of coherent sheaves on a quasi-co…
▽ More
This work establishes new results on the classification of $t$-structures for many subcategories of the derived category of quasi-coherent sheaves on a Noetherian scheme. Our work makes progress in two different directions. On one hand, we provide an improvement of a result of Takahashi on $t$-structures, generalizing it to the case of the bounded derived category of coherent sheaves on a quasi-compact CM-excellent scheme of finite Krull dimension. On the other hand, via independent techniques, we prove a variation of a recent result of Neeman which resolved a conjecture of Antieau, Gepner, and Heller.
△ Less
Submitted 7 June, 2025; v1 submitted 12 April, 2024;
originally announced April 2024.
-
DySLIM: Dynamics Stable Learning by Invariant Measure for Chaotic Systems
Authors:
Yair Schiff,
Zhong Yi Wan,
Jeffrey B. Parker,
Stephan Hoyer,
Volodymyr Kuleshov,
Fei Sha,
Leonardo Zepeda-Núñez
Abstract:
Learning dynamics from dissipative chaotic systems is notoriously difficult due to their inherent instability, as formalized by their positive Lyapunov exponents, which exponentially amplify errors in the learned dynamics. However, many of these systems exhibit ergodicity and an attractor: a compact and highly complex manifold, to which trajectories converge in finite-time, that supports an invari…
▽ More
Learning dynamics from dissipative chaotic systems is notoriously difficult due to their inherent instability, as formalized by their positive Lyapunov exponents, which exponentially amplify errors in the learned dynamics. However, many of these systems exhibit ergodicity and an attractor: a compact and highly complex manifold, to which trajectories converge in finite-time, that supports an invariant measure, i.e., a probability distribution that is invariant under the action of the dynamics, which dictates the long-term statistical behavior of the system. In this work, we leverage this structure to propose a new framework that targets learning the invariant measure as well as the dynamics, in contrast with typical methods that only target the misfit between trajectories, which often leads to divergence as the trajectories' length increases. We use our framework to propose a tractable and sample efficient objective that can be used with any existing learning objectives. Our Dynamics Stable Learning by Invariant Measure (DySLIM) objective enables model training that achieves better point-wise tracking and long-term statistical accuracy relative to other learning objectives. By targeting the distribution with a scalable regularization term, we hope that this approach can be extended to more complex systems exhibiting slowly-variant distributions, such as weather and climate models.
△ Less
Submitted 5 June, 2024; v1 submitted 6 February, 2024;
originally announced February 2024.
-
Gluing $\mathbb Z_2$-Harmonic Spinors and Seiberg-Witten Monopoles on 3-Manifolds
Authors:
Gregory J. Parker
Abstract:
Given a $\mathbb Z_2$-harmonic spinor satisfying some genericity assumptions, this article constructs a 1-parameter family of two-spinor Seiberg-Witten monopoles converging to it after renormalization. The proof is a gluing construction beginning with model solutions on a neighborhood of the $\mathbb Z_2$-harmonic spinor's singular set. The gluing is complicated by the presence of an infinite-dime…
▽ More
Given a $\mathbb Z_2$-harmonic spinor satisfying some genericity assumptions, this article constructs a 1-parameter family of two-spinor Seiberg-Witten monopoles converging to it after renormalization. The proof is a gluing construction beginning with model solutions on a neighborhood of the $\mathbb Z_2$-harmonic spinor's singular set. The gluing is complicated by the presence of an infinite-dimensional obstruction bundle for the singular limiting linearized operator. This difficulty is overcome by introducing a generalization of Donaldson's alternating method in which a deformation of the $\mathbb Z_2$-harmonic spinor's singular set is chosen at each stage of the alternating iteration to cancel the obstruction components.
△ Less
Submitted 5 February, 2024;
originally announced February 2024.
-
The Lorenz system as a gradient-like system
Authors:
Jeremy P Parker
Abstract:
We formulate, for continuous-time dynamical systems, a sufficient condition to be a gradient-like system, i.e. that all bounded trajectories approach stationary points and therefore that periodic orbits, chaotic attractors, etc. do not exist. This condition is based upon the existence of an auxiliary function defined over the state space of the system, in a way analogous to a Lyapunov function for…
▽ More
We formulate, for continuous-time dynamical systems, a sufficient condition to be a gradient-like system, i.e. that all bounded trajectories approach stationary points and therefore that periodic orbits, chaotic attractors, etc. do not exist. This condition is based upon the existence of an auxiliary function defined over the state space of the system, in a way analogous to a Lyapunov function for the stability of an equilibrium. For polynomial systems, Lyapunov functions can be found computationally by using sum-of-squares optimisation. We demonstrate this method by finding such an auxiliary function for the Lorenz system. We are able to show that the system is gradient-like for $0\leqρ\leq12$ when $σ=10$ and $β=8/3$, significantly extending previous results. The results are rigorously validated by a novel procedure: First, an approximate numerical solution is found using finite-precision floating-point sum-of-squares optimisation. We then prove that there exists an exact solution close to this using interval arithmetic.
△ Less
Submitted 19 January, 2024;
originally announced January 2024.
-
Bounded $t$-structures, finitistic dimensions, and singularity categories of triangulated categories
Authors:
Rudradip Biswas,
Hongxing Chen,
Kabeer Manali Rahul,
Chris J. Parker,
Junhua Zheng
Abstract:
Recently, Amnon Neeman settled a bold conjecture by Antieau, Gepner, and Heller regarding the relationship between the regularity of finite-dimensional noetherian schemes and the existence of bounded $t$-structures on their derived categories of perfect complexes.
In this paper, using different methods, we prove some very general results about the existence of bounded $t$-structures on (not nece…
▽ More
Recently, Amnon Neeman settled a bold conjecture by Antieau, Gepner, and Heller regarding the relationship between the regularity of finite-dimensional noetherian schemes and the existence of bounded $t$-structures on their derived categories of perfect complexes.
In this paper, using different methods, we prove some very general results about the existence of bounded $t$-structures on (not necessarily algebraic or topological) triangulated categories and their invariance under completion. We show that if the opposite category of an essentially small triangulated category has finite finitistic dimension in our sense, then the existence of a bounded t-structure on it forces it to be equal to its completion. We also prove a parallel result regarding the equivalence of all bounded t-structures on any intermediate triangulated category between the starting category and its completion.
Our general treatment, when specialized to the case of schemes, immediately gives us Neeman's theorem as an application and significantly generalizes another remarkable theorem by Neeman about the equivalence of bounded $t$-structures on the bounded derived categories of coherent sheaves. When specialized to other cases like associative rings, nonpositive DG-rings, connective $\mathbb{E}_1$-rings, triangulated categories without models, etc., we get many other applications. Under mild finiteness assumptions, these results not only give a categorical obstruction (the singularity category in our sense) to the existence of bounded $t$-structures on a triangulated category, but also provide plenty of triangulated categories on which all bounded $t$-structures are equivalent. The strategy used in our treatment is introducing a new concept of finitistic dimension for triangulated categories and lifting $t$-structures along completions of triangulated categories.
△ Less
Submitted 25 July, 2024; v1 submitted 29 December, 2023;
originally announced January 2024.
-
The paramodular Hecke algebra
Authors:
Jennifer Johnson-Leung,
Joshua Parker,
Brooks Roberts
Abstract:
We give a presentation via generators and relations of the local graded paramodular Hecke algebra of prime level. In particular, we prove that the paramodular Hecke algebra is isomorphic to the quotient of the free $\mathbb{Z}$-algebra generated by four non-commuting variables by an ideal generated by seven relations. Using this description, we derive rationality results at the level of characters…
▽ More
We give a presentation via generators and relations of the local graded paramodular Hecke algebra of prime level. In particular, we prove that the paramodular Hecke algebra is isomorphic to the quotient of the free $\mathbb{Z}$-algebra generated by four non-commuting variables by an ideal generated by seven relations. Using this description, we derive rationality results at the level of characters and give a characterization of the center of the Hecke algebra. Underlying our results are explicit formulas for the product of any generator with any double coset.
△ Less
Submitted 19 October, 2023;
originally announced October 2023.
-
Strongly finitary monads and multi-sorted varieties enriched in cartesian closed concrete categories
Authors:
Jason Parker
Abstract:
It is a classical result of categorical algebra, due to Lawvere and Linton, that finitary varieties of algebras (in the sense of Birkhoff) are dually equivalent to finitary monads on $Set$. Recent work of Adámek, Dostál, and Velebil has established that analogous results also hold in certain enriched contexts. Specifically, taking $V$ to be one of the cartesian closed categories $\mathsf{Pos}$,…
▽ More
It is a classical result of categorical algebra, due to Lawvere and Linton, that finitary varieties of algebras (in the sense of Birkhoff) are dually equivalent to finitary monads on $Set$. Recent work of Adámek, Dostál, and Velebil has established that analogous results also hold in certain enriched contexts. Specifically, taking $V$ to be one of the cartesian closed categories $\mathsf{Pos}$, $\mathsf{UltMet}$, $ω$-$\mathsf{CPO}$, or $\mathsf{DCPO}$ of respectively posets, (extended) ultrametric spaces, $ω$-cpos, or dcpos, Adámek, Dostál, and Velebil have shown that a suitable category of $V$-enriched varieties of algebras is dually equivalent to the category of strongly finitary $V$-monads on $V$.
In this paper, we extend and generalize these results in two ways: by allowing $V$ to be an arbitrary complete and cocomplete cartesian closed category that is concrete over $Set$, and by also considering the multi-sorted case. Given a set $S$ of sorts, we define a suitable notion of (finitary) $V$-enriched $S$-sorted variety, and we say that a $V$-monad on the product $V$-category $V^S$ is strongly finitary if its underlying $V$-endofunctor is the left Kan extension of its restriction to a suitable full sub-$V$-category of $V^S$. Our main result is that the category of $V$-enriched $S$-sorted varieties is dually equivalent to the category of strongly finitary $V$-monads on $V^S$. By taking $S$ to be a singleton and $V$ to be $\mathsf{Pos}$, $\mathsf{UltMet}$, $ω$-$\mathsf{CPO}$, or $\mathsf{DCPO}$, we thus recover the aforementioned results of Adámek, Dostál, and Velebil. We provide several classes of examples of $V$-enriched $S$-sorted varieties, many of which admit very concrete, syntactic formulations.
△ Less
Submitted 6 October, 2023;
originally announced October 2023.
-
Free algebras of topologically enriched multi-sorted equational theories
Authors:
Jason Parker
Abstract:
Classical multi-sorted equational theories and their free algebras have been fundamental in mathematics and computer science. In this paper, we present a generalization of multi-sorted equational theories from the classical ($Set$-enriched) context to the context of enrichment in a symmetric monoidal category $V$ that is topological over $Set$. Prominent examples of such categories include: variou…
▽ More
Classical multi-sorted equational theories and their free algebras have been fundamental in mathematics and computer science. In this paper, we present a generalization of multi-sorted equational theories from the classical ($Set$-enriched) context to the context of enrichment in a symmetric monoidal category $V$ that is topological over $Set$. Prominent examples of such categories include: various categories of topological and measurable spaces; the categories of models of relational Horn theories without equality, including the categories of preordered sets and (extended) pseudo-metric spaces; and the categories of quasispaces (a.k.a. concrete sheaves) on concrete sites, which have recently attracted interest in the study of programming language semantics.
Given such a category $V$, we define a notion of $V$-enriched multi-sorted equational theory. We show that every $V$-enriched multi-sorted equational theory $T$ has an underlying classical multi-sorted equational theory $|T|$, and that free $T$-algebras may be obtained as suitable liftings of free $|T|$-algebras. We establish explicit and concrete descriptions of free $T$-algebras, which have a convenient inductive character when $V$ is cartesian closed. We provide several examples of $V$-enriched multi-sorted equational theories, and we also discuss the close connection between these theories and the presentations of $V$-enriched algebraic theories and monads studied in recent papers by the author and Lucyshyn-Wright.
△ Less
Submitted 18 August, 2023; v1 submitted 8 August, 2023;
originally announced August 2023.
-
Concentrating Dirac Operators and Generalized Seiberg-Witten Equations
Authors:
Gregory J. Parker
Abstract:
This article studies a class of Dirac operators of the form $D_\varepsilon= D+\varepsilon^{-1}\mathcal A$, where $\mathcal A$ is a zeroth order perturbation vanishing on a subbundle. When $\mathcal A$ satisfies certain additional assumptions, solutions of the Dirac equation have a concentration property in the limit $\varepsilon\to 0$: components of the solution orthogonal to $\ker(\mathcal A)$ de…
▽ More
This article studies a class of Dirac operators of the form $D_\varepsilon= D+\varepsilon^{-1}\mathcal A$, where $\mathcal A$ is a zeroth order perturbation vanishing on a subbundle. When $\mathcal A$ satisfies certain additional assumptions, solutions of the Dirac equation have a concentration property in the limit $\varepsilon\to 0$: components of the solution orthogonal to $\ker(\mathcal A)$ decay exponentially away from the locus $\mathcal Z$ where the rank of $\ker(\mathcal A)$ jumps up. These results are extended to a class of non-linear Dirac equations. This framework is then applied to study the compactness properties of moduli spaces of solutions to generalized Seiberg-Witten equations. In particular, it is shown that for sequences of solutions which converge weakly to a $\mathbb Z_2$-harmonic spinor, certain components of the solutions concentrate exponentially around the singular set of the $\mathbb Z_2$-harmonic spinor. Using these results, the weak convergence to $\mathbb Z_2$-harmonic spinors proved in existing convergence theorems is improved to $C^\infty_{loc}$.
△ Less
Submitted 2 July, 2023;
originally announced July 2023.
-
Enriched structure-semantics adjunctions and monad-theory equivalences for subcategories of arities
Authors:
Rory B. B. Lucyshyn-Wright,
Jason Parker
Abstract:
Lawvere's algebraic theories, or Lawvere theories, underpin a categorical approach to general algebra, and Lawvere's adjunction between semantics and algebraic structure leads to an equivalence between Lawvere theories and finitary monads on the category of sets. Several authors have transported these ideas to a variety of settings, including contexts of category theory enriched in a symmetric mon…
▽ More
Lawvere's algebraic theories, or Lawvere theories, underpin a categorical approach to general algebra, and Lawvere's adjunction between semantics and algebraic structure leads to an equivalence between Lawvere theories and finitary monads on the category of sets. Several authors have transported these ideas to a variety of settings, including contexts of category theory enriched in a symmetric monoidal closed category. In this paper, we develop a general axiomatic framework for enriched structure-semantics adjunctions and monad-theory equivalences for subcategories of arities. Not only do we establish a simultaneous generalization of the monad-theory equivalences previously developed in the settings of Lawvere (1963), Linton (1966), Dubuc (1970), Borceux-Day (1980), Power (1999), Nishizawa-Power (2009), Lack-Rosický (2011), Lucyshyn-Wright (2016), and Bourke-Garner (2019), but also we establish a structure-semantics theorem that generalizes those given in the first four of these works while applying also to the remaining five, for which such a result has not previously been developed. Furthermore, we employ our axiomatic framework to establish broad new classes of examples of enriched monad-theory equivalences and structure-semantics adjunctions for subcategories of arities enriched in locally bounded closed categories, including various convenient closed categories that are relevant in topology and analysis and need not be locally presentable.
△ Less
Submitted 14 November, 2024; v1 submitted 11 May, 2023;
originally announced May 2023.
-
Deformations of $\mathbb Z_2$-Harmonic Spinors on 3-Manifolds
Authors:
Gregory J. Parker
Abstract:
A $\mathbb Z_2$-harmonic spinor on a 3-manifold $Y$ is a solution of the Dirac equation on a bundle that is twisted around a submanifold $\mathcal Z$ of codimension 2 called the singular set. This article investigates the local structure of the universal moduli space of $\mathbb Z_2$-harmonic spinors over the space of parameters $(g,B)$ consisting of a metric and perturbation to the spin connectio…
▽ More
A $\mathbb Z_2$-harmonic spinor on a 3-manifold $Y$ is a solution of the Dirac equation on a bundle that is twisted around a submanifold $\mathcal Z$ of codimension 2 called the singular set. This article investigates the local structure of the universal moduli space of $\mathbb Z_2$-harmonic spinors over the space of parameters $(g,B)$ consisting of a metric and perturbation to the spin connection. The main result states that near a $\mathbb Z_2$-harmonic spinor with $\mathcal Z$ smooth, the universal moduli space projects to a codimension 1 submanifold in the space of parameters. The analysis is complicated by the presence of an infinite-dimensional obstruction bundle and a loss of regularity in the first variation of the Dirac operator with respect to deformations of the singular set $\mathcal Z$, necessitating the use of the Nash-Moser Implicit Function Theorem.
△ Less
Submitted 28 January, 2025; v1 submitted 15 January, 2023;
originally announced January 2023.
-
Fenchel-Nielsen coordinates for SL(3,C) representations
Authors:
Rodrigo Dávila Figueroa,
John R Parker
Abstract:
We define Fenchel-Nielsen coordinates for representations of surface groups to ${\rm SL}(3,{\mathbb C})$. We also show how these coordinates relate to the classical Fenchel-Nielsen coordinates and to their generalisations by Kourouniotis, Tan, Goldman, Zhang and Parker-Platis.
We define Fenchel-Nielsen coordinates for representations of surface groups to ${\rm SL}(3,{\mathbb C})$. We also show how these coordinates relate to the classical Fenchel-Nielsen coordinates and to their generalisations by Kourouniotis, Tan, Goldman, Zhang and Parker-Platis.
△ Less
Submitted 28 May, 2025; v1 submitted 10 January, 2023;
originally announced January 2023.
-
Concentrating Local Solutions of the Two-Spinor Seiberg-Witten Equations on 3-Manifolds
Authors:
Gregory J. Parker
Abstract:
Given a compact 3-manifold $Y$ and a $\mathbb Z_2$-harmonic spinor $(\mathcal Z_0, A_0,Φ_0)$ with singular set $\mathcal Z_0$, this article constructs a family of local solutions to the two-spinor Seiberg-Witten equations parameterized by $ε\in (0,ε_0)$ on tubular neighborhoods of $\mathcal Z_0$. These solutions concentrate in the sense that the $L^2$-norm of the curvature near $\mathcal Z_0$ dive…
▽ More
Given a compact 3-manifold $Y$ and a $\mathbb Z_2$-harmonic spinor $(\mathcal Z_0, A_0,Φ_0)$ with singular set $\mathcal Z_0$, this article constructs a family of local solutions to the two-spinor Seiberg-Witten equations parameterized by $ε\in (0,ε_0)$ on tubular neighborhoods of $\mathcal Z_0$. These solutions concentrate in the sense that the $L^2$-norm of the curvature near $\mathcal Z_0$ diverges as $ε\to 0$, and after renormalization they converge locally to the original $\mathbb Z_2$-harmonic spinor. In a sequel to this article, these model solutions are used in a gluing construction showing that any $\mathbb Z_2$-harmonic spinor satisfying some mild assumptions arises as the limit of a family of two-spinor Seiberg-Witten solutions on $Y$.
△ Less
Submitted 14 October, 2022;
originally announced October 2022.
-
Exponentiability in categories of relational structures
Authors:
Jason Parker
Abstract:
For a relational Horn theory $\mathbb{T}$, we provide useful sufficient conditions for the exponentiability of objects and morphisms in the category $\mathbb{T}\text{-}\mathsf{Mod}$ of $\mathbb{T}$-models; well-known examples of such categories, which have found recent applications in the study of programming language semantics, include the categories of preordered sets and (extended) metric space…
▽ More
For a relational Horn theory $\mathbb{T}$, we provide useful sufficient conditions for the exponentiability of objects and morphisms in the category $\mathbb{T}\text{-}\mathsf{Mod}$ of $\mathbb{T}$-models; well-known examples of such categories, which have found recent applications in the study of programming language semantics, include the categories of preordered sets and (extended) metric spaces. As a consequence, we obtain useful sufficient conditions for $\mathbb{T}\text{-}\mathsf{Mod}$ to be cartesian closed, locally cartesian closed, and even a quasitopos; in particular, we provide two different explanations for the cartesian closure of the categories of preordered and partially ordered sets. Our results recover (the sufficiency of) certain conditions that have been shown by Niefield and Clementino--Hofmann to characterize exponentiability in the category of partially ordered sets and the category $V\text{-}\mathsf{Cat}$ of small $V$-categories for certain commutative unital quantales $V$.
△ Less
Submitted 15 August, 2022;
originally announced August 2022.
-
Diagrammatic presentations of enriched monads and varieties for a subcategory of arities
Authors:
Rory B. B. Lucyshyn-Wright,
Jason Parker
Abstract:
The theory of presentations of enriched monads was developed by Kelly, Power, and Lack, following classic work of Lawvere, and has been generalized to apply to subcategories of arities in recent work of Bourke-Garner and the authors. We argue that, while theoretically elegant and structurally fundamental, such presentations of enriched monads can be inconvenient to construct directly in practice,…
▽ More
The theory of presentations of enriched monads was developed by Kelly, Power, and Lack, following classic work of Lawvere, and has been generalized to apply to subcategories of arities in recent work of Bourke-Garner and the authors. We argue that, while theoretically elegant and structurally fundamental, such presentations of enriched monads can be inconvenient to construct directly in practice, as they do not directly match the definitional procedures used in constructing many categories of enriched algebraic structures via operations and equations.
Retaining the above approach to presentations as a key technical underpinning, we establish a flexible formalism for directly describing enriched algebraic structure borne by an object of a $V$-category $C$ in terms of parametrized $J$-ary operations and diagrammatic equations for a suitable subcategory of arities $J \hookrightarrow C$. On this basis we introduce the notions of diagrammatic $J$-presentation and $J$-ary variety, and we show that the category of $J$-ary varieties is dually equivalent to the category of $J$-ary $V$-monads. We establish several examples of diagrammatic $J$-presentations and $J$-ary varieties relevant in both mathematics and theoretical computer science, and we define the sum and tensor product of diagrammatic $J$-presentations. We show that both $J$-relative monads and $J$-pretheories give rise to diagrammatic $J$-presentations that directly describe their algebras. Using diagrammatic $J$-presentations as a method of proof, we generalize the pretheories-monads adjunction of Bourke and Garner beyond the locally presentable setting. Lastly, we generalize Birkhoff's Galois connection between classes of algebras and sets of equations to the above setting.
△ Less
Submitted 28 June, 2023; v1 submitted 11 July, 2022;
originally announced July 2022.
-
Cupolets in a Chaotic Neuron Model
Authors:
John E. Parker,
Kevin M. Short
Abstract:
This paper reports the first finding of cupolets in a chaotic Hindmarsh-Rose neural model. Cupolets (chaotic, unstable, periodic, orbit-lets) are unstable periodic orbits that have been stabilized through a particular control scheme applying a binary control sequence. We demonstrate different neural dynamics (periodic or chaotic) of the Hindmarsh-Rose model through a bifurcation diagram where the…
▽ More
This paper reports the first finding of cupolets in a chaotic Hindmarsh-Rose neural model. Cupolets (chaotic, unstable, periodic, orbit-lets) are unstable periodic orbits that have been stabilized through a particular control scheme applying a binary control sequence. We demonstrate different neural dynamics (periodic or chaotic) of the Hindmarsh-Rose model through a bifurcation diagram where the external input current, $I$, is the bifurcation parameter. We select a region in the chaotic parameter space and provide the results of numerical simulations. In this chosen parameter space, a control scheme is applied when the trajectory intersects with either of the two control planes. The size of the control is determined by a bit in a binary control sequence. The control is either a small microcontrol (0) or a large macrocontrol (1) that adjusts the future dynamics of the trajectory . We report the discovery of many cupolets with corresponding control sequences and comment on the differences with previously reported cupolets in the double scroll system. We provide some examples of the generated cupolets and conclude by discussing potential implications for biological neurons.
△ Less
Submitted 12 May, 2022; v1 submitted 25 April, 2022;
originally announced April 2022.
-
Extensivity of categories of relational structures
Authors:
Jason Parker
Abstract:
We prove that the category of models of any relational Horn theory satisfying a mild syntactic condition is infinitely extensive. Central examples of such categories include the categories of preordered sets and partially ordered sets, and the categories of small $\mathscr{V}$-categories, (symmetric) pseudo-$\mathscr{V}$-metric spaces, and (symmetric) $\mathscr{V}$-metric spaces for a commutative…
▽ More
We prove that the category of models of any relational Horn theory satisfying a mild syntactic condition is infinitely extensive. Central examples of such categories include the categories of preordered sets and partially ordered sets, and the categories of small $\mathscr{V}$-categories, (symmetric) pseudo-$\mathscr{V}$-metric spaces, and (symmetric) $\mathscr{V}$-metric spaces for a commutative unital quantale $\mathscr{V}$. We also explicitly characterize initial sources and final sinks in such categories, and in particular embeddings and quotients.
△ Less
Submitted 7 July, 2022; v1 submitted 22 April, 2022;
originally announced April 2022.
-
Free groups generated by two parabolic maps
Authors:
Sagar B. Kalane,
John R. Parker
Abstract:
In this paper we consider a group generated by two unipotent parabolic elements of ${\rm SU}(2,1)$ with distinct fixed points. We give several conditions that guarantee the group is discrete and free. We also give a result on the diameter of a finite ${\mathbb R}$-circle in the Heisenberg group.
In this paper we consider a group generated by two unipotent parabolic elements of ${\rm SU}(2,1)$ with distinct fixed points. We give several conditions that guarantee the group is discrete and free. We also give a result on the diameter of a finite ${\mathbb R}$-circle in the Heisenberg group.
△ Less
Submitted 27 September, 2022; v1 submitted 4 February, 2022;
originally announced February 2022.
-
Presentations and algebraic colimits of enriched monads for a subcategory of arities
Authors:
Rory B. B. Lucyshyn-Wright,
Jason Parker
Abstract:
We develop a general framework for studying signatures, presentations, and algebraic colimits of enriched monads for a subcategory of arities, even when the base of enrichment $\mathcal{V}$ is not locally presentable. When $\mathcal{V}$ satisfies the weaker requirement of local boundedness, the resulting framework is sufficiently general to apply to the $Φ$-accessible monads of Lack and Rosický an…
▽ More
We develop a general framework for studying signatures, presentations, and algebraic colimits of enriched monads for a subcategory of arities, even when the base of enrichment $\mathcal{V}$ is not locally presentable. When $\mathcal{V}$ satisfies the weaker requirement of local boundedness, the resulting framework is sufficiently general to apply to the $Φ$-accessible monads of Lack and Rosický and the $\mathcal{J}$-ary monads of the first author, while even without local boundedness our framework captures in full generality the presentations of strongly finitary monads of Lack and Kelly as well as Wolff's presentations of $\mathcal{V}$-categories by generators and relations. Given any small subcategory of arities $j : \mathcal{J} \hookrightarrow \mathcal{C}$ in an enriched category $\mathcal{C}$, satisfying certain assumptions, we prove results on the existence of free $\mathcal{J}$-ary monads, the monadicity of $\mathcal{J}$-ary monads over $\mathcal{J}$-signatures, and the existence of algebraic colimits of $\mathcal{J}$-ary monads. We study a notion of presentation for $\mathcal{J}$-ary monads and show that every such presentation presents a $\mathcal{J}$-ary monad. Certain of our results generalize earlier results of Kelly, Power, and Lack for finitary enriched monads in the locally finitely presentable setting, as well as analogous results of Kelly and Lack for strongly finitary monads on cartesian closed categories. Our main results hold for a wide class of subcategories of arities in locally bounded enriched categories.
△ Less
Submitted 10 January, 2022;
originally announced January 2022.
-
Locally bounded enriched categories
Authors:
Rory B. B. Lucyshyn-Wright,
Jason Parker
Abstract:
We define and study the notion of a locally bounded enriched category over a (locally bounded) symmetric monoidal closed category, generalizing the locally bounded ordinary categories of Freyd and Kelly. In addition to proving several general results for constructing examples of locally bounded enriched categories and locally bounded closed categories, we demonstrate that locally bounded enriched…
▽ More
We define and study the notion of a locally bounded enriched category over a (locally bounded) symmetric monoidal closed category, generalizing the locally bounded ordinary categories of Freyd and Kelly. In addition to proving several general results for constructing examples of locally bounded enriched categories and locally bounded closed categories, we demonstrate that locally bounded enriched categories admit fully enriched analogues of many of the convenient results enjoyed by locally bounded ordinary categories. In particular, we prove full enrichments of Freyd and Kelly's reflectivity and local boundedness results for orthogonal subcategories and categories of models for sketches and theories. We also provide characterization results for locally bounded enriched categories in terms of enriched presheaf categories, and we show that locally bounded enriched categories admit useful adjoint functor theorems and a representability theorem. We also define and study the notion of $α$-bounded-small weighted limit enriched in a locally $α$-bounded closed category, which parallels Kelly's notion of $α$-small weighted limit enriched in a locally $α$-presentable closed category, and we show that enriched categories of models of $α$-bounded-small weighted limit theories are locally $α$-bounded.
△ Less
Submitted 21 April, 2022; v1 submitted 13 October, 2021;
originally announced October 2021.
-
Inner automorphisms of presheaves of groups
Authors:
Jason Parker
Abstract:
It has been proven by Schupp and Bergman that the inner automorphisms of groups can be characterized purely categorically as those group automorphisms that can be coherently extended along any outgoing homomorphism. One is thus motivated to define a notion of (categorical) inner automorphism in an arbitrary category, as an automorphism that can be coherently extended along any outgoing morphism, a…
▽ More
It has been proven by Schupp and Bergman that the inner automorphisms of groups can be characterized purely categorically as those group automorphisms that can be coherently extended along any outgoing homomorphism. One is thus motivated to define a notion of (categorical) inner automorphism in an arbitrary category, as an automorphism that can be coherently extended along any outgoing morphism, and the theory of such automorphisms forms part of the theory of covariant isotropy. In this paper, we prove that the categorical inner automorphisms in any category $\mathsf{Group}^{\mathcal{J}}$ of presheaves of groups can be characterized in terms of conjugation-theoretic inner automorphisms of the component groups, together with a natural automorphism of the identity functor on the index category $\mathcal{J}$. In fact, we deduce such a characterization from a much more general result characterizing the categorical inner automorphisms in any category $\mathbb{T}\mathsf{mod}^{\mathcal{J}}$ of presheaves of $\mathbb{T}$-models for a suitable first-order theory $\mathbb{T}$.
△ Less
Submitted 29 July, 2021;
originally announced July 2021.
-
A study of the double pendulum using polynomial optimization
Authors:
Jeremy P Parker,
David Goluskin,
Geoffrey M Vasil
Abstract:
In dynamical systems governed by differential equations, a guarantee that trajectories emanating from a given set of initial conditions do not enter another given set can be obtained by constructing a barrier function that satisfies certain inequalities on phase space. Often these inequalities amount to nonnegativity of polynomials and can be enforced using sum-of-squares conditions, in which case…
▽ More
In dynamical systems governed by differential equations, a guarantee that trajectories emanating from a given set of initial conditions do not enter another given set can be obtained by constructing a barrier function that satisfies certain inequalities on phase space. Often these inequalities amount to nonnegativity of polynomials and can be enforced using sum-of-squares conditions, in which case barrier functions can be constructed computationally using convex optimization over polynomials. To study how well such computations can characterize sets of initial conditions in a chaotic system, we use the undamped double pendulum as an example and ask which stationary initial positions do not lead to flipping of the pendulum within a chosen time window. Computations give semialgebraic sets that are close inner approximations to the fractal set of all such initial positions.
△ Less
Submitted 10 September, 2021; v1 submitted 25 June, 2021;
originally announced June 2021.
-
Covariant Isotropy of Grothendieck Toposes
Authors:
Jason Parker
Abstract:
We provide an explicit characterization of the covariant isotropy group of any Grothendieck topos, i.e. the group of (extended) inner automorphisms of any sheaf over a small site. As a consequence, we obtain an explicit characterization of the centre of a Grothendieck topos, i.e. the automorphism group of its identity functor.
We provide an explicit characterization of the covariant isotropy group of any Grothendieck topos, i.e. the group of (extended) inner automorphisms of any sheaf over a small site. As a consequence, we obtain an explicit characterization of the centre of a Grothendieck topos, i.e. the automorphism group of its identity functor.
△ Less
Submitted 27 April, 2021;
originally announced April 2021.
-
Polymorphic Automorphisms and the Picard Group
Authors:
Pieter Hofstra,
Jason Parker,
Philip J. Scott
Abstract:
We investigate the concept of definable, or inner, automorphism in the logical setting of partial Horn theories. The central technical result extends a syntactical characterization of the group of such automorphisms (called the covariant isotropy group) associated with an algebraic theory to the wider class of quasi-equational theories. We apply this characterization to prove that the isotropy gro…
▽ More
We investigate the concept of definable, or inner, automorphism in the logical setting of partial Horn theories. The central technical result extends a syntactical characterization of the group of such automorphisms (called the covariant isotropy group) associated with an algebraic theory to the wider class of quasi-equational theories. We apply this characterization to prove that the isotropy group of a strict monoidal category is precisely its Picard group of invertible objects. Furthermore, we obtain an explicit description of the covariant isotropy group of a presheaf category.
△ Less
Submitted 22 February, 2021;
originally announced February 2021.
-
Isotropy Groups of Free Racks and Quandles
Authors:
Jason Parker
Abstract:
In this article, we characterize the (covariant) isotropy groups of free, finitely generated racks and quandles. As a consequence, we show that the usual inner automorphisms of such racks and quandles are precisely those automorphisms that are "coherently extendible". We then use this result to compute the global isotropy groups of the categories of racks and quandles, i.e. the automorphism groups…
▽ More
In this article, we characterize the (covariant) isotropy groups of free, finitely generated racks and quandles. As a consequence, we show that the usual inner automorphisms of such racks and quandles are precisely those automorphisms that are "coherently extendible". We then use this result to compute the global isotropy groups of the categories of racks and quandles, i.e. the automorphism groups of the identity functors of these categories.
△ Less
Submitted 28 October, 2020; v1 submitted 19 October, 2020;
originally announced October 2020.
-
Isotropy and Combination Problems
Authors:
Jason Parker
Abstract:
In a previous paper, the author and his collaborators studied the phenomenon of isotropy in the context of single-sorted equational theories, and showed that the isotropy group of the category of models of any such theory encodes a notion of inner automorphism for the theory.
Using results from the treatment of combination problems in term rewriting theory, we show in this article that if…
▽ More
In a previous paper, the author and his collaborators studied the phenomenon of isotropy in the context of single-sorted equational theories, and showed that the isotropy group of the category of models of any such theory encodes a notion of inner automorphism for the theory.
Using results from the treatment of combination problems in term rewriting theory, we show in this article that if $\mathbb{T}_1$ and $\mathbb{T}_2$ are (disjoint) equational theories satisfying minimal assumptions, then any free, finitely generated model of the disjoint union theory $\mathbb{T}_1 + \mathbb{T}_2$ has trivial isotropy group, and hence the only inner automorphisms of such models, i.e. the only automorphisms of such models that are coherently extendible, are the identity automorphisms.
As a corollary, we show that the global isotropy group of the category of models $(\mathbb{T}_1 + \mathbb{T}_2)\mathsf{mod}$, i.e. the group of invertible elements of the centre of this category, is the trivial group.
△ Less
Submitted 19 October, 2020;
originally announced October 2020.
-
Classification of non-free Kleinian groups generated by two parabolic transformations
Authors:
Hirotaka Akiyoshi,
Ken'ichi Ohshika,
John Parker,
Makoto Sakuma,
Han Yoshida
Abstract:
We give a full proof to Agol's announcement on the classification of non-free Kleinian groups generated by two parabolic transformations.
We give a full proof to Agol's announcement on the classification of non-free Kleinian groups generated by two parabolic transformations.
△ Less
Submitted 26 January, 2020;
originally announced January 2020.
-
Chaotic Delone sets
Authors:
Jesús Antonio Álvarez López,
Ramón Barral Lijó,
John Hunton,
Hiraku Nozawa,
John R. Parker
Abstract:
We present a definition of chaotic Delone set, and establish the genericity of chaos in the space of $(ε,δ)$-Delone sets for $ε\geq δ$. We also present a hyperbolic analogue of the cut-and-project method that naturally produces examples of chaotic Delone sets.
We present a definition of chaotic Delone set, and establish the genericity of chaos in the space of $(ε,δ)$-Delone sets for $ε\geq δ$. We also present a hyperbolic analogue of the cut-and-project method that naturally produces examples of chaotic Delone sets.
△ Less
Submitted 17 December, 2020; v1 submitted 11 December, 2019;
originally announced December 2019.
-
Minimal codimension one foliation of a symmetric space by Damek-Ricci spaces
Authors:
Gerhard Knieper,
John R. Parker,
Norbert Peyerimhoff
Abstract:
In this article we consider solvable hypersurfaces of the form $N \exp(\R H)$ with induced metrics in the symmetric space $M = SL(3,\C)/SU(3)$, where $H$ a suitable unit length vector in the subgroup $A$ of the Iwasawa decomposition $SL(3,\C) = NAK$. Since $M$ is rank $2$, $A$ is $2$-dimensional and we can parametrize these hypersurfaces via an angle $α\in [0,π/2]$ determining the direction of…
▽ More
In this article we consider solvable hypersurfaces of the form $N \exp(\R H)$ with induced metrics in the symmetric space $M = SL(3,\C)/SU(3)$, where $H$ a suitable unit length vector in the subgroup $A$ of the Iwasawa decomposition $SL(3,\C) = NAK$. Since $M$ is rank $2$, $A$ is $2$-dimensional and we can parametrize these hypersurfaces via an angle $α\in [0,π/2]$ determining the direction of $H$. We show that one of the hypersurfaces (corresponding to $α= 0$) is minimally embedded and isometric to the non-symmetric $7$-dimensional Damek-Ricci space. We also provide an explicit formula for the Ricci curvature of these hypersurfaces and show that all hypersurfaces for $α\in (0,\fracπ{2}]$ admit planes of both negative and positive sectional curvature. Moreover, the symmetric space $M$ admits a minimal foliation with all leaves isometric to the non-symmetric $7$-dimensional Damek-Ricci space.
△ Less
Submitted 15 April, 2019;
originally announced April 2019.
-
Discreteness of Ultra-Parallel Complex Hyperbolic Triangle Groups of Type $[m_1,m_2,0]$
Authors:
Andrew Monaghan,
John R. Parker,
Anna Pratoussevitch
Abstract:
In this paper we consider ultra-parallel complex hyperbolic triangle groups of type $[m_1,m_2,0]$, i.e. groups of isometries of the complex hyperbolic plane, generated by complex reflections in three ultra-parallel complex geodesics two of which intersect on the boundary. We prove some discreteness and non-discreteness results for these groups and discuss the connection between the discreteness re…
▽ More
In this paper we consider ultra-parallel complex hyperbolic triangle groups of type $[m_1,m_2,0]$, i.e. groups of isometries of the complex hyperbolic plane, generated by complex reflections in three ultra-parallel complex geodesics two of which intersect on the boundary. We prove some discreteness and non-discreteness results for these groups and discuss the connection between the discreteness results and ellipticity of certain group elements.
△ Less
Submitted 16 September, 2019; v1 submitted 9 July, 2018;
originally announced July 2018.
-
Non-arithmetic monodromy of higher hypergeometric functions
Authors:
John R. Parker
Abstract:
We show that all the currently known non-arithmetic lattices in ${\rm PU}(2,1)$ are monodromy groups of higher hypergeometric functions.
We show that all the currently known non-arithmetic lattices in ${\rm PU}(2,1)$ are monodromy groups of higher hypergeometric functions.
△ Less
Submitted 14 February, 2018;
originally announced February 2018.
-
Complex Hyperbolic Triangle Groups with 2-fold Symmetry
Authors:
John R. Parker,
Li-Jie Sun
Abstract:
In this paper we will consider the 2-fold symmetric complex hyperbolic triangle groups generated by three complex reflections through angle 2pi/p with p no smaller than 2. We will mainly concentrate on the groups where some elements are elliptic of finite order. Then we will classify all such groups which are candidates for being discrete. There are only 4 types.
In this paper we will consider the 2-fold symmetric complex hyperbolic triangle groups generated by three complex reflections through angle 2pi/p with p no smaller than 2. We will mainly concentrate on the groups where some elements are elliptic of finite order. Then we will classify all such groups which are candidates for being discrete. There are only 4 types.
△ Less
Submitted 19 April, 2017; v1 submitted 16 February, 2017;
originally announced February 2017.
-
New non-arithmetic complex hyperbolic lattices II
Authors:
Martin Deraux,
John R. Parker,
Julien Paupert
Abstract:
We describe a general procedure to produce fundamental domains for complex hyperbolic triangle groups, a class of groups that contains a representative of the commensurability class of every known non-arithmetic lattice in ${\rm PU}(2,1)$. We discuss several commensurability invariants for lattices, and show that some triangle groups yield new commensurability classes, bringing the number of known…
▽ More
We describe a general procedure to produce fundamental domains for complex hyperbolic triangle groups, a class of groups that contains a representative of the commensurability class of every known non-arithmetic lattice in ${\rm PU}(2,1)$. We discuss several commensurability invariants for lattices, and show that some triangle groups yield new commensurability classes, bringing the number of known non-arithmetic commensurability classes to 22.
△ Less
Submitted 29 April, 2020; v1 submitted 1 November, 2016;
originally announced November 2016.
-
Minimizing length of billiard trajectories in hyperbolic polygons
Authors:
John R. Parker,
Norbert Peyerimhoff,
Karl Friedrich Siburg
Abstract:
Closed billiard trajectories in a polygon in the hyperbolic plane can be coded by the order in which they hit the sides of the polygon. In this paper, we consider the average length of cyclically related closed billiard trajectories in ideal hyperbolic polygons and prove the conjecture that this average length is minimized for regular hyperbolic polygons. The proof uses a strict convexity property…
▽ More
Closed billiard trajectories in a polygon in the hyperbolic plane can be coded by the order in which they hit the sides of the polygon. In this paper, we consider the average length of cyclically related closed billiard trajectories in ideal hyperbolic polygons and prove the conjecture that this average length is minimized for regular hyperbolic polygons. The proof uses a strict convexity property of the geodesic length function in Teichmüller space with respect to the Weil-Petersson metric, a fundamental result established by Wolpert.
△ Less
Submitted 25 July, 2016;
originally announced July 2016.
-
Regular Language Distance and Entropy
Authors:
Austin J. Parker,
Kelly B. Yancey,
Matthew P. Yancey
Abstract:
This paper addresses the problem of determining the distance between two regular languages. It will show how to expand Jaccard distance, which works on finite sets, to potentially-infinite regular languages. The entropy of a regular language plays a large role in the extension. Much of the paper is spent investigating the entropy of a regular language. This includes addressing issues that have req…
▽ More
This paper addresses the problem of determining the distance between two regular languages. It will show how to expand Jaccard distance, which works on finite sets, to potentially-infinite regular languages. The entropy of a regular language plays a large role in the extension. Much of the paper is spent investigating the entropy of a regular language. This includes addressing issues that have required previous authors to rely on the upper limit of Shannon's traditional formulation of entropy, because its limit does not always exist. The paper also includes proposing a new limit based formulation for the entropy of a regular language and proves that formulation to both exist and be equivalent to Shannon's original formulation (when it exists). Additionally, the proposed formulation is shown to equal an analogous but formally quite different notion of topological entropy from Symbolic Dynamics -- consequently also showing Shannon's original formulation to be equivalent to topological entropy. Surprisingly, the natural Jaccard-like entropy distance is trivial in most cases. Instead, the {\it entropy sum} distance metric is suggested, and shown to be granular in certain situations.
△ Less
Submitted 19 February, 2016;
originally announced February 2016.
-
A complex hyperbolic Riley slice
Authors:
John R. Parker,
Pierre Will
Abstract:
We study subgroups of ${\rm PU}(2,1)$ generated by two non-commuting unipotent maps $A$ and $B$ whose product $AB$ is also unipotent. We call $\mathcal{U}$ the set of conjugacy classes of such groups. We provide a set of coordinates on $\mathcal{U}$ that make it homeomorphic to $\mathbb{R}^2$ . By considering the action on complex hyperbolic space $\mathbf{H}^2_{\mathbb{C}}$ of groups in…
▽ More
We study subgroups of ${\rm PU}(2,1)$ generated by two non-commuting unipotent maps $A$ and $B$ whose product $AB$ is also unipotent. We call $\mathcal{U}$ the set of conjugacy classes of such groups. We provide a set of coordinates on $\mathcal{U}$ that make it homeomorphic to $\mathbb{R}^2$ . By considering the action on complex hyperbolic space $\mathbf{H}^2_{\mathbb{C}}$ of groups in $\mathcal{U}$, we describe a two dimensional disc ${\mathcal Z}$ in $\mathcal{U}$ that parametrises a family of discrete groups. As a corollary, we give a proof of a conjecture of Schwartz for $(3,3,\infty)$-triangle groups. We also consider a particular group on the boundary of the disc ${\mathcal Z}$ where the commutator $[A,B]$ is also unipotent. We show that the boundary of the quotient orbifold associated to the latter group gives a spherical CR uniformisation of the Whitehead link complement.
△ Less
Submitted 17 May, 2016; v1 submitted 6 October, 2015;
originally announced October 2015.
-
New non-arithmetic complex hyperbolic lattices
Authors:
Martin Deraux,
John R. Parker,
Julien Paupert
Abstract:
We produce a family of new, non arithmetic lattices in PU(2,1). All previously known examples were commensurable with lattices constructed by Picard, Mostow and Deligne-Mostow, and fell into 9 commensurability classes. Our groups produce 5 new distinct commensurability classes. Most of the techniques are completely general, and provide efficient geometric and computational tools for constructing f…
▽ More
We produce a family of new, non arithmetic lattices in PU(2,1). All previously known examples were commensurable with lattices constructed by Picard, Mostow and Deligne-Mostow, and fell into 9 commensurability classes. Our groups produce 5 new distinct commensurability classes. Most of the techniques are completely general, and provide efficient geometric and computational tools for constructing fundamental domains for discrete group acting on the complex hyperbolic plane.
△ Less
Submitted 16 May, 2015; v1 submitted 1 January, 2014;
originally announced January 2014.
-
Complex hyperbolic free groups with many parabolic elements
Authors:
John R. Parker,
Pierre Will
Abstract:
We consider in this work representations of the of the fundamental group of the 3-punctured sphere in ${\rm PU}(2,1)$ such that the boundary loops are mapped to ${\rm PU}(2,1)$. We provide a system of coordinates on the corresponding representation variety, and analyse more specifically those representations corresponding to subgroups of $(3,3,\infty)$-groups. In particular we prove that it is pos…
▽ More
We consider in this work representations of the of the fundamental group of the 3-punctured sphere in ${\rm PU}(2,1)$ such that the boundary loops are mapped to ${\rm PU}(2,1)$. We provide a system of coordinates on the corresponding representation variety, and analyse more specifically those representations corresponding to subgroups of $(3,3,\infty)$-groups. In particular we prove that it is possible to construct representations of the free group of rank two $\la a,b\ra$ in ${\rm PU}(2,1)$ for which $a$, $b$, $ab$, $ab^{-1}$, $ab^2$, $a^2b$ and $[a,b]$ all are mapped to parabolics.
△ Less
Submitted 13 December, 2013;
originally announced December 2013.
-
4D, N=1 Supergravity Genomics
Authors:
Isaac Chappell,
S. James Gates, Jr.,
William D. Linch III,
James Parker,
Stephen Randall,
Alexander Ridgway,
Kory Stiffler
Abstract:
The off-shell representation theory of 4D, $\mathcal{N}=1$ supermultiplets can be categorized in terms of distinct irreducible graphical representations called adinkras as part of a larger effort we call supersymmetry `genomics.' Recent evidence has emerged pointing to the existence of three such fundamental adinkras associated with distinct equivalence classes of a Coxeter group. A partial descri…
▽ More
The off-shell representation theory of 4D, $\mathcal{N}=1$ supermultiplets can be categorized in terms of distinct irreducible graphical representations called adinkras as part of a larger effort we call supersymmetry `genomics.' Recent evidence has emerged pointing to the existence of three such fundamental adinkras associated with distinct equivalence classes of a Coxeter group. A partial description of these adinkras is given in terms of two types, termed cis-and trans-adinkras (the latter being a degenerate doublet) in analogy to cis/trans isomers in chemistry. Through a new and simple procedure that uses adinkras, we find the irreducible off-shell adinkra representations of 4D, $\mathcal{N}=1$ supergravity, in the old-minimal, non-minimal, and conformal formulations. This procedure uncovers what appears to be a selection rule useful to reverse engineer adinkras to higher dimensions. We categorize the supergravity representations in terms of the number of cis-($n_c$) and trans-($n_t$) adinkras in the representation and synthesize our new results with our previous supersymmetry genomics results into a group theoretic framework.
△ Less
Submitted 24 July, 2013; v1 submitted 13 December, 2012;
originally announced December 2012.
-
4D, N = 1 Supersymmetry Genomics (II)
Authors:
S. James Gates Jr,
Jared Hallett,
James Parker,
Vincent G. J. Rodgers,
Kory Stiffler
Abstract:
We continue the development of a theory of off-shell supersymmetric representations analogous to that of compact Lie algebras such as SU(3). For off-shell 4D, N = 1 systems, quark-like representations have been identified [1] in terms of cis-Adinkras and trans-Adinkras and it has been conjectured that arbitrary representations are composites of $n_c$-cis and $n_t$-trans representations. Analyzing…
▽ More
We continue the development of a theory of off-shell supersymmetric representations analogous to that of compact Lie algebras such as SU(3). For off-shell 4D, N = 1 systems, quark-like representations have been identified [1] in terms of cis-Adinkras and trans-Adinkras and it has been conjectured that arbitrary representations are composites of $n_c$-cis and $n_t$-trans representations. Analyzing the real scalar and complex linear superfield multiplets, these "chemical enantiomer" numbers are found to be $n_c$ = $n_t$ = 1 and $n_c$ = 1, $n_t$ = 2, respectively.
△ Less
Submitted 18 April, 2012; v1 submitted 9 December, 2011;
originally announced December 2011.
-
Census of the complex hyperbolic sporadic triangle groups
Authors:
Martin Deraux,
John R. Parker,
Julien Paupert
Abstract:
The goal of this paper is to give a conjectural census of complex hyperbolic sporadic groups. We prove that only finitely many of these sporadic groups are lattices. We also give a conjectural list of all lattices among sporadic groups, and for each group in the list we give a conjectural presentation, as well as a list of cusps and generators for their stabilisers. We describe strong evidence for…
▽ More
The goal of this paper is to give a conjectural census of complex hyperbolic sporadic groups. We prove that only finitely many of these sporadic groups are lattices. We also give a conjectural list of all lattices among sporadic groups, and for each group in the list we give a conjectural presentation, as well as a list of cusps and generators for their stabilisers. We describe strong evidence for these conjectural statements, showing that their validity depends on the solution of reasonably small systems of quadratic inequalities in four variables.
△ Less
Submitted 8 January, 2011; v1 submitted 17 June, 2010;
originally announced June 2010.
-
Generators of a Picard modular group in two complex dimensions
Authors:
E. Falbel,
G. Francsics,
P. D. Lax,
J. R. Parker
Abstract:
The goal of the article is to prove that four explicitly given transformations, two Heisenberg translations, a rotation and an involution generate the Picard modular group with Gaussian integers acting on the two dimensional complex hyperbolic space. The result answers positively a question raised by A. Kleinschmidt and D. Persson.
The goal of the article is to prove that four explicitly given transformations, two Heisenberg translations, a rotation and an involution generate the Picard modular group with Gaussian integers acting on the two dimensional complex hyperbolic space. The result answers positively a question raised by A. Kleinschmidt and D. Persson.
△ Less
Submitted 5 November, 2009;
originally announced November 2009.
-
Jorgensen's Inequalities and Collars in n-dimensional Quaternionic Hyperbolic Space
Authors:
Wensheng Cao,
John R. Parker
Abstract:
In this paper, we obtain analogues of Jorgensen's inequality for non-elementary groups of isometries of quaternionic hyperbolic $n$-space generated by two elements, one of which is loxodromic. Our result gives some improvement over earlier results of Kim [10] and Markham [15]}. These results also apply to complex hyperbolic space and give improvements on results of Jiang, Kamiya and Parker [7]…
▽ More
In this paper, we obtain analogues of Jorgensen's inequality for non-elementary groups of isometries of quaternionic hyperbolic $n$-space generated by two elements, one of which is loxodromic. Our result gives some improvement over earlier results of Kim [10] and Markham [15]}. These results also apply to complex hyperbolic space and give improvements on results of Jiang, Kamiya and Parker [7]
As applications, we use the quaternionic version of Jørgensen's inequalities to construct embedded collars about short, simple, closed geodesics in quaternionic hyperbolic manifolds. We show that these canonical collars are disjoint from each other. Our results give some improvement over earlier results of Markham and Parker and answer an open question posed in [16].
△ Less
Submitted 23 January, 2010; v1 submitted 18 June, 2009;
originally announced June 2009.
-
Coordinates for quasi-Fuchsian punctured torus space
Authors:
John R. Parker,
Jouni Parkkonen
Abstract:
We consider complex Fenchel-Nielsen coordinates on the quasi-Fuchsian space of punctured tori. These coordinates arise from a generalisation of Kra's plumbing construction and are related to earthquakes on Teichmueller space. They also allow us to interpolate between two coordinate systems on Teichmueller space, namely the classical Fuchsian space with Fenchel-Nielsen coordinates and the Maskit…
▽ More
We consider complex Fenchel-Nielsen coordinates on the quasi-Fuchsian space of punctured tori. These coordinates arise from a generalisation of Kra's plumbing construction and are related to earthquakes on Teichmueller space. They also allow us to interpolate between two coordinate systems on Teichmueller space, namely the classical Fuchsian space with Fenchel-Nielsen coordinates and the Maskit embedding. We also show how they relate to the pleating coordinates of Keen and Series.
△ Less
Submitted 26 October, 1998;
originally announced October 1998.
