Skip to main content

Showing 1–21 of 21 results for author: Merling, M

.
  1. arXiv:2504.01810  [pdf, other

    math.AT math.KT

    Parametrized scissors congruence $K$-theory of manifolds and cobordism categories

    Authors: Mona Merling, George Raptis, Julia Semikina

    Abstract: We construct a parametrized version of scissors congruence $K$-theory of manifolds, which in particular gives a topologized version of the scissors congruence $K$-theory of oriented manifolds, and we describe this spectrum as mediating between the cobordism category and usual algebraic $K$-theory of spaces. We show that on $π_0$, the scissors congruence $K$-theory of oriented manifolds agrees with… ▽ More

    Submitted 2 April, 2025; originally announced April 2025.

    Comments: 30 pages. Comments welcome!

  2. arXiv:2501.06928  [pdf, other

    math.AT math.KT

    Scissors congruence K-theory for equivariant manifolds

    Authors: Mona Merling, Ming Ng, Julia Semikina, Alba Sendón Blanco, Lucas Williams

    Abstract: We introduce a scissors congruence $K$-theory spectrum which lifts the equivariant scissors congruence groups for compact $G$-manifolds with boundary, and we show that on $π_0$ this is the source of a spectrum level lift of the Burnside ring valued equivariant Euler characteristic of a compact $G$-manifold. We also show that the equivariant scissors congruence groups for varying subgroups assemble… ▽ More

    Submitted 12 January, 2025; originally announced January 2025.

    Comments: 20 pages, 1 figure

    MSC Class: Primary: 19D55; 19D99; 57R91; Secondary: 19D10; 19A49; 55P91; 55S91

  3. arXiv:2409.18187  [pdf, other

    math.AT math.KT

    Topological $ΔG$ homology of rings with twisted $G$-action

    Authors: Gabriel Angelini-Knoll, Mona Merling, Maximilien Péroux

    Abstract: We provide a unifying framework for studying variants of topological Hochschild homology such as Real topological Hochschild homology. Associated to a crossed simplicial group $ΔG$, a category that generalizes Connes' cyclic category, we introduce an invariant of rings with twisted $G$-action, which we call topological $ΔG$-homology. Here a ring with twisted $G$-action is a common generalization o… ▽ More

    Submitted 19 April, 2025; v1 submitted 26 September, 2024; originally announced September 2024.

    Comments: Fixed some broken references

    Report number: MPIM-Bonn-2024 MSC Class: 16E40; 55P43; 55P91; 18N60; 55P42

  4. arXiv:2310.02852  [pdf, ps, other

    math.KT math.AG math.AT

    Algebraic $K$-theory for squares categories

    Authors: Jonathan Campbell, Josefien Kuijper, Mona Merling, Inna Zakharevich

    Abstract: In this paper we introduce a new formalism for $K$-theory, called squares $K$-theory. This formalism allows us to simultaneously generalize the usual three-term relation $[B] = [A] + [C]$ for an exact sequence $A \hookrightarrow B \twoheadrightarrow C$ or for a subtractive sequence $A\hookrightarrow B \leftarrow C$, by defining $K_0$ of exact and subtractive categories to satisfy a four-term relat… ▽ More

    Submitted 4 October, 2023; originally announced October 2023.

    Comments: 28 pages

  5. arXiv:2303.14892  [pdf, other

    math.AT math.GT math.KT

    On the functoriality of the space of equivariant smooth $h$-cobordisms

    Authors: Thomas Goodwillie, Kiyoshi Igusa, Cary Malkiewich, Mona Merling

    Abstract: We construct an $(\infty,1)$-functor that takes each smooth $G$-manifold with corners $M$ to the space of equivariant smooth $h$-cobordisms ${\mathcal H}_{\mathrm{Diff}}(M)$. We also give a stable analogue ${\mathcal H}^{\mathcal U}_{\mathrm{Diff}}(M)$ where the manifolds are stabilized with respect to representation discs. The functor structure is subtle to construct, and relies on several new id… ▽ More

    Submitted 21 April, 2025; v1 submitted 26 March, 2023; originally announced March 2023.

    Comments: 91 pages. Thorough revision and improved exposition. Notably, the smooth extension and tubular neighborhood results for equivariant manifolds with corners are much more detailed now. We thank a very careful referee for many useful suggestions

  6. arXiv:2303.08172  [pdf, other

    math.KT math.AT

    A trace map on higher scissors congruence groups

    Authors: Anna Marie Bohmann, Teena Gerhardt, Cary Malkiewich, Mona Merling, Inna Zakharevich

    Abstract: Cut-and-paste $K$-theory has recently emerged as an important variant of higher algebraic $K$-theory. However, many of the powerful tools used to study classical higher algebraic $K$-theory do not yet have analogues in the cut-and-paste setting. In particular, there does not yet exist a sensible notion of the Dennis trace for cut-and-paste $K$-theory. In this paper we address the particular case… ▽ More

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

    Comments: 32 pages, 3 figures. Revision of the paper previously entitled "A Farrell--Jones isomorphism for $K$-theory of polyhedra."

  7. arXiv:2108.08961  [pdf, other

    math.DG math.AT math.GT math.SG

    Deformation retraction of the group of strict contactomorphisms of the three-sphere to the unitary group

    Authors: Dennis DeTurck, Herman Gluck, Leandro Lichtenfelz, Mona Merling, Jingye Yang, Yi Wang

    Abstract: We prove that the group of strict contactomorphisms of the standard tight contact structure on the three-sphere deformation retracts to its unitary subgroup U(2).

    Submitted 22 July, 2022; v1 submitted 19 August, 2021; originally announced August 2021.

    Comments: Expanded both content and references. Separated into two parts. Part 1 is a more detailed proof of our new result of the deformation retraction of the group of strict contactomorphisms on the three-sphere. Part 2 gives a self-contained treatment and proofs of existing results scattered among several papers in the literature on the Fréchet bundle structure of the group of strict contactomorphisms

    MSC Class: 53A07; 53C12; 53D10; 55R10

  8. arXiv:2102.13246  [pdf, ps, other

    math.AT math.CT math.KT

    Multiplicative equivariant $K$-theory and the Barratt-Priddy-Quillen theorem

    Authors: Bertrand J. Guillou, J. Peter May, Mona Merling, Angélica M. Osorno

    Abstract: We prove a multiplicative version of the equivariant Barratt-Priddy-Quillen theorem, starting from the additive version proven in arXiv:1207.3459. The proof uses a multiplicative elaboration of an additive equivariant infinite loop space machine that manufactures orthogonal $G$-spectra from symmetric monoidal $G$-categories. The new machine produces highly structured associative ring and module… ▽ More

    Submitted 25 February, 2021; originally announced February 2021.

    MSC Class: Primary 19D23; 19L47; 55P48; Secondary 18D20; 18D40; 18M65; 55P91; 55U40

  9. arXiv:2001.05563  [pdf, ps, other

    math.AT math.GT math.KT

    The equivariant parametrized $h$-cobordism theorem, the non-manifold part

    Authors: Cary Malkiewich, Mona Merling

    Abstract: We construct a map from the suspension $G$-spectrum $Σ_G^\infty M$ of a smooth compact $G$-manifold to the equivariant $A$-theory spectrum $A_G(M)$, and we show that its fiber is, on fixed points, a wedge of stable $h$-cobordism spectra. This map is constructed as a map of spectral Mackey functors, which is compatible with tom Dieck style splitting formulas on fixed points. In order to synthesize… ▽ More

    Submitted 21 April, 2021; v1 submitted 15 January, 2020; originally announced January 2020.

    Comments: Improved exposition, reorganized and slightly expanded arguments in chapter 4

    MSC Class: Primary 19D10; 57R80; 57R85; Secondary 55P91; 57R91; 55P42; 55P92; 55N91; 19M05

  10. arXiv:2001.00176  [pdf, ps, other

    math.AT math.GT math.KT

    Cut and paste invariants of manifolds via algebraic K-theory

    Authors: Renee S. Hoekzema, Mona Merling, Laura Murray, Carmen Rovi, Julia Semikina

    Abstract: Recent work of Jonathan Campbell and Inna Zakharevich has focused on building machinery for studying scissors congruence problems via algebraic $K$-theory, and applying these tools to studying the Grothendieck ring of varieties. In this paper we give a new application of their framework: we construct a $K$-space that recovers the classical $\mathrm{SK}$ ("schneiden und kleben," German for "cut and… ▽ More

    Submitted 5 December, 2021; v1 submitted 1 January, 2020; originally announced January 2020.

    Comments: Final version

  11. arXiv:1904.05858  [pdf, ps, other

    math.AT math.KT

    Coassembly is a homotopy limit map

    Authors: Cary Malkiewich, Mona Merling

    Abstract: We prove a claim by Williams that the coassembly map is a homotopy limit map. As an application, we show that the homotopy limit map for the coarse version of equivariant $A$-theory agrees with the coassembly map for bivariant $A$-theory that appears in the statement of the topological Riemann-Roch theorem.

    Submitted 17 February, 2020; v1 submitted 11 April, 2019; originally announced April 2019.

    Comments: Accepted version. Several improvements from the referee, including a more elegant proof of Lemma 3.8

    MSC Class: 19D10; 55P91; 55P42

    Journal ref: Ann. K-Th. 5 (2020) 373-394

  12. arXiv:1809.03017  [pdf, ps, other

    math.AT

    Symmetric monoidal G-categories and their strictification

    Authors: Bertrand Guillou, J. Peter May, Mona Merling, Angélica M. Osorno

    Abstract: We give an operadic definition of a genuine symmetric monoidal G-category, and we prove that its classifying space is a genuine E_\infty G-space. We do this by developing some very general categorical coherence theory. We combine results of Corner and Gurski, Power, and Lack, to develop a strictification theory for pseudoalgebras over operads and monads. It specializes to strictify genuine symmetr… ▽ More

    Submitted 23 July, 2019; v1 submitted 9 September, 2018; originally announced September 2018.

    Comments: Final version. To appear in Quarterly Journal of Mathematics

    MSC Class: 18D10; 18C15; 55P48; 55P91; 55U40

  13. The user's guide project: giving experiential context to research papers

    Authors: Cary Malkiewich, Mona Merling, David White, Luke Wolcott, Carolyn Yarnall

    Abstract: This paper was written in 2015, and published in the Journal of Humanistic Mathematics. This paper announces the first issue (2015) of Enchiridion: Mathematics User's Guides, a project to produce peer-reviewed User's Guides as companions to published papers. These User's Guides are meant to explain the key insights and organizing principles in their companion papers, the metaphors and imagery used… ▽ More

    Submitted 11 January, 2018; originally announced January 2018.

    Journal ref: Journal of Humanistic Mathematics, Volume 5 Issue 2 (July 2015), pages 186-188

  14. arXiv:1711.09183  [pdf, ps, other

    math.AT

    A symmetric monoidal and equivariant Segal infinite loop space machine

    Authors: Bertrand Guillou, J. Peter May, Mona Merling, Angélica M. Osorno

    Abstract: In [MMO] (arXiv:1704.03413), we reworked and generalized equivariant infinite loop space theory, which shows how to construct $G$-spectra from $G$-spaces with suitable structure. In this paper, we construct a new variant of the equivariant Segal machine that starts from the category $\scr{F}$ of finite sets rather than from the category ${\scr{F}}_G$ of finite $G$-sets and which is equivalent to t… ▽ More

    Submitted 5 September, 2018; v1 submitted 24 November, 2017; originally announced November 2017.

    Comments: Title changed from "Equivariant infinite loop space II. The multiplicative Segal machine." Final version to appear in JPAA

    MSC Class: 55P42; 55P43; 55P91 (Primary) 18A25; 18E30; 55P48; 55U35 (Secondary)

  15. arXiv:1704.03413  [pdf, ps, other

    math.AT math.KT

    Equivariant infinite loop space theory, the space level story

    Authors: J. Peter May, Mona Merling, Angélica M. Osorno

    Abstract: We rework and generalize equivariant infinite loop space theory, which shows how to construct $G$-spectra from $G$-spaces with suitable structure. There is a classical version which gives classical $Ω$-$G$-spectra for any topological group $G$, but our focus is on the construction of genuine $Ω$-$G$-spectra when $G$ is finite. We also show what is and is not true when $G$ is a compact Lie group.… ▽ More

    Submitted 15 September, 2022; v1 submitted 11 April, 2017; originally announced April 2017.

    Comments: Minor edits. Final version, to appear in Memoirs of the AMS. 121 pages

    MSC Class: 55P42; 55P43; 55P91 (Primary) 18A25; 18E30; 55P48; 55U35 (Secondary)

  16. arXiv:1611.00382  [pdf, other

    math.AT

    Motivic Homotopical Galois Extensions

    Authors: Agnes Beaudry, Kathryn Hess, Magdalena Kedziorek, Mona Merling, Vesna Stojanoska

    Abstract: We establish a formal framework for Rognes's homotopical Galois theory and adapt it to the context of motivic spaces and spectra. We discuss examples of Galois extensions between Eilenberg-MacLane motivic spectra and between the Hermitian and algebraic K-theory spectra.

    Submitted 1 November, 2016; originally announced November 2016.

    MSC Class: 55P42; 14F42

  17. arXiv:1609.03429  [pdf, ps, other

    math.AT math.KT

    Equivariant $A$-theory

    Authors: Cary Malkiewich, Mona Merling

    Abstract: We give a new construction of the equivariant $K$-theory of group actions (cf. Barwick et al.), producing an infinite loop $G$-space for each Waldhausen category with $G$-action, for a finite group $G$. On the category $R(X)$ of retractive spaces over a $G$-space $X$, this produces an equivariant lift of Waldhausen's functor $A(X)$, and we show that the $H$-fixed points are the bivariant $A$-theor… ▽ More

    Submitted 18 March, 2019; v1 submitted 12 September, 2016; originally announced September 2016.

    Comments: Introduction and acknowledgements have been updated with more references to earlier work. Improved Theorem 2.9 (strictification of pseudoequivariant functors). The section on coassembly has been removed and will be treated in a forthcoming paper

    MSC Class: 19D10; 55P91; 55P42

  18. arXiv:1505.07562  [pdf, ps, other

    math.AT

    Equivariant algebraic K-theory of G-rings

    Authors: Mona Merling

    Abstract: A group action on the input ring or category induces an action on the algebraic $K$-theory spectrum. However, a shortcoming of this naive approach to equivariant algebraic $K$-theory is, for example, that the map of spectra with $G$-action induced by a $G$-map of $G$-rings is not equivariant. We define a version of equivariant algebraic $K$-theory which encodes a group action on the input in a fun… ▽ More

    Submitted 12 September, 2016; v1 submitted 28 May, 2015; originally announced May 2015.

    Comments: Final version to appear in Mathematische Zeitschrift. The last section about Waldhausen G-categories has been removed from this paper

  19. arXiv:1409.1553  [pdf, ps, other

    math.AT

    Unbased calculus for functors to chain complexes

    Authors: Maria Basterra, Kristine Bauer, Agnes Beaudry, Rosona Eldred, Brenda Johnson, Mona Merling, Sarah Yeakel

    Abstract: Recently, the Johnson-McCarthy discrete calculus for homotopy functors was extended to include functors from an unbased simplicial model category to spectra. This paper completes the constructions needed to ensure that there exists a discrete calculus tower for functors from an unbased simplicial model category to chain complexes over a fixed commutative ring. Much of the construction of the Taylo… ▽ More

    Submitted 5 September, 2014; v1 submitted 4 September, 2014; originally announced September 2014.

    Comments: 20 pages

    MSC Class: 55U15

  20. Categorical models for equivariant classifying spaces

    Authors: B. J. Guillou, J. P. May, M. Merling

    Abstract: Starting categorically, we give simple and precise models of equivariant classifying spaces. We need these models for work in progress in equivariant infinite loop space theory and equivariant algebraic K-theory, but the models are of independent interest in equivariant bundle theory and especially equivariant covering space theory.

    Submitted 10 March, 2014; v1 submitted 24 January, 2012; originally announced January 2012.

    Comments: 29 pages. Revised version, to appear in AGT. Considerable changes of notation and organization and other changes aimed at making the paper more user friendly

    Journal ref: Algebr. Geom. Topol. 17 (2017) 2565-2602

  21. arXiv:0906.3728  [pdf, ps, other

    math.NT

    Function Fields with Class Number Indivisible by a Prime $\ell$

    Authors: Michael Daub, Jaclyn Lang, Mona Merling, Allison M. Pacelli, Natee Pitiwan, Michael Rosen

    Abstract: It is known that infinitely many number fields and function fields of any degree $m$ have class number divisible by a given integer $n$. However, significantly less is known about the indivisibility of class numbers of such fields. While it's known that there exist infinitely many quadratic number fields with class number indivisible by a given prime, the fields are not constructed explicitly, a… ▽ More

    Submitted 19 June, 2009; originally announced June 2009.

    MSC Class: 11R29; 11R58