Related papers: $l^2$ decoupling theorem for surfaces in $\mathbb{…

Given a complete non-compact surface embedded in R^3, we consider the Dirichlet Laplacian in a layer of constant width about the surface. Using an intrinsic approach to the layer geometry, we generalise the spectral results of an original…

We utilise the two principles of decoupling introduced in arXiv:2407.16108 to prove the following conditional result: assuming uniform decoupling for graphs of polynomials in all dimensions with identically zero Gaussian curvature, we can…

In this article, we establish an $\ell^2$ decoupling inequality for the surface $$F_4^2:=\Big\{(\xi_1,\xi_2,\xi_1^4+\xi_2^4): (\xi_1,\xi_2) \in [0,1]^2\Big\}$$ associated with the decomposition adapted to finite type geometry from our…

This is the second of two articles in which we prove a sharp $L^p-L^2$ Fourier restriction theorem for a large class of smooth, finite type hypersurfaces in R^3, which includes in particular all real-analytic hypersurfaces.

We prove sharp decoupling inequalities for all degenerate surfaces of codimension two in $\mathbb{R}^5$ given by two quadratic forms in three variables. Together with previous work by Demeter, Guo, and Shi in the non-degenerate case…

A new range of uniform $L^p$ resolvent estimates is obtained in the setting of the flat torus, improving previous results of Bourgain, Shao, Sogge and Yao. The arguments rely on the $\ell^2$-decoupling theorem and multidimensional Weyl sum…

This is the first of two articles in which we prove a sharp $L^p-L^2$ Fourier restriction theorem for a large class of smooth, finite type hypersurfaces in $\Bbb R^3$, which includes in particular all real-analytic hypersurfaces. The…

We prove $L^p({\mathbb R}^3)$ to $L^p_s({\mathbb R}^3)$ Sobolev improvement theorems for local averaging operators over real analytic surfaces in ${\mathbb R}^3$. For most such operators, in a sense made precise in the paper, the set of…

We introduce the use of $p$-descent techniques for elliptic surfaces over a perfect field of characteristic not $2$ or $3$. Under mild hypotheses, we obtain an upper bound for the rank of a non-constant elliptic surface. When $p=2$, this…

The problem of $L^p(R^3)\to L^2(S)$ Fourier restriction estimates for smooth hypersurfaces S of finite type in R^3 is by now very well understood for a large class of hypersurfaces, including all analytic ones. In this article, we take up…

We prove the sharp mixed norm $(l^2, L^{q}_{t}L^{r}_{x})$ decoupling estimate for the paraboloid in $d + 1$ dimensions.

A framework to systematically decouple high order elliptic equations into combination of Poisson-type and Stokes-type equations is developed. The key is to systematically construct the underling commutative diagrams involving the complexes…

To prove Fourier restriction estimate using polynomial partitioning, Guth introduced the concept of $k$-broad part of regular $L^p$ norm and obtained sharp $k$-broad restriction estimates. To go from $k$-broad estimates to regular $L^p$…

In the context of complex algebraic varieties, the decomposition theorem for semi-small maps provides a decomposition of the direct image of the constant sheaf. In this work, we develop a decomposition theorem for branched coverings of…

This paper extends Bombieri and Pila's estimate of lattice points on curves to arbitrary finite sets by incorporating considerations of minimal separation and the doubling constant. We derive the estimate by establishing the $\ell^2$…

We extend the results of Deligne and Illusie on liftings modulo $p^2$ and decompositions of the de Rham complex in several ways. We show that for a smooth scheme $X$ over a perfect field $k$ of characteristic $p>0$, the truncations of the…

We prove a sharp $l^{10}(L^{10})$ decoupling for the moment curve in $\mathbb{R}^3$. The proof involves a two-step decoupling combined with new incidence estimates for planks, tubes and plates.

We establish local $(L^p,L^q)$ mapping properties for averages on curves. The exponents are sharp except for endpoints.

We give a new proof of $l^2$ decoupling for the parabola inspired from efficient congruencing. Making quantitative this proof matches a bound obtained by Bourgain for the discrete restriction problem for the parabola. We illustrate…

In this work, we study the perception problem for sampled surfaces (possibly with boundary) using tools from computational topology, specifically, how to identify their underlying topology starting from point-cloud samples in space, such as…