http://arxiv.org/api/TouKxlhuSQRSj1wV1nRS0+CunSY 2025-05-09T00:00:00-04:00 16568 270 15 http://arxiv.org/abs/2209.05103v2 2025-03-24T10:24:02Z 2022-09-12T09:16:27Z

The goal of this article is to develop the theory of presentable categories and topoi internal to an arbitrary $\infty$-topos $\mathcal{B}$. Our main results are internal analogues of Lurie's and Lurie-Simpson's characterisations of presentable $\infty$-categories and $\infty$-topoi. In the process, we introduce a theory of internal filteredness and accessible internal categories and establish a number of structural results about presentable $\mathcal{B}$-categories such as adjoint functor theorems and the existence of an internal analogue of the Lurie tensor product. We also compare these internal notions with external variants. We show that $\mathcal{B}$-modules embed fully faithfully into presentable $\mathcal{B}$-categories and prove that there is an equivalence between topoi internal to $\mathcal{B}$ and $\infty$-topoi over $\mathcal{B}$. We also include a number of applications of our results, such as a general version of Diaconescu's theorem for $\infty$-topoi and a characterisation of locally contractible geometric morphisms in terms of smoothness.

Louis Martini Sebastian Wolf Major update: Has been merged with arXiv:2303.06437. Also includes a section on localic B-topoi that was formerly contained in the appendices to arXiv:2311.08051. Also containes some new results on the relation between presentable B-categories and B-modules in PrL http://arxiv.org/abs/2501.10241v2 2025-03-24T08:43:17Z 2025-01-17T15:10:02Z

We study local systems of $(\infty,n)$-categories on spaces. We prove that categorical local systems are captured by (higher) monodromy data: in particular, if $X$ is $(n+1)$-connected, then local systems of $(\infty,n)$-categories over $X$ can be described as $\mathbb{E}_{n+1}$-modules over the iterated loop space $\Omega_{n+1}X$. This generalizes the classical monodromy equivalence presenting ordinary local systems as modules over the based loop spaces. Along the way we revisit from the perspective of $\infty$-categories Teleman's influential theory of topological group actions on categories, and we extend it to topological actions on $(\infty,n)$-categories. Finally, we show that the group of invertible objects in the category of local systems of $(\infty,n)$-categories over an $n$-connected space $X$ is isomorphic to the group of characters of $\pi_n(X)$. This should be thought of as a topological analogue of the higher Brauer group of the space $X$. We conclude the paper with applications of the theory of categorical local systems to the fiberwise Fukaya category of symplectic fibrations.

James Pascaleff Emanuele Pavia Nicolò Sibilla Removed sections 4 and 5 of arXiv:2501.10241v1 ; minor corrections and edits http://arxiv.org/abs/2105.13526v4 2025-03-24T04:38:50Z 2021-05-28T00:57:46Z

We compute the $\rm{SO}(n+1)$-equivariant mod $2$ Borel cohomology of the free iterated loop space $Z^{S^n}$ when $Z$ is a mod $2$ generalized Eilenberg Mac Lane space. When $n=1$, this recovers B\"okstedt and Ottosen's computation for the free loop space. The highlight of our computation is a construction of cohomology classes using an $\mathrm{O}(n)$-equivariant evaluation map and a pushforward map.

Ishan Levy Justin Wu 31 pages, major revisions http://arxiv.org/abs/1903.09191v2 2025-03-23T13:11:54Z 2019-03-21T18:44:35Z

Using a variant of the Boardman-Vogt tensor product, we construct an action of the Grothendieck-Teichm\"uller group on the completion of the little n-disks operad $E_n$. This action is used to establish a partial formality theorem for $E_n$ with mod $p$ coefficients and to give a new proof of the formality theorem in characteristic zero.

Pedro Boavida de Brito Geoffroy Horel 10.1112/jlms.12442 35 pages http://arxiv.org/abs/2502.19147v2 2025-03-23T13:01:26Z 2025-02-26T14:05:53Z

This is my old unpublished paper called "The generalized Grassmann invariant". It shows how "pictures" also known as "Peiffer diagrams" represent elements of $H_3G$ for any group $G$ and shows that $K_3(\mathbb Z [G])$ is isomorphic to a group of deformation classes of pictures for the Steinberg group of $\mathbb Z[G]$. A picture representing an element of order $16$ in $K_3(\mathbb Z)\cong \mathbb Z_{48}$ is also constructed. In this updated version of the paper, we modify only the pictures and leave the text more or less unchanged. We also added an Appendix to explain the new pictures using representations of quivers and root systems of type $A_n$. Often, some roots are missing in the Morse pictures. We give two ideas to replace these roots. One uses "ghost handle slides" to obtain a standard picture. The second idea uses the (real) Cartan subalgebra $H$ to obtain a "relative" picture for a torsion class and adds "ghost modules" which are directly related to the generalized Grassmann invariant. Additions and changes are in blue except the pictures are black with colored ghosts.

Kiyoshi Igusa 47 pages, 9 figures, v2: preview of more precise description of ghost modules added with reference http://arxiv.org/abs/2211.02349v2 2025-03-23T12:59:51Z 2022-11-04T10:05:19Z

We produce a fully faithful functor from finite type nilpotent spaces to cosimplicial binomial rings, thus giving an algebraic model of integral homotopy types. As an application, we construct an integral version of the Grothendieck-Teichm\"uller group.

Geoffroy Horel 23 pages http://arxiv.org/abs/2503.17972v1 2025-03-23T07:41:23Z 2025-03-23T07:41:23Z

In this chapter we give a geometric representation of $H_{n}(B;\mathbb{L})$ classes, where $\mathbb{L}$ is the $4$-periodic surgery spectrum, by establishing a relationship between the normal cobordism classes ${\mathcal{N}}^{H}_{n}(B,\partial)$ and the $n$-th $\mathbb{L}$-homology of $B$, representing the elements of $H_{n}(B;\mathbb{L})$ by normal degree one maps with a reference map to $B$. More precisely, we prove that for every $n \ge 6$ and every finite complex $B,$ there exists a map $\Gamma: H_n(B;\mathbb{L}) \longrightarrow \mathcal{N}^{H}_{n}(B,\partial).$

Friedrich Hegenbarth Dušan D. Repovš Essays on Topology: Dedicated to Valentin Poenaru, L. Funar and A. Papadopoulos, Eds., Springer Verlag, Berlin, 2025, Chapter 19 http://arxiv.org/abs/2106.06794v5 2025-03-22T09:03:38Z 2021-06-12T15:17:57Z

We introduce two new homology theories of orbifolds from some special type of triangulations adapted to orbifolds, called AW-homology and DW-homology. The main idea in the definitions of these two homology theories is that we use divisibly weighted simplices as the building blocks of an orbifold and encode the orders of the local groups of the orbifold in the boundary maps of their chain complexes so that these two theories can reflect some structural information of the singular set of the orbifold. We prove that AW-homology and DW-homology groups are invariants of compact orbifolds under orbifold isomorphisms and more generally under certain type of homotopy equivalences of orbifolds. Moreover, we find that there exists a natural graded commutative product in the cohomology theory corresponding to the DW-homology, which generalizes the cup product in the ordinary simplicial cohomology. In addition, we introduce a broader class of objects called weighted polyhedra and develop our AW-homology and DW-homology theory in this broader setting. Our goal is to generalize the whole simplicial homology and cohomology theory to any triangulable topological space with a weight function that is compatible with its triangulation.

Yin Wei Lisu Wu Li Yu 72 pages, 16 figures, some new contents are added http://arxiv.org/abs/2211.16042v4 2025-03-22T08:47:25Z 2022-11-29T09:26:44Z

We establish an intriguing relation of the smooth theta divisor $\Theta^n$ with permutohedron $\Pi^n$ and the corresponding toric variety $X_\Pi^n.$ In particular, we show that the generalised Todd genus of the theta divisor $\Theta^n$ coincides with $h$-polynomial of permutohedron $\Pi^n$ and thus is different from the same genus of $X_\Pi^n$ only by the sign $(-1)^n.$ As an application we find all the Hodge numbers of the theta divisors in terms of the Eulerian numbers. We reveal also interesting numerical relations between theta-divisors and Tomei manifolds from the theory of the integrable Toda lattice.

V. M. Buchstaber A. P. Veselov Slightly revised and extended version http://arxiv.org/abs/2503.17595v1 2025-03-22T00:50:09Z 2025-03-22T00:50:09Z

Through this paper, we show that $\text{TC}_r(Z)\leq r\cdot \text{cat}(Z)+\chi_{\pi}(Z)$, for any simply-connected elliptic space $Z$ admitting a pure minimal Sullivan model with a differential of constant length. Here $\chi_{\pi}(Z)$ denotes the homotopy characteristic and $r$ is an integer greater or equals than $2$. We also give a lower bound for $\text{TC}_r$ in the framework of coformal spaces and we compute the exact value of $\text{TC}_r$ for certain families of spaces.

Said Hamoun http://arxiv.org/abs/2503.11931v2 2025-03-21T17:45:22Z 2025-03-15T00:40:30Z

We examine positive and negative results for the Gromov-Lawson-Rosenberg Conjecture within the class of crystallographic groups. We give necessary conditions within the class of split extensions of free abelian by cyclic groups to satisfy the unstable Gromov-Lawson-Rosenberg Conjecture. We also give necessary conditions within the same class of groups, producing an infinite number of counterexamples for the conjecture.

Noe Barcenas Mario Velasquez http://arxiv.org/abs/2503.10828v2 2025-03-21T17:37:36Z 2025-03-13T19:17:03Z

We study the topology of the space of all smooth asymptotically stable vector fields on $\mathbb{R}^n$, as well as the space of all proper smooth Lyapunov functions for such vector fields. We prove that both spaces are path-connected and simply connected when $n\neq 4,5$ and weakly contractible when $n\leq 3$. Moreover, both spaces have the weak homotopy type of the nonlinear Grassmannian of submanifolds of $\mathbb{R}^n$ diffeomorphic to the $n$-disc. The proofs rely on Lyapunov theory and differential topology, such as the work of Smale and Perelman on the generalized Poincar\'{e} conjecture and results of Smale, Cerf, and Hatcher on the topology of diffeomorphism groups of discs. Applications include a partial answer to a question of Conley, a parametric Hartman-Grobman theorem for nonyperbolic but asymptotically stable equilibria, and a parametric Morse lemma for degenerate minima. We also study the related topics of hyperbolic equilibria, Morse minima, and relative homotopy groups of the space of asymptotically stable vector fields inside the space of those vanishing at a single point.

Matthew D. Kvalheim 35 pages; version 2 improves exposition and former section 9, now an appendix http://arxiv.org/abs/2503.17331v1 2025-03-21T17:32:01Z 2025-03-21T17:32:01Z

In this paper, we introduce a shape descriptor that we call "interior function". This is a Topological Data Analysis (TDA) based descriptor that refines previous descriptors for image analysis. Using this concept, we define subcomplex lacunarity, a new index that quantifies geometric characteristics of necrosis in tumors such as conglomeration. Building on this framework, we propose a set of indices to analyze necrotic morphology and construct a diagram that captures the distinct structural and geometric properties of necrotic regions in tumors. We present an application of this framework in the study of MRIs of Glioblastomas (GB). Using cluster analysis, we identify four distinct subtypes of Glioblastomas that reflect geometric properties of necrotic regions.

Francisco Tellez Enrique Torres-Giese http://arxiv.org/abs/2503.17131v1 2025-03-21T13:31:00Z 2025-03-21T13:31:00Z

We show that a smaller version of the Kontsevich graph complex spanned by triconnected graphs is quasi-isomorphic to the full Kontsevich graph complex.

Thomas Willwacher http://arxiv.org/abs/2502.06154v2 2025-03-21T09:43:33Z 2025-02-10T04:59:03Z

We reformulate the Kashiwara-Vergne groups and associators in higher genera, introduced in Alekseev-Kawazumi-Kuno-Naef, in terms of non-commutative connections using the tools developed in a previous paper. As the main result, the case of closed surfaces is dealt with to determine the pro-unipotent automorphism group of the associated graded of the Goldman-Turaev Lie bialgebra.

Toyo Taniguchi 31 pages, 3 figures. Minor improvements