A decomposition lemma in convex integration via classical algebraic geometry
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_ | 1866912356953489408 |
|---|---|
| author | Su, Zhitong Zhang, Weijun |
| author_facet | Su, Zhitong Zhang, Weijun |
| contents | In this paper, we introduce a decomposition lemma that allows error terms to be expressed using fewer rank-one symmetric matrices than $\frac{n(n+1)}{2}$ within the convex integration scheme of constructing flexible $C^{1,α}$ solutions to a system of nonlinear PDEs in dimension $n\geq 2$, which can be viewed as a kind of truncation of the codimension one local isometric embedding equation in Nash-Kuiper Theorem. This leads to flexible solutions with higher Hölder regularity, and consequently, improved very weak solutions to certain induced equations for any $n$, including Monge-Ampère systems and $2$-Hessian systems. The Hölder exponent of the solutions can be taken as any $α<(n^2+1)^{-1}$ for $n=2,4,8,16$, and any $α<(n^2+n-2ρ(\frac{n}{2})-1)^{-1}$ for other $n$, thereby improving the previously known bound $α<(n^2+n+1)^{-1}$ for $n\geq 3$. Here, $ρ(n)$ is the Radon-Hurwitz number, which exhibits an $8$-fold periodicity on $n$ that is related to Bott periodicity.
Our arguments involve novel applications of several results from algebraic geometry and topology, including Adams' theorem on maximum linearly independent vector fields on spheres, the intersection of projective varieties, and projective duality. We also use an elliptic method ingeniously that avoids loss of differentiability. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2504_21300 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | A decomposition lemma in convex integration via classical algebraic geometry Su, Zhitong Zhang, Weijun Analysis of PDEs Algebraic Geometry Differential Geometry In this paper, we introduce a decomposition lemma that allows error terms to be expressed using fewer rank-one symmetric matrices than $\frac{n(n+1)}{2}$ within the convex integration scheme of constructing flexible $C^{1,α}$ solutions to a system of nonlinear PDEs in dimension $n\geq 2$, which can be viewed as a kind of truncation of the codimension one local isometric embedding equation in Nash-Kuiper Theorem. This leads to flexible solutions with higher Hölder regularity, and consequently, improved very weak solutions to certain induced equations for any $n$, including Monge-Ampère systems and $2$-Hessian systems. The Hölder exponent of the solutions can be taken as any $α<(n^2+1)^{-1}$ for $n=2,4,8,16$, and any $α<(n^2+n-2ρ(\frac{n}{2})-1)^{-1}$ for other $n$, thereby improving the previously known bound $α<(n^2+n+1)^{-1}$ for $n\geq 3$. Here, $ρ(n)$ is the Radon-Hurwitz number, which exhibits an $8$-fold periodicity on $n$ that is related to Bott periodicity. Our arguments involve novel applications of several results from algebraic geometry and topology, including Adams' theorem on maximum linearly independent vector fields on spheres, the intersection of projective varieties, and projective duality. We also use an elliptic method ingeniously that avoids loss of differentiability. |
| title | A decomposition lemma in convex integration via classical algebraic geometry |
| topic | Analysis of PDEs Algebraic Geometry Differential Geometry |
| url | https://arxiv.org/abs/2504.21300 |