相关论文: Strictification theorems for the homotopy time-sli…
In this note, we construct a closed model structure on the category of $\mathbb{Z}/2\mathbb{Z}$-graded complexes of projective systems of ind-Banach spaces. When the base field is the fraction field $F$ of a complete discrete valuation ring…
We prove the conjecture that any Grothendieck $(\infty,1)$-topos can be presented by a Quillen model category that interprets homotopy type theory with strict univalent universes. Thus, homotopy type theory can be used as a formal language…
The mathematical formalism for linear quantum field theory on curved spacetime depends in an essential way on the assumption of global hyperbolicity. Physically, what lie at the foundation of any formalism for quantization in curved…
The algebraic approach to quantum field theory focuses on the properties of local algebras, whereas the study of (possibly non-invertible) global symmetries emphasizes global aspects of the theory and spacetime. We study connections between…
A generalization of Connes-Thom isomorphism is given for stable, homotopy invariant, and split exact functors on separable $C^*$-algebras. As examples of these functors, we concentrate on asymptotic and local cyclic cohomology and the…
Let $\mathbb{k}$ be a commutative ring with global dimension zero. We show that we can rigidify homotopy coherent comodules in connective modules over the Eilenberg-Mac Lane spectrum of $\mathbb{k}$. That is, the $\infty$-category of…
Given a Haag-Kastler net on a globally hyperbolic spacetime, one can consider a family of regions where quantum charges are supposed to be localized. Assuming that the net fulfils certain minimal properties (factoriality of the global…
The $SL(2,\mathbb Z)$-symmetry of Cherednik's spherical double affine Hecke algebras in Macdonald theory includes a distinguished generator which acts as a discrete time evolution of Macdonald operators, which can also be interpreted as a…
Algebraic quantum field theory, or AQFT for short, is a rigorous analysis of the structure of relativistic quantum mechanics. It is formulated in terms of a net of operator algebras indexed by regions of a Lorentzian manifold. In several…
Short-range entangled topological phases of matter are closely connected to Topological Quantum Field Theory. We use this connection to classify bosonic Symmetry Protected Topological Phases in low dimensions, including the case when the…
We construct a cluster algebra structure within the quantum cohomology ring of a quiver variety associated with an $A$-type quiver. Specifically, let $Fl:=Fl(N_1,\ldots,N_{n+1})$ denote a partial flag variety of length $n$, and…
In a k-linear triangulated category (where k is a field) we show that the existence of Auslander-Reiten triangles implies that objects are determined, up to shift, by knowing dimensions of homomorphisms between them. In most cases the…
In the foundational logical framework of homotopy-type theory we discuss a natural formalization of secondary integral transforms in stable geometric homotopy theory. We observe that this yields a process of non-perturbative cohomological…
In this article, we present a novel formulation of the massless Schwinger model-quantum electrodynamics in $1+1$ dimensions-within the framework of Algebraic Quantum Field Theory (AQFT), emphasizing features that transcend the traditional…
We propose quantum gravitational constraints on effective four-dimensional theories with N=1 supersymmetry. These Swampland constraints arise by demanding consistency of the worldsheet theory of a class of axionic, or EFT, strings whose…
In this paper we study the homotopy theory of parameterized spectrum objects in the $\infty$-category of $(\infty, 2)$-categories, as well as the Quillen cohomology of an $(\infty, 2)$-category with coefficients in such a parameterized…
We present and contrast two distinct ways of including extremal black holes in a Lorentzian Hamiltonian quantization of spherically symmetric Einstein-Maxwell theory. First, we formulate the classical Hamiltonian dynamics with boundary…
The complexity of graph homomorphisms has been a subject of intense study [11, 12, 4, 42, 21, 17, 6, 20]. The partition function $Z_{\mathbf A}(\cdot)$ of graph homomorphism is defined by a symmetric matrix $\mathbf A$ over $\mathbb C$. We…
We study space-time symmetries in scalar quantum field theory (including interacting theories) on static space-times. We first consider Euclidean quantum field theory on a static Riemannian manifold, and show that the isometry group is…
The space of realizations of a finite-dimensional Lie algebra by first order differential operators is naturally isomorphic to H^1 with coefficients in the module of functions. The condition that a realization admits a finite-dimensional…