Related papers: Higher Segal spaces via higher excision

In 1970s Segal outlined proofs of two theorems relating spaces of Fredholm and self-adjoint Fredholm operators with Quillen's constructions used to define higher algebraic K-theory. In the present paper we provide detailed proofs of these…

We propose to extend ``invertibility'' to ``regularity'' for categories in general abstract algebraic manner. Higher regularity conditions and ``semicommutative'' diagrams are introduced. Distinction between commutative and…

Two groups are called isocategorical over a field $k$ if their respective categories of $k$-linear representations are monoidally equivalent. We classify isocategorical groups over arbitrary fields, extending the earlier classification of…

In this work we have obtained a higher-derivative Lagrangian for a charged fluid coupled with the electromagnetic fluid and the Dirac's constraints analysis was discussed. A set of first-class constraints fixed by noncovariant gauge…

We revisit the definition of Cartesian differential categories, showing that a slightly more general version is useful for a number of reasons. As one application, we show that these general differential categories are comonadic over…

For a general dyadic grid, we give a Calder\'{o}n-Zygmund type decomposition, which is the principle fact about the multilinear maximal function $\mathfrak{M}$ on the upper half-spaces. Using the decomposition, we study the boundedness of…

We consider strong external difference families (SEDFs); these are external difference families satisfying additional conditions on the patterns of external diferences that occur, and were first defined in the context of classifying optimal…

We give simple upper bounds for rational sectional category and use them to compute invariants of the type of Farber's topological complexity of rational spaces. In particular we show that the sectional category of formal morphisms reaches…

In this article we provide a classification of the projective transformations in $PSL(n+1,\Bbb{C})$ considered as automorphisms of the complex projective space $\Bbb{P}^n$. Our classification is an interplay between algebra and dynamics,…

We introduce a new class of $\mathfrak{sl}_2$-triples in a complex simple Lie algebra $\mathfrak{g}$, which we call magical. Such an $\mathfrak{sl}_2$-triple canonically defines a real form and various decompositions of $\mathfrak{g}$.…

We prove that the Fukaya-Seidel categories of a certain family of singularities on $\mathbb{C}^d$ are equivalent to the perfect derived categories of higher Auslander algebras of Dynkin type A. We relate these to the Fukaya-Seidel…

We study the relationship between partial map classifiers, Sierpi\'nski cones, and axioms for synthetic higher categories and domains within univalent foundations. In particular, we show that synthetic $\infty$-categories are closed under…

Let V be a rational quadratic space of signature (m,2). A conjecture of Kudla relates the arithmetic degrees of top degree special cycles on an integral model of a Shimura variety associated with SO(V) to the coefficients of the central…

We study how the concept of higher-dimensional extension which comes from categorical Galois theory relates to simplicial resolutions. For instance, an augmented simplicial object is a resolution if and only if its truncation in every…

We define and study the categorical sequence of a space, which is a new formalism that streamlines the computation of the Lusternik-Schnirelmann category of a space X by induction on its CW skeleta. The k-th term in the categorical sequence…

We give a new proof of Witten asymptotic conjecture for Seifert manifolds with non vanishing Euler class and one exceptional fiber. Our method is based on semiclassical analysis on a two dimensional phase space torus. We prove that the…

A characterization of simplicial objects in categories with finite products obtained by the reduced bar construction is given. The condition that characterizes such simplicial objects is a strictification of Segal's condition guaranteeing…

A second order family of special Lagrangian submanifolds of complex m-space is a family characterized by the satisfaction of a set of pointwise conditions on the second fundamental form. For example, the set of ruled special Lagrangian…

Let $X$ be an algebraic stack with quasi-affine diagonal of finite type over a field $k$ of characteristic $0$. We extend the well-known equivalence $\mathsf{D}^+(\mathsf{QCoh}(X)) \simeq \mathsf{D}_{\mathrm{qc}}^+(X)$ to unbounded derived…

The extension of the standard model's minimal Higgs sector with an inert $SU(2)_L$ scalar doublet can provide light dark matter candidate and simultaneously induce a strong phase transition for explaining Baryogenesis. There is however no…