arXiv subjects
Publications and source records attributed to Luca Prelli.
In this paper, we construct the multi-microlocalization functor $\mu hom_{{\chi}}$ of homomorphisms, which is a counterpart of the functor $\mu hom$ studied by M.Kashiwara and P.Schapira. Furthermore, using the new functor, we also introduce several sheaves of multi-microlocal operators which act on multi-microlocalized objects such as a multi-microfunction.
We give a new construction of sheaves on a relative site associated to a product $X\times S$ where $S$ plays the role of a parameter space, expanding the previous construction by the same authors, where the subanalytic structure on $S$ was required. Here we let this last condition fall. In this way the construction becomes much easier to apply when dimension of $S$ is bigger than one. We also study the functorial properties of base change with respect to the parameter space.
The aim of this paper is to give a new description of the geometry appearing in the multi-specialization along a general family of submanifolds of a real analytic manifold (including some important cases as clean intersection or a simultaneously linearizable family of Lagrangian submanifolds in a cotangent bundle) and then, to extend several properties of the multi-specialization. The notion of multi-asymptotic expansions is also extended. In the local model more general cases are studied: locally we can construct new sheaves of multi-asymptotically developable functions closely related with asymptotics along a subvariety with a simple singularity such as a cusp.
Let M be a real analytic manifold, F a bounded complex of constructible sheaves. We show that the Whitney-de Rham complex associated to F is quasi-isomorphic to F.
Let ${\mathbb M}$ be an arbitrary o-minimal structure. Let $G$ be a definably compact definably connected abelian definable group of dimension $n$. Here we compute the new the intrinsic o-minimal fundamental group of $G;$ for each $k>0$, the $k$-torsion subgroups of $G;$ the o-minimal cohomology algebra over ${\mathbb Q}$ of $G.$ As a corollary we obtain a new uniform proof of Pillay's conjecture, an o-minimal analogue of Hilbert's fifth problem, relating definably compact groups to compact real Lie groups, extending the proof already known in o-minimal expansions of ordered fields.
In this paper we work in o-minimal structures with definable Skolem functions and show that a continuous definable map between Hausdorff locally definably compact definable spaces is definably proper if and only if it is proper morphism in the category of definable spaces. We give several other characterizations of definably proper including one involving the existence of limits of definable types. We also prove the basic properties of definably proper maps and the invariance of definably proper in elementary extensions and o-minimal expansions.
In this paper we develop the formalism of the Grothendieck six operations on o-minimal sheaves. The Grothendieck formalism allows us to obtain o-minimal versions of: (i) derived projection formula; (ii) universal coefficient formula; (iii) derived base change formula; (iv) K\"unneth formula; (v) local and global Verdier duality.
The purpose of this paper is to establish the foundations of multi-microlocalization, in particular, to give the fiber formula for the multi-microlocalization functor and estimate of microsupport of a multi-microlocalized object. We also give some applications of these results.
Given a projection $f$ of a product of real analytic manifolds onto one factor, let us say, $S$, and a subanalytic sheaf $\mathcal{F}$ on the associated subanalytic site, we give a natural construction of the (subanalytic) relative sheaf $\mathcal{F}^S$. Applying our construction to the subanalytic sheaves of tempered distributions, holomorphic functions and Whitney $\mathcal{C}^{\infty}$-functions we obtain their relative versions and study their properties.
We prove that in a semi-bounded o-minimal expansion of an ordered group every non-empty open definable set is a finite union of open cells.
In this paper we find general criteria to ensure that, in an arbitrary o-minimal structure, the o-minimal cohomology without supports and with definably compact supports of a definable space with coefficients in a sheaf is invariant in elementary extensions and in o-minimal expansions. We also prove the o-minimal analogue of Wilder's finiteness theorem in this context.
Here we simplify the proof of the de Rham theorem for Schwartz functions on affine Nash manifolds and generalize the result to the case of non affine Nash manifolds.
In this paper we extend the notion of specialization functor to the case of several closed submanifolds satisfying some suitable conditions. Applying this functor to the sheaf of Whitney holomorphic functions we construct different kinds of sheaves of multi-asymptotically developable functions, whose definitions are natural extensions of the definition of strongly asymptotically developable functions introduced by Majima.
Here we prove a Poincar\'e-Verdier duality theorem for the o-minimal sheaf cohomology with definably compact supports of definably normal, definably locally compact spaces in an arbitrary o-minimal structure.
The aim of this paper is to give a unifying description of various constructions (subanalytic, semialgebraic, o-minimal site) using the notion of T-topology. We then study the category of T-sheaves.
Here we prove that the homological dimension of the category of sheaves on a topological space satisfying some suitable conditions is finite. In particular, we find conditions to bound the homological dimension of o-minimal and subanalytic sheaves.
We prove the Cauchy-Kowaleskaya-Kashiwara theorem for holomorphic functions with growth conditions.
In this paper we define specialization and microlocalization for subanalytic sheaves. Applying these functors to the sheaves of tempered and Whytney holomorphic functions we get a unifying description of tempered and formal microlocalization using the theory of subanalytic sheaves.