BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Florent Martin

Florent Martin appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.AGmath.NTmath.LODatabasesLogic in Computer ScienceSoftware Engineering

Catalog footprint

What is connected

7works
6topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

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.

Published work

7 published item(s)

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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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).

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access