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: Intersection forms of spin 4-manifolds and the pin(2)-equivariant Mahowald invariant
In studying the “11/8-Conjecture” on the Geography Problem in 4-dimensional topology, Furuta proposed a question on the existence of Pin ⁡ ( 2 ) \operatorname {Pin}(2) -equivariant stable maps between certain representation spheres. A precise answer of Furuta’s problem was later conjectured by Jones. In this paper, we completely resolve Jones conjecture by analyzing the Pin ⁡ ( 2 ) \operatorname {Pin}(2) -equivariant Mahowald invariants. As a geometric application of our result, we prove a “10/8+4”-Theorem. We prove our theorem by analyzing maps between certain finite spectra arising from B Pin ⁡ ( 2 ) B\operatorname {Pin}(2) and various Thom spectra associated with it. To analyze these maps, we use the technique of cell diagrams, known results on the stable homotopy groups of spheres, and the j j -based Atiyah–Hirzebruch spectral sequence.  more » « less
Award ID(s):
1810917 1810638 1803766
PAR ID:
10324938
Author(s) / Creator(s):
; ; ;
Date Published:
Journal Name:
Communications of the American Mathematical Society
Volume:
2
Issue:
2
ISSN:
2692-3688
Page Range / eLocation ID:
22 to 132
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. abstract: In the early 1940s, P. A. Smith showed that if a finite $$p$$-group $$G$$ acts on a finite dimensional complex $$X$$ that is mod $$p$$ acyclic, then its space of fixed points, $X^G$, will also be mod $$p$$ acyclic. In their recent study of the Balmer spectrum of equivariant stable homotopy theory, Balmer and Sanders were led to study a question that can be shown to be equivalent to the following: if a $$G$$-space $$X$$ is a equivariant homotopy retract of the $$p$$-localization of a based finite $$G$$-C.W. complex, given $H 
    more » « less
  2. In this paper, we first study a mapping problem between indefinite hyperbolic spaces by employing the work established earlier by the authors. In particular, we generalize certain theorems proved by Baouendi-Ebenfelt-Huang [Amer. J. Math. 133 (2011), pp. 1633–1661] and Ng [Michigan Math. J. 62 (2013), pp. 769–777; Int. Math. Res. Not. IMRN 2 (2015), pp. 291–324]. Then we use these results to prove a rigidity result for proper holomorphic mappings between type I classical domains, which confirms a conjecture formulated by Chan [Int. Math. Res. Not., doi.org/10.1093/imrn/rnaa373] after the work of Zaitsev-Kim [Math. Ann. 362 (2015), pp. 639-677], Kim [ Proper holomorphic maps between bounded symmetric domains , Springer, Tokyo, 2015, pp. 207–219] and himself. 
    more » « less
  3. We generalize work by Bourgain and Kontorovich [ On the local-global conjecture for integral Apollonian gaskets , Invent. Math. 196 (2014), 589–650] and Zhang [ On the local-global principle for integral Apollonian 3-circle packings , J. Reine Angew. Math. 737 , (2018), 71–110], proving an almost local-to-global property for the curvatures of certain circle packings, to a large class of Kleinian groups. Specifically, we associate in a natural way an infinite family of integral packings of circles to any Kleinian group $${\mathcal{A}}\leqslant \text{PSL}_{2}(K)$$ satisfying certain conditions, where $$K$$ is an imaginary quadratic field, and show that the curvatures of the circles in any such packing satisfy an almost local-to-global principle. A key ingredient in the proof is that $${\mathcal{A}}$$ possesses a spectral gap property, which we prove for any infinite-covolume, geometrically finite, Zariski dense Kleinian group in $$\operatorname{PSL}_{2}({\mathcal{O}}_{K})$$ containing a Zariski dense subgroup of $$\operatorname{PSL}_{2}(\mathbb{Z})$$ . 
    more » « less
  4. Abstract Let $(X,B)$ be a pair, and let $$f \colon X \rightarrow S$$ be a contraction with $$-({K_{X}} + B)$$ nef over S . A conjecture, known as the Shokurov–Kollár connectedness principle, predicts that $$f^{-1} (s) \cap \operatorname {\mathrm {Nklt}}(X,B)$$ has at most two connected components, where $$s \in S$$ is an arbitrary schematic point and $$\operatorname {\mathrm {Nklt}}(X,B)$$ denotes the non-klt locus of $(X,B)$ . In this work, we prove this conjecture, characterizing those cases in which $$\operatorname {\mathrm {Nklt}}(X,B)$$ fails to be connected, and we extend these same results also to the category of generalized pairs. Finally, we apply these results and the techniques to the study of the dual complex for generalized log Calabi–Yau pairs, generalizing results of Kollár–Xu [ Invent. Math . 205 (2016), 527–557] and Nakamura [ Int. Math. Res. Not. IMRN 13 (2021), 9802–9833]. 
    more » « less
  5. null (Ed.)
    Abstract One of the oldest outstanding problems in dynamical algebraic combinatorics is the following conjecture of P. Cameron and D. Fon-Der-Flaass (1995): consider a plane partition P in an $$a \times b \times c$$ box $${\sf B}$$ . Let $$\Psi (P)$$ denote the smallest plane partition containing the minimal elements of $${\sf B} - P$$ . Then if $p= a+b+c-1$ is prime, Cameron and Fon-Der-Flaass conjectured that the cardinality of the $$\Psi $$ -orbit of P is always a multiple of p . This conjecture was established for $$p \gg 0$$ by Cameron and Fon-Der-Flaass (1995) and for slightly smaller values of p in work of K. Dilks, J. Striker and the second author (2017). Our main theorem specializes to prove this conjecture in full generality. 
    more » « less