Related papers: Fonctions constructibles et int\'egration motiviqu…

En nous appuyant sur une construction due \`a Bedford et Taylor, et certains r\'esultats r\'ecents de Demailly, nous pr\'esentons une extension (partielle) de la g\'eom\'etrie d'Arakelov aux fibr\'es en droites int\'egrables. (Ces derniers…

We study the algebraic and geometric properties of the integral closure of different rings of functions on a real algebraic variety : the regular functions and the continuous rational functions.

We develop the Denef-Loeser motivic integration to the equivariant motivic integration and use it to prove the full integral identity conjecture for regular functions.

We introduce the notion of local fibration, a generalization of the notion of fibration which takes into account the presence of Grothendieck topologies on the two categories, and show that the classical results about fibrations lift to…

We describe two ways to construct finite rational morphisms between fiber products of rational elliptic surfaces with section and some Calabi--Yau manifolds. We use them to construct correspondences between such fiber products that admit at…

I prove a theorem about iterated integrals for non-product measures in a product space. The first task is to show the existence of a family of measures on the second space, indexed by the points on of the first space (outside a negligible…

In this paper, we introduce a new class of implicit function to prove common fixed point theorems in fuzzy metric space. Moreover we define a new altering distance in terms of integral and utilize the same to deduce integral type…

We construct a converging geometric iterated function system on the moduli space of ordered triangles, for which the involved functions have geometric meanings and contain a non-contraction map under the natural metric.

This paper from 2008 is the first in a series of three related papers on modal methods in interpretability logics and applications. In this first paper the foundations are laid for later results. These foundations consist of a thorough…

Fibring of modal logics is a well-established formalism for combining countable families of modal logics into a single fibred language with common semantics, characterized by fibred models. Inspired by this formalism, fibring of neural…

We study when induction functors (and their adjoints) between categories of Doi-Hopf modules and, more generally, entwined modules are separable, resp. Frobenius. We present a unified approach, leading to new proofs of old results by the…

We derive results about geometric means of the Fourier modulus of filters and functions related to refinable distributions with arbitrary dilations and translations. Then we develop multi-scale constructions for dilations by…

Let X be a smooth elliptic fibration over a smooth base B. Under mild assumptions, we establish a Fourier-Mukai equivalence between the derived categories of two objects, each of which is an O^* gerbe over a genus one fibration which is a…

We define an $\infty$-category of rational motives for inverse limits of algebraic stacks, so-called pro-algebraic stacks. We show that it admits a $6$-functor formalism for certain classes of morphisms. On pro-schemes, we show that this…

As the second part of the treatise 'A General Theory of Concept Lattice', this paper speaks of the tractability of the general concept lattice for both its lattice structure and logic content. The general concept lattice permits a feasible…

Several well known polytopal constuctions are examined from the functorial point of view. A naive analogy between the Billera-Sturmfels fiber polytope and the abelian kernel is disproved by an infinite explicit series of polytopes. A…

The aim of section 1 is to define the homotopic functor to category of Abelian groups, connected with the special classes of bundles with fiber matrix algebra or projective space. The aim of section 2 is to define some generalization of the…

The analytic implicit function theorem is extended. The function f of the theorem is integrated with respect to the dependent variable of the implicit function. A geometrical interpretation is given for the sub-geometry of the integral…

We construct the Weil restriction map for l-adic cohomology and, more generally, for mixed Weil cohomology theories. We study its compatibility with the motivic cycle class map and show that these constructions admit a natural…

We study two kinds of functors of wrapped Fukaya categories: 1) the Viterbo restriction functor for an inclusion of a Liouville sub-domain; 2) the Lagrangian correspondence functor associated to the graph of the completion of the inclusion…