skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.


Title: On finite energy monopoles on $C x \Sigma$.
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
Award ID(s):
1808794
PAR ID:
10105142
Author(s) / Creator(s):
Date Published:
Journal Name:
ArXiv.org
ISSN:
2331-8422
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. 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
  2. Let V V be a vertex operator superalgebra with the natural order 2 automorphism σ \sigma . Under suitable conditions on V V , the σ \sigma -fixed subspace V 0 ¯ V_{\bar 0} is a vertex operator algebra and the V 0 ¯ V_{\bar 0} -module category C V 0 ¯ \mathcal {C}_{V_{\bar 0}} is a modular tensor category. In this paper, we prove that C V 0 ¯ \mathcal {C}_{V_{\bar 0}} is a fermionic modular tensor category and the Müger centralizer C V 0 ¯ 0 \mathcal {C}_{V_{\bar 0}}^0 of the fermion in C V 0 ¯ \mathcal {C}_{V_{\bar 0}} is generated by the irreducible V 0 ¯ V_{\bar 0} -submodules of the V V -modules. In particular, C V 0 ¯ 0 \mathcal {C}_{V_{\bar 0}}^0 is a super-modular tensor category and C V 0 ¯ \mathcal {C}_{V_{\bar 0}} is a minimal modular extension of C V 0 ¯ 0 \mathcal {C}_{V_{\bar 0}}^0 . We provide a construction of a vertex operator superalgebra V l V^l for each positive integer l l such that C ( V l ) 0 ¯ \mathcal {C}_{{(V^l)_{\bar 0}}} is a minimal modular extension of C V 0 ¯ 0 \mathcal {C}_{V_{\bar 0}}^0 . We prove that these modular tensor categories C ( V l ) 0 ¯ \mathcal {C}_{{(V^l)_{\bar 0}}} are uniquely determined, up to equivalence, by the congruence class of l l modulo 16. 
    more » « less
  3. We study regularity of solutions u u to ∂<#comment/> ¯<#comment/> u = f \overline \partial u=f on a relatively compact C 2 C^2 domain D D in a complex manifold of dimension n n , where f f is a ( 0 , q ) (0,q) form. Assume that there are either ( q + 1 ) (q+1) negative or ( n −<#comment/> q ) (n-q) positive Levi eigenvalues at each point of boundary ∂<#comment/> D \partial D . Under the necessary condition that a locally L 2 L^2 solution exists on the domain, we show the existence of the solutions on the closure of the domain that gain 1 / 2 1/2 derivative when q = 1 q=1 and f f is in the Hölder–Zygmund space Λ<#comment/> r ( D ) \Lambda ^r( D) with r > 1 r>1 . For q > 1 q>1 , the same regularity for the solutions is achieved when ∂<#comment/> D \partial D is either sufficiently smooth or of ( n −<#comment/> q ) (n-q) positive Levi eigenvalues everywhere on ∂<#comment/> D \partial D
    more » « less
  4. We obtain partial improvement toward the pointwise convergence problem of Schrödinger solutions, in the general setting of fractal measure. In particular, we show that, for $$n\geqslant 3$$ , $$\lim _{t\rightarrow 0}e^{it\unicode[STIX]{x1D6E5}}f(x)$$ $=f(x)$ almost everywhere with respect to Lebesgue measure for all $$f\in H^{s}(\mathbb{R}^{n})$$ provided that $s>(n+1)/2(n+2)$ . The proof uses linear refined Strichartz estimates. We also prove a multilinear refined Strichartz using decoupling and multilinear Kakeya. 
    more » « less
  5. Suppose\operatorname{SL}_{2}(\mathbb{F}_{p})\times \operatorname{SL}_{2}(\mathbb{F}_{p})is generated by a symmetric setSof cardinalitynwherepis a prime number. Suppose the Cheeger constants of the Cayley graphs of\operatorname{SL}_{2}(\mathbb{F}_{p})with respect to\pi_{L}(S)and\pi_{R}(S)are at leastc_{0}, where\pi_{L}and\pi_{R}are the projections to the left and the right components of\operatorname{SL}_{2}(\mathbb{F}_{p})\times \operatorname{SL}_{2}(\mathbb{F}_{p}), respectively. Then the Cheeger constant of the Cayley graph of\operatorname{SL}_{2}(\mathbb{F}_{p})\times \operatorname{SL}_{2}(\mathbb{F}_{p})with respect toSis at leastcwherecis a positive number which only depends onnandc_{0}. This gives an affirmative answer to a question of Lindenstrauss and Varjú. 
    more » « less