相关论文: Models For The Maclaurin Tower Of A Simplicial Fun…
The distance conjecture claims that as the modulus traverses along the trans-Planckian geodesic distance, the effective field theory becomes invalid by a descent of a tower of states from UV. Moreover, according to the recent emergence…
It is well known that strong monoidal functors preserve duals. In this short note we show that a slightly weaker version of functor, which we call "Frobenius monoidal", is sufficient.
We construct a calculus of functors in the spirit of orthogonal calculus, which is designed to study "functors with reality" such as the Real classifying space functor, $BU_\mathbb{R}(-)$. The calculus produces a Taylor tower, the $n$-th…
We study high-dimensional analogues of spaces of long knots. These are spaces of compactly-supported embeddings (modulo immersions) of $\mathbb{R}^m$ into $\mathbb{R}^n$. We view the space of embeddings as the value of a certain functor at…
We analyze infrared consistency conditions of 3D and 4D effective field theories with massive scalars or fermions charged under multiple $U(1)$ gauge fields. At low energies, one can integrate out the massive particles and thus obtain a…
We prove some semipositivity theorems for singular varieties coming from graded polarizable admissible variations of mixed Hodge structure. As an application, we obtain that the moduli functor of stable varieties is semipositive in the…
In this paper, we introduce a notion of weak pointwise Holder regularity, starting from the de nition of the pointwise anti-Holder irregularity. Using this concept, a weak spectrum of singularities can be de ned as for the usual pointwise…
The Transformer architecture is widely used in natural language processing. Despite its success, the design principle of the Transformer remains elusive. In this paper, we provide a novel perspective towards understanding the architecture:…
Let M be a smooth manifold and V a Euclidean space. Let Ebar(M,V) be the homotopy fiber of the map from Emb(M,V) to Imm(M,V). This paper is about the rational homology of Ebar(M,V). We study it by applying embedding calculus and orthogonal…
We prove an analog of the base change functor of \Lambda-trees in the setting of generalized affine buildings. The proof is mainly based on local and global combinatorics of the associated spherical buildings. As an application we obtain…
In this article we generalize the main structure theorems of rational homotopy theory to the persistent setting. Our main motivation is the computation of an explicit finite, cellular presentation of the persistent minimal model that…
We introduce a new combinatorial object called tower diagrams and prove fundamental properties of these objects. We also introduce an algorithm that allows us to slide words to tower diagrams. We show that the algorithm is well-defined only…
Given a finite CW complex $K$, we use a version of the Goodwillie-Weiss tower to formulate an obstruction theory for embedding $K$ into a Euclidean space $\mathbb{R}^d$. For $2$-dimensional complexes in $\mathbb{R}^4$, a geometric analogue…
We study a connection between mapping spaces of bimodules and of infinitesimal bimodules over an operad. As main application and motivation of our work, we produce an explicit delooping of the manifold calculus tower associated to the space…
We consider maps which preserve functions which are built out of the invariants of some simple vector fields. We give a reduction procedure, which can be used to derive commuting maps of the plane, which preserve the same symplectic form…
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,…
For a noetherian scheme, we introduce its unbounded stable derived category. This leads to a recollement which reflects the passage from the bounded derived category of coherent sheaves to the quotient modulo the subcategory of perfect…
The genus of projective curves discretely separates decidedly different two variable algebraic relations. So, we can focus on the connected moduli M_g of genus g curves. Yet, modern applications require a data variable (function) on such…
The Minimal Model Program offers natural higher-dimensional analogues of stable $n$-pointed curves and maps: stable pairs consisting of a projective variety $X$ of dimension $\ge2$ and a divisor $B$, that should satisfy a few simple…
We show that stable derivators, like stable model categories, admit Mayer-Vietoris sequences arising from cocartesian squares. Along the way we characterize homotopy exact squares, and give a detection result for colimiting diagrams in…