Related papers: Parametrised functor calculus: excision, spheres, …
We determine a family of functors from a poset to abelian groups such that the higher direct limits vanish on them. This is done by first characterizing the projective functors. Then a spectral sequence arising from the grading of the poset…
Equilibrium statistical physics is considered from the point of view of statistical estimation theory. This involves the notions of statistical model, of estimators, and of exponential family. A useful property of the latter is the…
We construct the quasi-classical approximation of the form factors in finite volume using the separation of variables. The latter is closely related to the Baxter equation.
Let $f \colon X \to Y$ be a morphism of concentrated schemes. We characterize $f$-perfect complexes $\mathcal{E}$ as those such that the functor $\mathcal{E} \otimes^{\mathbf{L}}_X \mathbf{L} f^*-$ preserves bounded complexes. We prove, as…
We introduce a generalization of symmetric functions and apply the resulting theory to compute the class in the Grothendieck ring of varieties of the space of geometrically irreducible hypersurfaces of a fixed degree in projective space.
In Goodwillie calculus, unpublished work of Dwyer and Rezk provides a classification of reduced filtered colimit preserving $d$-excisive functors from pointed spaces to spectra as spectrum-valued functors on the category of finite sets of…
Based on a quantitative version of the inverse function theorem and an appropriate saddle-point formulation we derive a quasi-optimal error estimate for the finite element approximation of harmonic maps into spheres with a nodal…
A stable $\infty$-category is $1$-semiadditive if the norms for all finite group actions are equivalences. In the presence of $1$-semiadditivity, Goodwillie calculus simplifies drastically. We introduce two variants of $1$-semiadditivity…
We develop the local Morse theory for a class of non-twice continuously differentiable functionals on Hilbert spaces, including a new generalization of the Gromoll-Meyer's splitting theorem and a weaker Marino-Prodi perturbation type…
Partially ordered sets (posets) play a universal role as an abstract structure in many areas of mathematics. For finite posets, an explicit enumeration of distinct partial orders on a set of unlabelled elements is known only up to a…
This paper is the second part of the series "Spherical higher order Fourier analysis over finite fields", aiming to develop the higher order Fourier analysis method along spheres over finite fields, and to solve the geometric Ramsey…
Quasi-set theory provides us a mathematical background for dealing with collections of indistinguishable elementary particles. In this paper, we show how to obtain the usual statistics (Maxwell-Boltzmann, Bose-Einstein, and Fermi-Dirac)…
We study boundary values of harmonic functions in spaces of quasianalytic functionals and spaces of ultradistributions of non-quasianalytic type. As an application, we provide a new approach to H\"ormander's support theorem for…
We introduce a notion of partial presentability in parametrized higher category theory and investigate its interaction with the concepts of parametrized semiadditivity and stability from arXiv:2301.08240. In particular, we construct the…
We develop a new technique for computing higher limits of functors over filtered posets by constructing explicit fibrant replacements within a suitable model category structure. We apply this procedure to develop two systematic vanishing…
Two of the pillars of combinatorics are the notion of choosing an arbitrary subset of a set with $n$ elements (which can be done in $2^n$ ways), and the notion of choosing a $k$-element subset of a set with $n$ elements (which can be done…
Motivation coming from the study of affine Weyl groups, a structure of ranked poset is defined on the set of circular permutations in $S_n$ (that is, $n$-cycles). It is isomorphic to the poset of so-called admitted vectors, and to an…
We formalise the well-known rules of partial differentiation in a version of equational logic with function variables and binding constructs. We prove the resulting theory is complete with respect to polynomial interpretations. The proof…
A quasisymmetric function is assigned to every double poset (that is, every finite set endowed with two partial orders) and any weight function on its ground set. This generalizes well-known objects such as monomial and fundamental…
We compare the colimit and 2-colimit of strict 2-functors in the 2-category of groupoids, over a certain type of posets. These posets are of special importance, as they correspond to coverings of a topological space. The main result of this…