On the representation as exterior differentials of closed forms with L1-coefficients

Let $N\ge 2$. If $g\in L_c^1({\mathbf{R}}^N)$ has zero integral, then the equation $\mathrm{div}X=g$ need not have a solution $X\in W_{\mathrm{loc}}^{1,1}({\mathbf{R}}^N;{\mathbf{R}}^N)$ [6] or even $X\in L_{\mathrm{loc}}^{N/(N?1)}$ $({\mathbf{R}}^N;{\mathbf{R}}^N)$ [2]. Using these results, we prove that, whenever $N\ge 3$ and $2\le ?\le N?1$, there exists some ?-form $f\in L_c^1({\mathbf{R}}^N;{\mathrm{\Lambda }}^{?})$ such that $\mathrm{d}f=0$ and the equation $\mathrm{d}\lambda =f$ has no solution $\lambda \in W_{\mathrm{loc}}^{1,1}({\mathbf{R}}^N;{\mathrm{\Lambda }}^{??1})$. This provides a negative answer to a question raised by Baldi, Franchi, and Pansu [1].     

The behavior of differential forms under purely inseparable extensions

Let F be a field of characteristic 2. In this paper we give a complete computation of the kernel of the homomorphism $H_2^{m+1}(F)?H_2^{m+1}(L)$ induced by scalar extension, where $L/F$ is a purely inseparable extension (of any degree), $H_2^{m+1}(F)$ is the cokernel of the Artin–Schreier operator $?:{\mathrm{\Omega }}_F^m?{\mathrm{\Omega }}_F^m/\mathrm{d}{\mathrm{\Omega }}_F^{m?1}$ given by: $x\frac{\mathrm{d}{x}_1}{x_1}\wedge ?\wedge \frac{\mathrm{d}{x}_m}{x_m}?(x^2?x)\frac{\mathrm{d}{x}_1}{x_1}\wedge ?\wedge \frac{\mathrm{d}{x}_m}{x_m}+\mathrm{d}{\mathrm{\Omega }}_F^{m?1}$, where ${\mathrm{\Omega }}_F^m$ is the space of absolute m-differential forms over F and d is the differential operator. Other related results are included.     

Projective well orders and coanalytic witnesses

We further develop a forcing notion known as Coding with Perfect Trees and show that this poset preserves, in a strong sense, definable P-points, definable tight MAD families and definable selective independent families. As a result, we obtain a model in which $\mathfrak{a}=\mathfrak{u}=\mathfrak{i}={\mathrm{?}}_1<2^{{\mathrm{?}}_0}={\mathrm{?}}_2$, each of $\mathfrak{a}$, $\mathfrak{u}$, $\mathfrak{i}$ has a ${\mathrm{\Pi }}_1^1$ witness and there is a ${\mathrm{\Delta }}_3^1$ well-order of the reals. Note that both the complexity of the witnesses of the above combinatorial cardinal characteristics, as well as the complexity of the well-order are optimal. In addition, we show that the existence of a ${\mathrm{\Delta }}_3^1$ well-order of the reals is consistent with $\mathfrak{c}={\mathrm{?}}_2$ and each of the following: $\mathfrak{a}=\mathfrak{u}<\mathfrak{i}$, $\mathfrak{a}=\mathfrak{i}<\mathfrak{u}$, $\mathfrak{a}<\mathfrak{u}=\mathfrak{i}$, where the smaller cardinal characteristics have co-analytic witnesses.Our methods allow the preservation of only sufficiently definable witnesses, which significantly differs from other preservation results of this type.     

Tight wavelet frame sets in finite vector spaces

Let $q\ge 2$ be an integer, and ${\mathbb{F}}_q^d$, $d\ge 1$, be the vector space over the cyclic space ${\mathbb{F}}_q$. The purpose of this paper is two-fold. First, we obtain sufficient conditions on $E?{\mathbb{F}}_q^d$ such that the inverse Fourier transform of $1_E$ generates a tight wavelet frame in $L^2({\mathbb{F}}_q^d)$. We call these sets (tight) wavelet frame sets. The conditions are given in terms of multiplicative and translational tilings, which is analogous with Theorem 1.1 ([20]) by Wang in the setting of finite fields. In the second part of the paper, we exhibit a constructive method for obtaining tight wavelet frame sets in ${\mathbb{F}}_q^d$, $d\ge 2$, q an odd prime and $q\equiv 3$ (mod 4).     

Embedding of RCD⁎(K,N) spaces in L2 via eigenfunctions

In this paper we study the family of embeddings ${\mathrm{\Phi }}_t$ of a compact ${\mathrm{RCD}}^{?}(K,N)$ space $(X,\mathsf{d},\mathfrak{m})$ into $L^2(X,\mathfrak{m})$ via eigenmaps. Extending part of the classical results [10], [11] known for closed Riemannian manifolds, we prove convergence as $t\downarrow 0$ of the rescaled pull-back metrics ${\mathrm{\Phi }}_t^{?}{g}_{L^2}$ in $L^2(X,\mathfrak{m})$ induced by ${\mathrm{\Phi }}_t$. Moreover we discuss the behavior of ${\mathrm{\Phi }}_t^{?}{g}_{L^2}$ with respect to measured Gromov-Hausdorff convergence and t. Applications include the quantitative $L^p$-convergence in the noncollapsed setting for all $p<\infty$, a result new even for closed Riemannian manifolds and Alexandrov spaces.