More Like this

1. On the Moduli of Lipschitz Homology Classes

   https://doi.org/10.1007/s12220-025-01916-6  

   Kangasniemi, Ilmari; Prywes, Eden (February 2025, The Journal of Geometric Analysis)

   Abstract We define a type of modulus$$\operatorname {dMod}_p$$ ${dMod}_p$for Lipschitz surfaces based on$$L^p$$ $L^p$-integrable measurable differential forms, generalizing the vector modulus of Aikawa and Ohtsuka. We show that this modulus satisfies a homological duality theorem, where for Hölder conjugate exponents$$p, q \in (1, \infty )$$ $p,q\in (1,\infty )$, every relative Lipschitzk-homology classchas a unique dual Lipschitz$$(n-k)$$ $(n-k)$-homology class$$c'$$ $c^{\prime }$such that$$\operatorname {dMod}_p^{1/p}(c) \operatorname {dMod}_q^{1/q}(c') = 1$$ ${dMod}_p^{1/p}\left(c\right){dMod}_q^{1/q}\left(c^{\prime }\right)=1$and the Poincaré dual ofcmaps$$c'$$ $c^{\prime }$to 1. As$$\operatorname {dMod}_p$$ ${dMod}_p$is larger than the classical surface modulus$$\operatorname {Mod}_p$$ ${Mod}_p$, we immediately recover a more general version of the estimate$$\operatorname {Mod}_p^{1/p}(c) \operatorname {Mod}_q^{1/q}(c') \le 1$$ ${Mod}_p^{1/p}\left(c\right){Mod}_q^{1/q}\left(c^{\prime }\right)\le 1$, which appears in works by Freedman and He and by Lohvansuu. Our theory is formulated in the general setting of Lipschitz Riemannian manifolds, though our results appear new in the smooth setting as well. We also provide a characterization of closed and exact Sobolev forms on Lipschitz manifolds based on integration over Lipschitzk-chains. 

   more » « less
2. Restricted spaces of holomorphic sections vanishing along subvarieties

   https://doi.org/10.1007/s00209-025-03706-w  

   Coman, Dan; Marinescu, George; Nguyên, Viêt-Anh (May 2025, Mathematische Zeitschrift)

   Abstract LetXbe a compact normal complex space of dimensionnandLbe a holomorphic line bundle onX. Suppose that$$\Sigma =(\Sigma _1,\ldots ,\Sigma _\ell )$$ $\Sigma =({\Sigma }_1,\dots ,{\Sigma }_{\ell })$is an$$\ell $$ $\ell$-tuple of distinct irreducible proper analytic subsets ofX,$$\tau =(\tau _1,\ldots ,\tau _\ell )$$ $\tau =({\tau }_1,\dots ,{\tau }_{\ell })$is an$$\ell $$ $\ell$-tuple of positive real numbers, and let$$H^0_0(X,L^p)$$ $H_0^0(X,L^p)$be the space of holomorphic sections of$$L^p:=L^{\otimes p}$$ $L^p:=L^{\otimes p}$that vanish to order at least$$\tau _jp$$ ${\tau }_{j}p$along$$\Sigma _j$$ ${\Sigma }_j$,$$1\le j\le \ell $$ $1\le j\le \ell$. If$$Y\subset X$$ $Y\subset X$is an irreducible analytic subset of dimensionm, we consider the space$$H^0_0 (X|Y, L^p)$$ $H_0^0\left(X\right|Y,L^p)$of holomorphic sections of$$L^p|_Y$$ $L^p{|}_Y$that extend to global holomorphic sections in$$H^0_0(X,L^p)$$ $H_0^0(X,L^p)$. Assuming that the triplet$$(L,\Sigma ,\tau )$$ $(L,\Sigma ,\tau )$is big in the sense that$$\dim H^0_0(X,L^p)\sim p^n$$ $dim{H}_0^0(X,L^p)\sim p^n$, we give a general condition onYto ensure that$$\dim H^0_0(X|Y,L^p)\sim p^m$$ $dim{H}_0^0\left(X\right|Y,L^p)\sim p^m$. WhenLis endowed with a continuous Hermitian metric, we show that the Fubini-Study currents of the spaces$$H^0_0(X|Y,L^p)$$ $H_0^0\left(X\right|Y,L^p)$converge to a certain equilibrium current onY. We apply this to the study of the equidistribution of zeros inYof random holomorphic sections in$$H^0_0(X|Y,L^p)$$ $H_0^0\left(X\right|Y,L^p)$as$$p\rightarrow \infty $$ $p\to \infty$. 

   more » « less
3. The half-volume spectrum of a manifold

   https://doi.org/10.1007/s00526-025-02949-z  

   Mazurowski, Liam; Zhou, Xin (May 2025, Calculus of Variations and Partial Differential Equations)

   Abstract We define the half-volume spectrum$$\{{\tilde{\omega }_p\}_{p\in \mathbb {N}}}$$ $\{{\tilde{\omega }}_p{\}}_{p\in N}$of a closed manifold$$(M^{n+1},g)$$ $(M^{n+1},g)$. This is analogous to the usual volume spectrum ofM, except that we restrict top-sweepouts whose slices each enclose half the volume ofM. We prove that the Weyl law continues to hold for the half-volume spectrum. We define an analogous half-volume spectrum$$\tilde{c}(p)$$ $\tilde{c}\left(p\right)$in the phase transition setting. Moreover, for$$3 \le n+1 \le 7$$ $3\le n+1\le 7$, we use the Allen–Cahn min-max theory to show that each$$\tilde{c}(p)$$ $\tilde{c}\left(p\right)$is achieved by a constant mean curvature surface enclosing half the volume ofMplus a (possibly empty) collection of minimal surfaces with even multiplicities. 

   more » « less
4. A Refutation of the Pach-Tardos Conjecture for 0–1 Matrices

   https://doi.org/10.1007/s00493-025-00187-7  

   Pettie, Seth; Tardos, Gábor (December 2025, Combinatorica)

   Abstract The theory of forbidden 0–1 matrices generalizes Turán-style (bipartite) subgraph avoidance, Davenport-Schinzel theory, and Zarankiewicz-type problems, and has been influential in many areas, such as discrete and computational geometry, the analysis of self-adjusting data structures, and the development of the graph parametertwin width. The foremost open problem in this area is to resolve thePach-Tardos conjecturefrom 2005, which states that if a forbidden pattern$$P\in \{0,1\}^{k\times l}$$ $P\in {\{0,1\}}^{k\times l}$isacyclic, meaning it is the bipartite incidence matrix of a forest, then$$\operatorname {Ex}(P,n) = O(n\log ^{C_P} n)$$ $Ex(P,n)=O\left(n{log}^{C_P}n\right)$, where$$\operatorname {Ex}(P,n)$$ $Ex(P,n)$is the maximum number of 1s in aP-free$$n\times n$$ $n\times n$0–1 matrix and$$C_P$$ $C_P$is a constant depending only onP. This conjecture has been confirmed on many small patterns, specifically allPwith weight at most 5, and all but two with weight 6. The main result of this paper is a clean refutation of the Pach-Tardos conjecture. Specifically, we prove that$$\operatorname {Ex}(S_0,n),\operatorname {Ex}(S_1,n) \ge n2^{\Omega (\sqrt{\log n})}$$ $Ex(S_0,n),Ex(S_1,n)\ge n{2}^{\Omega \left(\sqrt{logn}\right)}$, where$$S_0,S_1$$ $S_0,S_1$are the outstanding weight-6 patterns. We also prove sharp bounds on the entire class ofalternatingpatterns$$(P_t)$$ $\left(P_t\right)$, specifically that for every$$t\ge 2$$ $t\ge 2$,$$\operatorname {Ex}(P_t,n)=\Theta (n(\log n/\log \log n)^t)$$ $Ex(P_t,n)=\Theta \left(n{(logn/loglogn)}^t\right)$. This is the first proof of an asymptotically sharp bound that is$$\omega (n\log n)$$ $\omega (nlogn)$. 

   more » « less
5. Regularity of area minimizing currents mod p

   https://doi.org/10.1007/s00039-020-00546-0  

   De Lellis, Camillo; Hirsch, Jonas; Marchese, Andrea; Stuvard, Salvatore (October 2020, Geometric and Functional Analysis)

   Abstract We establish a first general partial regularity theorem for area minimizing currents$${\mathrm{mod}}(p)$$ $\mathrm{mod}\left(p\right)$, for everyp, in any dimension and codimension. More precisely, we prove that the Hausdorff dimension of the interior singular set of anm-dimensional area minimizing current$${\mathrm{mod}}(p)$$ $\mathrm{mod}\left(p\right)$cannot be larger than$$m-1$$ $m-1$. Additionally, we show that, whenpis odd, the interior singular set is$$(m-1)$$ $(m-1)$-rectifiable with locally finite$$(m-1)$$ $(m-1)$-dimensional measure. 

   more » « less