More Like this

1. Geography of symplectic Lefschetz fibrations and rational blowdowns

   https://doi.org/10.1090/tran/8968  

   Baykur, R; Korkmaz, Mustafa; Simone, Jonathan (July 2024, Transactions of the American Mathematical Society)

   We produce simply-connected, minimal, symplectic Lefschetz fibrations realizing all the lattice points in the symplectic geography plane below the Noether line. This provides asymplecticextension of the classical works populating the complex geography plane with holomorphic Lefschetz fibrations. Our examples are obtained by rationally blowing down Lefschetz fibrations with clustered nodal fibers, the total spaces of which are potentially new homotopy elliptic surfaces. Similarly, clustering nodal fibers on higher genera Lefschetz fibrations on standard rational surfaces, we get rational blowdown configurations that yield new constructions of small symplectic exotic $4$–manifolds. We present an example of a construction of a minimal symplectic exotic $\mathbb{C}\mathbb{P}{}^2\mathrm{\#<\#comment/>}5\stackrel{¯<\#comment/>}{\mathbb{C}\mathbb{P}}{}^2$through this procedure applied to a genus– $3$fibration. 

   more » « less
2. Some sharp inequalities of Mizohata–Takeuchi-type

   https://doi.org/10.4171/RMI/1463  

   Carbery, Anthony; Iliopoulou, Marina; Wang, Hong (June 2024, Revista Matemática Iberoamericana)

   Let\Sigmabe a strictly convex, compact patch of aC^{2}hypersurface in\mathbb{R}^{n}, with non-vanishing Gaussian curvature and surface measured\sigmainduced by the Lebesgue measure in\mathbb{R}^{n}. The Mizohata–Takeuchi conjecture states that \int |\widehat{g d\sigma}|^{2} w \leq C \|Xw\|_{\infty} \int |g|^{2} for allg\in L^{2}(\Sigma)and all weightsw \colon \mathbb{R}^{n}\rightarrow [0,+\infty), whereXdenotes theX-ray transform. As partial progress towards the conjecture, we show, as a straightforward consequence of recently-established decoupling inequalities, that for every\varepsilon>0, there exists a positive constantC_{\varepsilon}, which depends only on\Sigmaand\varepsilon, such that for allR \geq 1and all weightsw \colon \mathbb{R}^{n}\rightarrow [0,+\infty), we have \int_{B_R}|\widehat{g d\sigma}|^{2} w \leq C_{\varepsilon} R^{\varepsilon} \sup_{T} \Big(\int_{T} w^{(n+1)/2}\Big)^{2/(n+1)}\int |g|^{2}, whereTranges over the family of tubes in\mathbb{R}^{n}of dimensionsR^{1/2}\times \cdots \times R^{1/2}\times R. From this we deduce the Mizohata–Takeuchi conjecture with anR^{(n-1)/(n+1)}-loss; i.e., that \int_{B_R}|\widehat{g d\sigma}|^{2} w \leq C_{\varepsilon} R^{\frac{n-1}{n+1}+ \varepsilon}\|Xw\|_{\infty} \int |g|^{2} for any ballB_{R}of radiusRand any\varepsilon>0. The power(n-1)/(n+1)here cannot be replaced by anything smaller unless properties of\widehat{g d\sigma}beyond ‘decoupling axioms’ are exploited. We also provide estimates which improve this inequality under various conditions on the weight, and discuss some new cases where the conjecture holds. 

   more » « less
3. PL-Genus of surfaces in homology balls

   https://doi.org/10.1017/fms.2023.126  

   Hom, Jennifer; Stoffregen, Matthew; Zhou, Hugo (January 2024, Forum of Mathematics, Sigma)

   Abstract We consider manifold-knot pairs$$(Y,K)$$, whereYis a homology 3-sphere that bounds a homology 4-ball. We show that the minimum genus of a PL surface$$\Sigma $$in a homology ballX, such that$$\partial (X, \Sigma ) = (Y, K)$$can be arbitrarily large. Equivalently, the minimum genus of a surface cobordism in a homology cobordism from$$(Y, K)$$to any knot in$$S^3$$can be arbitrarily large. The proof relies on Heegaard Floer homology. 

   more » « less
4. A 2-categorical proof of Frobenius for fibrations defined from a generic point

   https://doi.org/10.1017/S0960129524000094  

   Hazratpour, Sina; Riehl, Emily (April 2024, Mathematical Structures in Computer Science)

   Abstract Consider a locally cartesian closed category with an object$$\mathbb{I}$$and a class of trivial fibrations, which admit sections and are stable under pushforward and retract as arrows. Define the fibrations to be those maps whose Leibniz exponential with the generic point of$$\mathbb{I}$$defines a trivial fibration. Then the fibrations are also closed under pushforward. 

   more » « less
5. On the Boundary Behavior of Mass-Minimizing Integral Currents

   https://doi.org/10.1090/memo/1446  

   De_Lellis, Camillo; De_Philippis, Guido; Hirsch, Jonas; Massaccesi, Annalisa (November 2023, Memoirs of the American Mathematical Society)

   Let $\mathrm{\Sigma <\#comment/>}$be a smooth Riemannian manifold, $\mathrm{\Gamma <\#comment/>}\subset <\#comment/>\mathrm{\Sigma <\#comment/>}$a smooth closed oriented submanifold of codimension higher than $2$and $T$an integral area-minimizing current in $\mathrm{\Sigma <\#comment/>}$which bounds $\mathrm{\Gamma <\#comment/>}$. We prove that the set of regular points of $T$at the boundary is dense in $\mathrm{\Gamma <\#comment/>}$. Prior to our theorem the existence of any regular point was not known, except for some special choice of $\mathrm{\Sigma <\#comment/>}$and $\mathrm{\Gamma <\#comment/>}$. As a corollary of our theorem we answer to a question in Almgren’sAlmgren’s big regularity paperfrom 2000 showing that, if $\mathrm{\Gamma <\#comment/>}$is connected, then $T$has at least one point $p$of multiplicity $\frac{1}{2}$, namely there is a neighborhood of the point $p$where $T$is a classical submanifold with boundary $\mathrm{\Gamma <\#comment/>}$; we generalize Almgren’s connectivity theorem showing that the support of $T$is always connected if $\mathrm{\Gamma <\#comment/>}$is connected; we conclude a structural result on $T$when $\mathrm{\Gamma <\#comment/>}$consists of more than one connected component, generalizing a previous theorem proved by Hardt and Simon in 1979 when $\mathrm{\Sigma <\#comment/>}={\mathbb{R}}^{m+1}$and $T$is $m$-dimensional. 

   more » « less