Related papers: The Cobordism Hypothesis in Dimension 1

This paper reformulates Goodwillie calculus of $\infty$-categories including non-presentable $\infty$-categories. In the case of presentable $\infty$-categories our definition is equivalent to Heuts's~\cite{Heuts2018} work. As an…

The straightening-unstraightening correspondence of Grothendieck--Lurie provides an equivalence between cocartesian fibrations between $(\infty, 1)$-categories and diagrams of $(\infty, 1)$-categories. We provide an alternative proof of…

The codimension-three conjecture states that any regular holonomic module extends uniquely beyond an analytic subset with codimension equal to or larger than three. We give a proof of this conjecture.

We present some results from classical homological algebra using the language of cotorsion theories in abelian categories. The results are a couple of foundational facts about homological dimension, the Kunneth formula and the universal…

In [1], Theorem 3, the authors proved, in one dimension, a generalization of the Hopf Lemma, and the question arose if it could be extended to higher dimensions. In this paper we present two conjectures as possible extensions, and give a…

We determine all restrictions on the dimension of the fixed locus of a diagonalizable group acting on a smooth projective variety that arise from the Chern numbers of the ambient variety. We reduce the problem to finding lower bounds for…

Coboundary expansion is a high dimensional generalization of the Cheeger constant to simplicial complexes. Originally, this notion was motivated by the fact that it implies topological expansion, but nowadays a significant part of the…

The evenness conjecture for the equivariant unitary bordism groups states that these bordism groups are free modules over the unitary bordism ring on even-dimensional generators. In this paper we review the cases in which the conjecture is…

We present constructive versions of Krull's dimension theory for commutative rings and distributive lattices. The foundations of these constructive versions are due to Joyal, Espan\~ol and the authors. We show that this gives a constructive…

We construct a cohomology theory using quasi-smooth derived schemes as generators and an analogue of the bordism relation using derived fibre products as relations. This theory has pull-backs along all morphisms between smooth schemes…

We construct a certain `cobordism category' ${\cal D}$ whose morphisms are suitably decorated cobordism classes between similarly decorated closed oriented 1-manifolds, and show that there is essentially a bijection between…

It has been proposed that cobordism and K-theory groups, which can be mathematically related in certain cases, are physically associated to generalised higher-form symmetries. As a consequence, they should be broken or gauged in any…

In this note we sketch a proof of a fundamental conjecture, the codimension-three conjecture, for microdifferential holonomic systems with regular singularities. It states that any regular holonomic E-module extends beyond a…

Kaufman's dimension doubling theorem states that for a planar Brownian motion $\{\mathbf{B}(t): t\in [0,1]\}$ we have $$\mathbb{P}(\dim \mathbf{B}(A)=2\dim A \textrm{ for all } A\subset [0,1])=1,$$ where $\dim$ may denote both Hausdorff…

We give a K-theory proof of the invariance under cobordism of the family index. We consider elliptic pseudodifferential families on a continuous fibre bundle with smooth fibres over a compact base space B, and define a notion of cobordant…

We prove a stronger version of a conjecture stated in a paper from 2017 by J. M. Ash and S. Catoiu concerning relations between various notions of the Lipschitz property and differentiability in the Euclidean plane. We also provide an…

We introduce the universal unitarily graded A-algebra for a commutative ring A and an arbitrary abelian extension U of the group of units of A, and use this concept to give simplified proofs of the main theorems of co-Galois theory in the…

We present the concept of cotorsion pairs cut along subcategories of an abelian category. This provides a generalization of complete cotorsion pairs, and represents a general framework to find approximations restricted to certain…

The Pappas-Rapoport coherence conjecture, proved by Zhu, states that the dimensions of spaces of sections of certain line bundles coincide. The two sides of the equality correspond to the line bundles on spherical Schubert varieties in the…

We give a more detailed construction of the operation "intersection with a pseudo-divisor" in algebraic cobordism. Using arguments from Levine-Morel, Algebraic Cobordism, sections 6.2, 6.3, this gives a new proof of the contravariant…