English
Related papers

Related papers: Synthetic Homotopy Theory

200 papers

We show that variants of the classical reflection functors from quiver representation theory exist in any abstract stable homotopy theory, making them available for example over arbitrary ground rings, for quasi-coherent modules on schemes,…

Algebraic Topology · Mathematics 2016-02-03 Moritz Groth , Jan Šťovíček

The recently proposed differential homotopy approach to the analysis of nonlinear higher spin theory is developed. The Ansatz is extended to the form applicable in the second order of the perturbation theory and general star-multiplication…

High Energy Physics - Theory · Physics 2026-01-27 P. T. Kirakosiants , D. A. Valerev , M. A. Vasiliev

In this paper, we present a directed homotopy type theory for reasoning synthetically about (higher) categories, directed homotopy theory, and its applications to concurrency. We specify a new `homomorphism' type former for Martin-L\"of…

Logic in Computer Science · Computer Science 2018-07-30 Paige Randall North

We establish a kind of "degree zero Freudenthal Gm-suspension theorem" in motivic homotopy theory. From this we deduce results about the conservativity of the P^1-stabilization functor. In order to establish these results, we show how to…

K-Theory and Homology · Mathematics 2022-01-12 Tom Bachmann

Homotopy Brouwer theory is a tool to study the dynamics of surface homeomorphisms. We introduce and illustrate the main objects of homotopy Brouwer theory, and provide a proof of Handel's fixed point theorem. These are the notes of a…

Dynamical Systems · Mathematics 2012-08-07 Frédéric Le Roux

We construct a discrete model of the homotopy theory of $S^1$-spaces. We define a category $\sP$ with objects composed of a simplicial set and a cyclic set along with suitable compatibility data. $\sP$ inherits a model structure from the…

Algebraic Topology · Mathematics 2007-05-23 Andrew J. Blumberg

We study the homotopy type of the simplicial set of continuous semi-algebraic simplexes of an algebraic variety defined over a real closed field, which we will call the real homotopy type. We prove an analogue of the theorem of Artin-Mazur…

Algebraic Geometry · Mathematics 2022-07-05 Ambrus Pál

A p-compact group is a mod p homotopy theoretical analogue of a compact Lie group. It is determined the homotopy nilpotency class of a p-compact group having the homotopy type of the $p$-completion of the direct product of spheres.

Algebraic Topology · Mathematics 2007-10-23 Shizuo Kaji , Daisuke Kishimoto

We reveal a divergent issue associated with the mean-field theory for Bose gases in optical lattices constructed by the widely used straightforward mean-field decoupling of the hopping term, where the corresponding mean-field Hamiltonian…

Quantum Gases · Physics 2022-03-02 Liang He , Su Yi

In this paper, we introduce fundamental notions of homotopy theory, including homotopy excision and the Freudenthal suspension theorem. We then explore framed cobordism and its connection to stable homotopy groups of spheres through the…

Algebraic Topology · Mathematics 2025-03-17 Trishan Mondal

We classify a number of symmetry protected phases using Freed-Hopkins' homotopy theoretic classification. Along the way we compute the low-dimensional homotopy groups of a number of novel cobordism spectra.

Algebraic Topology · Mathematics 2017-08-16 Jonathan A. Campbell

The goal of this paper is to give a new method of constructing finite-dimensional semisimple triangular Hopf algebras, including minimal ones which are non-trivial (i.e. not group algebras). The paper shows that such Hopf algebras are quite…

Quantum Algebra · Mathematics 2007-05-23 Pavel Etingof , Shlomo Gelaki

We study the $\mathbb{F}_2$-synthetic Adams spectral sequence. We obtain new computational information about $\mathbb{C}$-motivic and classical stable homotopy groups.

Algebraic Topology · Mathematics 2024-08-05 Robert Burklund , Daniel C. Isaksen , Zhouli Xu

We develop a robust foundation for studying the fundamental group(oid) in discrete homotopy theory, including: equivalent definitions and basic properties, the theory of covering graphs, and the discrete version of the Seifert-van Kampen…

Combinatorics · Mathematics 2025-12-23 Chris Kapulkin , Udit Mavinkurve

Let G be a finite group. The unit sphere in a finite-dimensional orthogonal G-representation motivates the definition of homotopy representations, due to tom Dieck. We introduce an algebraic analogue, and establish its basic properties…

Algebraic Topology · Mathematics 2017-08-29 Ian Hambleton , Ergun Yalcin

The purpose of this paper is to establish several new results about the Hodge theory of Lagrangian fibrations on (not necessarily compact) holomorphic symplectic manifolds. Let $M$ be a holomorphic symplectic manifold of dimension $2n$ that…

Algebraic Geometry · Mathematics 2026-03-17 Christian Schnell

Working in the context of symmetric spectra, we prove higher homotopy excision and higher Blakers-Massey theorems, and their duals, for algebras and left modules over operads in the category of modules over a commutative ring spectrum…

Algebraic Topology · Mathematics 2016-05-06 Michael Ching , John E. Harper

This paper concentrates on optical Hamiltonian systems of $T*\T^n$, i.e. those for which $\Hpp$ is a positive definite matrix, and their relationship with symplectic twist maps. We present theorems of decomposition by symplectic twist maps…

Dynamical Systems · Mathematics 2009-09-25 Christopher Golé

In this article we consider the homotopy theory of stratified spaces through a simplicial point of view. We first consider a model category of filtered simplicial sets over some fixed poset $P$, and show that it is a simplicial…

Algebraic Topology · Mathematics 2020-03-24 Sylvain Douteau

The paper is the survey of the modern results and applications of the theory of homotopes. The notion of a well-tempered element in an associative algebra is introduced and it is proven that the category of representations of the homotope…

Representation Theory · Mathematics 2021-08-11 Alexey Bondal , Ilya Zhdanovskiy