Skip to main content

Showing 1–50 of 192 results for all: DNRF151

Searching in archive math. Search in all archives.
.
  1. arXiv:2403.15572  [pdf, ps, other

    math.AT

    Bounding the $K(p-1)$-local exotic Picard group at $p>3$

    Authors: Irina Bobkova, Andrea Lachmann, Ang Li, Alicia Lima, Vesna Stojanoska, Adela YiYu Zhang

    Abstract: In this paper, we bound the descent filtration of the exotic Picard group $κ_n$, for a prime number $p>3$ and $n=p-1$. Our method involves a detailed comparison of the Picard spectral sequence, the homotopy fixed point spectral sequence, and an auxiliary $β$-inverted homotopy fixed point spectral sequence whose input is the Farrell-Tate cohomology of the Morava stabilizer group. Along the way, we… ▽ More

    Submitted 22 March, 2024; originally announced March 2024.

    Report number: CPH-GEOTOP-DNRF151

  2. arXiv:2403.12020  [pdf, other

    math.DG

    A classification result for eternal mean convex flows of finite total curvature type

    Authors: Alexander Mramor

    Abstract: In this article we partially classify the space of eternal mean convex flows in $\mathbb{R}^3$ of finite total curvature type, a condition implied by finite total curvature. In particular we show that topologically nonplanar ones must flow out of a catenoid in a natural sense.

    Submitted 18 March, 2024; originally announced March 2024.

    Comments: Comments welcome!

    Report number: CPH-GEOTOP-DNRF151

  3. arXiv:2403.06724  [pdf, ps, other

    math.AT

    A note on the Segal conjecture for large objects

    Authors: Robert Burklund, Vignesh Subramanian

    Abstract: The Segal conjecture for $C_p$ (as proved by Lin and Gunawardena) asserts that the canonical map from the $p$-complete sphere spectrum to the Tate construction for the trivial action of $C_p$ on the $p$-complete sphere spectrum is an isomorphism. In this article we extend the collection of spectra for which the canonical map $X \to X^{tC_p}$ is known to be an isomorphism to include any $p$-complet… ▽ More

    Submitted 11 March, 2024; originally announced March 2024.

    Comments: 10 pages

    Report number: CPH-GEOTOP-DNRF151

  4. arXiv:2402.19300  [pdf, other

    math.RA math.NT math.QA

    $\mathrm{SL}_2$-like Properties of Matrices Over Noncommutative Rings and Generalizations of Markov Numbers

    Authors: Zachary Greenberg, Dani Kaufman, Anna Wienhard

    Abstract: We study $2\times 2$ matrices over noncommutative rings with anti-involution, with a special focus on the symplectic group $\mathrm{Sp}_2(\mathcal{A},σ)$. We define traces and determinants of such matrices and use them to prove a Cayley Hamilton identity and trace relations which generalize well known relations for elements of $\mathrm{SL}_2(R)$ over a commutative ring. We compare the structure of… ▽ More

    Submitted 29 February, 2024; originally announced February 2024.

    Comments: 40 pages, 10 figures. Comments welcome

    Report number: CPH-GEOTOP-DNRF151 MSC Class: 15B33 (Primary) 16W10; 13F60; 20G42 (Secondary)

  5. arXiv:2402.15850  [pdf, ps, other

    math.AT

    $\mathbb{E}_{\infty}$-coalgebras and $p$-adic homotopy theory

    Authors: Tom Bachmann, Robert Burklund

    Abstract: We show that for any separably closed field $k$ of characteristic $p>0$, the canonical functor from nilpotent $p$-adic spaces to $\mathbb{E}_{\infty}$-coalgebras over $k$ (given by singular chains with coefficients in $k$) is fully faithful. We also identify the essential image of simply connected spaces inside coalgebras. This dualizes and removes finiteness assumptions from a theorem of Mandell.

    Submitted 24 February, 2024; originally announced February 2024.

    Comments: 19 pages

    Report number: CPH-GEOTOP-DNRF151

  6. arXiv:2402.11315  [pdf, ps, other

    gr-qc math.DG

    Rigidity aspects of Penrose's singularity theorem

    Authors: Gregory J. Galloway, Eric Ling

    Abstract: In this paper, we study rigidity aspects of Penrose's singularity theorem. Specifically, we aim to answer the following question: if a spacetime satisfies the hypotheses of Penrose's singularity theorem except with weakly trapped surfaces instead of trapped surfaces, then what can be said about the global spacetime structure if the spacetime is null geodesically complete? In this setting, we show… ▽ More

    Submitted 17 February, 2024; originally announced February 2024.

    Comments: 15 pages

    Report number: CPH-GEOTOP-DNRF151; CF21-0680

  7. arXiv:2402.05500  [pdf, other

    math.AT math.AG

    The topology of spaces of holomorphic maps to projective space

    Authors: Alexis Aumonier

    Abstract: We show that the spaces of holomorphic and continuous maps from a smooth complex projective variety to a projective space have the same homology in a range depending on the degree of the maps.

    Submitted 8 February, 2024; originally announced February 2024.

    Comments: 10 pages, comments welcome

    Report number: CPH-GEOTOP-DNRF151 MSC Class: 58D15; 55R80

  8. arXiv:2401.15802  [pdf, other

    math-ph gr-qc math.DS math.SP

    On the discrete Dirac spectrum of general-relativistic hydrogenic ions with anomalous magnetic moment

    Authors: Elie Kapengut, Michael K. -H. Kiessling, Eric Ling, A. Shadi Tahvildar-Zadeh

    Abstract: The Reissner-Weyl-Nordström (RWN) spacetime of a point nucleus features a naked singularity for the empirically known nuclear charges $Ze$ and masses $M = A(Z,N)m_{\mathrm{p}}$, where $m_{\mathrm{p}}$ is the proton mass and $A(Z,N)\approx Z+N$ the atomic mass number, with $Z$ the number of protons and $N$ the number of neutrons in the nucleus. The Dirac hamiltonian for a test electron with mass… ▽ More

    Submitted 28 January, 2024; originally announced January 2024.

    Comments: 40 pages, 1 figure, submitted for publication

    Report number: CPH-GEOTOP-DNRF151; CF21-0680

  9. arXiv:2401.06510  [pdf, ps, other

    math.KT

    Every spectrum is the K-theory of a stable $\infty$-category

    Authors: Maxime Ramzi, Vladimir Sosnilo, Christoph Winges

    Abstract: We prove that any spectrum is equivalent to the nonconnective K-theory of a stable $\infty$-category. We use these results to construct a stable $\infty$-category $\mathcal{C}$ with a bounded t-structure such that $\operatorname{K}(\mathcal{C})$ is not equivalent to $\operatorname{K}(\mathcal{C}^\heartsuit)$, disproving a conjecture of Antieau, Gepner, and Heller.

    Submitted 12 January, 2024; originally announced January 2024.

    Comments: 17 pages

    Report number: CPH-GEOTOP-DNRF151

  10. arXiv:2401.05953  [pdf, ps, other

    math.GT math.AT

    On two quotients of $S^2\times S^2$

    Authors: Andrea Bianchi

    Abstract: In this note we prove that two seemingly different smooth 4-manifolds arising as quotients of $S^2\times S^2$ by free actions of $\mathbb{Z}/4$ are in fact diffeomorphic, answering a question of Hambleton and Hillman.

    Submitted 11 January, 2024; originally announced January 2024.

    Comments: 4 pages, comments welcome

    Report number: CPH-GEOTOP-DNRF151; MPIM-Bonn-2024

  11. arXiv:2312.12567  [pdf, other

    math.AT math.CT

    Profinite $\infty$-operads: Part II

    Authors: Thomas Blom, Ieke Moerdijk

    Abstract: In our paper "Profinite $\infty$-operads", we developed a model for the homotopy theory of profinite $\infty$-operads in the form of dendroidal objects with values in profinite sets. In this sequel, we describe a Quillen equivalent model based on dendroidal objects with values in Quick's model category of profinite spaces. This model enables us to prove a Dwyer-Kan style characterization of the we… ▽ More

    Submitted 19 December, 2023; originally announced December 2023.

    Comments: 45 pages

    Report number: CPH-GEOTOP-DNRF151

  12. arXiv:2312.09889  [pdf, ps, other

    math.CT math.AT

    A short proof that Rezk's nerve is fully faithful

    Authors: Fabian Hebestreit, Jan Steinebrunner

    Abstract: We give a simple proof that complete Segal animae are equivalent to categories.

    Submitted 15 December, 2023; originally announced December 2023.

    Comments: 12 pages

    Report number: CPH-GEOTOP-DNRF151 MSC Class: 18N60; 55U35

  13. arXiv:2312.03355  [pdf, other

    math.AT math.AG

    Homological stability for the space of hypersurfaces with marked points

    Authors: Alexis Aumonier, Ronno Das

    Abstract: We study the space of smooth marked hypersurfaces in a given linear system. Specifically, we prove a homology h-principle to compare it with a space of sections of an appropriate jet bundle. Using rational models, we compute its rational cohomology in a range of degrees, and deduce a homological stability result for hypersurfaces of increasing degree. We also describe the Hodge weights on the stab… ▽ More

    Submitted 6 December, 2023; originally announced December 2023.

    Comments: 42 pages; comments welcome!

    Report number: CPH-GEOTOP-DNRF151 MSC Class: 55R80; 14J70

  14. arXiv:2311.13715  [pdf, ps, other

    gr-qc math.DG

    Examples of cosmological spacetimes without CMC Cauchy surfaces

    Authors: Eric Ling, Argam Ohanyan

    Abstract: CMC (constant mean curvature) Cauchy surfaces play an important role in mathematical relativity as finding solutions to the vacuum Einstein constraint equations is made much simpler by assuming CMC initial data. However, in [2] Bartnik constructed a cosmological spacetime without a CMC Cauchy surface whose spatial topology is the connected sum of two three-dimensional tori. Similarly, in [9], Chru… ▽ More

    Submitted 22 November, 2023; originally announced November 2023.

    Comments: 26 pages, 2 figures

    Report number: CPH-GEOTOP-DNRF151; CF21-0680

  15. arXiv:2311.07560  [pdf, other

    math.AG math.AT

    Scanning the moduli of smooth hypersurfaces

    Authors: Alexis Aumonier

    Abstract: We study the locus of smooth hypersurfaces inside the Hilbert scheme of a smooth projective complex variety. In the spirit of scanning, we construct a map to a continuous section space of a projective bundle, and show that it induces an isomorphism in integral homology in a range of degrees growing with the ampleness of the hypersurfaces. When the ambient variety is a curve, this recovers a result… ▽ More

    Submitted 8 February, 2024; v1 submitted 13 November, 2023; originally announced November 2023.

    Comments: v1: 42 pages; v2: 44 pages, minor editing, revised appendix

    Report number: CPH-GEOTOP-DNRF151 MSC Class: 55R80; 14J70 (Primary); 14C05; 14M12; 57R15 (Secondary)

  16. arXiv:2311.03121  [pdf, other

    math.AT

    The derived category of a locally compact space is rarely smooth

    Authors: Oscar Harr

    Abstract: We show that the derived category of a locally compact Hausdorff space $X$ (subject to a mild technical condition) is smooth in the sense of non-commutative geometry if and only if $X$ is discrete and finite.

    Submitted 6 November, 2023; originally announced November 2023.

    Report number: CPH-GeoTop-DNRF151

  17. arXiv:2310.17459  [pdf, other

    math.AT math.KT

    $K$-theoretic counterexamples to Ravenel's telescope conjecture

    Authors: Robert Burklund, Jeremy Hahn, Ishan Levy, Tomer M. Schlank

    Abstract: At each prime $p$ and height $n+1 \ge 2$, we prove that the telescopic and chromatic localizations of spectra differ. Specifically, for $\mathbb{Z}$ acting by Adams operations on $\mathrm{BP}\langle n \rangle$, we prove that the $T(n+1)$-localized algebraic $K$-theory of $\mathrm{BP}\langle n \rangle^{h\mathbb{Z}}$ is not $K(n+1)$-local. We also show that Galois hyperdescent, $\mathbb{A}^1$-invari… ▽ More

    Submitted 26 October, 2023; originally announced October 2023.

    Comments: 100 pages. Comments very welcome

    Report number: CPH-GEOTOP-DNRF151

  18. arXiv:2310.08400  [pdf, ps, other

    math.AC

    Koszul homomorphisms and universal resolutions in local algebra

    Authors: Benjamin Briggs, James C. Cameron, Janina C. Letz, Josh Pollitz

    Abstract: We define a local homomorphism $(Q,k)\to (R,\ell)$ to be Koszul if its derived fiber $R \otimes^{\mathsf{L}}_Q k$ is formal, and if $\operatorname{Tor}^Q(R,k)$ is Koszul in the classical sense. This recovers the classical definition when $Q$ is a field, and more generally includes all flat deformations of Koszul algebras. The non-flat case is significantly more interesting, and there is no need fo… ▽ More

    Submitted 12 October, 2023; originally announced October 2023.

    Comments: 47 pages; comments are welcome

    Report number: HIM-Report-2022, CPH-GEOTOP-DNRF151 MSC Class: 13D02 (primary); 16S37; 16E45; 13H10; 13F55

  19. arXiv:2310.00275  [pdf, other

    math.AT math.KT

    Chromatic Cardinalities via Redshift

    Authors: Shay Ben-Moshe, Shachar Carmeli, Tomer M. Schlank, Lior Yanovski

    Abstract: Using higher descent for chromatically localized algebraic $K$-theory, we show that the higher semiadditive cardinality of a $π$-finite $p$-space $A$ at the Lubin-Tate spectrum $E_n$ is equal to the higher semiadditive cardinality of the free loop space $LA$ at $E_{n-1}$. By induction, it is thus equal to the homotopy cardinality of the $n$-fold free loop space $L^n A$.

    Submitted 30 September, 2023; originally announced October 2023.

    Comments: 8 page, comments are welcome

    Report number: CPH-GEOTOP-DNRF151

  20. arXiv:2309.12734  [pdf, ps, other

    math.AT

    On the Non-Existence of J-Homomorphisms of Higher Height

    Authors: Shachar Carmeli

    Abstract: We show that for a large class of connective spectra, the mapping space into the units of the $p$-complete sphere spectrum is insensitive to $L_1$-localization followed by taking connective cover.

    Submitted 22 September, 2023; originally announced September 2023.

    Comments: 14 pages, comments are welcome!

    Report number: CPH-GEOTOP-DNRF151 MSC Class: 55P42; 55Q50

  21. arXiv:2309.12127  [pdf, other

    math.AT math.KT

    Compact sheaves on a locally compact space

    Authors: Oscar Harr

    Abstract: We describe the compact objects in the $\infty$-category of $\mathcal C$-valued sheaves $\text{Shv} (X,\mathcal C)$ on a hypercomplete locally compact Hausdorff space $X$, for $\mathcal C$ a compactly generated stable $\infty$-category. When $X$ is a non-compact connected manifold and $\mathcal C$ is the unbounded derived category of a ring, our result recovers a result of Neeman. Furthermore, for… ▽ More

    Submitted 22 September, 2023; v1 submitted 21 September, 2023; originally announced September 2023.

    Comments: corrects Lemma 3.2

    Report number: CPH-GeoTop-DNRF151

  22. arXiv:2309.07252  [pdf, ps, other

    math.LO cs.LO math.GN

    Towards solid abelian groups: A formal proof of Nöbeling's theorem

    Authors: Dagur Asgeirsson

    Abstract: Condensed mathematics, developed by Clausen and Scholze over the last few years, is a new way of studying the interplay between algebra and geometry. It replaces the concept of a topological space by a more sophisticated but better-behaved idea, namely that of a condensed set. Central to the theory are solid abelian groups and liquid vector spaces, analogues of complete topological groups. Nöbel… ▽ More

    Submitted 13 September, 2023; originally announced September 2023.

    Comments: 17 pages

    Report number: CPH-GEOTOP-DNRF151

  23. arXiv:2309.07123  [pdf, other

    math.KT math.AT

    Descent and Cyclotomic Redshift for Chromatically Localized Algebraic K-theory

    Authors: Shay Ben-Moshe, Shachar Carmeli, Tomer M. Schlank, Lior Yanovski

    Abstract: We prove that $T(n+1)$-localized algebraic $K$-theory satisfies descent for $π$-finite $p$-group actions on stable $\infty$-categories of chromatic height up to $n$, extending a result of Clausen-Mathew-Naumann-Noel for $p$-groups. Using this, we show that it sends $T(n)$-local Galois extensions to $T(n+1)$-local Galois extensions. Furthermore, we show that it sends cyclotomic extensions of height… ▽ More

    Submitted 13 September, 2023; originally announced September 2023.

    Comments: 66 pages, comments are welcome

    Report number: CPH-GEOTOP-DNRF151

  24. arXiv:2309.05024  [pdf, ps, other

    math.AT math.GR math.GT

    Simplicial bounded cohomology and stability

    Authors: Thorben Kastenholz, Robin J. Sroka

    Abstract: We introduce a set of combinatorial techniques for studying the simplicial bounded cohomology of semi-simplicial sets, simplicial complexes and posets. We apply these methods to prove several new bounded acyclicity results for semi-simplicial sets appearing in the homological stability literature. Our strategy is to recast classical arguments (due to Bestvina, Maazen, van der Kallen, Vogtmann, Cha… ▽ More

    Submitted 10 September, 2023; originally announced September 2023.

    Comments: 53 pages. Comments welcome!

    Report number: CPH-GEOTOP-DNRF151 MSC Class: 57M07; 20J06; 11E57

  25. arXiv:2308.15607  [pdf, other

    math.GT math.AT

    The Alexander trick for homology spheres

    Authors: Soren Galatius, Oscar Randal-Williams

    Abstract: We show that the group of homeomorphisms of a compact contractible $d$-manifold which fix the boundary is contractible, as long as $d \geq 6$. We deduce this from a strong uniqueness statement for one-sided $h$-cobordisms.

    Submitted 22 September, 2023; v1 submitted 29 August, 2023; originally announced August 2023.

    Comments: 15 pages, updated section 1.3 in v2

    Report number: CPH-GEOTOP-DNRF151 MSC Class: 57S05; 58D05; 57N65

  26. arXiv:2308.10182  [pdf, ps, other

    gr-qc math-ph math.DG

    A lower semicontinuous time separation function for $C^0$ spacetimes

    Authors: Eric Ling

    Abstract: The time separation function (or Lorentzian distance function) is a fundamental object used in Lorentzian geometry. For smooth spacetimes it is known to be lower semicontinuous, and in fact, continuous for globally hyperbolic spacetimes. Moreover, an axiom for Lorentzian length spaces - a synthetic approach to Lorentzian geometry - is the existence of a lower semicontinuous time separation functio… ▽ More

    Submitted 28 January, 2024; v1 submitted 20 August, 2023; originally announced August 2023.

    Comments: 18 pages. v2: change in definition of "nearly timelike curve"

    Report number: CPH-GEOTOP-DNRF151; CF21-0680

  27. arXiv:2308.09551  [pdf, other

    math.AG math.AT math.GT

    Moduli stack of stable curves from a stratified homotopy viewpoint

    Authors: Mikala Ørsnes Jansen

    Abstract: In 1984, Charney and Lee defined a category of stable curves and exhibited a rational homology equivalence from its geometric realisation to (the analytification of) the moduli stack of stable curves, also known as the Deligne-Mumford-Knudsen compactification. We strengthen this result by showing that, in fact, this category captures the stratified homotopy type of the moduli stack. In particular,… ▽ More

    Submitted 21 November, 2023; v1 submitted 18 August, 2023; originally announced August 2023.

    Comments: 55 pages (including a 15 page appendix on the Harvey compactification), 3 figures. Comments welcome; v2 minor changes

    Report number: CPH-GEOTOP-DNRF151

  28. arXiv:2308.09550  [pdf, ps, other

    math.AT math.AG

    Stratified homotopy theory of topological $\infty$-stacks: a toolbox

    Authors: Mikala Ørsnes Jansen

    Abstract: We exploit the theory of $\infty$-stacks to provide some basic definitions and calculational tools regarding stratified homotopy theory of stratified topological stacks.

    Submitted 21 November, 2023; v1 submitted 18 August, 2023; originally announced August 2023.

    Comments: 25 pages. Comments welcome; v2 minor changes

    Report number: CPH-GEOTOP-DNRF151

  29. arXiv:2308.06397  [pdf, ps, other

    math.AT math.AG

    Monodromy and mapping class groups of 3-dimensional hypersurfaces

    Authors: Oscar Randal-Williams

    Abstract: We describe the subgroup of the mapping class group of a hypersurface in $\mathbb{CP}^4$ consisting of those diffeomorphisms which can be realised by monodromy.

    Submitted 11 August, 2023; originally announced August 2023.

    Comments: 28 pages

    Report number: CPH-GEOTOP-DNRF151 MSC Class: 14M10; 14D05; 57R15; 57R50; 20E26

  30. arXiv:2308.01795  [pdf, ps, other

    math.AC math.KT

    A note on quadratic forms

    Authors: Fabian Hebestreit, Achim Krause, Maxime Ramzi

    Abstract: For a field extension $L/K$ we consider maps that are quadratic over $L$ but whose polarisation is only bilinear over $K$. Our main result is that all such are automatically quadratic forms over $L$ in the usual sense if and only if $L/K$ is formally unramified. In particular, this shows that over finite and number fields, one of the axioms in the standard definition of quadratic forms is superflu… ▽ More

    Submitted 6 February, 2024; v1 submitted 3 August, 2023; originally announced August 2023.

    Comments: 13 pages, v3: Minor changes, to appear in Bulletin of the LMS

    Report number: CPH-GEOTOP-DNRF151

  31. arXiv:2307.10830  [pdf, other

    hep-th math-ph math.QA

    A Wilson Line Realisation of Quantum Groups

    Authors: Nanna Aamand, Dani Kaufman

    Abstract: The study of this paper is Wilson line operators in 3-dimensional Chern-Simons theory on a manifold with boundaries. We prove to leading order through a direct calculation of Feynman integrals that the merging of parallel Wilson lines reproduces the coproduct on the quantum group $U_h(\mathfrak g)$. We outline a connection of this theory with the moduli spaces of local systems defined by Goncharov… ▽ More

    Submitted 21 September, 2023; v1 submitted 20 July, 2023; originally announced July 2023.

    Comments: 19 pages, 9 figures

    Report number: CPH-GEOTOP-DNRF151 MSC Class: 57K16 (Primary) 17B37 (Secondary)

  32. arXiv:2307.08664  [pdf, other

    math.AT

    Homology of configuration spaces of surfaces modulo an odd prime

    Authors: Andrea Bianchi, Andreas Stavrou

    Abstract: For a compact orientable surface $Σ_{g,1}$ of genus $g$ with one boundary component and for an odd prime number $p$, we study the homology of the unordered configuration spaces $C_\bullet(Σ_{g,1}):=\coprod_{n\ge0}C_n(Σ_{g,1})$ with coefficients in $\mathbb{F}_p$. We describe $H_*(C_\bullet(Σ_{g,1});\mathbb{F}_p)$ as a bigraded module over the Pontryagin ring $H_*(C_\bullet(D);\mathbb{F}_p)$, where… ▽ More

    Submitted 17 July, 2023; originally announced July 2023.

    Comments: 56 pages, 5 figures, comments are welcome!

    Report number: CPH-GEOTOP-DNRF151 MSC Class: 16E30; 20F36; 55R35; 55R80; 55U25

  33. arXiv:2306.12171  [pdf, ps, other

    math.DG

    Entropy Bounds for Self-shrinkers with Symmetries

    Authors: John Man Shun Ma, Ali Muhammad

    Abstract: In this work we derive explicit entropy bounds for two classes of closed self-shrinkers: the class of embedded closed self-shrinkers recently constructed in arXiv:2207.04851 using isoparametric foliations of spheres, and the class of compact non-spherical immersed rotationally symmetric self-shrinkers. These bounds generalize the entropy bounds found in arXiv:2202.08641 on the space of complete em… ▽ More

    Submitted 21 June, 2023; originally announced June 2023.

    Report number: CPH-GEOTOP-DNRF151

  34. arXiv:2306.03180  [pdf, other

    math.AT math.AG math.GR math.GT math.NT

    A presentation of symplectic Steinberg modules and cohomology of $\operatorname{Sp}_{2n}(\mathbb{Z})$

    Authors: Benjamin Brück, Peter Patzt, Robin J. Sroka

    Abstract: Borel-Serre proved that the integral symplectic group $\operatorname{Sp}_{2n}(\mathbb{Z})$ is a virtual duality group of dimension $n^2$ and that the symplectic Steinberg module $\operatorname{St}^ω_n(\mathbb{Q})$ is its dualising module. This module is the top-dimensional homology of the Tits building associated to $\operatorname{Sp}_{2n}(\mathbb{Q})$. We find a presentation of this Steinberg mod… ▽ More

    Submitted 5 June, 2023; originally announced June 2023.

    Comments: 98 pages, 34 figures. Comments welcome!

    Report number: CPH-GEOTOP-DNRF151 MSC Class: 11F75; 20E42; 55U10

  35. arXiv:2306.02345  [pdf, other

    math.AT

    Configuration spaces as commutative monoids

    Authors: Oscar Randal-Williams

    Abstract: After 1-point compactification, the collection of all unordered configuration spaces of a manifold admits a commutative multiplication by superposition of configurations. We explain a simple (derived) presentation for this commutative monoid object. Using this presentation, one can quickly deduce Knudsen's formula for the rational cohomology of configuration spaces, prove rational homological stab… ▽ More

    Submitted 4 June, 2023; originally announced June 2023.

    Comments: 11 pages, including an appendix with Quoc P. Ho

    Report number: CPH-GEOTOP-DNRF151 MSC Class: 55R80

  36. arXiv:2305.17697  [pdf, other

    math.AT math.GR math.NT

    Apartment classes of integral symplectic groups

    Authors: Benjamin Brück, Robin J. Sroka

    Abstract: In this note we present an alternative proof of a theorem of Gunnells, which states that the Steinberg module of $\operatorname{Sp_{2n}}(\mathbb{Q})$ is a cyclic $\operatorname{Sp_{2n}}(\mathbb{Z})$-module, generated by integral apartment classes.

    Submitted 12 June, 2023; v1 submitted 28 May, 2023; originally announced May 2023.

    Comments: v2: 16 pages. References updated. Comments welcome!

    Report number: CPH-GEOTOP-DNRF151 MSC Class: 11F75; 20E42; 55U10

  37. arXiv:2305.17236  [pdf, ps, other

    math.AT math.KT

    Separability in homotopical algebra

    Authors: Maxime Ramzi

    Abstract: We study the notion of \emph{separable algebras} in the context of symmetric monoidal stable $\infty$-categories. In the first part of this paper, we compare this context to that of tensor-triangulated categories and show that separable algebras and their modules in a symmetric monoidal stable $\infty$-category are, in large parts, controlled by the (tensor-triangulated) homotopy category. We also… ▽ More

    Submitted 9 October, 2023; v1 submitted 26 May, 2023; originally announced May 2023.

    Comments: 89 pages; v2: A mistake in section 4 was corrected (it does not affect the main example in this section); the following changes have also been made: the proof of theorem 2.15 was simplified; I have expanded upon the ind-separability of Lubin-Tate theories based on other perfect rings; and I have added an example of an applications of my results

    Report number: CPH-GEOTOP-DNRF151

  38. arXiv:2305.08231  [pdf, ps, other

    math.AT math.KT

    Quivers and the Adams spectral sequence

    Authors: Robert Burklund, Piotr Pstrągowski

    Abstract: In this paper, we describe a novel way of identifying Adams spectral sequence $E_2$-terms in terms of homological algebra of quiver representations. Our method applies much more broadly than the standard techniques based on descent-flatness, bearing on a varied array of ring spectra. In the particular case of $p$-local integral homology, we are able to give a decomposition of the $E_2$-term, descr… ▽ More

    Submitted 14 May, 2023; originally announced May 2023.

    Report number: CPH-GEOTOP-DNRF151

  39. arXiv:2305.01676  [pdf, other

    gr-qc hep-th math-ph math.DG

    On the initial singularity and extendibility of flat quasi-de Sitter spacetimes

    Authors: Ghazal Geshnizjani, Eric Ling, Jerome Quintin

    Abstract: Inflationary spacetimes have been argued to be past geodesically incomplete in many situations. However, whether the geodesic incompleteness implies the existence of an initial spacetime curvature singularity or whether the spacetime may be extended (potentially into another phase of the universe) is generally unknown. Both questions have important physical implications. In this paper, we take a c… ▽ More

    Submitted 1 November, 2023; v1 submitted 2 May, 2023; originally announced May 2023.

    Comments: 62 pages, 6 figures; v2: minor corrections and references added, matches published version

    Report number: CPH-GEOTOP-DNRF151; CF21-0680

    Journal ref: J. High Energ. Phys. 2023, 182 (2023)

  40. arXiv:2304.12812  [pdf, ps, other

    math.KT

    On the $K$-theory of pushouts

    Authors: Markus Land, Georg Tamme

    Abstract: We reveal a relation between the behaviour of localizing invariants $E$ on pushouts and on pullbacks of ring spectra. More concretely, we show that the failure of $E$ sending a pushout of ring spectra to a pushout is controlled by the value of $E$ on a pullback of ring spectra. Vice versa, in many situations, we show that the failure $E$ of sending a pullback square to a pullback is controlled by… ▽ More

    Submitted 25 April, 2023; originally announced April 2023.

    Comments: 47 pages

    Report number: CPH-GEOTOP-DNRF151

  41. arXiv:2304.11953  [pdf, ps, other

    math.DG math.AP

    Rigidity and non-existence results for collapsed translators

    Authors: Debora Impera, Niels Martin Møller, Michele Rimoldi

    Abstract: We prove a rigidity result for mean curvature self-translating solitons, characterizing the grim reaper cylinder as the only finite entropy self-translating 2-surface in $\mathbb{R}^3$ of width $π$ and bounded from below. The proof makes use of parabolicity in a weighted setting applied to a suitable universally $L$-superharmonic function defined on translaters in such slabs.

    Submitted 10 July, 2023; v1 submitted 24 April, 2023; originally announced April 2023.

    Comments: Expanded introduction. New result added (Theorem 1.6). All comments are welcome!

    Report number: DFF-7027-00110B; CF21-0680; CPH-GEOTOP-DNRF151 MSC Class: 53A10; 53E10 (49Q05; 53C42)

  42. arXiv:2304.08476  [pdf, ps, other

    math.AT math.AC

    Cohomology operations for moment-angle complexes and resolutions of Stanley-Reisner rings

    Authors: Steven Amelotte, Benjamin Briggs

    Abstract: A fundamental result in toric topology identifies the cohomology ring of the moment-angle complex $\mathcal{Z}_K$ associated to a simplicial complex $K$ with the Koszul homology of the Stanley--Reisner ring of $K$. By studying cohomology operations induced by the standard torus action on the moment-angle complex, we extend this to a topological interpretation of the minimal free resolution of the… ▽ More

    Submitted 26 May, 2023; v1 submitted 17 April, 2023; originally announced April 2023.

    Comments: V1: 29 pages, comments welcome. V2: updated based on some helpful comments; detail especially added to the identification of Hirsch-Brown models in section 4

    Report number: CPH-GEOTOP-DNRF151, HIM-Spectral-2022 MSC Class: 13F55; 57S12; 55U10

  43. arXiv:2304.07510  [pdf, other

    math.CO math.AC

    Special Folding of Quivers and Cluster Algebras

    Authors: Dani Kaufman

    Abstract: We give a precise definition of folded quivers and folded cluster algebras. We give many examples of including some with finite mutation structure that do not have analogues in the unfolded cases. We relate these examples to the finite mutation type quivers $X_6$ and $X_7$. We also construct a folded cluster algebra associated to triangulations of punctured surface which allow for triangulations s… ▽ More

    Submitted 15 April, 2023; originally announced April 2023.

    Comments: 18 pages, 25 figures

    Report number: CPH-GEOTOP-DNRF151 MSC Class: 13F60 (Primary); 05E40 (Secondary)

  44. arXiv:2304.02928  [pdf, ps, other

    math.CT math-ph

    Dagger categories via anti-involutions and positivity

    Authors: Luuk Stehouwer, Jan Steinebrunner

    Abstract: Dagger categories are an essential tool for categorical descriptions of quantum physics, but pose a challenge to category theorists as their definition is in tension with the ``principle of equivalence'' that lies at the heart of category theory. In this note we propose the alternative, coherent definition of an ``involutive category with a notion of positivity'' and show that the $2$-category f… ▽ More

    Submitted 6 April, 2023; originally announced April 2023.

    Comments: 23 pages

    Report number: MPIM-Bonn-2023, CPH-GEOTOP-DNRF151 MSC Class: 18M40

  45. arXiv:2304.02287  [pdf, ps, other

    math.AG

    Quotients of Nash Manifolds by Equivalence Relations

    Authors: Avraham Aizenbud, Shachar Carmeli, Dmitry Gourevitch, Lev Radzivilovski

    Abstract: We prove that a quotient of a Nash manifold $X$ by a closed equivalence relation $R\subset X\times X$, which is submersive over $X$, yields a Nash manifold $X/R$.

    Submitted 5 April, 2023; originally announced April 2023.

    Comments: 18 pages, comments are welcome

    Report number: CPH-GEOTOP-DNRF151 MSC Class: 14P20; 58A07

  46. arXiv:2304.00630  [pdf, ps, other

    math.AT

    Twisted homology operations for $E_{\infty}$-algebras

    Authors: Calista Bernard

    Abstract: We develop a theory of operations on the twisted homology of $E_{\infty}$-algebras, generalizing a classical theory developed by J.P. May. First we describe a framework suitable for discussing twisted coefficients, which requires working with $E_{\infty}$-algebras in certain categories of functors. In this context, we define twisted versions of the classical Dyer--Lashof operations, as well as a p… ▽ More

    Submitted 2 April, 2023; originally announced April 2023.

    Comments: 83 pages, 1 figure. Comments welcome

    Report number: CPH-GEOTOP-DNRF151

  47. arXiv:2303.13444  [pdf, ps, other

    math.AT math.KT

    Dirac geometry II: Coherent cohomology

    Authors: Lars Hesselholt, Piotr Pstragowski

    Abstract: Whatever it is that animates anima and breathes life into higher algebra, this something leaves its trace in the structure of a Dirac ring on the homotopy groups of a commutative algebra in spectra. In the prequel to this paper, we developed the commutative algebra of Dirac rings and defined the category of Dirac schemes. Here, we first embed this category in the larger infinity-category of Dirac… ▽ More

    Submitted 1 January, 2024; v1 submitted 23 March, 2023; originally announced March 2023.

    Comments: 96 pages

    Report number: CPH-GEOTOP-DNRF151

  48. arXiv:2303.11194  [pdf, ps, other

    math.AT

    Polynomial stability of the homology of Hurwitz spaces

    Authors: Andrea Bianchi, Jeremy Miller

    Abstract: For a finite group $G$ and a conjugation-invariant subset $Q\subseteq G$, we consider the Hurwitz space $\mathrm{Hur}_n(Q)$ parametrising branched covers of the plane with $n$ branch points, monodromies in $G$ and local monodromies in $Q$. For $i\ge0$ we prove that $\bigoplus_n H_i(\mathrm{Hur}_n(Q))$ is a finitely generated module over the ring $\bigoplus_n H_0(\mathrm{Hur}_n(Q))$. As a consequen… ▽ More

    Submitted 20 March, 2023; originally announced March 2023.

    Comments: 24 pages, 2 figures, comments are welcome

    Report number: CPH-GEOTOP-DNRF151 MSC Class: 20F36; 55R80; 55T05; 55U10; 55U15

  49. arXiv:2302.11869  [pdf, other

    math.AT

    The Adams differentials on the classes $h_j^3$

    Authors: Robert Burklund, Zhouli Xu

    Abstract: In filtration 1 of the Adams spectral sequence, using secondary cohomology operations, Adams computed the differentials on the classes $h_j$, resolving the Hopf invariant one problem. In Adams filtration 2, using equivariant and chromatic homotopy theory, Hill--Hopkins--Ravenel proved that the classes $h_j^2$ support non-trivial differentials for $j \geq 7$, resolving the celebrated Kervaire invar… ▽ More

    Submitted 25 May, 2023; v1 submitted 23 February, 2023; originally announced February 2023.

    Comments: Some typos corrected. 55 pages, 12 figures

    Report number: CPH-GEOTOP-DNRF151

  50. arXiv:2302.07391  [pdf, ps, other

    math.AT math.CO math.CT math.QA

    Topological proofs of categorical coherence

    Authors: Pierre-Louis Curien, Guillaume Laplante-Anfossi

    Abstract: In this note, we give a short topological proof of coherence for categorified non-symmetric operads by using the fact that the diagrams involved are the 1-skeleton of simply connected CW complexes. In particular, we obtain a "one-step" topological proof of MacLane's coherence theorem, as suggested by Kapranov in 1993. In addition, we use Morse theory to give a second topological proof which is ver… ▽ More

    Submitted 14 February, 2023; originally announced February 2023.

    Comments: 13 pages, 4 figures

    Report number: CPH-GEOTOP-DNRF151; MPIM-Bonn-2023 MSC Class: 18N20 (Primary) 52B11 (Secondary)