-
arXiv:2403.15572 [pdf, ps, other]
Bounding the $K(p-1)$-local exotic Picard group at $p>3$
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
-
A classification result for eternal mean convex flows of finite total curvature type
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
-
arXiv:2403.06724 [pdf, ps, other]
A note on the Segal conjecture for large objects
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
-
$\mathrm{SL}_2$-like Properties of Matrices Over Noncommutative Rings and Generalizations of Markov Numbers
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)
-
arXiv:2402.15850 [pdf, ps, other]
$\mathbb{E}_{\infty}$-coalgebras and $p$-adic homotopy theory
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
-
arXiv:2402.11315 [pdf, ps, other]
Rigidity aspects of Penrose's singularity theorem
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
-
The topology of spaces of holomorphic maps to projective space
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
-
On the discrete Dirac spectrum of general-relativistic hydrogenic ions with anomalous magnetic moment
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
-
arXiv:2401.06510 [pdf, ps, other]
Every spectrum is the K-theory of a stable $\infty$-category
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
-
arXiv:2401.05953 [pdf, ps, other]
On two quotients of $S^2\times S^2$
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
-
Profinite $\infty$-operads: Part II
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
-
arXiv:2312.09889 [pdf, ps, other]
A short proof that Rezk's nerve is fully faithful
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
-
Homological stability for the space of hypersurfaces with marked points
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
-
arXiv:2311.13715 [pdf, ps, other]
Examples of cosmological spacetimes without CMC Cauchy surfaces
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
-
Scanning the moduli of smooth hypersurfaces
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)
-
The derived category of a locally compact space is rarely smooth
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
-
$K$-theoretic counterexamples to Ravenel's telescope conjecture
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
-
arXiv:2310.08400 [pdf, ps, other]
Koszul homomorphisms and universal resolutions in local algebra
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
-
Chromatic Cardinalities via Redshift
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
-
arXiv:2309.12734 [pdf, ps, other]
On the Non-Existence of J-Homomorphisms of Higher Height
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
-
Compact sheaves on a locally compact space
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
-
arXiv:2309.07252 [pdf, ps, other]
Towards solid abelian groups: A formal proof of Nöbeling's theorem
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
-
Descent and Cyclotomic Redshift for Chromatically Localized Algebraic K-theory
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
-
arXiv:2309.05024 [pdf, ps, other]
Simplicial bounded cohomology and stability
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
-
The Alexander trick for homology spheres
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
-
arXiv:2308.10182 [pdf, ps, other]
A lower semicontinuous time separation function for $C^0$ spacetimes
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
-
Moduli stack of stable curves from a stratified homotopy viewpoint
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
-
arXiv:2308.09550 [pdf, ps, other]
Stratified homotopy theory of topological $\infty$-stacks: a toolbox
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
-
arXiv:2308.06397 [pdf, ps, other]
Monodromy and mapping class groups of 3-dimensional hypersurfaces
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
-
arXiv:2308.01795 [pdf, ps, other]
A note on quadratic forms
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
-
A Wilson Line Realisation of Quantum Groups
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)
-
Homology of configuration spaces of surfaces modulo an odd prime
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
-
arXiv:2306.12171 [pdf, ps, other]
Entropy Bounds for Self-shrinkers with Symmetries
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
-
A presentation of symplectic Steinberg modules and cohomology of $\operatorname{Sp}_{2n}(\mathbb{Z})$
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
-
Configuration spaces as commutative monoids
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
-
Apartment classes of integral symplectic groups
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
-
arXiv:2305.17236 [pdf, ps, other]
Separability in homotopical algebra
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
-
arXiv:2305.08231 [pdf, ps, other]
Quivers and the Adams spectral sequence
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
-
On the initial singularity and extendibility of flat quasi-de Sitter spacetimes
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)
-
arXiv:2304.12812 [pdf, ps, other]
On the $K$-theory of pushouts
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
-
arXiv:2304.11953 [pdf, ps, other]
Rigidity and non-existence results for collapsed translators
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)
-
arXiv:2304.08476 [pdf, ps, other]
Cohomology operations for moment-angle complexes and resolutions of Stanley-Reisner rings
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
-
Special Folding of Quivers and Cluster Algebras
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)
-
arXiv:2304.02928 [pdf, ps, other]
Dagger categories via anti-involutions and positivity
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
-
arXiv:2304.02287 [pdf, ps, other]
Quotients of Nash Manifolds by Equivalence Relations
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
-
arXiv:2304.00630 [pdf, ps, other]
Twisted homology operations for $E_{\infty}$-algebras
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
-
arXiv:2303.13444 [pdf, ps, other]
Dirac geometry II: Coherent cohomology
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
-
arXiv:2303.11194 [pdf, ps, other]
Polynomial stability of the homology of Hurwitz spaces
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
-
The Adams differentials on the classes $h_j^3$
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
-
arXiv:2302.07391 [pdf, ps, other]
Topological proofs of categorical coherence
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)