Four-dimensional complete gradient shrinking Ricci solitons with half positive isotropic curvature (Q6056523)

\textit{R. S. Hamilton} [Commun. Anal. Geom. 5, No. 1, 1--92 (1997; Zbl 0892.53018)] introduced Ricci flow with surgery to classify compact four-manifolds with positive isotropic curvature (PIC). The task was eventually completed by \textit{B.-L. Chen} et al. [J. Differ. Geom. 91, No. 1, 41--80 (2012; Zbl 1257.53053)]. A fascinating but difficult question is to classify compact four-manifolds with half PIC, a condition that is weaker than PIC. Note that both PIC and half PIC are preserved by the Ricci flow. As a first step, one needs to understand the singularity models of such flows, which include shrinking gradient Ricci solitons with half PIC. For the PIC case, \textit{L. Ni} and \textit{N. Wallach} [Math. Res. Lett. 15, No. 5--6, 941--955 (2008; Zbl 1158.53052)] and \textit{X. Li} et al. [Int. Math. Res. Not. 2018, No. 3, 949--959 (2018; Zbl 1405.53071)] obtained a complete classification of four-dimensional shrinking gradient Ricci solitons with PIC or NIC (nonnegative isotropic curvature). This paper investigates shrinking gradient Ricci solitons with half PIC or half NIC. The first main result is a certain form of curvature estimates, including a quadratic lower bound for noncompact manifolds, see Theorem 1.1. As an application, the authors give a new and more direct proof of the classification of four-dimensional shrinking gradient Kähler-Ricci solitons with NIC, which also follows from the more general result of \textit{X. Li} et al. [loc. cit.]. Based on a strong maximum principle, a classification of four-dimensional shrinking gradient Ricci solitons with half NIC (except the half PIC case), is obtained, see Theorem 1.2. Finally, a classification result is proved under the additional assumption that the Ricci tensor has an eigenvalue with multiplicity three, see Theorem 1.3.