Source author record

Florent Martin

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.AG math.NT math.LO Databases Logic in Computer Science Software Engineering

Catalog footprint

Research overview

7works

6topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2020arXiv

Differentiability of relative volumes over an arbitrary non-Archimedean field

Given an ample line bundle $L$ on a geometrically reduced projective scheme defined over an arbitrary non-Archimedean field, we establish a differentiability property for the relative volume of two continuous metrics on the Berkovich analytification of $L$ , extending previously known results in the discretely valued case. As applications, we provide fundamental solutions to certain non-Archimedean Monge--Ampère equations, and generalize an equidistribution result for Fekete points. Our main technical input comes from determinant of cohomology and Deligne pairings.

preprint2016arXiv

Overconvergent subanalytic subsets in the framework of Berkovich spaces

We study the class of overconvergent subanalytic subsets of a $k$ -affinoid space $X$ when $k$ is a non-archimedean field. These are the images along the projection $X \times B^n \to X$ of subsets defined with inequalities between functions of $X\times B^n$ which are overconvergent in the variables of $B^n$ . In particular, we study the local nature, with respect to $X$ , of overconvergent subanalytic subsets. We show that they behave well with respect to the Berkovich topology, but not to the $G$ -topology. This gives counter-examples to previous results on the subject, and a way to correct them. Moreover, we study the case dim $(X)=2$ , for which a simpler characterisation of overconvergent subanalytic subsets is proven.

preprint2015arXiv

A definable, p-adic analogue of Kirszbraun's Theorem on extensions of Lipschitz maps

A direct application of Zorn's Lemma gives that every Lipschitz map $f:X\subset \mathbb{Q}_p^n\to \mathbb{Q}_p^\ell$ has an extension to a Lipschitz map $\widetilde f: \mathbb{Q}_p^n\to \mathbb{Q}_p^\ell$ . This is analogous, but more easy, to Kirszbraun's Theorem about the existence of Lipschitz extensions of Lipschitz maps $S\subset \mathbb{R}^n\to \mathbb{R}^\ell$ . Recently, Fischer and Aschenbrenner obtained a definable version of Kirszbraun's Theorem. In the present paper, we prove in the $p$ -adic context that $\widetilde f$ can be taken definable when $f$ is definable, where definable means semi-algebraic or subanalytic (or, some intermediary notion). We proceed by proving the existence of definable, Lipschitz retractions of $\mathbb{Q}_p^n$ to the topological closure of $X$ when $X$ is definable.

preprint2015arXiv

Equations over free inverse monoids with idempotent variables

We introduce the notion of idempotent variables for studying equations in inverse monoids. It is proved that it is decidable in singly exponential time (DEXPTIME) whether a system of equations in idempotent variables over a free inverse monoid has a solution. The result is proved by a direct reduction to solve language equations with one-sided concatenation and a known complexity result by Baader and Narendran: Unification of concept terms in description logics, 2001. We also show that the problem becomes DEXPTIME hard , as soon as the quotient group of the free inverse monoid has rank at least two. Decidability for systems of typed equations over a free inverse monoid with one irreducible variable and at least one unbalanced equation is proved with the same complexity for the upper bound. Our results improve known complexity bounds by Deis, Meakin, and Senizergues: Equations in free inverse monoids, 2007. Our results also apply to larger families of equations where no decidability has been previously known.

preprint2014arXiv

Cohomology of locally-closed semi-algebraic subsets

Let k be a non archimedean field. If X is a k-algebraic variety and U a locally closed semi-algebraic subset of X^{an} -- the Berkovich space associated to X -- we show that for l \neq char(\tilde{k}), the cohomology groups H^i_c (\bar{U}, Q_l) behave like H^i_c(\bar{X}, Q_l), where \bar{U} = U \otimes \hat{\bar{k}}. In particular, they are finite-dimensional vector spaces. This result has been used by E. Hrushovski and F. Loeser. Moreover, we prove analogous finiteness properties concerning rigid semi-analytic subsets of compact Berkovich spaces (resp. adic spaces associated to quasi-compact quasi-separated k-rigid spaces) when char(\tilde{k}) \neq 0 (resp in any characteristic).

preprint2014arXiv

CRISTAL-ISE : Provenance Applied in Industry

This paper presents the CRISTAL-iSE project as a framework for the management of provenance information in industry. The project itself is a research collaboration between academia and industry. A key factor in the project is the use of a system known as CRISTAL which is a mature system based on proven description driven principles. A crucial element in the description driven approach is that the fact that objects (Items) are described at runtime enabling managed systems to be both dynamic and flexible. Another factor is the notion that all Items in CRISTAL are stored and versioned, therefore enabling a provenance collection system. In this paper a concrete application, called Agilium, is briefly described and a future application CIMAG-RA is presented which will harness the power of both CRISTAL and Agilium.

preprint2014arXiv

Dimensions in non-Archimedean geometries

Let $K$ be an algebraically closed non-Archimedean field. Leonard Lipshitz has introduced a manageable notion of subanalytic sets of the unit polydisc. This class contains the class of affinoid sets and is stable under projection. We associate to a subanalytic set its counterpart in the Berkovich polydisc. This allows us to give a new insight to the dimension of subanalytic sets using the degrees of the completed residual fields. With these methods we obtain new results, such as the invariance of the dimension under subanalytic bijection in any characteristic. Then we study more generally subsets $S$ of $K^m\times Γ^n$ and of $K^m\times Γ^n \times k^p$ where $Γ$ is the value group and $k$ the residue field. We allow $S$ to be either definable in ACVF, or definable in the analytic language of L. Lipshitz. We define a dimension for such sets $S$ . In the case when $S \subset K^n$ (resp. $S\subset Γ^n$ , $S\subset k^n$ ), it coincides with the above dimension (resp. the o-minimal dimension, the Zariski dimension). We prove that this dimension is invariant under definable bijection and decreases under projection. This allows us to generalize previous results on tropicalization of Berkovich spaces and to place them in a general framework.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Florent Martin

Research overview

Is this your work?

7 publications

Differentiability of relative volumes over an arbitrary non-Archimedean field

Overconvergent subanalytic subsets in the framework of Berkovich spaces

A definable, p-adic analogue of Kirszbraun's Theorem on extensions of Lipschitz maps

Equations over free inverse monoids with idempotent variables

Cohomology of locally-closed semi-algebraic subsets

CRISTAL-ISE : Provenance Applied in Industry

Dimensions in non-Archimedean geometries

See the researcher in context

Building this map preview