Related papers: Lebesgue integration on $\sigma$-locales: simple f…
In this lecture delivered at the Integrable and Quantum Field Theory at Peyresq sixth meeting, we review the Lychagin's Monge-Ampere operators theory and exhibit the link it establishes between the classical problem of local equivalence for…
Topological measures and deficient topological measures generalize Borel measures and correspond to certain non-linear functionals. We study integration with respect to deficient topological measures on locally compact spaces. Such an…
Following and generalizing a construction by Kontsevich, we associate a zeta function to any matrix with entries in a ring of noncommutative Laurent polynomials with integer coefficients. We show that such a zeta function is an algebraic…
We report on an original formalization of measure and integration theory in the Coq proof assistant. We build the Lebesgue measure following a standard construction that had not yet been formalized in proof assistants based on dependent…
We give a proof of Ilmanen's lemma, which asserts that between a locally semi-convex and a locally semi-concave function it is possible to find a C$^{1,1}$ function.
We prove for an arbitrary complex $^*$-algebra $A$ that every topologically irreducible $^*$-representation of $A$ on a Hilbert space is finite dimensional precisely when the Lebesgue decomposition of representable positive functionals over…
This note describes Fatou's lemma and Lebesgue's dominated convergence theorem for a sequence of measures converging weakly to a finite measure and for a sequence of functions whose negative parts are uniformly integrable with respect to…
We study the local Dirichlet integral of distance functions and their behavior within the harmonic Dirichlet space. We provide estimates for the local Dirichlet integral of distance functions, which allow us to study their membership in the…
We study a characterization of BV and Sobolev functions via nonlocal functionals in metric spaces equipped with a doubling measure and supporting a Poincar\'e inequality. Compared with previous works, we consider more general functionals.…
Functional integrals are defined in terms of locally compact topological groups and their associated Banach-valued Haar integrals. This approach generalizes the functional integral scheme of Cartier and DeWitt-Morette. The definition allows…
The concept of a uniform set is introduced for an ergodic, measure-preserving transformation on a non-atomic, infinite Lebesgue space. The uniform sets exist as much as they generate the underlying $\sigma$-algebra. This leads to the result…
We study the pointwise convergence and the $\Gamma$-convergence of a family of non-local, non-convex functionals $\Lambda_\delta$ in $L^p(\Omega)$ for $p>1$. We show that the limits are multiples of $\int_{\Omega} |\nabla u|^p$. This is a…
Work in the measure algebra of the Lebesgue measure on the Cantor space: for comeager many $[A]$ the set of points $x$ such that the density of $x $ at $A$ is not defined is $\Sigma^{0}_{3}$-complete; for some compact $K$ the set of points…
Let $\varphi$ be a function in the complex Sobolev space $W^*(U)$, where $U$ is an open subset in $\mathbb{C}^k$. We show that the complement of the set of Lebesgue points of $\varphi$ is pluripolar. The key ingredient in our approach is to…
We generalize the notion of the auto-Igusa zeta function to formal deformations of algebraic spaces. By incorporating data from all algebraic transformations of local coordinates, this function can be viewed as a generalization of the…
In this paper consisting of two parts, we study the integral of a logarithmic differential form on a compact semi-algebraic set in R^n or C^n. In Part I, we prove the convergence of the integral when the semi-algebraic set satisfies…
In this expository paper aimed at a general mathematical audience, we discuss how to combine certain classic theorems of set-theoretic inner model theory and effective descriptive set theory with work on Hilbert's tenth problem and…
Let $G$ be a compact connected Lie group and $P \to M$ a smooth principal $G$-bundle. Let a `cylinder function' on the space $\A$ of smooth connections on $P$ be a continuous function of the holonomies of $A$ along finitely many piecewise…
The Hilbert functions and the regularity of the graded components of local cohomology of a bigraded algebra are considered. Explicit bounds for these invariants are obtained for bigraded hypersurface rings.
We introduce the notion of functionally compact sets into the theory of nonlinear generalized functions in the sense of Colombeau. The motivation behind our construction is to transfer, as far as possible, properties enjoyed by standard…