Related papers: Relative Mather discrepancy on arc spaces

We provide a geometric model for the classifying space of automorphism groups of Hermitian vector bundles over a ring with involution $R$ such that $\frac{1}{2} \in R$; this generalizes a result of Schlichting-Tripathi \cite{SchTri}. We…

Consider real-analytic mapping-germs, (R^n,o)-> (R^m,o). They can be equivalent (by coordinate changes) complex-analytically, but not real-analytically. However, if the transformation of complex-equivalence is identity modulo higher order…

We show in this note that the Sobolev Discrepancy introduced in Mroueh et al in the context of generative adversarial networks, is actually the weighted negative Sobolev norm $||.||_{\dot{H}^{-1}(\nu_q)}$, that is known to linearize the…

We develop a new framework to study real $K$-theory in the context of $\infty$-categories. For this, we introduce Waldhausen $\infty$-categories with genuine duality, which will be the input for such $K$-theory. These are Waldhausen…

Let $\mu$ be a positive finite measure on the unit circle. The Dirichlet type space $\mathcal{D}(\mu)$, associated to $\mu$, consists of holomorphic functions on the unit disc whose derivatives are square integrable when weighted against…

Let $(M,F)$ be a connected (not necessarily compact) foliated manifold carrying a complete Riemannian metric $g^{TM}$. We generalize Gromov's $\mathrm{K}$-cowaist using the coverings of $M$, as well as defining a closely related concept…

Let $S$ be a finite dimensional noetherian scheme. For any proper morphism between smooth $S$-schemes, we prove a Riemann-Roch formula relating higher algebraic $K$-theory and motivic cohomology, thus with no projective hypothesis neither…

Let $X$ be a complex normed space. Based on the right norm derivative $\rho_{_{+}}$, we define a mapping $\rho_{_{\infty}}$ by \begin{equation*} \rho_{_{\infty}}(x,y) = \frac1\pi\int_0^{2\pi}e^{i\theta}\rho_{_{+}}(x,e^{i\theta}y)d\theta…

We present a novel framework for variable selection in Fr\'echet regression with responses in general metric spaces, a setting increasingly relevant for analyzing non-Euclidean data such as probability distributions and covariance matrices.…

Given a finite simplicial complex $\mathcal{K}$ in $\mathbb{R}^n$ and a real algebraic variety $Y,$ by a $\mathcal{K}$-regular map $|\mathcal{K}|\rightarrow Y$ we mean a continuous map whose restriction to every simplex in $\mathcal{K}$ is…

For a function $W\in \mathbb{C}[X]$ on a smooth algebraic variety $X$ with Morse-Bott critical locus $Y\subset X$, Kapustin, Rozansky and Saulina suggest that the associated matrix factorisation category $\mathrm{MF}(X;W)$ should be…

This article is devoted to the study of a higher-dimensional generalisation of de Rham epsilon lines. To a holonomic $D$-module $M$ on a smooth variety $X$ and a generic tuple of $1$-form $(\nu_1,\dots,\nu_n)$, we associate a point of the…

We propose a simple model of spacetime vacuum fluctuations motivated by AdS/CFT, where the vacuum is described by a thermal density matrix, $\rho = \frac{e^{-K}}{\mbox{Tr}(e^{-K})}$ with $K$ the modular Hamiltonian. In AdS/CFT, both the…

An action of a Lie algebra $\frak g$ on a manifold $M$ is just a Lie algebra homomorphism $\zeta:\frak g\to \frak X(M)$. We define orbits for such an action. In general the space of orbits $M/\frak g$ is not a manifold and even has a bad…

We revisit the question of frame equivalence in Quantum Field Theory in the presence of gravity, a situation of relevance for theories aiming to describe the early Universe dynamics and Inflation in particular. We show that in those cases,…

We show how a metric space induces a linear functional (a "mean") on real-valued functions with domains in that metric space. This immediately induces a "relative" measure on a collection of subsets of the underlying set.

Low-rank approximation of kernels is a fundamental mathematical problem with widespread algorithmic applications. Often the kernel is restricted to an algebraic variety, e.g., in problems involving sparse or low-rank data. We show that…

We show that for finite dimensional regular Noetherian rings that contain a field or are smooth over a Dedekind domain, the comparison map from the Hermitian K-theory of genuine symmetric forms to that of symmetric forms is an equivalence…

In Mergelyan type approximation we uniformly approximate functions on compact sets K by polynomials or rational functions or holomorphic functions on varying open sets containing K. In the present paper we consider analogous approximation,…

This thesis introduces the notion of "relative gerbes" for smooth maps of manifolds, and discusses their differential geometry. The equivalence classes of relative gerbes are classified by the relative integral cohomology in degree three.…