Related papers: Ramification theory and formal orbifolds in arbitr…
We study orbifolds of two-dimensional topological field theories using defects. If the TFT arises as the twist of a superconformal field theory, we recover results on the Neveu-Schwarz and Ramond sectors of the orbifold theory as well as…
We introduce the notion of wide representation of an inverse semigroup and prove that with a suitably defined topology there is a space of germs of such a representation which has the structure of an etale groupoid. This gives an elegant…
In this paper, we construct a class of $2$-dimensional formal groups over $\mathbb{Z}_p$ that provide a higher-dimensional analogue of the usual $1$-dimensional Lubin-Tate formal groups, then we initiate the study of the extensions…
The gauge theory approach to the geometric Langlands program is extended to the case of wild ramification. The new ingredients that are required, relative to the tamely ramified case, are differential operators with irregular singularities,…
Suppose $\phi$ is a wildly ramified cover of germs of curves defined over an algebraically closed field of characteristic p. We study unobstructed deformations of $\phi$ in equal characteristic, which are equiramified in that the branch…
This is a summary of some of the basic facts about flat 2-orbifold groups, otherwise known as 2-dimensional crystallographic groups. We relate the geometric and topological presentations of these groups, and consider structures…
We study the $2$-categories BIon, of (generalized) bounded ionads, and $\text{Acc}_\omega$, of accessible categories with directed colimits, as an abstract framework to approach formal model theory. We relate them to topoi and (lex)…
We present an overview of some recent developments in the theory of generalized formal series, grounded in diffeological geometric framework. These constructions aim to offer new tools for understanding infinite-dimensional phenomena in…
This expository paper explores the interaction of group ordering with topological questions, especially in dimensions 2 and 3. Among the topics considered are surfaces, braid groups, 3-manifolds and their structures such as foliations and…
We study finite-dimensional groups definable in models of the theory of real closed fields with a generic derivation (also known as CODF). We prove that any such group definably embeds in a semialgebraic group. We extend the results to…
A myriad of irreducible symplectic 4-manifolds with abelian non-cyclic fundamental group is constructed. The botany of manifolds with finite non-cyclic fundamental groups is also studied.
Motivated by symplectic geometry, we give a detailed account of differential forms and currents on orbifolds with corners, the pull-back and push-forward operations, and their fundamental properties. We work within the formalism where the…
We develop a general theory of extensions of flat functors along geometric morphisms of toposes, and apply it to the study of the class of theories whose classifying topos is equivalent to a presheaf topos. As a result, we obtain a…
The space of unordered configurations of distinct points in the plane is aspherical, with Artin's braid group as its fundamental group. Remarkably enough, the space of ordered configurations of distinct points on the real projective line,…
We shall define a general notion of dimension, and study groups and rings whose interpretable sets carry such a dimensio. In particular, we deduce chain conditions for groups, definability results for fields and domains, and show that…
For an $\ell$-adic sheaf on a variety of arbitrary dimension over a perfect field, we define the Swan class measuring the wild ramification as a 0-cycle class supported on the ramification locus. We prove a Lefschetz trace formula for open…
We investigate tameness of Toeplitz shifts. By introducing the notion of extended Bratteli-Vershik diagrams, we show that such shifts with finite Toeplitz rank are tame if and only if there are at most countably many orbits of singular…
We explore the graded and filtered formality properties of finitely generated groups by studying the various Lie algebras over a field of characteristic 0 attached to such groups, including the Malcev Lie algebra, the associated graded Lie…
Using the functor of Baumslag rationalization of groups we construct a functor on the category of all (non necessarily simply connected) spaces that extends the classical rationalization of simply connected spaces. We study this functor and…
An extension of order theory is presented that serves as a formalism for the study of dendroidal sets analogously to way the formalism of order theory is used in the study of simplicial sets.