More Like this

1. Boundary regularity and stability for spaces with Ricci bounded below

   https://doi.org/10.1007/s00222-021-01092-8  

   Bruè, Elia ; Naber, Aaron ; Semola, Daniele ( May 2022 , Inventiones mathematicae)

   Abstract This paper studies the structure and stability of boundaries in noncollapsed $${{\,\mathrm{RCD}\,}}(K,N)$$ RCD ( K , N ) spaces, that is, metric-measure spaces $$(X,{\mathsf {d}},{\mathscr {H}}^N)$$ ( X , d , H N ) with Ricci curvature bounded below. Our main structural result is that the boundary $$\partial X$$ ∂ X is homeomorphic to a manifold away from a set of codimension 2, and is $$N-1$$ N - 1 rectifiable. Along the way, we show effective measure bounds on the boundary and its tubular neighborhoods. These results are new even for Gromov–Hausdorff limits $$(M_i^N,{\mathsf {d}}_{g_i},p_i) \rightarrow (X,{\mathsf {d}},p)$$ ( M i N , d g i , p i ) → ( X , d , p ) of smooth manifolds with boundary, and require new techniques beyond those needed to prove the analogous statements for the regular set, in particular when it comes to the manifold structure of the boundary $$\partial X$$ ∂ X . The key local result is an $$\varepsilon $$ ε -regularity theorem, which tells us that if a ball $$B_{2}(p)\subset X$$ B 2 ( p ) ⊂ X is sufficiently close to a half space $$B_{2}(0)\subset {\mathbb {R}}^N_+$$ B 2 ( 0 ) ⊂ R + N in the Gromov–Hausdorff sense, then $$B_1(p)$$ B 1 ( p ) is biHölder to an open set of $${\mathbb {R}}^N_+$$ R + N . In particular, $$\partial X$$ ∂ X is itself homeomorphic to $$B_1(0^{N-1})$$ B 1 ( 0 N - 1 ) near $$B_1(p)$$ B 1 ( p ) . Further, the boundary $$\partial X$$ ∂ X is $$N-1$$ N - 1 rectifiable and the boundary measure "Equation missing" is Ahlfors regular on $$B_1(p)$$ B 1 ( p ) with volume close to the Euclidean volume. Our second collection of results involve the stability of the boundary with respect to noncollapsed mGH convergence $$X_i\rightarrow X$$ X i → X . Specifically, we show a boundary volume convergence which tells us that the $$N-1$$ N - 1 Hausdorff measures on the boundaries converge "Equation missing" to the limit Hausdorff measure on $$\partial X$$ ∂ X . We will see that a consequence of this is that if the $$X_i$$ X i are boundary free then so is X . 

   more » « less
2. On the three ball theorem for solutions of the Helmholtz equation

   https://doi.org/10.1007/s40627-021-00070-3  

   Berge, Stine Marie ; Malinnikova, Eugenia ( June 2021 , Complex Analysis and its Synergies)

   null (Ed.)

   Abstract Let $$u_{k}$$ u k be a solution of the Helmholtz equation with the wave number k , $$\varDelta u_{k}+k^{2} u_{k}=0$$ Δ u k + k 2 u k = 0 , on (a small ball in) either $${\mathbb {R}}^{n}$$ R n , $${\mathbb {S}}^{n}$$ S n , or $${\mathbb {H}}^{n}$$ H n . For a fixed point p , we define $$M_{u_{k}}(r)=\max _{d(x,p)\le r}|u_{k}(x)|.$$ M u k ( r ) = max d ( x , p ) ≤ r | u k ( x ) | . The following three ball inequality $$M_{u_{k}}(2r)\le C(k,r,\alpha )M_{u_{k}}(r)^{\alpha }M_{u_{k}}(4r)^{1-\alpha }$$ M u k ( 2 r ) ≤ C ( k , r , α ) M u k ( r ) α M u k ( 4 r ) 1 - α is well known, it holds for some $$\alpha \in (0,1)$$ α ∈ ( 0 , 1 ) and $$C(k,r,\alpha )>0$$ C ( k , r , α ) > 0 independent of $$u_{k}$$ u k . We show that the constant $$C(k,r,\alpha )$$ C ( k , r , α ) grows exponentially in k (when r is fixed and small). We also compare our result with the increased stability for solutions of the Cauchy problem for the Helmholtz equation on Riemannian manifolds. 

   more » « less
3. Universal Tensor Categories Generated by Dual Pairs

   https://doi.org/10.1007/s10485-021-09640-2  

   Chirvasitu, Alexandru ; Penkov, Ivan ( October 2021 , Applied Categorical Structures)

   Abstract Let $$V_*\otimes V\rightarrow {\mathbb {C}}$$ V ∗ ⊗ V → C be a non-degenerate pairing of countable-dimensional complex vector spaces V and $$V_*$$ V ∗ . The Mackey Lie algebra $${\mathfrak {g}}=\mathfrak {gl}^M(V,V_*)$$ g = gl M ( V , V ∗ ) corresponding to this pairing consists of all endomorphisms $$\varphi $$ φ of V for which the space $$V_*$$ V ∗ is stable under the dual endomorphism $$\varphi ^*: V^*\rightarrow V^*$$ φ ∗ : V ∗ → V ∗ . We study the tensor Grothendieck category $${\mathbb {T}}$$ T generated by the $${\mathfrak {g}}$$ g -modules V , $$V_*$$ V ∗ and their algebraic duals $$V^*$$ V ∗ and $$V^*_*$$ V ∗ ∗ . The category $${{\mathbb {T}}}$$ T is an analogue of categories considered in prior literature, the main difference being that the trivial module $${\mathbb {C}}$$ C is no longer injective in $${\mathbb {T}}$$ T . We describe the injective hull I of $${\mathbb {C}}$$ C in $${\mathbb {T}}$$ T , and show that the category $${\mathbb {T}}$$ T is Koszul. In addition, we prove that I is endowed with a natural structure of commutative algebra. We then define another category $$_I{\mathbb {T}}$$ I T of objects in $${\mathbb {T}}$$ T which are free as I -modules. Our main result is that the category $${}_I{\mathbb {T}}$$ I T is also Koszul, and moreover that $${}_I{\mathbb {T}}$$ I T is universal among abelian $${\mathbb {C}}$$ C -linear tensor categories generated by two objects X , Y with fixed subobjects $$X'\hookrightarrow X$$ X ′ ↪ X , $$Y'\hookrightarrow Y$$ Y ′ ↪ Y and a pairing $$X\otimes Y\rightarrow {\mathbf{1 }}$$ X ⊗ Y → 1 where 1 is the monoidal unit. We conclude the paper by discussing the orthogonal and symplectic analogues of the categories $${\mathbb {T}}$$ T and $${}_I{\mathbb {T}}$$ I T . 

   more » « less
4. Localization and nilpotent spaces in -homotopy theory

   https://doi.org/10.1112/S0010437X22007321  

   Asok, Aravind ; Fasel, Jean ; Hopkins, Michael J. ( March 2022 , Compositio Mathematica)

   Abstract For a subring $R$ of the rational numbers, we study $R$ -localization functors in the local homotopy theory of simplicial presheaves on a small site and then in ${\mathbb {A}}^1$ -homotopy theory. To this end, we introduce and analyze two notions of nilpotence for spaces in ${\mathbb {A}}^1$ -homotopy theory, paying attention to future applications for vector bundles. We show that $R$ -localization behaves in a controlled fashion for the nilpotent spaces we consider. We show that the classifying space $BGL_n$ is ${\mathbb {A}}^1$ -nilpotent when $n$ is odd, and analyze the (more complicated) situation where $n$ is even as well. We establish analogs of various classical results about rationalization in the context of ${\mathbb {A}}^1$ -homotopy theory: if $-1$ is a sum of squares in the base field, ${\mathbb {A}}^n \,{\setminus}\, 0$ is rationally equivalent to a suitable motivic Eilenberg–Mac Lane space, and the special linear group decomposes as a product of motivic spheres. 

   more » « less
5. Zeroes of polynomials on definable hypersurfaces: pathologies exist, but they are rare

   https://doi.org/10.1093/qmath/haz022  

   Basu, Saugata ; Lerario, Antonio ; Natarajan, Abhiram ( October 2019 , The Quarterly Journal of Mathematics)

   Given a sequence $\{Z_d\}_{d\in \mathbb{N}}$ of smooth and compact hypersurfaces in ${\mathbb{R}}^{n-1}$, we prove that (up to extracting subsequences) there exists a regular definable hypersurface $\Gamma \subset {\mathbb{R}}\textrm{P}^n$ such that each manifold $Z_d$ is diffeomorphic to a component of the zero set on $\Gamma$ of some polynomial of degree $d$. (This is in sharp contrast with the case when $\Gamma$ is semialgebraic, where for example the homological complexity of the zero set of a polynomial $p$ on $\Gamma$ is bounded by a polynomial in $\deg (p)$.) More precisely, given the above sequence of hypersurfaces, we construct a regular, compact, semianalytic hypersurface $\Gamma \subset {\mathbb{R}}\textrm{P}^{n}$ containing a subset $D$ homeomorphic to a disk, and a family of polynomials $\{p_m\}_{m\in \mathbb{N}}$ of degree $\deg (p_m)=d_m$ such that $(D, Z(p_m)\cap D)\sim ({\mathbb{R}}^{n-1}, Z_{d_m}),$ i.e. the zero set of $p_m$ in $D$ is isotopic to $Z_{d_m}$ in ${\mathbb{R}}^{n-1}$. This says that, up to extracting subsequences, the intersection of $\Gamma$ with a hypersurface of degree $d$ can be as complicated as we want. We call these ‘pathological examples’. In particular, we show that for every $0 \leq k \leq n-2$ and every sequence of natural numbers $a=\{a_d\}_{d\in \mathbb{N}}$ there is a regular, compact semianalytic hypersurface $\Gamma \subset {\mathbb{R}}\textrm{P}^n$, a subsequence $\{a_{d_m}\}_{m\in \mathbb{N}}$ and homogeneous polynomials $\{p_{m}\}_{m\in \mathbb{N}}$ of degree $\deg (p_m)=d_m$ such that (0.1)$$\begin{equation}b_k(\Gamma\cap Z(p_m))\geq a_{d_m}.\end{equation}$$ (Here $b_k$ denotes the $k$th Betti number.) This generalizes a result of Gwoździewicz et al. [13]. On the other hand, for a given definable $\Gamma$ we show that the Fubini–Study measure, in the Gaussian probability space of polynomials of degree $d$, of the set $\Sigma _{d_m,a, \Gamma }$ of polynomials verifying (0.1) is positive, but there exists a constant $c_\Gamma$ such that $$\begin{equation*}0<{\mathbb{P}}(\Sigma_{d_m, a, \Gamma})\leq \frac{c_{\Gamma} d_m^{\frac{n-1}{2}}}{a_{d_m}}.\end{equation*}$$ This shows that the set of ‘pathological examples’ has ‘small’ measure (the faster $a$ grows, the smaller the measure and pathologies are therefore rare). In fact we show that given $\Gamma$, for most polynomials a Bézout-type bound holds for the intersection $\Gamma \cap Z(p)$: for every $0\leq k\leq n-2$ and $t>0$: $$\begin{equation*}{\mathbb{P}}\left(\{b_k(\Gamma\cap Z(p))\geq t d^{n-1} \}\right)\leq \frac{c_\Gamma}{td^{\frac{n-1}{2}}}.\end{equation*}$$

    

   more » « less