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

Daniel Barlet

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

ResearcherUnclaimed source record
math.CVmath.AG

Catalog footprint

What is connected

26works
2topics
1close 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

26 published item(s)

preprint2022arXiv

On Principal Value and Standard Extension of Distributions

For a holomorphic function f on a complex manifold M we explain in this article that the distribution associated to |f | 2$α$ (Log|f | 2) q f --N by taking the corresponding limit on the sets {|f | $\ge$ $ε$} when $ε$ goes to 0, coincides for ($α$) non negative and q, N $\in$ N, with the value at $λ$ = $α$ of the meromorphic extension of the distribution |f | 2$λ$ (Log|f | 2) q f --N. This implies that any distribution in the D Mmodule generated by such a distribution has the Standard Extension Property. This implies a non torsion result for the D M-module generated by such a distribution. As an application of this result we determine generators for the conjugate modules of the regular holonomic D-modules associated to z($σ$) $λ$ , the power $λ$, where $λ$ is any complex number, of the (multivalued) root of the universal equation of degree k, z k + k j=1 (--1) h $σ$ h z k--h = 0 whose structure is studied in [4].

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

On partial differential operators which annihilate the roots of the universal equation of degree k

The aim of this paper is to study in details the regular holonomic $D-$module introduced in \cite{[B.19]} whose local solutions outside the polar hyper-surface $\{Δ(σ).σ_k = 0 \}$ are given by the local system generated by the local branches of the multivalued function which is the root of the universal degree $k$ equation $z^k + \sum_{h=1}^k (-1)^h.σ_h.z^{k-h} = 0 $. Note that it is surprising that this regular holonomic $D-$module is given by the quotient of $D$ by a left ideal which has very simple explicit generators despite the fact it necessary encodes the analogous systems for any root of the universal degree $l$ equation for each $l \leq k$. Our main result is to relate this $D-$module with the minimal extension of the irreducible local system associated to the difference of two branches of the multivalued function defined above. Then we obtain again a very simple explicit description of this minimal extension in term of the generators of its left ideal in the Weyl algebra. As an application we show how these results allow to compute the Taylor expansion of the root near $-1$ of the equation $z^k + \sum_{h=-1}^k (-1)^h.σ_h.z^{k-h} - (-1)^k = 0 $.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

New singularity invariants : the sheaf $β_X^\bullet$

The graded coherent sheaf $α_X^\bullet$ constructed in [B.18] for any reduced pure dimensional complex space $X$ is stable by exterior product but not by the de Rham differential. We construct here a new graded coherent sheaf $α_X^\bullet$ containing $α_X^\bullet$ and stable both by exterior product and by the de Rham differential. We show that it has again the ``pull-back property'' for holomorphic maps $f : X \to Y$ between irreducible complex spaces such that $f(X)$ is not contained in the singular set of $Y$. Moreover, this graded coherent sheaf $α_X^\bullet$ comes with a natural coherent exhaustive filtration and this filtration is also compatible with the pull-back by such holomorphic maps. These sheaves define new invariants on singular complex spaces. We show on some simple examples that these invariants are new.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

On Lisbon integrals

We introduce new complex analytic integral transforms, the Lisbon Integrals, which naturally arise in the study of the affine space $\mathbb{C}^k$ of unitary polynomials $P_s(z)$ where $s\in\mathbb{C}^k$ and $z\in \mathbb{C}$, $s_i$ identified to the $i-$th symmetric function of the roots of $P_s(z)$. We completely determine the $\mathcal{D}$-modules (or systems of partial differential equations) the Lisbon Integrals satisfy and prove that they are their unique global solutions. If we specify a holomorphic function $f$ in the $z$-variable, our construction induces an integral transform which associates a regular holonomic module quotient of the sub-holonomic module we computed. We illustrate this correspondence in the case of a $1$-parameter family of exponentials $f_t(z) = exp(t z)$ with $t$ a complex parameter.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Note on the semi-continuity of the algebraic dimension

In this short Note we show that the direct image sheaf R 1 $π$ * (O X) associated to an analytic family of compact complex manifolds $π$ : X $\rightarrow$ S parametrized by a reduced complex space S is a locally free (coherent) sheaf of O S --modules. This result allows to improve a semi-continuity type result for the algebraic dimension of compact complex manifolds in an analytic family given in [B.15]. AMS Classification 2010. 32G05-32A20-32J10.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Holomorphic families of $[λ]-$primitive themes

This article is the continuation of [B. 13-b] where we show how the isomorphism class of a $[λ]-$primitive theme with a given Bernstein polynomial may be characterized by a (small) finite number of complex parameters. We construct here a corresponding locally versal holomorphic deformation of $ [λ]-$primitive themes for each given Bernstein polynomial. Then we prove the universality of the corresponding "canonical family" in many cases. We also give some examples where no local universal family exists.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Meromorphic quotients for some holomorphic G-actions

Using mainly tools from [B.13] and [B.15] we give a necessary and sufficient condition in order that a holomorphic action of a connected complex Lie group $G$ on a reduced complex space $X$ admits a strongly quasi-proper meromorphic quotient. We apply this characterization to obtain a result which assert that, when $G = K.B$ \ with $B$ a closed complex subgroup of $G$ and $K$ a real compact subgroup of $G$, the existence of a strongly quasi-proper meromorphic quotient for the $B-$action implies, assuming moreover that there exists a $G-$invariant Zariski open dense subset in $X$ which is good for the $B-$action, the existence of a strongly quasi-proper meromorphic quotient for the $G-$action on $X$.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Some examples due to H. Hironaka

The aim of this paper is to explain the construction by H. Hironaka [H.61] of a holomorphic (in fact "algebraic") family of compact complex manifolds parametrized by $\C$ such for all $s \in \C\setminus \{0\}$ the fiber is projective, but such that the fiber at the origin in non k{ä}hlerian, to mathematicians which are not algebraic geometers. We also explain why it is not possible to make in the same way such an example with fiber at $0$ a simpler example of non k{ä}hlerian Moishezon manifold which is also due to H. Hironaka (see section 5).

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Strongly quasi-proper maps and the f-flattening theorem

We complete and precise the results of [B.13] and we prove a strong version of the semi-proper direct image theorem with values in the space C f n (M) of finite type closed n--cycles in a complex space M. We describe the strongly quasi-proper maps as the class of holomorphic surjective maps which admit a meromorphic family of fibers and we prove stability properties of this class. In the Appendix we give a direct and short proof of D. Mathieu's flattening theorem (see [M.00]) for a strongly quasi-proper map which is easier and more accessible.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Asymptotics of a vanishing period : characterization of semi-simplicity

In this paper we introduce the word {\em fresco} to denote a monogenic geometric (a,b)-module. This "basic object" (generalized Brieskorn module with one generator) corresponds to the formal germ of the minimal filtered (regular) differential equation. Such an equation is satisfied by a relative de Rham cohomology class at a critical value of a holomorphic function on a smooth complex manifold. In [B.09] the first structure theorems are proved. Then in [B.10] we introduced the notion of {\em theme} which corresponds in the \ $[λ]-$primitive case to frescos having a unique Jordan-H{ö}lder sequence (a unique Jordan block for the monodromy). Themes correspond to asymptotic expansion of a given vanishing period, so to an image of a fresco in the module of asymptotic expansions. For a fixed relative de Rham cohomology class (for instance given by a smooth differential form $d-$closed and $df-$closed) each choice of a vanishing cycle in the spectral eigenspace of the monodromy for the eigenvalue \ $exp(2iπ.λ)$ \ produces a \ $[λ]-$primitive theme, which is a quotient of the fresco associated to the given relative de Rham class itself. \\ We show that for any fresco there exists an {\em unique} Jordan-H{ö}lder sequence, called the {\em principal J-H. sequence}, with corresponding quotients giving the opposite of the roots of the Bernstein polynomial in increasing order. We study the semi-simple part of a given fresco and we characterize the semi-simplicity of a fresco by the fact for any given order on the roots of its Bernstein polynomial we may find a J-H. sequence making them appear with this order. Then we construct a numerical invariant, called the \ $β-$invariant, and we show that it produces numerical criteria in order to give a necessary and sufficient condition on a fresco to be semi-simple. We show that these numerical invariants define a natural algebraic stratification on the set of isomorphism classes of fresco with given fundamental invariants (or equivalently with given roots of the Bernstein polynomial).

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Asymptotics of a vanishing period : General existence theorem and basic properties of frescos

In this paper we introduce the word "fresco" to denote a \ $[λ]-$primitive monogenic geometric (a,b)-module. The study of this "basic object" (generalized Brieskorn module with one generator) which corresponds to the minimal filtered (regular) differential equation satisfied by a relative de Rham cohomology class, began in [B.09] where the first structure theorems are proved. Then in [B.10] we introduced the notion of theme which corresponds in the \ $[λ]-$primitive case to frescos having a unique Jordan-H{ö}lder sequence. Themes correspond to asymptotic expansion of a given vanishing period, so to the image of a fresco in the module of asymptotic expansions. For a fixed relative de Rham cohomology class (for instance given by a smooth differential form $d-$closed and $df-$closed) each choice of a vanishing cycle in the spectral eigenspace of the monodromy for the eigenvalue \ $exp(2iπ.λ)$ \ produces a \ $[λ]-$primitive theme, which is a quotient of the fresco associated to the given relative de Rham class itself. The first part of this paper shows that, for any \ $[λ]-$primitive fresco there exists an unique Jordan-H{ö}lder sequence (called the principal J-H. sequence) with corresponding quotients giving the opposite of the roots of the Bernstein polynomial in a non decreasing order. Then we introduce and study the semi-simple part of a given fresco and we characterize the semi-simplicity of a fresco by the fact for any given order of the roots of its Bernstein polynomial we may find a J-H. sequence making them appear with this order. Then, using the parameter associated to a rank \ 2 \ \ $[λ]-$primitive theme, we introduce inductiveley a numerical invariant, that we call the \ $α-$invariant, which depends polynomially on the isomorphism class of a fresco (in a sens which has to be defined) and which allows to give an inductive way to produce a sub-quotient rank \ 2 \ theme of a given \ $[λ]-$primitive fresco assuming non semi-simplicity. In the last section we prove a general existence result which naturally associate a fresco to any relative de Rham cohomology class of a proper holomorphic function of a complex manifold onto a disc. This is, of course, the motivation for the study of frescos.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Contruction of quasi-invariant holomorphic parameters for the Gauss-Manin connection of a holomorphic map to a curve (second version)

In this paper we consider holomorphic families of frescos (i.e. filtered differential equations with a regular singularity) and we construct a locally versal holomorphic family for every fixed Bernstein polynomial. We construct also several holomorphic parameters (a holomorphic parameter is a function defined on a set of isomorphism classes of frescos) which are quasi-invariant by changes of variable. This is motivated by the fact that a fresco is associated to a relative de Rham cohomology class on a one parameter degeneration of compact complex manifolds, up to a change of variable in the parameter. Then the value of a quasi-invariant holomorphic parameter on such data produces a holomorphic (quasi-)invariant of such a situation.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Asymptotics of a vanishing period : the quotient themes of a given fresco

In this paper we introduce the word "fresco" to denote a $[λ]-$primitive monogenic geometric (a,b)-module. The study of this "basic object" (generalized Brieskorn module with one generator) which corresponds to the minimal filtered (regular) differential equation satisfied by a relative de Rham cohomology class, began in [B.09] where the first structure theorems are proved. Then in [B.10] we introduced the notion of theme which corresponds in the $[λ]-$primitive case to frescos having a unique Jordan-H{ö}lder sequence. Themes correspond to asymptotic expansion of a given vanishing period, so to the image of a fresco in the module of asymptotic expansions. For a fixed relative de Rham cohomology class (for instance given by a smooth differential form $d-$closed and $df-$closed) each choice of a vanishing cycle in the spectral eigenspace of the monodromy for the eigenvalue $exp(-2iπ.λ)$ produces a $[λ]-$primitive theme, which is a quotient of the fresco associated to the given relative de Rham class itself. So the problem to determine which theme is a quotient of a given fresco is important to deduce possible asymptotic expansions of the various vanishing period integrals associated to a given relative de Rham class when we change the choice of the vanishing cycle. In the appendix we prove a general existence result which naturally associate a fresco to any relative de Rham cohomology class of a proper holomorphic function of a complex manifold onto a disc.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Contruction of holomorphic parameters invariant by change of variable in the Gauss-Manin connection of an holomorphic map to a disc

When we consider a proper holomorphic map \ $\tilde{f}: X \to C$ \ of a complex manifold \ $X$ \ on a smooth complex curve \ $C$ \ with a critical value at a point \ $0$ \ in \ $C$, the choice of a local coordinate near this point allows to dispose of an holomorphic function \ $f$. Then we may construct, using this function, an (a,b)-modules structure on the cohomology sheaves of the formal completion (in \ $f$) \ of the complex of sheaves \ $(Ker\, df^{\bullet},d^{\bullet})$. These (a,b)-modules represent a filtered version of the Gauss-Manin connection of \ $f$. The most simple example of this construction is the Brieskorn module (see [Br.70]) of a function with an isolated singular point. See [B.08] for the case of a 1-dimensional critical locus. But it is clear that this construction depends seriously on the choice of the function \ $f$ \ that is to say on the choice of the local coordinate near the critical point \ $0$ \ in the complex curve \ $C$. The aim of the present paper is to study the behaviour of such constructions when we make a change of local coordinate near the origin. We consider the case of \ $[λ]-$primitive frescos, which are monogenic geometric (a,b)-modules corresponding to a minimal filtered differential equation associated to a relative de Rham cohomology class on \ $X$ \ (see [B.09-a] and [B.09-b]). An holomorphic parameter is a function on the set of isomorphism classes of frescos which behave holomorphically in an holomorphic family of frescos. In general, an holomorphic parameter is not invariant by a change of variable, but we prove a theorem of stability of holomorphic families of frescos by a change of variable and it implies that an holomorphic parameter gives again an holomorphic parameter by a change of variable. We construct here two different kinds of holomorphic parameters which are (quasi-)invariant by change of variable. The first kind is associated to Jordan blocks of the monodromy with size at least two. The second kind is associated to the semi-simple part of the monodromy and look like some "cross ratio" of eigenvectors. They allow, in the situation describe above, to associate to a given (vanishing) relative de Rham cohomology class some numbers, which will depend holomorphically of our data, and are independant of the choice of the local coordinate near \ $0$ \ to study the Gauss-Manin connection of this degeneration of compact complex manifolds.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Grauert's theorem for subanalytic open sets in real analytic manifolds

By open neighbourhood of an open subset $Ω$ of $\mathbb{R}^n$ we mean an open subset $Ω'$ of $\mathbb{C}^n$ such that $\mathbb{R}^n\capΩ'=Ω.$ A well known result of H. Grauert implies that any open subset of $\mathbb{R}^n$ admits a fundamental system of Stein open neighbourhoods in $\mathbb{C}^n$. Another way to state this property is to say that each open subset of $\mathbb{R}^n$ is Stein. We shall prove a similar result in the subanalytic category, so, under the assumption that $Ω$ is a subanalytic relatively compact open subset in a real analytic manifold, we show that $Ω$ admits a fundamental system of subanalytic Stein open neighbourhoods in any of its complexifications.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

The theme of a vanishing period

Let \ $λ\in \mathbb{Q}^{*+}$ \ and consider a multivalued formal function of the type $$ ϕ(s) : = \sum_{j=0}^k \ c_j(s).s^{λ+ m_j}.(Log\, s)^j $$ where \ $c_j \in \C[[s]], m_j \in \mathbb{N}$ \ for \ $j \in [0,k-1]$. The {\bf theme} associated to such a \ $ϕ$ \ is the "minimal filtered differential equation" with generator \ $ϕ$, in a sens which is made precise in this article. We study such objects and show that their isomorphism classes may be characterized by a finite set of complex numbers, when we assume the Bernstein polynomial fixed. For a given \ $λ$, to fix the Bernstein polynomial is equivalent to fix a finite set of integers associated to the logarithm of the monodromy in the geometric stuation described above. Our purpose is to construct some analytic invariants, for instance in the following situation : Let \ $f : X \to D$ \ be a proper holomorphic function defined on a complex manifold \ $X$ \ with value in a disc \ $D$. We assume that the only critical value is \ $0 \in D$ \ and we consider this situation as a degenerating family of compact complex manifolds to a singular compact complex space \ $f^{-1}(0)$. To a smooth \ $(p+1)-$form \ $ω$ \ on \ $X$ \ such that \ $dω= 0 = df \wedge ω$ \ and to a vanishing \ $p-$cycle \ $γ$ \ choosen in the generic fiber \ $f^{-1}(s_0), s_0 \in D \setminus \{0\}$, we associated a vanishing period \ $ϕ(s) : = \int_{γ_s} \ ω\big/df $ \ which is, when \ $γ$ \ is choosen in the spectral subspace of \ $H_p(f^{-1}(s_0), \C)$ \ for the eigenvalue \ $e^{2iπ.λ}$ \ of the monodromy of \ $f$, of the form above. Here \ $(γ_s)_{s \in D^*}$ is the horizontal multivalued family of \ $p-$cycles in the fibers of \ $f$ \ obtained from the choice of \ $γ$. The result obtained allows, for instance, to associate "natural" holomorphic functions of the parameter space when we have a family of such degenerations depending holomorphically on a parameter.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Changements de variable pour un th`eme.

We study the behaviour of the notion of "thema", introduced in our previous article [B.09b], by a change of variable. We show not only that the fundamental invariants of such a thema, corresponding to the Bernstein polynomial, are stable by a change of variable, but also other numerical invariants called principal parameters. \\ We show on a rank 3 example that nevertheless the isomorphism class of a thema is not stable in general by a change of variable. We conclude in proving that a change of variable transforms an holomorphic family of thema in an holomorphic family. This implies that non principal parameters change holomorphically.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Quasi-proper meromorphic equivalence relations

The aim of this article is to complete results of [M.00] and [B.08] and to show that they imply a rather general existence theorem for meromorphic quotient of strongly quasi-proper meromorphic equivalence relations. In this context, generic equivalence classes are asked to be pure dimensionnal closed analytic subset with finitely many irreducible components. As an application of these methods we prove a Stein factorization theorem for a strongly quasi-proper map

0 citations0 reviewsNo code linkedOpen access