On the energy image density conjecture of Bouleau and Hirsch
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866917016740298752 |
|---|---|
| author | Eriksson-Bique, Sylvester Murugan, Mathav |
| author_facet | Eriksson-Bique, Sylvester Murugan, Mathav |
| contents | We affirmatively resolve the energy image density conjecture of Bouleau and Hirsch (1986). Beyond the original framework of Dirichlet structures, we establish the energy image density property in several related settings. In particular, we formulate a version of the property that encompasses strongly local, regular Dirichlet forms, Sobolev spaces defined via upper gradients, and self-similar energies on fractals, thereby unifying these under a single framework. As applications, we prove the finiteness of the martingale dimension for diffusions satisfying sub-Gaussian heat kernel bounds, and we obtain a new proof of a conjecture of Cheeger concerning the Hausdorff dimension of the images of differentiability charts in PI spaces. The proof of the energy image density property is based on a structure theorem for measures and normal currents in $\mathbb{R}^n$ due to De Philippis--Rindler, together with the notions of decomposability bundles due to Alberti--Marchese and cone null sets due to Alberti--Csörnyei--Preiss and Bate. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2510_13659 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | On the energy image density conjecture of Bouleau and Hirsch Eriksson-Bique, Sylvester Murugan, Mathav Probability Classical Analysis and ODEs 31C25, 31E05, 30L99 We affirmatively resolve the energy image density conjecture of Bouleau and Hirsch (1986). Beyond the original framework of Dirichlet structures, we establish the energy image density property in several related settings. In particular, we formulate a version of the property that encompasses strongly local, regular Dirichlet forms, Sobolev spaces defined via upper gradients, and self-similar energies on fractals, thereby unifying these under a single framework. As applications, we prove the finiteness of the martingale dimension for diffusions satisfying sub-Gaussian heat kernel bounds, and we obtain a new proof of a conjecture of Cheeger concerning the Hausdorff dimension of the images of differentiability charts in PI spaces. The proof of the energy image density property is based on a structure theorem for measures and normal currents in $\mathbb{R}^n$ due to De Philippis--Rindler, together with the notions of decomposability bundles due to Alberti--Marchese and cone null sets due to Alberti--Csörnyei--Preiss and Bate. |
| title | On the energy image density conjecture of Bouleau and Hirsch |
| topic | Probability Classical Analysis and ODEs 31C25, 31E05, 30L99 |
| url | https://arxiv.org/abs/2510.13659 |