Related papers: $\delta$-Forms on Lubin--Tate Space

Kontsevich's formality theorem states that the differential graded Lie algebra of multidifferential operators on a manifold M is L-infinity-quasi-isomorphic to its cohomology. The construction of the L-infinity map is given in terms of…

We give a novel combinatorial interpretation to the perturbative series solutions for a class of Dyson-Schwinger equations. We show how binary tubings of rooted trees with labels from an alphabet on the tubes, and where the labels satisfy…

Gutzwiller's trace formula for the semiclassical density of states diverges at the bifurcation points of periodic orbits and has to be replaced with uniform semiclassical approximations. We present a method to derive these expressions from…

Let F be a non-archimedean local field. The construction of Lubin-Tate $(\phi_q, \Gamma)$-modules attached to p-adic representations of $G_F$ depends on the choice of a uniformizer of F. In this paper, we give a description of a functor…

We show that the moduli spaces of bounded global $\mathcal{G}$-Shtukas with pairwise colliding legs admit $p$-adic uniformization isomorphisms by Rapoport-Zink spaces. Here $\mathcal{G}$ is a smooth affine group scheme with connected fibers…

We introduce a notion of the space of types in positive model theory based on Stone duality for distributive lattices. We show that this space closely mirrors the Stone space of types in the full first-order model theory with negation…

This paper introduces the notion of prestacks of Tate type and studies natural geometric conditions on them. We also develop a formalism of Tate-coherent sheaves and define a dualizing gerbe for Tate schemes locally almost of finite type.

Form factor sequences of an integrable QFT can be defined axiomatically as solutions of a system of recursive functional equations, known as ``form factor equations''. We show that their solution can be replaced with the study of the…

We consider the moduli spaces $\mathcal{M}_d(\ell)$ of a closed linkage with n links and prescribed lengths in d-dimensional Euclidean space. For d>3 these spaces are no longer manifolds generically, but they have the structure of a…

Using the theory of extensions of L-infinity algebras, we construct rational homotopy models for classifying spaces of fibrations, giving answers in terms of classical homological functors, namely the Chevalley-Eilenberg and Harrison…

Matter interacting classically with gravity in 3+1 dimensions usually gives rise to a continuum of degrees of freedom, so that, in any attempt to quantize the theory, ultraviolet divergences are nearly inevitable. Here, we investigate…

In non-linear incompatible elasticity, the configurations are maps from a non-Euclidean body manifold into the ambient Euclidean space, $\mathbb{R}^k$. We prove the $\Gamma$-convergence of elastic energies for configurations of a converging…

The possibility of getting a Radon-Nikodym type theorem and a Lebesgue-like decomposition for a non necessarily positive sesquilinear $\Omega$ form defined on a vector space $\mathcal D$, with respect to a given positive form $\Theta$…

We define oldforms and newforms for Drinfeld cusp forms of level $t$ and conjecture that their direct sum is the whole space of cusp forms. Moreover we describe explicitly the matrix $U$ associated to the action of the Atkin operator…

We study the left-orderability of the fundamental groups of cyclic branched covers of links which admit co-oriented taut foliations. In particular we do this for cyclic branched covers of fibred knots in integer homology $3$-spheres and…

For a real affine hyperplane arrangement, we define an integer intersection matrix with a natural $q$-deformation related to the intersections of bounded chambers of the arrangement. By connecting the integer matrix to a bilinear form of…

In typical non-idempotent intersection type systems, proof normalization is not confluent. In this paper we introduce a confluent non-idempotent intersection type system for the lambda-calculus. Typing derivations are presented using proof…

We study Milner's lambda-calculus with partial substitutions. Particularly, we show confluence on terms and metaterms, preservation of \b{eta}-strong normalisation and characterisation of strongly normalisable terms via an intersection…

A theorem of Gulliksen states that a local ring is a complete intersection if and only if the Betti numbers of its finitely generated modules grow polynomially. We prove a derived version of Gulliksen's Theorem. More precisely, we prove a…

We explicitly construct a universal A-infinity deformation of Batalin-Vilkovisky algebras, with all coefficients expressed as rational sums of multiple zeta values. If the Batalin-Vilkovisky algebra that we start with is cyclic, then so is…