-
Donaldson-Thomas invariants for the Bridgeland-Smith correspondence
Authors:
Omar Kidwai,
Nicholas J. Williams
Abstract:
Famous work of Bridgeland and Smith shows that certain moduli spaces of quadratic differentials are isomorphic to spaces of stability conditions on particular 3-Calabi-Yau triangulated categories. This result has subsequently been generalised and extended by several authors. One facet of this correspondence is that finite-length trajectories of the quadratic differential are related to categories…
▽ More
Famous work of Bridgeland and Smith shows that certain moduli spaces of quadratic differentials are isomorphic to spaces of stability conditions on particular 3-Calabi-Yau triangulated categories. This result has subsequently been generalised and extended by several authors. One facet of this correspondence is that finite-length trajectories of the quadratic differential are related to categories of semistable objects of the corresponding stability condition, which have associated Donaldson-Thomas invariants. On the other hand, computations in the physics literature suggest certain values of these invariants according to the type of trajectory. In this paper, we show that the category recently constructed by Christ, Haiden, and Qiu gives Donaldson-Thomas invariants which agree with the predictions from physics; in particular, degenerate ring domains of the quadratic differential give rise to non-zero Donaldson-Thomas invariants. In calculating all of the invariants, we obtain a novel application of string and band techniques from representation theory.
△ Less
Submitted 25 June, 2024; v1 submitted 18 January, 2024;
originally announced January 2024.
-
Steenrod operations via higher Bruhat orders
Authors:
Guillaume Laplante-Anfossi,
Nicholas J. Williams
Abstract:
The purpose of this paper is to establish a correspondence between the higher Bruhat orders of Yu. I. Manin and V. Schechtman, and the cup-$i$ coproducts defining Steenrod squares in cohomology. To any element of the higher Bruhat orders we associate a coproduct, recovering Steenrod's original ones from extremal elements in these orders. This correspondence allows us to interpret the coproducts ge…
▽ More
The purpose of this paper is to establish a correspondence between the higher Bruhat orders of Yu. I. Manin and V. Schechtman, and the cup-$i$ coproducts defining Steenrod squares in cohomology. To any element of the higher Bruhat orders we associate a coproduct, recovering Steenrod's original ones from extremal elements in these orders. This correspondence allows us to interpret the coproducts geometrically in terms of zonotopal tilings, understand all possible choices of coproducts, and give conceptual proofs of their properties.
△ Less
Submitted 29 September, 2023; v1 submitted 28 September, 2023;
originally announced September 2023.
-
A survey of congruences and quotients of partially ordered sets
Authors:
Nicholas J. Williams
Abstract:
A quotient of a poset $P$ is a partial order obtained on the equivalence classes of an equivalence relation $θ$ on $P$; $θ$ is then called a congruence if it satisfies certain conditions, which vary according to different theories. The literature on congruences and quotients of partially ordered sets contains a large and profilerating array of approaches, but little in the way of systematic exposi…
▽ More
A quotient of a poset $P$ is a partial order obtained on the equivalence classes of an equivalence relation $θ$ on $P$; $θ$ is then called a congruence if it satisfies certain conditions, which vary according to different theories. The literature on congruences and quotients of partially ordered sets contains a large and profilerating array of approaches, but little in the way of systematic exposition and examination of the subject. We seek to rectify this by surveying the different theories in the literature and providing philosophical discussion on requirements for notions of congruences of posets. We advocate a pluralist approach which recognises that different types of congruence arise naturally in different mathematical situations. There are some notions of congruence which are very general, whilst others capture specific structure which often appears in examples. Indeed, we finish by giving several examples where quotients of posets appear naturally in mathematics.
△ Less
Submitted 2 May, 2024; v1 submitted 7 March, 2023;
originally announced March 2023.
-
A geometric perspective on the $τ$-cluster morphism category
Authors:
Sibylle Schroll,
Aran Tattar,
Hipolito Treffinger,
Nicholas J. Williams
Abstract:
We show how the $τ$-cluster morphism category may be defined in terms of the wall-and-chamber structure of an algebra. This geometric perspective leads to a simplified proof that the category is well-defined.
We show how the $τ$-cluster morphism category may be defined in terms of the wall-and-chamber structure of an algebra. This geometric perspective leads to a simplified proof that the category is well-defined.
△ Less
Submitted 19 April, 2023; v1 submitted 23 February, 2023;
originally announced February 2023.
-
A structural view of maximal green sequences
Authors:
Mikhail Gorsky,
Nicholas J. Williams
Abstract:
We study the structure of the set of all maximal green sequences of a finite-dimensional algebra. There is a natural equivalence relation on this set, which we show can be interpreted in several different ways, underscoring its significance. There are three partial orders on the equivalence classes, analogous to the partial orders on silting complexes and generalising the higher Stasheff--Tamari o…
▽ More
We study the structure of the set of all maximal green sequences of a finite-dimensional algebra. There is a natural equivalence relation on this set, which we show can be interpreted in several different ways, underscoring its significance. There are three partial orders on the equivalence classes, analogous to the partial orders on silting complexes and generalising the higher Stasheff--Tamari orders on triangulations of three-dimensional cyclic polytopes. We conjecture that these partial orders are in fact equal, just as the orders in the silting case have the same Hasse diagram. This can be seen as a refined and more widely applicable version of the No-Gap Conjecture of Brüstle, Dupont, and Perotin. We prove our conjecture in the case of Nakayama algebras.
△ Less
Submitted 25 April, 2023; v1 submitted 20 January, 2023;
originally announced January 2023.
-
The higher Stasheff--Tamari orders in representation theory
Authors:
Nicholas J. Williams
Abstract:
We show that the relationship discovered by Oppermann and Thomas between triangulations of cyclic polytopes and the higher Auslander algebras of type $A$, denoted $A_{n}^{d}$, is an incredibly rich one. The \emph{higher Stasheff--Tamari orders} are two orders on triangulations of cyclic polytopes, conjectured to be equivalent, defined in the 1990s by Kapranov and Voevodsky, and Edelman and Reiner.…
▽ More
We show that the relationship discovered by Oppermann and Thomas between triangulations of cyclic polytopes and the higher Auslander algebras of type $A$, denoted $A_{n}^{d}$, is an incredibly rich one. The \emph{higher Stasheff--Tamari orders} are two orders on triangulations of cyclic polytopes, conjectured to be equivalent, defined in the 1990s by Kapranov and Voevodsky, and Edelman and Reiner. We first show that these orders correspond in even dimensions to natural orders on tilting modules defined by Riedtmann and Schofield and studied by Happel and Unger. This result allows us to show that triangulations of odd-dimensional cyclic polytopes are in bijection with equivalence classes of $d$-maximal green sequences of $A_{n}^{d}$, which we introduce as a higher-dimensional generalisation of the original maximal green sequences of Keller. We further interpret the higher Stasheff--Tamari orders in odd dimensions, where they correspond to natural orders on equivalences classes of $d$-maximal green sequences. The conjecture that these two partial orders on equivalence classes of $d$-maximal green sequences are equal amounts to an oriented version of the ``no-gap'' conjecture of Brüstle, Dupont, and Perotin. A corollary of our results is that this conjecture holds for $A_{n}$, and that here the set of equivalence classes of (1-)maximal green sequences is a lattice.
△ Less
Submitted 16 December, 2022;
originally announced December 2022.
-
Stability spaces of string and band modules
Authors:
Sibylle Schroll,
Aran Tattar,
Hipolito Treffinger,
Yadira Valdivieso,
Nicholas J. Williams
Abstract:
The stability space of a module is the cone of vectors which make the module semistable. These cones are defined in terms of inequalities; in this paper we draw insights from considering the dual description in terms of non-negative linear spans. We show how stability spaces of thin modules are related to order polytopes. In the case of non-thin modules, we show how the stability spaces of string…
▽ More
The stability space of a module is the cone of vectors which make the module semistable. These cones are defined in terms of inequalities; in this paper we draw insights from considering the dual description in terms of non-negative linear spans. We show how stability spaces of thin modules are related to order polytopes. In the case of non-thin modules, we show how the stability spaces of string and band modules are related to the stability spaces of the thin modules corresponding to the abstract string and band. We use this to analyse the way in which the stability space of a band module is the limit of stability spaces of string modules. Namely, the stability space of the band module is a union of cones, each of which is the limit of the stability spaces of a family of string modules.
△ Less
Submitted 31 August, 2022;
originally announced August 2022.
-
Triangulations of prisms and preprojective algebras of type $A$
Authors:
Osamu Iyama,
Nicholas J. Williams
Abstract:
We show that indecomposable two-term presilting complexes over $Π_{n}$, the preprojective algebra of $A_{n}$, are in bijection with internal $n$-simplices in the prism $Δ_{n} \times Δ_{1}$, the product of an $n$-simplex with a 1-simplex. We show further that this induces a bijection between triangulations of $Δ_{n} \times Δ_{1}$ and two-term silting complexes over $Π_{n}$ such that bistellar flips…
▽ More
We show that indecomposable two-term presilting complexes over $Π_{n}$, the preprojective algebra of $A_{n}$, are in bijection with internal $n$-simplices in the prism $Δ_{n} \times Δ_{1}$, the product of an $n$-simplex with a 1-simplex. We show further that this induces a bijection between triangulations of $Δ_{n} \times Δ_{1}$ and two-term silting complexes over $Π_{n}$ such that bistellar flips of triangulations correspond to mutations of two-term silting complexes. These bijections are shown to compatible with the known bijections involving the symmetric group.
△ Less
Submitted 14 November, 2022; v1 submitted 27 August, 2022;
originally announced August 2022.
-
Quiver combinatorics for higher-dimensional triangulations
Authors:
Nicholas J. Williams
Abstract:
We investigate the combinatorics of quivers that arise from triangulations of even-dimensional cyclic polytopes. Work of Oppermann and Thomas pinpoints such quivers as the prototypes for higher-dimensional cluster theory. We first show that a $2d$-dimensional triangulation has no interior $(d + 1)$-simplices if and only if its quiver is a cut quiver of type $A$, in the sense of Iyama and Oppermann…
▽ More
We investigate the combinatorics of quivers that arise from triangulations of even-dimensional cyclic polytopes. Work of Oppermann and Thomas pinpoints such quivers as the prototypes for higher-dimensional cluster theory. We first show that a $2d$-dimensional triangulation has no interior $(d + 1)$-simplices if and only if its quiver is a cut quiver of type $A$, in the sense of Iyama and Oppermann. This is a higher-dimensional generalisation of the fact that triangulations of polygons with no interior triangles correspond to orientations of an $A_{n}$ Dynkin diagram. An application of this first result is that the set of triangulations of a $2d$-dimensional cyclic polytope with no interior $(d + 1)$-simplices is connected via bistellar flips -- the higher-dimensional analogue of flip** a diagonal inside a quadrilateral. In dimensions higher than 2, bistellar flips cannot be performed at all locations in a triangulation. Our second result gives a quiver-theoretic criterion for performing bistellar flips on a triangulation of a $2d$-dimensional cyclic polytope. This provides a visual tool for studying mutability of higher-dimensional triangulations and points towards what a theory of higher-dimensional quiver mutation could look like. Indeed, we apply this result to give a rule for mutating cut quivers at vertices which are not necessarily sinks or sources.
△ Less
Submitted 16 December, 2021;
originally announced December 2021.
-
Predicting Levels of Household Electricity Consumption in Low-Access Settings
Authors:
Simone Fobi,
Joel Mugyenyi,
Nathaniel J. Williams,
Vijay Modi,
Jay Taneja
Abstract:
In low-income settings, the most critical piece of information for electric utilities is the anticipated consumption of a customer. Electricity consumption assessment is difficult to do in settings where a significant fraction of households do not yet have an electricity connection. In such settings the absolute levels of anticipated consumption can range from 5-100 kWh/month, leading to high vari…
▽ More
In low-income settings, the most critical piece of information for electric utilities is the anticipated consumption of a customer. Electricity consumption assessment is difficult to do in settings where a significant fraction of households do not yet have an electricity connection. In such settings the absolute levels of anticipated consumption can range from 5-100 kWh/month, leading to high variability amongst these customers. Precious resources are at stake if a significant fraction of low consumers are connected over those with higher consumption.
This is the first study of it's kind in low-income settings that attempts to predict a building's consumption and not that of an aggregate administrative area. We train a Convolutional Neural Network (CNN) over pre-electrification daytime satellite imagery with a sample of utility bills from 20,000 geo-referenced electricity customers in Kenya (0.01% of Kenya's residential customers). This is made possible with a two-stage approach that uses a novel building segmentation approach to leverage much larger volumes of no-cost satellite imagery to make the most of scarce and expensive customer data. Our method shows that competitive accuracies can be achieved at the building level, addressing the challenge of consumption variability. This work shows that the building's characteristics and it's surrounding context are both important in predicting consumption levels. We also evaluate the addition of lower resolution geospatial datasets into the training process, including nighttime lights and census-derived data. The results are already hel** inform site selection and distribution-level planning, through granular predictions at the level of individual structures in Kenya and there is no reason this cannot be extended to other countries.
△ Less
Submitted 15 December, 2021;
originally announced December 2021.
-
The two higher Stasheff-Tamari orders are equal
Authors:
Nicholas J. Williams
Abstract:
The set of triangulations of a cyclic polytope possesses two a priori different partial orders, known as the higher Stasheff-Tamari orders. The first of these orders was introduced by Kapranov and Voevodsky, while the second order was introduced by Edelman and Reiner, who also conjectured the two to coincide in 1996. In this paper we prove their conjecture, thereby substantially increasing our und…
▽ More
The set of triangulations of a cyclic polytope possesses two a priori different partial orders, known as the higher Stasheff-Tamari orders. The first of these orders was introduced by Kapranov and Voevodsky, while the second order was introduced by Edelman and Reiner, who also conjectured the two to coincide in 1996. In this paper we prove their conjecture, thereby substantially increasing our understanding of these orders. This result also has ramifications in the representation theory of algebras, as established in previous work of the author. Indeed, it means that the two corresponding orders on tilting modules, cluster-tilting objects and their maximal chains are equal for the higher Auslander algebras of type $A$.
△ Less
Submitted 13 June, 2022; v1 submitted 2 June, 2021;
originally announced June 2021.
-
The first higher Stasheff-Tamari orders are quotients of the higher Bruhat orders
Authors:
Nicholas J. Williams
Abstract:
We prove the conjecture that the higher Tamari orders of Dimakis and Müller-Hoissen coincide with the first higher Stasheff--Tamari orders. To this end, we show that the higher Tamari orders may be conceived as the image of an order-preserving map from the higher Bruhat orders to the first higher Stasheff--Tamari orders. This map is defined by taking the first cross-section of a cubillage of a cyc…
▽ More
We prove the conjecture that the higher Tamari orders of Dimakis and Müller-Hoissen coincide with the first higher Stasheff--Tamari orders. To this end, we show that the higher Tamari orders may be conceived as the image of an order-preserving map from the higher Bruhat orders to the first higher Stasheff--Tamari orders. This map is defined by taking the first cross-section of a cubillage of a cyclic zonotope. We provide a new proof that this map is surjective and show further that the map is full, which entails the aforementioned conjecture. We explain how order-preserving maps which are surjective and full correspond to quotients of posets. Our results connect the first higher Stasheff--Tamari orders with the literature on the role of the higher Tamari orders in integrable systems.
△ Less
Submitted 18 May, 2021; v1 submitted 18 December, 2020;
originally announced December 2020.
-
New interpretations of the higher Stasheff--Tamari orders
Authors:
Nicholas J. Williams
Abstract:
In 1996, Edelman and Reiner defined the two higher Stasheff--Tamari orders on triangulations of cyclic polytopes and conjectured them to coincide. We open up an algebraic angle for approaching this conjecture by showing how these orders arise naturally in the representation theory of the higher Auslander algebras of type $A$, denoted $A_{n}^{d}$. For this we give new combinatorial interpretations…
▽ More
In 1996, Edelman and Reiner defined the two higher Stasheff--Tamari orders on triangulations of cyclic polytopes and conjectured them to coincide. We open up an algebraic angle for approaching this conjecture by showing how these orders arise naturally in the representation theory of the higher Auslander algebras of type $A$, denoted $A_{n}^{d}$. For this we give new combinatorial interpretations of the orders, making them comparable. We then translate these combinatorial interpretations into the algebraic framework. We also show how triangulations of odd-dimensional cyclic polytopes arise in the representation theory of $A_{n}^{d}$, namely as equivalence classes of maximal green sequences. We furthermore give the odd-dimensional counterpart to the known description of $2d$-dimensional triangulations as sets of non-intersecting $d$-simplices of a maximal size. This consists in a definition of two new properties which imply that a set of $d$-simplices produces a $(2d+1)$-dimensional triangulation.
△ Less
Submitted 19 February, 2021; v1 submitted 24 July, 2020;
originally announced July 2020.
-
The combinatorics of tensor products of higher Auslander algebras of type $A$
Authors:
Jordan McMahon,
Nicholas J. Williams
Abstract:
We consider maximal non-$l$-intertwining collections, which are a higher-dimensional version of the maximal non-crossing collections which give clusters of Plücker coordinates in the Grassmannian coordinate ring, as described by Scott. We extend a method of Scott for producing such collections, which are related to tensor products of higher Auslander algebras of type $A$. We show that a higher pre…
▽ More
We consider maximal non-$l$-intertwining collections, which are a higher-dimensional version of the maximal non-crossing collections which give clusters of Plücker coordinates in the Grassmannian coordinate ring, as described by Scott. We extend a method of Scott for producing such collections, which are related to tensor products of higher Auslander algebras of type $A$. We show that a higher preprojective algebra of the tensor product of two $d$-representation-finite algebras has a $d$-precluster-tilting subcategory. Finally we relate mutations of these collections to a form of tilting for these algebras.
△ Less
Submitted 18 January, 2020;
originally announced January 2020.
-
Global analysis of muon decay measurements
Authors:
C. A. Gagliardi,
R. E. Tribble,
N. J. Williams
Abstract:
We have performed a global analysis of muon decay measurements to establish model-independent limits on the space-time structure of the muon decay matrix element. We find limits on the scalar, vector and tensor coupling of right- and left-handed muons to right- and left-handed electrons. The limits on those terms that involve the decay of right-handed muons to left-handed electrons are more rest…
▽ More
We have performed a global analysis of muon decay measurements to establish model-independent limits on the space-time structure of the muon decay matrix element. We find limits on the scalar, vector and tensor coupling of right- and left-handed muons to right- and left-handed electrons. The limits on those terms that involve the decay of right-handed muons to left-handed electrons are more restrictive than in previous global analyses, while the limits on the other non-standard model interactions are comparable. The value of the Michel parameter eta found in the global analysis is -0.0036 \pm 0.0069, slightly more precise than the value found in a more restrictive analysis of a recent measurement. This has implications for the Fermi coupling constant G_F.
△ Less
Submitted 7 September, 2005;
originally announced September 2005.