Related papers: Sigma limits in 2-categories and flat pseudofuncto…

We define and study a class of subshifts of finite type (SFTs) defined by a family of allowed patterns of the same shape where, for any contents of the shape minus a corner, the number of ways to fill in the corner is the same. The main…

We develop the theory of categories of measurable fields of Hilbert spaces and bounded fields of bounded operators. We examine classes of functors and natural transformations with good measure theoretic properties, providing in the end a…

We establish the decidability of the $\Sigma_2$ theory of both the arithmetic and hyperarithmetic degrees in the language of uppersemilattices i.e. the language with $\leq, 0$ and $\sqcup$. This is achieved by using Kumabe-Slaman forcing -…

We consider a two-fold problem: on the one hand, the classification of a family of solution-generating techniques in (modified) supergravity and, on the other hand, the classification of a family of canonical transformations of…

This review is dedicated to two-dimensional sigma models with flag manifold target spaces, which are generalizations of the familiar $CP^{n-1}$ and Grassmannian models. They naturally arise in the description of continuum limits of spin…

The theory of Poisson-$\sigma$-models employs the mathematical notion of Poisson manifolds to formulate and analyze a large class of topological and almost topological two dimensional field theories. As special examples this class of field…

We analyse the global symmetry structure of two-dimensional Non-Linear Sigma Models with Wess-Zumino term. When the target space has a compact isometry without fixed points, the theory has a pair of (group-like) global symmetries and many…

Fix a monoidal category C. The 2-category of monads in the 2-category of C-actegories, colax C-equivarant functors, and C-equivariant natural transformations of colax functors, may be recast in terms of pairs consisting of a usual monad and…

We build a concrete and natural model for the strict 2-category of orbifolds. In particular we prove that if one localizes the 2-category of proper etale Lie groupoids at a class of 1-arrows that we call "covers", then the strict 2-category…

We present a superfield Lax formalism of superspace sigma model based on the target space ${\cal G}/{\cal H}$ and show that a one-parameter family of flat superfield connections exists if the target space ${\cal G}/{\cal H}$ is a symmetric…

We investigate the topological theory obtained by twisting the N=(2,2) supersymmetric nonlinear sigma model with target a bihermitian space with torsion. For the special case in which the two complex structures commute, we show that the…

For two families of four-dimensional off-shell N = 2 supersymmetric nonlinear sigma-models constructed originally in projective superspace, we develop their formulation in terms of N = 1 chiral superfields. Specifically, these theories are:…

We prove that every mod 2 integral cycle $T$ in a Riemannian manifold $\mathcal{M}$ can be approximated in flat norm by a cycle which is a smooth submanifold $\Sigma$ of nearly the same area, up to a singular set of codimension 3; in…

For a weak 2-group, we construct a bicategory of flat 2-group bundles over differentiable stacks as a localization of a functor bicategory. This description is amenable to explicit geometric constructions. For example, we show that flat…

We develop the deformation-obstruction calculus for morphisms of complexes with a fixed lift of the codomain, to derived categories of flat nilpotent deformations of abelian categories. As an application, we give an alternative proof that…

The formulation of the non-linear sigma model in terms of flat connection allows the construction of a perturbative solution of a local functional equation encoding the underlying gauge symmetry. In this paper we discuss some properties of…

Profinite semigroups are a generalization of finite semigroups that come about naturally when one is interested in considering free structures with respect to classes of finite semigroups. They also appear naturally through dualization of…

We introduce a notion of bimodule in the setting of enriched $\infty$-categories, and use this to construct a double $\infty$-category of enriched $\infty$-categories where the two kinds of 1-morphisms are functors and bimodules. We then…

A surface $\Sigma$ in a 4-manifold $M$ is called flexible if any mapping class of the surface arises as the restriction of a diffeomorphism $(M,\Sigma) \to (M,\Sigma)$. We construct flexible surfaces in $\mathbb{C}P^2$ and $S^2 \times S^2$…

We systematically develop the theory of definable functors between compactly generated triangulated categories. Such functors preserve pure triangles, pure injective objects, and definable subcategories, and as such appear in a wide range…