More Like this

1. On finite energy monopoles on $$C x \Sigma$$.

   Wang, Donghao (July 2019, ArXiv.org)

   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
2. Locally Complete Intersection Maps and the Proxy Small Property

   https://doi.org/10.1093/imrn/rnab041  

   Briggs, Benjamin; Iyengar, Srikanth B; Letz, Janina C; Pollitz, Josh (April 2021, International Mathematics Research Notices)

   null (Ed.)

   Abstract It is proved that a map $${\varphi }\colon R\to S$$ of commutative Noetherian rings that is essentially of finite type and flat is locally complete intersection if and only if $$S$$ is proxy small as a bimodule. This means that the thick subcategory generated by $$S$$ as a module over the enveloping algebra $$S\otimes _RS$$ contains a perfect complex supported fully on the diagonal ideal. This is in the spirit of the classical result that $${\varphi }$$ is smooth if and only if $$S$$ is small as a bimodule; that is to say, it is itself equivalent to a perfect complex. The geometric analogue, dealing with maps between schemes, is also established. Applications include simpler proofs of factorization theorems for locally complete intersection maps. 

   more » « less
3. Variation of canonical height for\break Fatou points on ℙ ¹

   https://doi.org/10.1515/crelle-2022-0078  

   DeMarco, Laura; Mavraki, Niki Myrto (December 2022, Journal für die reine und angewandte Mathematik (Crelles Journal))

   Abstract Let f : ℙ 1 → ℙ 1 {f:\mathbb{P}^{1}\to\mathbb{P}^{1}} be a map of degree > 1 {>1} defined over a function field k = K ⁢ ( X ) {k=K(X)} , where K is a number field and X is a projective curve over K . For each point a ∈ ℙ 1 ⁢ ( k ) {a\in\mathbb{P}^{1}(k)} satisfying a dynamical stability condition, we prove that the Call–Silverman canonical height for specialization f t {f_{t}} at point a t {a_{t}} , for t ∈ X ⁢ ( ℚ ¯ ) {t\in X(\overline{\mathbb{Q}})} outside a finite set, induces a Weil height on the curve X ; i.e., we prove the existence of a ℚ {\mathbb{Q}} -divisor D = D f , a {D=D_{f,a}} on X so that the function t ↦ h ^ f t ⁢ ( a t ) - h D ⁢ ( t ) {t\mapsto\hat{h}_{f_{t}}(a_{t})-h_{D}(t)} is bounded on X ⁢ ( ℚ ¯ ) {X(\overline{\mathbb{Q}})} for any choice of Weil height associated to D . We also prove a local version, that the local canonical heights t ↦ λ ^ f t , v ⁢ ( a t ) {t\mapsto\hat{\lambda}_{f_{t},v}(a_{t})} differ from a Weil function for D by a continuous function on X ⁢ ( ℂ v ) {X(\mathbb{C}_{v})} , at each place v of the number field K . These results were known for polynomial maps f and all points a ∈ ℙ 1 ⁢ ( k ) {a\in\mathbb{P}^{1}(k)} without the stability hypothesis,[21, 14],and for maps f that are quotients of endomorphisms of elliptic curves E over k and all points a ∈ ℙ 1 ⁢ ( k ) {a\in\mathbb{P}^{1}(k)} . [32, 29].Finally, we characterize our stability condition in terms of the geometry of the induced map f ~ : X × ℙ 1 ⇢ X × ℙ 1 {\tilde{f}:X\times\mathbb{P}^{1}\dashrightarrow X\times\mathbb{P}^{1}} over K ; and we prove the existence of relative Néron models for the pair ( f , a ) {(f,a)} , when a is a Fatou point at a place γ of k , where the local canonical height λ ^ f , γ ⁢ ( a ) {\hat{\lambda}_{f,\gamma}(a)} can be computed as an intersection number. 

   more » « less
4. -SIGNATURE UNDER BIRATIONAL MORPHISMS

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

   MA, LINQUAN; POLSTRA, THOMAS; SCHWEDE, KARL; TUCKER, KEVIN (January 2019, Forum of Mathematics, Sigma)

   We study $$F$$ -signature under proper birational morphisms $$\unicode[STIX]{x1D70B}:Y\rightarrow X$$ , showing that $$F$$ -signature strictly increases for small morphisms or if $$K_{Y}\leqslant \unicode[STIX]{x1D70B}^{\ast }K_{X}$$ . In certain cases, we can even show that the $$F$$ -signature of $$Y$$ is at least twice as that of  $$X$$ . We also provide examples of $$F$$ -signature dropping and Hilbert–Kunz multiplicity increasing under birational maps without these hypotheses. 

   more » « less
5. Holomorphic isometric maps from the complex unit ball to reducible bounded symmetric domains

   https://doi.org/10.1515/crelle-2022-0029  

   Xiao, Ming (June 2022, Journal für die reine und angewandte Mathematik (Crelles Journal))

   Abstract The first part of the paper studies the boundary behavior of holomorphic isometric mappings F = ( F 1 , … , F m ) {F=(F_{1},\dots,F_{m})} from the complex unit ball 𝔹 n {\mathbb{B}^{n}} , n ≥ 2 {n\geq 2} , to a bounded symmetric domain Ω = Ω 1 × ⋯ × Ω m {\Omega=\Omega_{1}\times\cdots\times\Omega_{m}} up to constant conformal factors, where Ω i ′ {\Omega_{i}^{\prime}} s are irreducible factors of Ω. We prove every non-constant component F i {F_{i}} must map generic boundary points of 𝔹 n {\mathbb{B}^{n}} to the boundary of Ω i {\Omega_{i}} . In the second part of the paper, we establish a rigidity result for local holomorphic isometric maps from the unit ball to aproduct of unit balls and Lie balls. 

   more » « less