Related papers: Comparing orthogonal calculus and calculus with Re…
In previous work, we develop a generalized Waldhausen $S_{\bullet}$-construction whose input is an augmented stable double Segal space and whose output is a unital 2-Segal space. Here, we prove that this construction recovers the previously…
We exhibit a curious link between the Quadratic Orthogonal Bisectional Curvature, combinatorics, and distance geometry. The Weitzenb\"ock curvature operator, acting on real (1,1)--forms, is realized as the Dirichlet energy of a finite…
We construct a reparametrization invariant two-point function for c=-2 conformal matter coupled to two-dimensional quantum gravity. From the two-point function we extract the critical indices \nu and \eta. The results support the quantum…
We establish common fixed point theorems for two pairs of weakly compatible self-mappings using an auxiliary function of two variables. Unlike classical results, our theorems do not assume continuity of the mappings and require completeness…
We prove upper pointwise estimates for the Bergman kernel of the weighted Fock space of entire functions in $L^2(e^{-2\phi})$ where $\phi$ is a subharmonic function with $\Delta \phi$ a doubling measure. We derive estimates for the…
We identify Whittaker vectors for $\mathcal{W}_k(\mathfrak{g})$-modules with partition functions of higher Airy structures. This implies that Gaiotto vectors, describing the fundamental class in the equivariant cohomology of a suitable…
In this note, we compare the two approaches to semiring schemes as topological spaces with a structure sheaf and as a functor of points. We explain and prove the following two results: (1) the topological space can be recovered from the…
We present an axiomatic approach to finite- and infinite-dimensional differential calculus over arbitrary infinite fields (and, more generally, suitable rings). The corresponding basic theory of manifolds and Lie groups is developed.…
We show that a Lagrangian inclusion in $\mathbb C^2$ with double transverse self-intersection points and standard open Whitney umbrellas is rationally convex. As an application we show that any compact surface $S$, except $S^2$ and $\mathbb…
A real representation theory of real Clifford algebra has been studied in further detail, especially in connection with Fierz identities. As its application, we have constructed real octonion algebras as well as related octonionic triple…
We develop an approach to Goodwillie's calculus of functors using the techniques of higher topos theory. Central to our method is the introduction of the notion of fiberwise orthogonality, a strengthening of ordinary orthogonality which…
Taylor's theorem (and its variants) is widely used in several areas of mathematical analysis, including numerical analysis, functional analysis, and partial differential equations. This article explains how Taylor's theorem in its most…
Our paper is the first study of what one might call "reverse mathematics of explicit fixpoints". We study two methods of constructing such fixpoints for formulas whose principal connective is the intuitionistic Lewis arrow. Our main…
In differential algebra, a proper scheme $X$ defined over an algebraically closed field $K$ with a derivation $\partial$ on it descends to the field of constants $K^\partial$ if $X$ itself lifts the derivation $\partial$. This is a result…
We prove that the Cuntz semigroup is recovered functorially from the Elliott invariant for a large class of C*-algebras. In particular, our results apply to the largest class of simple C*-algebras for which K-theoretic classification can be…
This paper uses the framework of reverse mathematics to investigate the strength of two recurrence theorems of topological dynamics. It establishes that one of these theorems, the existence of an almost periodic point, lies strictly between…
We develop a new framework to study real $K$-theory in the context of $\infty$-categories. For this, we introduce Waldhausen $\infty$-categories with genuine duality, which will be the input for such $K$-theory. These are Waldhausen…
We study a quantum version of the Kazhdan-Lusztig functor. Namely, we prove that there exists a fully faithfull exact tensor functor from the category of finite dimensional representations of the quantum affine algebra Uq(sl(n)) (with…
A $t$-structure $t=(C_{t\le 0},C_{t\ge 0})$ on a triangulated category $C$ is right adjacent to a weight structure $w=(C_{w\le 0}, C_{w\ge 0})$ if $C_{t\ge 0}=C_{w\ge 0}$; then $t$ can be uniquely recovered from $w$ and vice versa. We prove…
In this paper a novel calculus system has been established based on the concept of 'werden'. The basis of logic self-contraction of the theories on current calculus was shown. Mistakes and defects in the structure and meaning of the…