Related papers: $b$-minimality
We present a two-level theory to formalize constructive mathematics as advocated in a previous paper with G. Sambin. One level is given by an intensional type theory, called Minimal type theory. This theory extends the set-theoretic version…
We consider the model theoretic notion of convex orderability, which fits strictly between the notions of VC-minimality and dp-minimality. In some classes of algebraic theories, however, we show that convex orderability and VC-minimality…
The sum theorem and its corollaries are proved for a countable family of zero-dimensional (in the sense of small and large inductive bidimensions) p-closed sets, using a new notion of relative normality whose topological correspondent is…
After introducing some motivations for this survey, we describe a formalism to parametrize a wide class of algebraic structures occurring naturally in various problems of topology, geometry and mathematical physics. This allows us to define…
We introduce the notion of a complex cell, a complexification of the cells/cylinders used in real tame geometry. For $\delta\in(0,1)$ and a complex cell $\mathcal{C}$ we define its holomorphic extension…
We introduce the notion of $V$-minimality, for $V$ a smooth vector field on a Riemannian manifold, a natural extension of the classical notion of minimality, and we prove several basic properties. One featured example is given for locally…
Explicit constructions for the minimal models of general and unimodular L-infinity algebra structures are given using the BV-formalism of mathematical physics and the perturbative expansions of integrals. In particular, the general formulas…
We give an explicit algebraic characterisation of all definable henselian valuations on a dp-minimal real field. Additionally we characterise all dp-minimal real fields that admit a definable henselian valuation with real closed residue…
Here we study the problem of generalizing one of the main tools of Groebner basis theory, namely the flat deformation to the leading term ideal, to the border basis setting. After showing that the straightforward approach based on the…
We study the algebraic implications of the non-independence property (NIP) and variants thereof (dp-minimality) on infinite fields, motivated by the conjecture that all such fields which are neither real closed nor separably closed admit a…
The concept of a profile decomposition formalizes concentration compactness arguments on the functional-analytic level, providing a powerful refinement of the Banach-Alaoglu weak-star compactness theorem. We prove existence of profile…
Recently, we introduced a new class of shapes, called soft cells which fill space as soft tilings without gaps and overlaps while minimizing the number of sharp corners. We introduced the edge bending algorithm that deforms a polyhedral…
Let G be a connected complex semisimple Lie group. Webster and Yakimov have constructed partitions of the double flag variety G/B x G/B_, where (B, B_) is a pair of opposite Borel subgroups of G, generalizing the Deodhar decompositions of…
We prove a descriptive theorem on the extrinsic geometry of an embedded minimal surface of injectivity radius zero in a homogeneously regular Riemannian three-manifold, in a certain small intrinsic neighborhood of a point of almost-minimal…
We revisit an ingenious argument of K. Ball to provide sharp estimates for the volume of sections of a convex body in John's position. Our technique combines the geometric Brascamp-Lieb inequality with a generalised Parseval-type identity.…
We investigate the representation theory of the valenced Temperley-Lieb algebras in mixed characteristic. These algebras, as described in characteristic zero by Flores and Peltola, arise naturally in statistical physics and conformal field…
We develop a framework of motivic integration in the style of Hrushovski--Kazhdan in arbitrary Hensel minimal fields of equicharacteristic zero. Hence our work generalizes that of Hrushovski--Kazhdan and Yin, but applies more broadly to…
We give an introduction to a theory of b-functions, i.e. Bernstein-Sato polynomials. After reviewing some facts from D-modules, we introduce b-functions including the one for arbitrary ideals of the structure sheaf. We explain the relation…
Understanding how singularities behave under small perturbations is a central theme in singularity theory. In this paper we establish sufficient conditions for families of analytic function-germs on a germ of a complex analytic space to…
We consider the ideal of inner $2$-minors $I_{\mathcal{P}}$ of a finite set of cells $\mathcal{P}$, which we call the cell ideal of $\mathcal{P}$. A nice interpretation for the height of an unmixed ideal $I_{\mathcal{P}}$, in terms of the…