Showing 1–26 of 26 results for author: Ponto, K

Exploring the Design Space of Optical See-through AR Head-Mounted Displays to Support First Responders in the Field

Authors: Kexin Zhang, Brianna Cochran, Ruijia Chen, Lance Hartung, Bryce Sprecher, Ross Tredinnick, Kevin Ponto, Suman Banerjee, Yuhang Zhao

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 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 involving various FRs who serve different roles (e.g., firefighters, law enforcement) but collaborate closely in the field. We interviewed 26 first responders in the field who experienced a state-of-the-art optical-see-through AR HMD, as well as its interaction techniques and four types of AR cues (i.e., overview cues, directional cues, highlighting cues, and labeling cues), soliciting their first-hand experiences, design ideas, and concerns. Our study revealed both generic and role-specific preferences and needs for AR hardware, interactions, and feedback, as well as identifying desired AR designs tailored to urgent, risky scenarios (e.g., affordance augmentation to facilitate fast and safe action). While acknowledging the value of AR HMDs, concerns were also raised around trust, privacy, and proper integration with other equipment. Finally, we derived comprehensive and actionable design guidelines to inform future AR systems for in-field FRs. △ Less

Submitted 7 March, 2024; originally announced March 2024.

Journal ref: CHI 2024

Periodic-point structures on parametrized spectra: An application of rigidity

Authors: Cary Malkiewich, Kate Ponto

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 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 technical statements about the bicategory that can be difficult to verify directly. In this paper, we demonstrate the effectiveness of two tools -- rigidity and deformable functors -- by using them establish the structure we need to take these equivariant traces and to construct periodic-point invariants in a formal way. △ Less

Submitted 6 June, 2023; originally announced June 2023.

Comments: 39 pages

MSC Class: 18D30; 18M05; 18N10; 55P42; 55R70

Riemann-Roch theorems in monoidal 2-categories

Authors: Jonathan A. Campbell, Kate Ponto

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 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 broad generalization of these Riemann-Roch theorems. We generalize from the bicategory of dg-algebras and their bimodules to monoidal bicategories and from Euler class to traces of non identity maps. Our generalization also implies spectral Riemann-Roch theorems. We regard this result as an instantiation of a 2-dimensional generalized cobordism hypothesis. This perspective draws the result close to many others that generalize results about Euler characteristics and classes to bicategorical traces. △ Less

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

Coherence for bicategories, lax functors, and shadows

Authors: Cary Malkiewich, Kate Ponto

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 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 and new coherence results for bicategories with shadow and for their functors. △ Less

Submitted 2 September, 2021; originally announced September 2021.

Comments: 35 pages

MSC Class: 18M05; 18N10

Obstructions in a model category and Klein and Williams' intersection invariants

Authors: Kate Ponto

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. 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. △ Less

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

Spectral Waldhausen categories, the $S_\bullet$-construction, and the Dennis trace

Authors: Jonathan A. Campbell, John A. Lind, Cary Malkiewich, Kate Ponto, Inna Zakharevich

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 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 ordinary category via the Moore end. This is applied to define a version of Waldhausen's $S_{\bullet}$-construction for spectral Waldhausen categories, which is central to this account of the Dennis trace map. Our goals are both convenience and transparency---we provide all details except for a proof of the additivity theorem for $\mathrm{THH}$, which is taken for granted---and the exposition is concerned not with originality of ideas, but rather aims to provide a useful resource for learning about the Dennis trace and its underlying machinery. △ Less

Submitted 6 June, 2020; originally announced June 2020.

Comments: This paper is a companion to arxiv:2005.04334

MSC Class: 55N15; 55P42; 18D20; 16E40

$K$-theory of endomorphisms, the $\mathit{TR}$-trace, and zeta functions

Authors: Jonathan A. Campbell, John A. Lind, Cary Malkiewich, Kate Ponto, Inna Zakharevich

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 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 orthogonal spectra. In particular, this extends their construction from rings to ring spectra. We also give a revisionist treatment of the original Dennis trace map from $K$-theory to topological Hochschild homology (THH) and explain its connection to traces in bicategories with shadow (also known as trace theories). △ Less

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

Iterated traces in 2-categories and Lefschetz theorems

Authors: Jonathan A. Campbell, Kate Ponto

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. 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. △ Less

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

Authors: Cary Malkiewich, Kate Ponto

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 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 a large family of operations on a bicategory defined from an indexed symmetric monoidal category are all canonically isomorphic. As a part of this theorem, we introduce a rigorous graphical calculus that specifies when two such operations admit a canonical isomorphism. △ Less

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

Periodic points and topological restriction homology

Authors: Cary Malkiewich, Kate Ponto

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 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 generalizations, including a corresponding theorem for the fiberwise Reidemeister trace. △ Less

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

Topological Hochschild Homology and Higher Characteristics

Authors: Jonathan A. Campbell, Kate Ponto

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 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 Hochschild homology, and Morita invariance in bicategorical generality. △ Less

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

Infinite loop spaces from operads with homological stability

Authors: Maria Basterra, Irina Bobkova, Kate Ponto, Ulrike Tillmann, Sarah Yeakel

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 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 Randal-Williams for moduli spaces of even dimensional manifolds can be used to construct examples of operads with homological stability. As a consequence the map to $K$-theory defined by the action of the diffeomorphisms on the middle dimensional homology can be shown to be a map of infinite loop spaces. △ Less

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

Inverting operations in operads

Authors: Maria Basterra, Irina Bobkova, Kate Ponto, Ulrike Tillmann, Sarah Yeakel

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 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 appropriate universal property. △ Less

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

The linearity of fixed point invariants

Authors: Kate Ponto, Michael Shulman

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 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 analogous invariants in other contexts, such as equivariant and fiberwise homotopy theory. △ Less

Submitted 26 September, 2017; v1 submitted 30 June, 2014; originally announced June 2014.

Comments: v2: Expanded introduction; final version

MSC Class: 55M20; 18D05

The linearity of traces in monoidal categories and bicategories

Authors: Kate Ponto, Michael Shulman

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 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 result makes it easy to generalize to traces in homotopical contexts (using derivators) and traces in bicategories. These generalizations include the familiar additivity of the Euler characteristic and Lefschetz number along cofiber sequences, as well as an analogous result for the Reidemeister trace, but also the orbit-counting theorem for sets with a group action, and a general formula for homotopy colimits over EI-categories. △ Less

Submitted 30 June, 2014; originally announced June 2014.

MSC Class: 18D05; 18D10

A model structure on GCat

Authors: Anna Marie Bohmann, Kristen Mazur, Angélica M. Osorno, Viktoriya Ozornova, Kate Ponto, Carolyn Yarnall

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. 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. △ Less

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

Mayer-Vietoris sequences in stable derivators

Authors: Moritz Groth, Kate Ponto, Michael Shulman

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. 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. △ Less

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

The additivity of traces in monoidal derivators

Authors: Moritz Groth, Kate Ponto, Michael Shulman

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 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, based on new axioms for monoidal triangulated categories. In this paper we use stable derivators instead, which are a different model for "stable homotopy theories". We define and study monoidal structures on derivators, providing a context to describe the interplay between stability and monoidal structure using only ordinary category theory and universal properties. We can then perform May's proof of the additivity of traces in a closed monoidal stable derivator without needing extra axioms, as all the needed compatibility is automatic. △ Less

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

Authors: Kate Ponto, Michael Shulman

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 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 in a bicategory; in this paper we relate these contexts using indexed symmetric monoidal categories. In particular, we will show that for any symmetric monoidal category with an associated indexed symmetric monoidal category, there is an associated bicategory which produces refinements of trace analogous to the Reidemeister trace. This bicategory also produces a new notion of trace for parametrized spaces with dualizable fibers, which refines the obvious "fiberwise" traces by incorporating the action of the fundamental group of the base space. We also advance the basic theory of indexed monoidal categories, including introducing a string diagram calculus which makes calculations much more tractable. This abstract framework lays the foundation for generalizations of these ideas to other contexts. △ Less

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

Coincidence invariants and higher Reidemeister traces

Authors: Kate Ponto

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 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. In this paper we show that the identification of the Lefschetz number and index using formal properties of the symmetric monoidal trace extends to coincidence invariants. This perspective on the coincidence index and Lefschetz number also suggests difficulties for generalizations to a coincidence Reidemeister trace. △ Less

Submitted 24 April, 2015; v1 submitted 17 September, 2012; originally announced September 2012.

Comments: Minor revision

MSC Class: 55M20; 18D05

The multiplicativity of fixed point invariants

Authors: Kate Ponto, Michael Shulman

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 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 generalizations to other contexts straightforward. △ Less

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

Traces in symmetric monoidal categories

Authors: Kate Ponto, Michael Shulman

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. 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. △ Less

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

Shadows and traces in bicategories

Authors: Kate Ponto, Michael Shulman

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 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 of the symmetric monoidal trace which applies to noncommutative situations; its context is a bicategory equipped with an extra structure called a "shadow." In particular, we prove its functoriality and 2-functoriality, which are essential to its applications in fixed-point theory. Throughout we make use of an appropriate "cylindrical" type of string diagram, which we justify formally in an appendix. △ Less

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)

Equivariant Fixed Point Theory

Authors: Kate Ponto

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. 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. △ Less

Submitted 24 March, 2015; v1 submitted 7 October, 2009; originally announced October 2009.

Comments: Revisions to improve exposition

MSC Class: 55M20

Relative fixed point theory

Authors: Kate Ponto

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 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 Lefschetz fixed point theorem and its converse. △ Less

Submitted 3 June, 2009; originally announced June 2009.

Comments: 34 pages

MSC Class: 55M20

Journal ref: Algebr. Geom. Topol. 11 (2011) 839-886

Fixed point theory and trace for bicategories

Authors: Kate Ponto

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 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 the identification of these different invariants. We define a generalization of the trace in symmetric monoidal categories to a trace in bicategories with shadows. We show the invariants used in the converse of the Lefschetz fixed point theorem are examples of this trace and that the functoriality of the trace provides some of the necessary identifications. The methods used here do not use simplicial techniques and so generalize readily to other contexts. △ Less

Submitted 9 July, 2008; originally announced July 2008.

Comments: 107 pages

MSC Class: 55M20

Journal ref: Astérisque No. 333 (2010), xii+102 pp