arXiv subjects

Thomas M. Fiore

Publications and source records attributed to Thomas M. Fiore.

At least 19 recordsLinked to original sources

arXiv2025

Transformations of Triads and Seventh Chords: Group Extensions and Duality

Transformational music theory, pioneered by David Lewin, uses simply transitive group actions to analyze music. In this paper, we construct a simply transitive group action on a disjoint union of two sets, built from a simply transitive action on each set and an equivariant bijection connecting them. Motivational examples are the omnibus progression and the reflected omnibus progression, which involve the consonant triads and the dominant/half-diminished seventh chords, connected by the inclusion bijection. We provide other examples from Jazz tunes. More generally, we combine multiple simply transitive group actions via a "meta-rotation"; examples include a simply transitive group acting on consonant triads and a variety of seventh chords, as well as a meta-rotation that realizes the root position seventh chord sequence of the flattening transformation (described by Clough-Douthett's J-function). The constructions in our theorems extend Lewin dual pairs to Lewin dual pairs. We formulate the constructions in terms of short exact sequences and central extensions as well. Contextual groups are also elucidated: the interval content of the generating pitch-class segment determines whether or not a generalized contextual group is generated by contextual inversions.

math.GR↗

arXiv2018

Waldhausen Additivity: Classical and Quasicategorical

We use a simplicial product version of Quillen's Theorem A to prove classical Waldhausen Additivity of wS., which says that the "subobject" and "quotient" functors of cofiber sequences induce a weak equivalence wS.E(A,C,B)--> wS.A x wS.B . A consequence is Additivity for the Waldhausen K-theory spectrum of the associated split exact sequence, namely a stable equivalence of spectra K(A)vK(B)--> K(E(A,C,B)). This paper is dedicated to transferring these proofs to the quasicategorical setting and developing Waldhausen quasicategories and their sequences. We also give sufficient conditions for a split exact sequence to be equivalent to a standard one. These conditions are always satisfied by stable quasicategories, so Waldhausen K-theory sends any split exact sequence of pointed stable quasicategories to a split cofiber sequence. Presentability is not needed. In an effort to make the article self-contained, we recall all the necessary results from the theory of quasicategories, and prove a few quasicategorical results that are not in the literature.

math.AT↗

arXiv2018

Approximation in K-theory for Waldhausen Quasicategories

We prove a series of Approximation Theorems in the setting of Waldhausen quasicategories. These theorems, inspired by Waldhausen's 1985 Approximation Theorem, give sufficient conditions for an exact functor of Waldhausen quasicategories to induce a level-wise weak homotopy equivalence of K-theory spectra. The Pre-Approximation Theorem, which holds in the general setting of quasicategories without Waldhausen structures, provides sufficient conditions for a functor F:A->B to restrict to an equivalence of the maximal infinity-groupoids in A and B. Our Approximation Theorems follow from the Pre-Approximation Theorem. The Approximation Theorem in the quasicategorical setting most analogous to Waldhausen's is: if an exact functor F:A -> B satisfies Waldhausen's App 1 and App 2, and the domain A admits colimits of the aforementioned type and F preserves them, then K(F) is a level-wise equivalence. As a corollary, if F is an exact functor with ho(F) an equivalence of ordinary categories, and every morphism in the domain A is a cofibration, then K(F) is a level-wise equivalence. We then introduce a version of App 2 called Cofibration App 2 that only requires factorization of cofibrations Fa >-> b as (equiv) o F(cofibration) and prove an analogous Cofibration Approximation Theorem, and a corollary for certain functors that induce an equivalence of cofibration homotopy categories. We also prove that S_n^infinity is Waldhausen equivalent to \overline{\mathcal{F}_{n-1}^infinity} using the mid anodyne maps known as spine inclusions, and clarify how hypotheses and notions in Waldhausen structures are related in new ways in the context of quasicategories.

math.AT↗

arXiv2017

Hexatonic Systems and Dual Groups in Mathematical Music Theory

Motivated by the music-theoretical work of Richard Cohn and David Clampitt on late-nineteenth century harmony, we mathematically prove that the PL-group of a hexatonic cycle is dual (in the sense of Lewin) to its T/I-stabilizer. Our point of departure is Cohn's notions of maximal smoothness and hexatonic cycle, and the symmetry group of the 12-gon; we do not make use of the duality between the T/I-group and PLR-group. We also discuss how some ideas in the present paper could be used in the proof of T/I-PLR duality by Crans--Fiore--Satyendra.

math.GR↗

arXiv2016

Voicing Transformations and a Linear Representation of Uniform Triadic Transformations

Motivated by analytical methods in mathematical music theory, we determine the structure of the subgroup J of GL(3,Z12) generated by the three voicing reflections. As applications of our Structure Theorem, we determine the structure of the stabilizer H in Sigma3 semi-direct product J of root position triads, and show that H is a representation of Hook's uniform triadic transformations group U. We also determine the centralizer of J in both GL(3,Z12) and the monoid Aff(3,Z12) of affine transformations, and recover a Lewinian duality for trichords containing a generator of Z12}. We present a variety of musical examples, including the Wagner's hexatonic Grail motive and the diatonic falling fifths as cyclic orbits, an elaboration of our earlier work with Satyendra on Schoenberg, String Quartet in D minor, op. 7, and an affine musical map of Joseph Schillinger. Finally, we observe, perhaps unexpectedly, that the retrograde inversion enchaining operation RICH (for arbitrary 3-tuples) belongs to the representation H. This allows a more economical description of a passage in Webern, Concerto for Nine Instruments, op. 24 in terms of a morphism of group actions.

math.GR↗

arXiv2013

Morphisms of Generalized Interval Systems and PR-Groups

We begin the development of a categorical perspective on the theory of generalized interval systems (GIS's). Morphisms of GIS's allow the analyst to move between multiple interval systems and connect transformational networks. We expand the analytical reach of the Sub Dual Group Theorem of Fiore--Noll (2011) and the generalized contextual group of Fiore--Satyendra (2005) by combining them with a theory of GIS morphisms. Concrete examples include an analysis of Schoenberg, String Quartet in D minor, op. 7, and simply transitive covers of the octatonic set. This work also lays the foundation for a transformational study of Lawvere--Tierney upgrades in the topos of triads of Noll (2005).

math.GR↗

arXiv2013

Incorporating Voice Permutations into the Theory of Neo-Riemannian Groups and Lewinian Duality

A familiar problem in neo-Riemannian theory is that the P, L, and R operations defined as contextual inversions on pitch-class segments do not produce parsimonious voice leading. We incorporate permutations into T/I-PLR-duality to resolve this issue and simultaneously broaden the applicability of this duality. More precisely, we construct the dual group to the permutation group acting on n-tuples with distinct entries, and prove that the dual group to permutations adjoined with a group G of invertible affine maps Z12 -> Z12 is the internal direct product of the dual to permutations and the dual to G. Musical examples include Liszt, R. W. Venezia, S. 201 and Schoenberg, String Quartet Number 1, Opus 7. We also prove that the Fiore--Noll construction of the dual group in the finite case works, and clarify the relationship of permutations with the RICH transformation.

math.GR↗

arXiv2011

Double Adjunctions and Free Monads

We characterize double adjunctions in terms of presheaves and universal squares, and then apply these characterizations to free monads and Eilenberg--Moore objects in double categories. We improve upon our earlier result in "Monads in Double Categories", JPAA 215:6, pages 1174-1197, 2011, to conclude: if a double category with cofolding admits the construction of free monads in its horizontal 2-category, then it also admits the construction of free monads as a double category. We also prove that a double category admits Eilenberg--Moore objects if and only if a certain parameterized presheaf is representable. Along the way, we develop parameterized presheaves on double categories and prove a double-categorical Yoneda Lemma.

math.CT↗

arXiv2011

Euler Characteristics of Categories and Homotopy Colimits

In a previous article, we introduced notions of finiteness obstruction, Euler characteristic, and L^2-Euler characteristic for wide classes of categories. In this sequel, we prove the compatibility of those notions with homotopy colimits of I-indexed categories where I is any small category admitting a finite I-CW-model for its I-classifying space. Special cases of our Homotopy Colimit Formula include formulas for products, homotopy pushouts, homotopy orbits, and transport groupoids. We also apply our formulas to Haefliger complexes of groups, which extend Bass--Serre graphs of groups to higher dimensions. In particular, we obtain necessary conditions for developability of a finite complex of groups from an action of a finite group on a finite category without loops.

math.AT↗

arXiv2011

Commuting Groups and the Topos of Triads

The goal of this article is to clarify the relationship between the topos of triads and the neo-Riemannian PLR-group. To do this, we first develop some theory of generalized interval systems: 1) we prove the well known fact that every pair of dual groups is isomorphic to the left and right regular representations of some group (Cayley's Theorem), 2) given a simply transitive group action, we show how to construct the dual group, and 3) given two dual groups, we show how to easily construct sub dual groups. Examples of this construction of sub dual groups include Cohn's hexatonic systems, as well as the octatonic systems. We then enumerate all Z_{12}-subsets which are invariant under the triadic monoid and admit a simply transitive PLR-subgroup action on their maximal triadic covers. As a corollary, we realize all four hexatonic systems and all three octatonic systems as Lawvere--Tierney upgrades of consonant triads.

math.GR↗

arXiv2010

Finiteness obstructions and Euler characteristics of categories

We introduce notions of finiteness obstruction, Euler characteristic, L^2-Euler characteristic, and Möbius inversion for wide classes of categories. The finiteness obstruction of a category Gamma of type (FP) is a class in the projective class group K_0(RGamma); the functorial Euler characteristic and functorial L^2-Euler characteristic are respectively its RGamma-rank and L^2-rank. We also extend the second author's K-theoretic Möbius inversion from finite categories to quasi-finite categories. Our main example is the proper orbit category, for which these invariants are established notions in the geometry and topology of classifying spaces for proper group actions. Baez-Dolan's groupoid cardinality and Leinster's Euler characteristic are special cases of the L^2-Euler characteristic. Some of Leinster's results on Möbius-Rota inversion are special cases of the K-theoretic Möbius inversion.

math.AT↗

arXiv2010

Monads in Double Categories

We extend the basic concepts of Street's formal theory of monads from the setting of 2-categories to that of double categories. In particular, we introduce the double category Mnd(C) of monads in a double category C and define what it means for a double category to admit the construction of free monads. Our main theorem shows that, under some mild conditions, a double category that is a framed bicategory admits the construction of free monads if its horizontal 2-category does. We apply this result to obtain double adjunctions which extend the adjunction between graphs and categories and the adjunction between polynomial endofunctors and polynomial monads.

math.CT↗

arXiv2010

A Thomason Model Structure on the Category of Small n-fold Categories

We construct a cofibrantly generated Quillen model structure on the category of small n-fold categories and prove that it is Quillen equivalent to the standard model structure on the category of simplicial sets. An n-fold functor is a weak equivalence if and only if the diagonal of its n-fold nerve is a weak equivalence of simplicial sets. This is an n-fold analogue to Thomason's Quillen model structure on Cat. We introduce an n-fold Grothendieck construction for multisimplicial sets, and prove that it is a homotopy inverse to the n-fold nerve. As a consequence, we completely prove that the unit and counit of the adjunction between simplicial sets and n-fold categories are natural weak equivalences.

math.AT↗

arXiv2008

What is the Jacobian of a Riemann surface with boundary?

We define the Jacobian of a Riemann surface with analytically parametrized boundary components. These Jacobians belong to a moduli space of ``open abelian varieties'' which satisfies gluing axioms similar to those of Riemann surfaces, and therefore allows a notion of ``conformal field theory'' to be defined on this space. We further prove that chiral conformal field theories corresponding to even lattices factor through this moduli space of open abelian varieties.

math.AG↗

arXiv2008

Musical Actions of Dihedral Groups

The sequence of pitches which form a musical melody can be transposed or inverted. Since the 1970s, music theorists have modeled musical transposition and inversion in terms of an action of the dihedral group of order 24. More recently music theorists have found an intriguing second way that the dihedral group of order 24 acts on the set of major and minor chords. We illustrate both geometrically and algebraically how these two actions are {\it dual}. Both actions and their duality have been used to analyze works of music as diverse as Hindemith and the Beatles.

math.GR↗

arXiv2008

Model Structures on the Category of Small Double Categories

In this paper we obtain several model structures on {\bf DblCat}, the category of small double categories. Our model structures have three sources. We first transfer across a categorification-nerve adjunction. Secondly, we view double categories as internal categories in {\bf Cat} and take as our weak equivalences various internal equivalences defined via Grothendieck topologies. Thirdly, {\bf DblCat} inherits a model structure as a category of algebras over a 2-monad. Some of these model structures coincide and the different points of view give us further results about cofibrant replacements and cofibrant objects. As part of this program we give explicit descriptions and discuss properties of free double categories, quotient double categories, colimits of double categories, several nerves, and horizontal categorification.

math.AT↗

arXiv2008

Laplaza Sets, or How to Select Coherence Diagrams for Pseudo Algebras

We define a general concept of pseudo algebras over theories and 2-theories. A more restrictive such notion was introduced by Hu and Kriz, but as noticed by M. Gould, did not capture the desired examples. The approach taken in this paper corrects the mistake by introducing a more general concept, allowing more flexibility in selecting coherence diagrams for pseudo algebras.

math.CT↗

arXiv2007

Pseudo Algebras and Pseudo Double Categories

As an example of the categorical apparatus of pseudo algebras over 2-theories, we show that pseudo algebras over the 2-theory of categories can be viewed as pseudo double categories with folding or as appropriate 2-functors into bicategories. Foldings are equivalent to connection pairs, and also to thin structures if the vertical and horizontal morphisms coincide. In a sense, the squares of a double category with folding are determined in a functorial way by the 2-cells of the horizontal 2-category. As a special case, strict 2-algebras with one object and everything invertible are crossed modules under a group.

math.CT↗