Showing 1–27 of 27 results for author: Balchin, S

On minimal bases in homotopical combinatorics

Authors: Katharine Adamyk, Scott Balchin, Miguel Barrero, Steven Scheirer, Noah Wisdom, Valentina Zapata Castro

Abstract: We present a development in the computational suite for the study of $N_\infty$ operads for a finite group $G$. This progress is achieved using the simple yet powerful observation that Rubin's generation algorithm can be interpreted as a closure operator. Leveraging this perspective, we establish the existence of minimal bases for $N_\infty$ operads. By investigating these bases for certain famili… ▽ More We present a development in the computational suite for the study of $N_\infty$ operads for a finite group $G$. This progress is achieved using the simple yet powerful observation that Rubin's generation algorithm can be interpreted as a closure operator. Leveraging this perspective, we establish the existence of minimal bases for $N_\infty$ operads. By investigating these bases for certain families of groups we are led to introduce and analyze several novel combinatorial invariants for finite groups. △ Less

Submitted 11 June, 2025; originally announced June 2025.

Comments: 42 pages, comments welcome!

ninfty: A software package for homotopical combinatorics

Authors: Scott Balchin

Abstract: We introduce ninfty, a header-only C++ library distributed under an MIT Open Source License designed for the study of enumeration problems arising in homotopical combinatorics. The ninfty repository moreover contains a folder with data files for many common finite groups. This is in addition to Sage code which can be used to generate input data for further finite groups, and Sage code for generati… ▽ More We introduce ninfty, a header-only C++ library distributed under an MIT Open Source License designed for the study of enumeration problems arising in homotopical combinatorics. The ninfty repository moreover contains a folder with data files for many common finite groups. This is in addition to Sage code which can be used to generate input data for further finite groups, and Sage code for generating input data for abstract lattices which may not arise at the subgroup lattice of a group. △ Less

Submitted 1 April, 2025; originally announced April 2025.

Comments: 18 pages, comments welcome!

Torsion models for tensor-triangulated categories

Authors: Scott Balchin, J. P. C. Greenlees, Luca Pol, Jordan Williamson

Abstract: Given a rigidly-compactly generated tensor-triangulated category whose Balmer spectrum is finite dimensional and Noetherian, we construct a torsion model for it, which is equivalent to the original tensor-triangulated category. The torsion model is determined in an adelic fashion by objects with singleton supports. This categorifies the Cousin complex from algebra, and the process of reconstructin… ▽ More Given a rigidly-compactly generated tensor-triangulated category whose Balmer spectrum is finite dimensional and Noetherian, we construct a torsion model for it, which is equivalent to the original tensor-triangulated category. The torsion model is determined in an adelic fashion by objects with singleton supports. This categorifies the Cousin complex from algebra, and the process of reconstructing a spectrum from its monochromatic layers in chromatic stable homotopy theory. This model is inspired by work of the second author in rational equivariant stable homotopy theory, and extends previous work of the authors from the one-dimensional setting. △ Less

Submitted 9 January, 2025; originally announced January 2025.

Comments: 48pp

Report number: HIM-Spectral-2022 MSC Class: 55P60; 18G80; 18F99; 55P91

Classifying smashing ideals in derived categories of valuation domains

Authors: Scott Balchin, Florian Tecklenburg

Abstract: Building on results of Bazzoni-Šťovíček, we give a complete classification of the frame of smashing ideals for the derived category of a finite dimensional valuation domain. In particular, we give an explicit construction of an infinite family of commutative rings such that the telescope conjecture fails and which generalise an example of Keller. As a consequence, we deduce that the Krull dimensio… ▽ More Building on results of Bazzoni-Šťovíček, we give a complete classification of the frame of smashing ideals for the derived category of a finite dimensional valuation domain. In particular, we give an explicit construction of an infinite family of commutative rings such that the telescope conjecture fails and which generalise an example of Keller. As a consequence, we deduce that the Krull dimension of the Balmer spectrum and the Krull dimension of the smashing spectrum can differ arbitrarily for rigidly-compactly generated tensor-triangulated categories. △ Less

Submitted 16 July, 2024; originally announced July 2024.

Comments: 25 pages, comments welcome!

Profinite equivariant spectra and their tensor-triangular geometry

Authors: Scott Balchin, David Barnes, Tobias Barthel

Abstract: We study the tensor-triangular geometry of the category of equivariant $G$-spectra for $G$ a profinite group, $\mathsf{Sp}_G$. Our starting point is the construction of a ``continuous'' model for this category, which we show agrees with all other models in the literature. We describe the Balmer spectrum of finite $G$-spectra up to the ambiguity that is present in the finite group case; in particul… ▽ More We study the tensor-triangular geometry of the category of equivariant $G$-spectra for $G$ a profinite group, $\mathsf{Sp}_G$. Our starting point is the construction of a ``continuous'' model for this category, which we show agrees with all other models in the literature. We describe the Balmer spectrum of finite $G$-spectra up to the ambiguity that is present in the finite group case; in particular, we obtain a thick subcategory theorem when $G$ is abelian. By verifying the bijectivity hypothesis for $\mathsf{Sp}_G$, we prove a nilpotence theorem for all profinite groups. Our study then moves to the realm of rational $G$-equivariant spectra. By exploiting the continuity of our model, we construct an equivalence between the category of rational $G$-spectra and the algebraic model of the second author and Sugrue, which improves their result to the symmetric monoidal and $\infty$-categorical level. Furthermore, we prove that the telescope conjecture holds in this category. Finally, we characterize when the category of rational $G$-spectra is stratified, resulting in a classification of the localizing ideals in terms of conjugacy classes of subgroups. To facilitate these results, we develop some foundational aspects of pro-tt-geometry. For instance, we establish and use the continuity of the homological spectrum and introduce a notion of von Neumann regular tt-categories, of which rational $G$-spectra is an example. △ Less

Submitted 3 January, 2024; originally announced January 2024.

Comments: 88 pages, all comments welcome!

Report number: MPIM-Bonn-2024; HIM-Spectral-2022

Prismatic decompositions and rational $G$-spectra

Authors: Scott Balchin, Tobias Barthel, J. P. C. Greenlees

Abstract: We study the tensor-triangular geometry of the category of rational $G$-spectra for a compact Lie group $G$. In particular, we prove that this category can be naturally decomposed into local factors supported on individual subgroups, each of which admits an algebraic model. This is an important step and strong evidence towards the third author's conjecture that the category of rational $G$-spectra… ▽ More We study the tensor-triangular geometry of the category of rational $G$-spectra for a compact Lie group $G$. In particular, we prove that this category can be naturally decomposed into local factors supported on individual subgroups, each of which admits an algebraic model. This is an important step and strong evidence towards the third author's conjecture that the category of rational $G$-spectra admits an algebraic model for all compact Lie groups. To facilitate these results, we relate topological properties of the associated Balmer spectrum to structural features of the group $G$ and the category of rational $G$-spectra. A key ingredient is our presentation of the spectrum as a Priestley space, separating the Hausdorff topology on conjugacy classes of closed subgroups of $G$ from the cotoral ordering. We use this to prove that the telescope conjecture holds in general for rational $G$-spectra, and we determine exactly when the Balmer spectrum is Noetherian. In order to construct the desired decomposition of the category, we develop a general theory of `prismatic decompositions' of rigidly-compactly generated tensor-triangulated categories, which in favourable cases gives a series of recollements for reconstructing the category from local factors over individual points of the spectrum. △ Less

Submitted 30 November, 2023; originally announced November 2023.

Comments: 61 pages; all comments welcome!

Report number: MPIM-Bonn-2023; HIM-Spectral-2022

Tensor-triangular rigidity in chromatic homotopy theory

Authors: Scott Balchin, Constanze Roitzheim, Jordan Williamson

Abstract: We study the uniqueness of enhancements of tensor-triangulated categories. To do so, we provide conditions under which these enhancements interact well with categorical decompositions. As an application we obtain new results about the uniqueness of enhancements in chromatic homotopy theory. We study the uniqueness of enhancements of tensor-triangulated categories. To do so, we provide conditions under which these enhancements interact well with categorical decompositions. As an application we obtain new results about the uniqueness of enhancements in chromatic homotopy theory. △ Less

Submitted 29 August, 2024; v1 submitted 23 February, 2023; originally announced February 2023.

Comments: v2: 16pp, to appear in Israel Journal of Mathematics

Report number: HIM-Spectral-2022 MSC Class: 55P42; 55P60; 18G80

The combinatorics of $N_\infty$ operads for $C_{qp^n}$ and $D_{p^n}$

Authors: Scott Balchin, Ethan MacBrough, Kyle Ormsby

Abstract: We provide a general recursive method for constructing transfer systems on finite lattices. Using this we calculate the number of homotopically distinct $N_\infty$ operads for dihedral groups $D_{p^n}$, $p > 2$ prime, and cyclic groups $C_{qp^n}$, $p \neq q$ prime. We then further display some of the beautiful combinatorics obtained by restricting to certain homotopically meaningful $N_\infty$ ope… ▽ More We provide a general recursive method for constructing transfer systems on finite lattices. Using this we calculate the number of homotopically distinct $N_\infty$ operads for dihedral groups $D_{p^n}$, $p > 2$ prime, and cyclic groups $C_{qp^n}$, $p \neq q$ prime. We then further display some of the beautiful combinatorics obtained by restricting to certain homotopically meaningful $N_\infty$ operads for these groups. △ Less

Submitted 13 June, 2024; v1 submitted 14 September, 2022; originally announced September 2022.

Comments: v2: pre-proofs version accepted in Glasgow Mathematical Journal, 21 pages, 2 figures. v1: 20 pages, 2 figures; comments welcome!

Lifting $N_\infty$ operads from conjugacy data

Authors: Scott Balchin, Ethan MacBrough, Kyle Ormsby

Abstract: We isolate a class of groups -- called lossless groups -- for which homotopy classes of $G$-$N_\infty$ operads are in bijection with certain restricted transfer systems on the poset of conjugacy classes $\operatorname{Sub}(G)/G$. We isolate a class of groups -- called lossless groups -- for which homotopy classes of $G$-$N_\infty$ operads are in bijection with certain restricted transfer systems on the poset of conjugacy classes $\operatorname{Sub}(G)/G$. △ Less

Submitted 12 March, 2023; v1 submitted 14 September, 2022; originally announced September 2022.

Comments: v2: updates in response to referee report, accepted version in Tunisian Journal of Mathematics; 24 pages, 16 figures. v1: 22 pages, 13 figures; comments welcome!

Journal ref: Tunisian J. Math. 5 (2023) 479-504

Composition closed premodel structures and the Kreweras lattice

Authors: Scott Balchin, Ethan MacBrough, Kyle Ormsby

Abstract: We investigate the rich combinatorial structure of premodel structures on finite lattices whose weak equivalences are closed under composition. We prove that there is a natural refinement of the inclusion order of weak factorization systems so that the intervals detect these composition closed premodel structures. In the case that the lattice in question is a finite total order, this natural order… ▽ More We investigate the rich combinatorial structure of premodel structures on finite lattices whose weak equivalences are closed under composition. We prove that there is a natural refinement of the inclusion order of weak factorization systems so that the intervals detect these composition closed premodel structures. In the case that the lattice in question is a finite total order, this natural order retrieves the Kreweras lattice of noncrossing partitions as a refinement of the Tamari lattice, and model structures can be identified with certain tricolored trees. △ Less

Submitted 6 November, 2023; v1 submitted 7 September, 2022; originally announced September 2022.

Comments: v2: 27 pages; final section restructured to emphasize role of tri-colored trees; pre-proofs version accepted to Euro. J. Comb. v1: 28 pages, 8 figures; comments welcome!

MSC Class: 18N40; 06Bxx

Big categories, big spectra

Authors: Scott Balchin, Greg Stevenson

Abstract: We introduce a new topological invariant of a rigidly-compactly generated tensor-triangulated category and two new notions of support. The first is based on smashing subcategories: it is unknown whether the frame of smashing subcategories is spatial in general, but supposing it is as in the examples we understand, we show it is equipped with a morphism to the Balmer spectrum which detects the fail… ▽ More We introduce a new topological invariant of a rigidly-compactly generated tensor-triangulated category and two new notions of support. The first is based on smashing subcategories: it is unknown whether the frame of smashing subcategories is spatial in general, but supposing it is as in the examples we understand, we show it is equipped with a morphism to the Balmer spectrum which detects the failure of the telescope conjecture and we develop the corresponding support theory. The new invariant, the big spectrum, results from taking the entire collection of localizing ideals seriously and considering prime localizing ideals. Although there are, in principle, a proper class of localizing ideals, we are able to prove the existence of at least one big prime lying over every Balmer prime. We conclude with a pair of examples illustrating our constructions. △ Less

Submitted 31 August, 2023; v1 submitted 24 September, 2021; originally announced September 2021.

Comments: Updated to address a serious error in the argument that the frame of smashing ideals was spatial in the previous version. Added an appendix explaining why this argument, as given, cannot work. The status of spatiality is that it is again an open problem

MSC Class: 18F99

Model structures on finite total orders

Authors: Scott Balchin, Kyle Ormsby, Angélica M. Osorno, Constanze Roitzheim

Abstract: We initiate the study of model structures on (categories induced by) lattice posets, a subject we dub homotopical combinatorics. In the case of a finite total order $[n]$, we enumerate all model structures, exhibiting a rich combinatorial structure encoded by Shapiro's Catalan triangle. This is an application of previous work of the authors on the theory of $N_\infty$-operads for cyclic groups of… ▽ More We initiate the study of model structures on (categories induced by) lattice posets, a subject we dub homotopical combinatorics. In the case of a finite total order $[n]$, we enumerate all model structures, exhibiting a rich combinatorial structure encoded by Shapiro's Catalan triangle. This is an application of previous work of the authors on the theory of $N_\infty$-operads for cyclic groups of prime power order, along with new structural insights concerning extending choices of certain model structures on subcategories of $[n]$. △ Less

Submitted 19 April, 2023; v1 submitted 16 September, 2021; originally announced September 2021.

Comments: v2: pre-proofs version accepted to Mathematische Zeitschrift. 28 pages. v1: 30 pages

Separated and complete adelic models for one-dimensional Noetherian tensor-triangulated categories

Authors: Scott Balchin, J. P. C. Greenlees

Abstract: We prove the existence of various adelic-style models for rigidly small-generated tensor-triangulated categories whose Balmer spectrum is a one-dimensional Noetherian topological space. This special case of our general programme of giving adelic models is particularly concrete and accessible, and we illustrate it with examples from algebra, geometry, topology and representation theory. This vers… ▽ More We prove the existence of various adelic-style models for rigidly small-generated tensor-triangulated categories whose Balmer spectrum is a one-dimensional Noetherian topological space. This special case of our general programme of giving adelic models is particularly concrete and accessible, and we illustrate it with examples from algebra, geometry, topology and representation theory. This version: minor improvements, additional references and examples. △ Less

Submitted 16 March, 2022; v1 submitted 16 June, 2021; originally announced June 2021.

MSC Class: 55P60; 18G55; 13D

Torsion models for tensor-triangulated categories: the one-step case

Authors: Scott Balchin, J. P. C. Greenlees, Luca Pol, Jordan Williamson

Abstract: Given a suitable stable monoidal model category $\mathscr{C}$ and a specialization closed subset $V$ of its Balmer spectrum one can produce a Tate square for decomposing objects into the part supported over $V$ and the part supported over $V^c$ spliced with the Tate object. Using this one can show that $\mathscr{C}$ is Quillen equivalent to a model built from the data of local torsion objects, and… ▽ More Given a suitable stable monoidal model category $\mathscr{C}$ and a specialization closed subset $V$ of its Balmer spectrum one can produce a Tate square for decomposing objects into the part supported over $V$ and the part supported over $V^c$ spliced with the Tate object. Using this one can show that $\mathscr{C}$ is Quillen equivalent to a model built from the data of local torsion objects, and the splicing data lies in a rather rich category. As an application, we promote the torsion model for the homotopy category of rational circle-equivariant spectra from [18] to a Quillen equivalence. In addition, a close analysis of the one step case highlights important features needed for general torsion models which we will return to in future work. △ Less

Submitted 15 December, 2022; v1 submitted 20 November, 2020; originally announced November 2020.

Comments: v3: 35 pages, version accepted to Algebr. Geom. Topol

MSC Class: 55P60; 18G55; 13D; 55P91

Journal ref: Algebr. Geom. Topol. 22 (2022) 2805-2856

Equivariant homotopy commutativity for $G=C_{pqr}$

Authors: Scott Balchin, Daniel Bearup, Clelia Pech, Constanze Roitzheim

Abstract: We investigate the combinatorial data arising from the classification of equivariant homotopy commutativity for cyclic groups of order $G=C_{p_1 \cdots p_n}$ for $p_i$ distinct primes. In particular, we will prove a structural result which allows us to enumerate the number of $N_\infty$-operads for $C_{pqr}$, verifying a computational result. We investigate the combinatorial data arising from the classification of equivariant homotopy commutativity for cyclic groups of order $G=C_{p_1 \cdots p_n}$ for $p_i$ distinct primes. In particular, we will prove a structural result which allows us to enumerate the number of $N_\infty$-operads for $C_{pqr}$, verifying a computational result. △ Less

Submitted 16 January, 2020; originally announced January 2020.

Comments: 11 pages

On the number of rational points of classifying stacks for Chevalley group schemes

Authors: Scott Balchin, Frank Neumann

Abstract: We compute the number of rational points of classifying stacks of Chevalley group schemes using the Lefschetz-Grothendieck trace formula of Behrend for $\ell$-adic cohomology of algebraic stacks. From this we also derive associated zeta functions for these classifying stacks. We compute the number of rational points of classifying stacks of Chevalley group schemes using the Lefschetz-Grothendieck trace formula of Behrend for $\ell$-adic cohomology of algebraic stacks. From this we also derive associated zeta functions for these classifying stacks. △ Less

Submitted 20 June, 2020; v1 submitted 9 October, 2019; originally announced October 2019.

Comments: 15 pages, comments welcome

$N_\infty$-operads and associahedra

Authors: Scott Balchin, David Barnes, Constanze Roitzheim

Abstract: We provide a new combinatorial approach to studying the collection of N-infinity-operads in G-equivariant homotopy theory for G a finite cyclic group. In particular, we show that for G the cyclic group of order p^n the natural order on the collection of N-infinity-operads stands in bijection with the poset structure of the (n+1)-associahedron. We further provide a lower bound for the number of pos… ▽ More We provide a new combinatorial approach to studying the collection of N-infinity-operads in G-equivariant homotopy theory for G a finite cyclic group. In particular, we show that for G the cyclic group of order p^n the natural order on the collection of N-infinity-operads stands in bijection with the poset structure of the (n+1)-associahedron. We further provide a lower bound for the number of possible N-infinity-operads for any finite cyclic group G. △ Less

Submitted 12 July, 2021; v1 submitted 9 May, 2019; originally announced May 2019.

Comments: 16 pages, accepted to Pacific Journal of Mathematics

MSC Class: 55P91 (primary); 18D50; 55N91; 06A07; 52B20 (secondary)

Journal ref: Pacific J. Math. 315 (2021) 285-304

Adelic models of tensor-triangulated categories

Authors: J. P. C. Greenlees, Scott Balchin

Abstract: We show that a well behaved Noetherian, finite dimensional, stable, monoidal model category is equivalent to a model built from categories of modules over completed rings in an adelic fashion. For abelian groups this is based on the Hasse square, for chromatic homotopy theory this is based on the chromatic fracture square, and for rational torus-equivariant homotopy theory this is the model of G… ▽ More We show that a well behaved Noetherian, finite dimensional, stable, monoidal model category is equivalent to a model built from categories of modules over completed rings in an adelic fashion. For abelian groups this is based on the Hasse square, for chromatic homotopy theory this is based on the chromatic fracture square, and for rational torus-equivariant homotopy theory this is the model of Greenlees-Shipley arXiv:1101.2511. △ Less

Submitted 27 July, 2020; v1 submitted 6 March, 2019; originally announced March 2019.

Comments: Hypotheses weakened and simplified. Polished. To appear in Advances in Mathematics

MSC Class: 55P60; 18G55; 13D

Bousfield localisation and colocalisation of one-dimensional model structures

Authors: Scott Balchin, Richard Garner

Abstract: We give an account of Bousfield localisation and colocalisation for one-dimensional model categories---ones enriched over the model category of $0$-types. A distinguishing feature of our treatment is that it builds localisations and colocalisations using only the constructions of projective and injective transfer of model structures along right and left adjoint functors, and without any reference… ▽ More We give an account of Bousfield localisation and colocalisation for one-dimensional model categories---ones enriched over the model category of $0$-types. A distinguishing feature of our treatment is that it builds localisations and colocalisations using only the constructions of projective and injective transfer of model structures along right and left adjoint functors, and without any reference to Smith's theorem. △ Less

Submitted 2 June, 2020; v1 submitted 8 January, 2018; originally announced January 2018.

Comments: 22 pages; v2: final journal version

MSC Class: 55U35; 18A40

Journal ref: Applied Categorical Structures 27 (2019), p.1--21

Augmented Homotopical Algebraic Geometry

Authors: Scott Balchin

Abstract: We develop the framework for augmented homotopical algebraic geometry. This is an extension of homotopical algebraic geometry, which itself is a homotopification of classical algebraic geometry. To do so, we define the notion of augmentation categories, which are a special class of generalised Reedy categories. For an augmentation category, we prove the existence of a closed Quillen model structur… ▽ More We develop the framework for augmented homotopical algebraic geometry. This is an extension of homotopical algebraic geometry, which itself is a homotopification of classical algebraic geometry. To do so, we define the notion of augmentation categories, which are a special class of generalised Reedy categories. For an augmentation category, we prove the existence of a closed Quillen model structure on the presheaf category which is compatible with the Kan-Quillen model structure on simplicial sets. Moreover, we use the concept of augmented hypercovers to define a local model structure on the category of augmented presheaves. We prove that crossed simplicial groups, and the planar rooted tree category are examples of augmentation categories. Finally, we introduce a method for generating new examples from old via a categorical pushout construction. △ Less

Submitted 7 November, 2017; originally announced November 2017.

Comments: 36 pages, comments welcome

MSC Class: 55U35; 14D23

A Computational Method for Large Scale Searching of Counterexamples to the Strong Coincidence Conjecture

Authors: Scott Balchin

Abstract: In this short note we report on results on a computational search for a counterexample to the strong coincidence conjecture. In particular, we discuss the method used so that further searches can be conducted. In this short note we report on results on a computational search for a counterexample to the strong coincidence conjecture. In particular, we discuss the method used so that further searches can be conducted. △ Less

Submitted 16 June, 2017; originally announced June 2017.

Comments: 3 pages, no figures

Computations for symbolic substitutions

Authors: Dan Rust, Scott Balchin

Abstract: We provide a survey of results from symbolic dynamics and algebraic topology relating to Grout, a new user-friendly program developed to calculate combinatorial properties and topological invariants of a large class of symbolic substitutions. We study their subshifts (and related spaces) with an emphasis on examples of computations. We implement a check to verify that no counterexample exists to t… ▽ More We provide a survey of results from symbolic dynamics and algebraic topology relating to Grout, a new user-friendly program developed to calculate combinatorial properties and topological invariants of a large class of symbolic substitutions. We study their subshifts (and related spaces) with an emphasis on examples of computations. We implement a check to verify that no counterexample exists to the so-called "strong coincidence conjecture" for a large number of substitutions on three and four letters. △ Less

Submitted 30 May, 2017; originally announced May 2017.

Comments: arXiv admin note: text overlap with arXiv:1512.00398

MSC Class: 37B10; 52C23; 54H20; 55N05; 68R15

Journal ref: Journal of Integer Sequences, Vol. 20 (2017), Article 17.4.1

Homotopy of Planar Lie Group Equivariant Presheaves

Authors: Scott Balchin

Abstract: We utilise the theory of crossed simplicial groups to introduce a collection of local Quillen model structures on the category of simplicial presheaves with a compact planar Lie group action on a small Grothendieck site. As an application, we give a characterisation of equivariant cohomology theories on a site as derived mapping spaces in these model categories. We utilise the theory of crossed simplicial groups to introduce a collection of local Quillen model structures on the category of simplicial presheaves with a compact planar Lie group action on a small Grothendieck site. As an application, we give a characterisation of equivariant cohomology theories on a site as derived mapping spaces in these model categories. △ Less

Submitted 16 June, 2017; v1 submitted 25 August, 2016; originally announced August 2016.

Comments: 17 pages

Crossed Simplicial Group Categorical Nerves

Authors: Scott Balchin

Abstract: We extend the notion of the nerve of a category for a small class of crossed simplicial groups, explicitly describing them using generators and relations. We do this by first considering a generalised bar construction of a group before looking at twisted versions of some of these nerves. As an application we show how we can use the twisted nerves to give equivariant versions of certain derived sta… ▽ More We extend the notion of the nerve of a category for a small class of crossed simplicial groups, explicitly describing them using generators and relations. We do this by first considering a generalised bar construction of a group before looking at twisted versions of some of these nerves. As an application we show how we can use the twisted nerves to give equivariant versions of certain derived stacks. △ Less

Submitted 19 May, 2017; v1 submitted 29 March, 2016; originally announced March 2016.

Comments: 11 pages

Grout: A 1-Dimensional Substitution Tiling Space Program

Authors: Scott Balchin, Dan Rust

Abstract: We introduce a GUI fronted program that can compute combinatorial properties and topological invariants of recognisable and primitive symbolic substitutions on finite alphabets and their associated tiling spaces. We introduce theory from the study of aperiodic 1-dimensional tilings along with pseudocode highlighting the algorithms that we have implemented into the GUI. Grout is written using C++ a… ▽ More We introduce a GUI fronted program that can compute combinatorial properties and topological invariants of recognisable and primitive symbolic substitutions on finite alphabets and their associated tiling spaces. We introduce theory from the study of aperiodic 1-dimensional tilings along with pseudocode highlighting the algorithms that we have implemented into the GUI. Grout is written using C++ and its standard library. △ Less

Submitted 1 December, 2015; originally announced December 2015.

MSC Class: 37B10; 55N05; 54H20; 37B50; 52C23

Comparing Metrics on Arbitrary Spaces using Topological Data Analysis

Authors: Scott Balchin, Etienne Pillin

Abstract: We use the notion of topological data analysis to compare metrics on data sets. We provide two different motivating examples for this. The first of these is a point cloud data set that has $\mathbb{R}^2$ as its ambient space, and is therefore very visual. the second deals with a very abstract space which arises through the study of non-transitive dice. We use the notion of topological data analysis to compare metrics on data sets. We provide two different motivating examples for this. The first of these is a point cloud data set that has $\mathbb{R}^2$ as its ambient space, and is therefore very visual. the second deals with a very abstract space which arises through the study of non-transitive dice. △ Less

Submitted 16 March, 2015; originally announced March 2015.

Comments: 17 pages, 2 tables, 6 figures

Factorisation and Cohomology of Higher Categories

Authors: Scott Balchin

Abstract: We construct an iterative method for factorising small strict n-categories into a unique (up to isomorphism) collection of small 1- categories. Following this we develop the theory to include a large class of $\infty$-categories. We use this factorisation to define cohomology theory for higher categories. Finally, we discuss some concrete examples of factorisations of low dimensional categories. We construct an iterative method for factorising small strict n-categories into a unique (up to isomorphism) collection of small 1- categories. Following this we develop the theory to include a large class of $\infty$-categories. We use this factorisation to define cohomology theory for higher categories. Finally, we discuss some concrete examples of factorisations of low dimensional categories. △ Less

Submitted 10 June, 2014; originally announced June 2014.

Comments: 14 pages, 3 figures