Abstract We construct a single smooth orthogonal projection with desired localization whose average under a group action yields the decomposition of the identity operator. For any full rank lattice $$\Gamma \subset \mathbb {R}^d$$ Γ ⊂ R d , a smooth projection is localized in a neighborhood of an arbitrary precompact fundamental domain $$\mathbb {R}^d/\Gamma $$ R d / Γ . We also show the existence of a highly localized smooth orthogonal projection, whose Marcinkiewicz average under the action of SO ( d ), is a multiple of the identity on $$L^2(\mathbb {S}^{d-1})$$ L 2 ( S d - 1 ) . As an application we construct highly localized continuous Parseval frames on the sphere. 
                        more » 
                        « less   
                    
                            
                            Harmonic branched coverings and uniformization of CAT( k ) spheres
                        
                    
    
            Abstract Let S be a surface with a metric d satisfying an upper curvature bound in the sense of Alexandrov (i.e. via triangle comparison).We show that an almost conformal harmonic map from a surface into ( S , d ) {(S,d)} is a branched covering. As a consequence, if ( S , d ) {(S,d)} is homeomorphically equivalent to the 2-sphere 𝕊 2 {\mathbb{S}^{2}} , then it is conformally equivalent to 𝕊 2 {\mathbb{S}^{2}} . 
        more » 
        « less   
        
    
                            - Award ID(s):
- 2147439
- PAR ID:
- 10326826
- Date Published:
- Journal Name:
- Journal für die reine und angewandte Mathematik (Crelles Journal)
- Volume:
- 2021
- Issue:
- 779
- ISSN:
- 0075-4102
- Page Range / eLocation ID:
- 123 to 166
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
- 
            
- 
            null (Ed.)Abstract We consider the inequality $$f \geqslant f\star f$$ for real functions in $$L^1({\mathbb{R}}^d)$$ where $$f\star f$$ denotes the convolution of $$f$$ with itself. We show that all such functions $$f$$ are nonnegative, which is not the case for the same inequality in $L^p$ for any $$1 < p \leqslant 2$$, for which the convolution is defined. We also show that all solutions in $$L^1({\mathbb{R}}^d)$$ satisfy $$\int _{{\mathbb{R}}^{\textrm{d}}}f(x)\ \textrm{d}x \leqslant \tfrac 12$$. Moreover, if $$\int _{{\mathbb{R}}^{\textrm{d}}}f(x)\ \textrm{d}x = \tfrac 12$$, then $$f$$ must decay fairly slowly: $$\int _{{\mathbb{R}}^{\textrm{d}}}|x| f(x)\ \textrm{d}x = \infty $$, and this is sharp since for all $r< 1$, there are solutions with $$\int _{{\mathbb{R}}^{\textrm{d}}}f(x)\ \textrm{d}x = \tfrac 12$$ and $$\int _{{\mathbb{R}}^{\textrm{d}}}|x|^r f(x)\ \textrm{d}x <\infty $$. However, if $$\int _{{\mathbb{R}}^{\textrm{d}}}f(x)\ \textrm{d}x =: a < \tfrac 12$$, the decay at infinity can be much more rapid: we show that for all $$a<\tfrac 12$$, there are solutions such that for some $$\varepsilon>0$$, $$\int _{{\mathbb{R}}^{\textrm{d}}}e^{\varepsilon |x|}f(x)\ \textrm{d}x < \infty $$.more » « less
- 
            Abstract Consider two half-spaces$$H_1^+$$ and$$H_2^+$$ in$${\mathbb {R}}^{d+1}$$ whose bounding hyperplanes$$H_1$$ and$$H_2$$ are orthogonal and pass through the origin. The intersection$${\mathbb {S}}_{2,+}^d:={\mathbb {S}}^d\cap H_1^+\cap H_2^+$$ is a spherical convex subset of thed-dimensional unit sphere$${\mathbb {S}}^d$$ , which contains a great subsphere of dimension$$d-2$$ and is called a spherical wedge. Choosenindependent random points uniformly at random on$${\mathbb {S}}_{2,+}^d$$ and consider the expected facet number of the spherical convex hull of these points. It is shown that, up to terms of lower order, this expectation grows like a constant multiple of$$\log n$$ . A similar behaviour is obtained for the expected facet number of a homogeneous Poisson point process on$${\mathbb {S}}_{2,+}^d$$ . The result is compared to the corresponding behaviour of classical Euclidean random polytopes and of spherical random polytopes on a half-sphere.more » « less
- 
            Let $$X=\mathbb{C}\times\Sigma$$ be the product of the complex plane and a compact Riemann surface. We establish a classification theorem of solutions to the Seiberg-Witten equation on $$X$$ with finite analytic energy. The spin bundle $$S^+\to X$$ splits as $$L^+\oplus L^-$$. When $$2-2g\leq c_1(S^+)[\Sigma]<0$$, the moduli space is in bijection with the moduli space of pairs $$((L^+,\bar{\partial}), f)$$ where $$(L^+,\bar{\partial})$$ is a holomorphic structure on $L^+$ and $$f: \mathbb{C}\to H^0(\Sigma, L^+,\bar{\partial})$$ is a polynomial map. Moreover, the solution has analytic energy $$-4\pi^2d\cdot c_1(S^+)[\Sigma]$$ if $$f$$ has degree $$d$$. When $$c_1(S^+)=0$$, all solutions are reducible and the moduli space is the space of flat connections on $$\bigwedge^2 S^+$$. We also estimate the decay rate at infinity for these solutions.more » « less
- 
            We obtain Weyl type asymptotics for the quantised derivative \dj \mkern 1muf of a function f f from the homgeneous Sobolev space W ˙ d 1 ( R d ) \dot {W}^1_d(\mathbb {R}^d) on R d . \mathbb {R}^d. The asymptotic coefficient ‖ ∇ f ‖ L d ( R d ) \|\nabla f\|_{L_d(\mathbb R^d)} is equivalent to the norm of \dj \mkern 1muf in the principal ideal L d , ∞ , \mathcal {L}_{d,\infty }, thus, providing a non-asymptotic, uniform bound on the spectrum of \dj \mkern 1muf. Our methods are based on the C ∗ C^{\ast } -algebraic notion of the principal symbol mapping on R d \mathbb {R}^d , as developed recently by the last two authors and collaborators.more » « less
 An official website of the United States government
An official website of the United States government 
				
			 
					 
					
 
                                    