Related papers: Initiation to mould calculus through the example o…
It is common to model inductive datatypes as least fixed points of functors. We show that within the Cedille type theory we can relax functoriality constraints and generically derive an induction principle for Mendler-style lambda-encoded…
We use string-net models to accomplish a direct, purely two-dimensional, approach to correlators of two-dimensional rational conformal field theories. We obtain concise geometric expressions for the objects describing bulk and boundary…
In this paper we study two types of fibrations associated with a 3-dimensional unital associative irreducible algebra and their basic properties. We investigate trivial principal fibrations of degenerate semi-Euclidean sphere and their…
We consider the independence complexes of square grids with cylindrical boundary conditions. When one of the dimensions is small we use simple reductions induced by edge removals to show explicit natural homotopy equivalences between those…
We study different notions of slope of a vector bundle over a smooth projective curve with respect to ampleness and affineness in order to apply this to tight closure problems. This method gives new degree estimates from above and from…
Dimensional regularization of Euclidean momentum space integrals is a highly successful technique in renormalization of quantum field theories. While it yields a straightforward algorithmic method, with which to evaluate diagrams beyond…
We equate various Euler classes of algebraic vector bundles, including those of [BM, KW, DJK], and one suggested by M.J. Hopkins, A. Raksit, and J.-P. Serre. We establish integrality results for this Euler class, and give formulas for local…
Leveraging the recently emerging geometric approach to multivariate extremes and the flexibility of normalising flows on the hypersphere, we propose a principled deep-learning-based methodology that enables accurate joint tail extrapolation…
We use group representation theory to give algebraic formulae to compute complete transversals of singularities of vector fields, either in the nonsymmetric or in the reversible equivariant contexts. This computation produces normal forms…
We define singular points of the first kind and singular points of the second kind as singular points of mappings between surfaces. Typical examples of these singular points are fold singular points and cusp singular points, respectively.…
We present intersection type systems in the style of sequent calculus, modifying the systems that Valentini introduced to prove normalisation properties without using the reducibility method. Our systems are more natural than Valentini's…
The aim of this paper is to define certain algebraic structures coming from generalized Reidemeister moves of singular knot theory. We give examples, show that the set of colorings by these algebraic structures is an invariant of singular…
We study the normal bundles of the exceptional sets of isolated simple small singularities in the higher dimension when the Picard group of the exceptional set is $\mathbb{Z}$ and the normal bundle of it has some good filtration. In…
By replacing the category of smooth vector bundles over a manifold with the category of what we call smooth Euclidean fields, which is a proper enlargement of the former, and by considering smooth actions of Lie groupoids on smooth…
Let $\mathcal{D}$ be a Hom-finite, Krull-Schmidt, 2-Calabi-Yau triangulated category with a rigid object $R$. Let $\Lambda=\operatorname{End}_{\mathcal{D}}R$ be the endomorphism algebra of $R$. We introduce the notion of mutation of maximal…
A class of exact infinitesimal renormalization group transformations is proposed and studied. These transformations are pure changes of variables (i.e., no integration or elimination of some degrees of freedom is required) such that a…
We define a formal framework for the study of algebras of type Max-plus, Min-Plus, tropical algebras, and more generally algebras over a commutative idempotent semi-field. This work is motivated by the increasingly diversified use of these…
We compute the Euler characteristics of the moduli spaces of abelian vortices on curves with nodal and cuspidal singularities. This generalizes our previous work where only nodes were taken into account. The result we obtain is again…
We explain how algebraic geometry comes into play in the study of non-linear mean field (singular Liouville) equations $$ \triangle u + e^u = 4\pi \sum_{i = 1}^N \ell_i \delta_{p_i} $$ on a flat torus $E = \Bbb C/\Lambda$, where $N, \ell_1,…
The cluster category is a triangulated category introduced for its combinatorial similarities with cluster algebras. We prove that a cluster algebra A of finite type can be realized as a Hall algebra, called the exceptional Hall algebra, of…