Long time behavior and stable patterns in high-dimensional polarity models of asymmetric cell division

Asymmetric cell division is one of the fundamental processes to create cell diversity in the early stage of embryonic development. During this process, the polarity formation in the cell membrane has been considered as a key process by which the entire polarity formation in the cytosol is controlled, and it has been extensively studied in both experiments and mathematical models. Nonetheless, a mathematically rigorous analysis of the polarity formation in the asymmetric cell division has been little explored, particularly for bulk-surface models. In this article, we deal with polarity models proposed for describing the PAR polarity formation in the asymmetric cell division of a C. elegans embryo. Using a simpler but mathematically consistent model, we exhibit the long time behavior of the polarity formation of a bulk-surface cell. Moreover, we mathematically prove the existence of stable polarity solutions of the model equation in an arbitrary high-dimensional domain and analyse how the boundary position of polarity domain is determined. Our results propose that the existence and dynamics of the polarity in the asymmetric cell division can be understood universally in terms of basic mathematical structures.