相关论文: Restriction of Scalars for $L_\infty$-Modules
A reflective subuniverse in homotopy type theory is an internal version of the notion of a localization in topology or in the theory of $\infty$-categories. Working in homotopy type theory, we give new characterizations of the following…
In [arXiv:2008.04625] the authors constructed a classifying space for polystable holomorphic vector bundles on a compact K\"ahler manifold using analytic GIT theory. The aim of this article is to show that this classifying space taken in…
Hilbert bimodules are morphisms between C*-algebraic models of quantum systems, while symplectic dual pairs are morphisms between Poisson geometric models of classical systems. Both of these morphisms preserve representation-theoretic…
We study a system of equations on a compact complex manifold, that couples the scalar curvature of a Kaehler metric with a spectral function of a first-order deformation of the complex structure. The system comes from an…
We canonically quantize multi-component scalar field theories in the presence of solitons. This extends results of Tomboulis to general soliton moduli spaces. We derive the quantum Hamiltonian, discuss reparameterization invariance and…
We develop a generalization of the theory of Thom spectra using the language of infinity categories. This treatment exposes the conceptual underpinnings of the Thom spectrum functor: we use a new model of parametrized spectra, and our…
Given a Lagrangian cobordism $L$ of Legendrian submanifolds from $\Lambda_-$ to $\Lambda_+$, we construct a functor $\Phi_L^*: Sh^c_{\Lambda_+}(M) \rightarrow Sh^c_{\Lambda_-}(M) \otimes_{C_{-*}(\Omega_*\Lambda_-)} C_{-*}(\Omega_*L)$…
We argue that in type IIB LVS string models, after including the leading order moduli stabilisation effects, the moduli space for the remaining flat directions is compact due the Calabi-Yau K\"ahler cone conditions. In cosmological…
This survey article is intended as an introduction to the recent categorical classification theorems of the three authors, restricting to the special case of the category of modules for a finite group.
We study the functor l^2 from the category of partial injections to the category of Hilbert spaces. The former category is finitely accessible, and its homsets are algebraic domains; the latter category has conditionally algebraic domains…
The additive structure of $\mathbb{F}_1$-modules (in the sense of Segal's $\Gamma$-sets) differs fundamentally from that of abelian groups: addition is encoded through a family of $n$-ary hyper-operations that are multivalued and do not…
Let $L$ be a finite lattice and let $I$ be an ideal of $L$. Then the restriction map is a bounded lattice homomorphism of the congruence lattice of~$L$ into the congruence lattice of $I$. In a 2009 paper, the authors proved the converse. In…
A compatible $L_\infty$-algebra is a graded vector space together with two compatible $L_\infty$-algebra structures on it. Given a graded vector space, we construct a graded Lie algebra whose Maurer-Cartan elements are precisely compatible…
The purpose of this paper is to study finite dimensional equivariant moduli problems from the viewpoint of stratification theory. We show that there exists a stratified obstruction system for a finite dimensional equivariant moduli problem.…
We define a notion of pseudo-unitarizability for weight modules over a generalized Weyl algebra (of rank one, with commutative coeffiecient ring $R$), which is assumed to carry an involution of the form $X^*=Y$, $R^*\subseteq R$. We prove…
We analyze a model for the homotopy theory of complete filtered $L_\infty$-algebras intended for applications in algebraic and algebro-geometric deformation theory. We provide an explicit proof of an unpublished result of E.\ Getzler which…
The purpose of this paper is to present a fully algebraic formalism for the construction and reduction of $L_\infty$-algebras of observables inspired by multisymplectic geometry, using Gerstenhaber algebras, BV-modules, and the constraint…
We construct (in significant generality) moduli spaces representing the functor of morphisms from a scheme into a solvable algebraic group.
We use Ng's LSFT algebra to upgrade Sabloff duality of Legendrian knots to a quasi-isomorphism of $A_\infty$ bimodules over the positive augmentation category $\mathcal{A}ug_+$. We also extend the Ekholm-Etnyre-Sabloff exact sequence to an…
In this paper we interpret the integrability of the Dirac structures on some Hilbert C*-modules in terms of an automorphism group. This is the group of orthogonal transformations on the Hilbert C*-module of sections of a Hermitian vector…