-
Exploring the Design Space of Optical See-through AR Head-Mounted Displays to Support First Responders in the Field
Abstract: First responders (FRs) navigate hazardous, unfamiliar environments in the field (e.g., mass-casualty incidents), making life-changing decisions in a split second. AR head-mounted displays (HMDs) have shown promise in supporting them due to its capability of recognizing and augmenting the challenging environments in a hands-free manner. However, the design space have not been thoroughly explored by… ▽ More
Submitted 7 March, 2024; originally announced March 2024.
Journal ref: CHI 2024
-
arXiv:2306.03817 [pdf, ps, other]
Periodic-point structures on parametrized spectra: An application of rigidity
Abstract: The bicategory of parameterized spectra has a remarkably rich structure. In particular, it is possible to take traces in this bicategory, which give classical invariants that count fixed points. We can also take equivariant traces, which give significant generalizations of the classical invariants that count periodic points. Unfortunately, the existence of these traces in general depends on tech… ▽ More
Submitted 6 June, 2023; originally announced June 2023.
Comments: 39 pages
MSC Class: 18D30; 18M05; 18N10; 55P42; 55R70
-
arXiv:2203.04351 [pdf, ps, other]
Riemann-Roch theorems in monoidal 2-categories
Abstract: Smooth and proper dg-algebras have an Euler class valued in the Hochschild homology of the algebra. This Euler class is worthy of this name since it satisfies many familiar properties including compatibility with the familiar pairing on the Hochschild homology of the algebra and that of its opposite. This compatibility is the Riemann-Roch theorems of Shklyarov and Petit. In this paper we prove a… ▽ More
Submitted 8 January, 2023; v1 submitted 8 March, 2022; originally announced March 2022.
Comments: 38 pages, added references to arXiv:1210.1174
MSC Class: 19L10; 18N10; 16E40
-
arXiv:2109.01249 [pdf, ps, other]
Coherence for bicategories, lax functors, and shadows
Abstract: Coherence theorems are fundamental to how we think about monoidal categories and their generalizations. In this paper we revisit Mac Lane's original proof of coherence for monoidal categories using the Grothendieck construction. This perspective makes the approach of Mac Lane's proof very amenable to generalization. We use the technique to give efficient proofs of many standard coherence theorems… ▽ More
Submitted 2 September, 2021; originally announced September 2021.
Comments: 35 pages
MSC Class: 18M05; 18N10
-
arXiv:2007.13702 [pdf, ps, other]
Obstructions in a model category and Klein and Williams' intersection invariants
Abstract: We give an obstruction for lifts and extensions in a model category inspired by Klein and Williams' work on intersection theory. In contrast to the familiar obstructions from algebraic topology, this approach produces a single invariant that is complete in the presences of the appropriate generalizations of dimension and connectivity assumptions.
Submitted 14 March, 2022; v1 submitted 27 July, 2020; originally announced July 2020.
Comments: 13 pages. Significant revision following referee suggestions
MSC Class: 55S35; 18N40; 55U35; 55Q05
-
arXiv:2006.04006 [pdf, ps, other]
Spectral Waldhausen categories, the $S_\bullet$-construction, and the Dennis trace
Abstract: We give an explicit point-set construction of the Dennis trace map from the $K$-theory of endomorphisms $K\mathrm{End}(\mathcal{C})$ to topological Hochschild homology $\mathrm{THH}(\mathcal{C})$ for any spectral Waldhausen category $\mathcal{C}$. We describe the necessary technical foundations, most notably a well-behaved model for the spectral category of diagrams in $\mathcal{C}$ indexed by an… ▽ More
Submitted 6 June, 2020; originally announced June 2020.
Comments: This paper is a companion to arxiv:2005.04334
MSC Class: 55N15; 55P42; 18D20; 16E40
-
arXiv:2005.04334 [pdf, ps, other]
$K$-theory of endomorphisms, the $\mathit{TR}$-trace, and zeta functions
Abstract: We show that the characteristic polynomial and the Lefschetz zeta function are manifestations of the trace map from the $K$-theory of endomorphisms to topological restriction homology (TR). Along the way we generalize Lindenstrauss and McCarthy's map from $K$-theory of endomorphisms to topological restriction homology, defining it for any Waldhausen category with a compatible enrichment in orthogo… ▽ More
Submitted 8 June, 2020; v1 submitted 8 May, 2020; originally announced May 2020.
Comments: Minor revisions to make references consistent with arXiv:2006.04006. arXiv:2006.04006 is a companion to this paper and provides extended discussion of technical foundations
MSC Class: 55N15; 18D05; 55P42
-
arXiv:1908.07497 [pdf, ps, other]
Iterated traces in 2-categories and Lefschetz theorems
Abstract: While not obvious from its initial motivation in linear algebra, there are many context where iterated traces can be defined. In this paper we prove a very general theorem about iterated 2-categorical traces. We show that many Lefschetz-type theorems in the literature are consequences of this result and the new perspective we provide allows for immediate spectral generalizations.
Submitted 19 November, 2019; v1 submitted 20 August, 2019; originally announced August 2019.
Comments: Significant revisions
Journal ref: Algebr. Geom. Topol. 22 (2022) 815-879
-
Coherence for indexed symmetric monoidal categories
Abstract: Indexed symmetric monoidal categories are an important refinement of bicategories -- this structure underlies several familiar bicategories, including the homotopy bicategory of parametrized spectra, and its equivariant and fiberwise generalizations. In this paper, we extend existing coherence theorems to the setting of indexed symmetric monoidal categories. The most central theorem states that… ▽ More
Submitted 19 June, 2023; v1 submitted 30 November, 2018; originally announced November 2018.
Comments: If looking for the results of this paper in context of parameterized spectra please see arXiv:2306.03817 instead
MSC Class: 18D05; 18D10; 18D30
-
arXiv:1811.12871 [pdf, ps, other]
Periodic points and topological restriction homology
Abstract: We answer in the affirmative two conjectures made by Klein and Williams. First, in a range of dimensions, the equivariant Reidemeister trace defines a complete obstruction to removing $n$-periodic points from a self-map $f$. Second, this obstruction defines a class in topological restriction homology. We prove these results using duality and trace for bicategories. This allows for immediate gene… ▽ More
Submitted 3 September, 2021; v1 submitted 30 November, 2018; originally announced November 2018.
Comments: Accepted version. 39 pages, 9 figures
MSC Class: 55M20; 55P42; 18D05; 55R70; 18D30; 55P91
Journal ref: International Mathematics Research Notices, 2020
-
arXiv:1803.01284 [pdf, ps, other]
Topological Hochschild Homology and Higher Characteristics
Abstract: We show that an important classical fixed point invariant, the Reidemeister trace, arises as a topological Hochschild homology transfer. This generalizes a corresponding classical result for the Euler characteristic and is a first step in showing the Reidemeister trace is in the image of the cyclotomic trace. The main result follows from developing the relationship between shadows, topological Hoc… ▽ More
Submitted 12 August, 2018; v1 submitted 3 March, 2018; originally announced March 2018.
Comments: Revisions to strengthen one the main technical results and simplify its proof
MSC Class: 16D90; 18D05; 19D55; 55M20; 55R12
Journal ref: Algebr. Geom. Topol. 19 (2019) 965-1017
-
arXiv:1612.07791 [pdf, ps, other]
Infinite loop spaces from operads with homological stability
Abstract: Motivated by the operad built from moduli spaces of Riemann surfaces, we consider a general class of operads in the category of spaces that satisfy certain homological stability conditions. We prove that such operads are infinite loop space operads in the sense that the group completions of their algebras are infinite loop spaces. The recent, strong homological stability results of Galatius and… ▽ More
Submitted 14 September, 2017; v1 submitted 22 December, 2016; originally announced December 2016.
Comments: This paper represents part of the authors' Women in Topology project
MSC Class: 18D50; 55P47; 55P48; 57N65
-
arXiv:1611.00715 [pdf, ps, other]
Inverting operations in operads
Abstract: We construct a localization for operads with respect to one-ary operations based on the Dwyer-Kan hammock localization. For an operad O and a sub-monoid of one-ary operations W we associate an operad LO and a canonical map O to LO which takes elements in W to homotopy invertible operations. Furthermore, we give a functor from the category of O-algebras to the category of LO-algebras satisfying an… ▽ More
Submitted 15 September, 2017; v1 submitted 2 November, 2016; originally announced November 2016.
Comments: This paper represents part of the authors' Women in Topology project
MSC Class: 18C15; 18D50; 55P48
-
arXiv:1406.7861 [pdf, ps, other]
The linearity of fixed point invariants
Abstract: We prove two general decomposition theorems for fixed-point invariants: one for the Lefschetz number and one for the Reidemeister trace. These theorems imply the familiar additivity results for these invariants. Moreover, the proofs of these theorems are essentially formal, taking place in the abstract context of bicategorical traces. This makes it straightforward to generalize the theory to analo… ▽ More
Submitted 26 September, 2017; v1 submitted 30 June, 2014; originally announced June 2014.
Comments: v2: Expanded introduction; final version
MSC Class: 55M20; 18D05
-
arXiv:1406.7854 [pdf, ps, other]
The linearity of traces in monoidal categories and bicategories
Abstract: We show that in any symmetric monoidal category, if a weight for colimits is absolute, then the resulting colimit of any diagram of dualizable objects is again dualizable. Moreover, in this case, if an endomorphism of the colimit is induced by an endomorphism of the diagram, then its trace can be calculated as a linear combination of traces on the objects in the diagram. The formal nature of this… ▽ More
Submitted 30 June, 2014; originally announced June 2014.
MSC Class: 18D05; 18D10
-
arXiv:1311.4605 [pdf, ps, other]
A model structure on GCat
Abstract: We define a model structure on the category GCat of small categories with an action by a finite group G by lifting the Thomason model structure on Cat. We show there is a Quillen equivalence between GCat with this model structure and GTop with the standard model structure.
Submitted 2 June, 2014; v1 submitted 18 November, 2013; originally announced November 2013.
Comments: 12 pages. Final version. Will appear in Proceedings for WIT (Women in Topology Workshop)
MSC Class: 55P91 (Primary); 18G55 (Secondary)
Journal ref: Women in topology: collaborations in homotopy theory, 123-134, Contemp. Math., 641, Amer. Math. Soc., Providence, RI, 2015
-
arXiv:1306.2072 [pdf, ps, other]
Mayer-Vietoris sequences in stable derivators
Abstract: We show that stable derivators, like stable model categories, admit Mayer-Vietoris sequences arising from cocartesian squares. Along the way we characterize homotopy exact squares, and give a detection result for colimiting diagrams in derivators. As an application, we show that a derivator is stable if and only if its suspension functor is an equivalence.
Submitted 19 December, 2013; v1 submitted 9 June, 2013; originally announced June 2013.
Comments: This paper is a revision of the first sections of arXiv:1212.3277. v2: final version, to appear in HHA. Main proof improved after suggestion by the referee
MSC Class: 18E30; 18D05; 18G55
-
arXiv:1212.3277 [pdf, ps, other]
The additivity of traces in monoidal derivators
Abstract: Motivated by traces of matrices and Euler characteristics of topological spaces, we expect abstract traces in a symmetric monoidal category to be "additive". When the category is "stable" in some sense, additivity along cofiber sequences is a question about the interaction of stability and the monoidal structure. May proved such an additivity theorem when the stable structure is a triangulation,… ▽ More
Submitted 6 March, 2014; v1 submitted 13 December, 2012; originally announced December 2012.
Comments: 56 pages. v2: Major revision. The discussion of monodial and closed structures on derivators is reorganized to develop the structure and verify compatibility with stability simultaneously. The discussion of Mayer-Vietoris sequences in derivators is now arXiv:1306.2072. v3: Final version, to appear in Journal of K-Theory
-
Duality and traces for indexed monoidal categories
Abstract: By the Lefschetz fixed point theorem, if an endomorphism of a topological space is fixed-point-free, then its Lefschetz number vanishes. This necessary condition is not usually sufficient, however; for that we need a refinement of the Lefschetz number called the Reidemeister trace. Abstractly, the Lefschetz number is a trace in a symmetric monoidal category, while the Reidemeister trace is a trace… ▽ More
Submitted 7 November, 2012; originally announced November 2012.
Comments: 78 pages
MSC Class: 18D10; 18D30
Journal ref: Theory and Applications of Categories, Vol. 26, 2012, No. 23, pp 582-659
-
arXiv:1209.3710 [pdf, ps, other]
Coincidence invariants and higher Reidemeister traces
Abstract: The Lefschetz number and fixed point index can be thought of as two different descriptions of the same invariant. The Lefschetz number is algebraic and defined using homology. The index is defined more directly from the topology and is a stable homotopy class. Both the Lefschetz number and index admit generalizations to coincidences and the comparison of these invariants retains its central role.… ▽ More
Submitted 24 April, 2015; v1 submitted 17 September, 2012; originally announced September 2012.
Comments: Minor revision
MSC Class: 55M20; 18D05
-
arXiv:1203.0950 [pdf, ps, other]
The multiplicativity of fixed point invariants
Abstract: We prove two general factorization theorems for fixed-point invariants of fibrations: one for the Lefschetz number and one for the Reidemeister trace. These theorems imply the familiar multiplicativity results for the Lefschetz and Nielsen numbers of a fibration. Moreover, the proofs of these theorems are essentially formal, taking place in the abstract context of bicategorical traces. This makes… ▽ More
Submitted 10 December, 2013; v1 submitted 5 March, 2012; originally announced March 2012.
Comments: 24 pages. v3: final version, to appear in AGT
MSC Class: 55M20; 18D05; 55R05; 55P25
Journal ref: Algebr. Geom. Topol. 14 (2014) 1275-1306
-
arXiv:1107.6032 [pdf, ps, other]
Traces in symmetric monoidal categories
Abstract: The purpose of this expository note is to describe duality and trace in a symmetric monoidal category, along with important properties (including naturality and functoriality), and to give as many examples as possible. Among other things, this note is intended as background for the generalizations to the context of bicategories and indexed monoidal categories.
Submitted 24 October, 2013; v1 submitted 29 July, 2011; originally announced July 2011.
Comments: 25 pages; v2: final version, to appear in Expositiones Mathematicae
MSC Class: 18D10; 55P25
-
arXiv:0910.1306 [pdf, ps, other]
Shadows and traces in bicategories
Abstract: Traces in symmetric monoidal categories are well-known and have many applications; for instance, their functoriality directly implies the Lefschetz fixed point theorem. However, for some applications, such as generalizations of the Lefschetz theorem, one needs "noncommutative" traces, such as the Hattori-Stallings trace for modules over noncommutative rings. In this paper we study a generalization… ▽ More
Submitted 7 November, 2012; v1 submitted 7 October, 2009; originally announced October 2009.
Comments: 46 pages; v2: reorganized and shortened, added proof for cylindrical string diagrams; v3: final version, to appear in JHRS
MSC Class: 18D05 (Primary) 18D10 (Secondary)
-
arXiv:0910.1274 [pdf, ps, other]
Equivariant Fixed Point Theory
Abstract: We reexamine equivariant generalizations of the Lefschetz number and Reidemeister trace using categorical traces. This gives simple, conceptual descriptions of the invariants as well as direct comparisons to previously defined generalizations. These comparisons are illuminating applications of the additivity and multiplicativity of the categorical trace.
Submitted 24 March, 2015; v1 submitted 7 October, 2009; originally announced October 2009.
Comments: Revisions to improve exposition
MSC Class: 55M20
-
arXiv:0906.0762 [pdf, ps, other]
Relative fixed point theory
Abstract: The Lefschetz fixed point theorem and its converse have many generalizations. One of these generalizations is to endomorphisms of a space relative to a fixed subspace. In this paper we define relative Lefschetz numbers and Reidemeister traces using traces in bicategories with shadows. We use the functoriality of this trace to identify different forms of these invariants and to prove a relative L… ▽ More
Submitted 3 June, 2009; originally announced June 2009.
Comments: 34 pages
MSC Class: 55M20
Journal ref: Algebr. Geom. Topol. 11 (2011) 839-886
-
arXiv:0807.1471 [pdf, ps, other]
Fixed point theory and trace for bicategories
Abstract: The Lefschetz fixed point theorem follows easily from the identification of the Lefschetz number with the fixed point index. This identification is a consequence of the functoriality of the trace in symmetric monoidal categories. There are refinements of the Lefschetz number and the fixed point index that give a converse to the Lefschetz fixed point theorem. An important part of this theorem is… ▽ More
Submitted 9 July, 2008; originally announced July 2008.
Comments: 107 pages
MSC Class: 55M20
Journal ref: Astérisque No. 333 (2010), xii+102 pp