The APDE seminar on Monday, 8/28, will be given by Ruixiang Zhang (Berkeley) in-person in Evans 736, and will also be broadcasted online via Zoom from 4:10pm to 5:00pm PST. To participate, please email Federico Pasqualotto (fpasqualotto@berkeley.edu) or Mengxuan Yang (mxyang@math.berkeley.edu).

Title: A new conjecture to unify Fourier restriction and Bochner-Riesz

Abstract: The Fourier restriction conjecture and the Bochner-Riesz conjecture ask for Lebesgue space mapping properties of certain oscillatory integral operators. They both are central in harmonic analysis, are open in dimensions $\geq 3$, and notably have the same conjectured exponents. In the 1970s, H\”{o}rmander asked if a more general class of operators (known as H\”{o}rmander type operators) all satisfy the same $L^p$-boundedness as in the above two conjectures. A positive answer to H\”{o}rmander’s question would resolve the above two conjectures and have more applications such as in the manifold setting. Unfortunately H\”{o}rmander’s question is known to fail in all dimensions $\geq 3$ by the work of Bourgain and many others. It continues to fail in all dimensions $\geq 3$ even if one adds a “positive curvature” assumption which one does have in restriction and Bochner-Riesz settings. Bourgain showed that in dimension $3$ one always has the failure unless a derivative condition is satisfied everywhere. Joint with Shaoming Guo and Hong Wang, we generalize this condition to arbitrary dimension and call it “Bourgain’s condition”. We unify Fourier restriction and Bochner-Riesz by conjecturing that any H\”{o}rmander type operator satisfying Bourgain’s condition should have the same $L^p$-boundedness as in those two conjectures. As evidences, we prove that the failure of Bourgain’s condition immediately implies the failure of such an $L^p$-boundedness in every dimension. We also prove that current techniques on the two conjectures apply equally well in our conjecture and make some progress on our conjecture that consequently improves the two conjectures in higher dimensions. I will talk about history and results, leaving comments on proof techniques mainly to my HADES talk.

The APDE seminar on Monday, 9/18, will be given by Junehyuk Jung (Brown) in-person in Evans 736, and will also be broadcasted online via Zoom from 4:10pm to 5:00pm PST. To participate, please email Federico Pasqualotto (fpasqualotto@berkeley.edu) or Mengxuan Yang (mxyang@math.berkeley.edu).

Title: Nodal domains of equivariant eigenfunctions on Kaluza-Klein 3-folds.

Abstract: In this talk, I’m going to present my work with Steve Zelditch, where we prove that, when M is a principle $S^1$-bundle equipped with a generic Kaluza-Klein metric, the nodal counting of eigenfunctions is typically 2, independent of the eigenvalues. Note that principle S1-bundle equipped with a Kaluza-Klein metric never admits ergodic geodesic flow. This, for instance, contrasts the case when (M,g) is a surface with non-empty boundary with ergodic geodesic flow (billiard flow), in which case the number of nodal domains of typical eigenfunctions tends to +∞. I will also present an orthonormal eigenbasis of Laplacian on a flat 3-torus, where every non-constant eigenfunction has exactly two nodal domains. In particular, this tells us that the number of nodal domain could be uniformly bounded independent of the eigenvalue.