Active morphogenesis of patterned epithelial shells
Abstract
Shape transformations of epithelial tissues in three dimensions, which are crucial for embryonic development or in vitro organoid growth, can result from active forces generated within the cytoskeleton of the epithelial cells. How the interplay of local differential tensions with tissue geometry and with external forces results in tissuescale morphogenesis remains an open question. Here, we describe epithelial sheets as active viscoelastic surfaces and study their deformation under patterned internal tensions and bending moments. In addition to isotropic effects, we take into account nematic alignment in the plane of the tissue, which gives rise to shapedependent, anisotropic active tensions and bending moments. We present phase diagrams of the mechanical equilibrium shapes of prepatterned closed shells and explore their dynamical deformations. Our results show that a combination of nematic alignment and gradients in internal tensions and bending moments is sufficient to reproduce basic building blocks of epithelial morphogenesis, including fold formation, budding, neck formation, flattening, and tubulation.
Editor's evaluation
The article provides a physical description of shape transformations of epithelial tissues in three dimensions, subject to active forces generated within the cytoskeleton of the epithelial cells. The work is motivated by organoids and more generally by morphogenesis during development. Therefore, this study is useful not only for developmental biology but also for a general understanding of cellular properties, including membrane mechanics and cell shapes.
https://doi.org/10.7554/eLife.75878.sa0Introduction
Morphogenesis of embryos and the establishment of body shape rely on the threedimensional deformation of epithelial sheets which undergo repeated events of expansion, contraction, convergenceextension, invagination, evagination, tubulation, and branching (Gilbert and Barresi, 2020). Tissue folding, for instance, is involved at different steps of embryogenesis (Kominami and Takata, 2004; Sui et al., 2018), organ (Sumigray et al., 2018), or entire organism development (Livshits et al., 2017; Braun and Keren, 2018). Recently, the growth of in vitro organoids, organlike structures derived from stem cells capable of selfrenewal and selforganisation, has revealed the intrinsic ability of biological systems to selforganise into complex structures from simple building blocks (Huch et al., 2017; Kamm et al., 2018; Rossi et al., 2018). Early steps in organoid selforganisation often start through the formation of a hollow, fluidfilled unpatterned sphere, undergoing spontaneous symmetry breaking (Ishihara and Tanaka, 2018) for example, in neural tube (Meinhardt et al., 2014) or intestinal (Serra et al., 2019; Yang et al., 2021) organoids. How this repertoire of shape changes and complex organisation emerges physically is a fundamental question.
Continuum theories of active materials, treating the epithelium as an active liquid crystal, have proven highly successful to achieve an understanding of the mechanics and flows of cellular collective motion. Epithelia cultured in vitro exhibit patterns of orientational order and spontaneous flows which are consistent with predictions from hydrodynamic theories of active matter (Duclos et al., 2017; Duclos et al., 2018; BlanchMercader et al., 2021a). Constitutive equations involving a shear decomposition of tissue area and anisotropic elongation into cell shape changes, cell division, and cellular topological transitions can reproduce basic features of the developing Drosophila pupal wing (Etournay et al., 2015; Popović et al., 2017). Recently, several studies established a link between topological defects in tissue order, provided by cell elongation or internal anisotropic cellular structure, and morphogenetic events (Kawaguchi et al., 2017; Saw et al., 2017; Mueller et al., 2019; MaroudasSacks et al., 2021).
Here, we propose a description of threedimensional deformations of a patterned epithelial spheroid, considered as a shell of active liquid crystal. We consider an active elastic shell theory which takes into account inplane tensions and internal bending moments (Lomholt, 2006; Maitra et al., 2014; Sahu et al., 2017; Salbreux and Jülicher, 2017). Internal bending moments arise from an inhomogeneous distribution of stress across the tissue. Such inhomogeneities can arise from, for example, changes in cytoskeletal organisation along the epithelium apicobasal axis, or from apposed epithelial tissues with different mechanical properties (Braun and Keren, 2018; MaroudasSacks et al., 2021). Apicobasal gradients of contractility, for instance, play a key role in morphogenetic processes (Martin and Goldstein, 2014; Sui et al., 2018) and are effectively taken into account here by active bending moments.
We consider an initially spherically symmetric tissue subjected to spatially modulated internal forces. Our rationale is to consider a situation where chemical and mechanical processes are uncoupled, such that cell–cell communication mechanisms ensure symmetrybreaking of the sphere, which is then converted into a pattern of mechanical forces (Ishihara and Tanaka, 2018). We consider a particularly simple pattern where the spherical tissue is decomposed into two regions, subjected to different active forces, and explore shape changes that result from this pattern (Figure 1a). We compare the situation where internal tensions and bending moments are isotropic to a situation where a nematic field, provided by cellular anisotropic structures, orients the internal tensions and bending moments.
Model
Viscoelastic nematic active surface model for epithelial mechanics
We first discuss our mechanical description of the deforming tissue. We represent an epithelium as an active surface flowing with velocity $\mathbf{v}$ (Salbreux and Jülicher, 2017). The surface is taken to be elastic with respect to area changes, and fluid with respect to pure shear in the plane of the surface. Indeed, cellular rearrangements can fluidify inplane epithelial flows by allowing cell elongation and cellular elastic stresses to relax on long time scales (Popović et al., 2017). Here, we consider such long enough time scales of hours to days which are relevant to organoid and developmental morphogenesis (Gilbert and Barresi, 2020). We also assume here that cell division and apoptosis or delamination are not occurring, such that elastic isotropic stresses do not relax (Ranft et al., 2010). Implicitly, we assume that cells have a preferred cell area.
Epithelia typically have a nonnegligible thickness compared to characteristic transverse dimensions, and the apical and basal surfaces have different structures and are regulated differently. Notably, the basal surface is in contact with the basal lamina, a layer of extracellular matrix (Khalilgharibi and Mao, 2021). Therefore, a purely twodimensional representation of epithelial stresses would miss essential aspects of their mechanics. We therefore introduce here the tension tensor ${t}^{ij}$, but also the bending moment tensor ${m}^{ij}$ which captures internal torques arising from differential stresses acting along the surface cross section (Figure 1b and c). We assume that the surface possesses a bending rigidity, captured by a bending modulus $\kappa $. When the curvature deviates from a flat layer, a bending moment results from the surface curvature (Equation 6). In addition, active bending moments can arise in the surface (Salbreux and Jülicher, 2017), for instance, due to actomyosingenerated differential active stresses along the apicobasal axis (Messal et al., 2019; Fouchard et al., 2020).
Cellular force generating elements are not necessarily isotropic; for instance, because cytoskeletal structures exhibit a preferred orientation (Martin, 2020) or inhomogeneous distribution across cellular interfaces (Bertet et al., 2004), or because the epithelial cells themselves exhibit an elongation axis (Duclos et al., 2017). Therefore, we introduce a coarsegrained surface nematic order parameter $\mathbf{Q}$ which quantifies the average level of orientational order in the tissue. We assume that the nematic order parameter is tangent to the active surface.
Force balance
On a curved surface we define the rotated bending moment tensor ${\overline{m}}^{ij}={m}^{ik}{\u03f5}_{k}{}^{j}$, which we adopt for convenience. The local force balance projected on the tangential and normal directions reads (Salbreux and Jülicher, 2017)
where notations of differential geometry are introduced in Appendix 1; briefly ${C}_{ij}$ is the curvature tensor, ${g}_{ij}$ denotes the metric tensor, and ${\u03f5}_{ij}$ the antisymmetric LeviCivita tensor, $\mathbf{n}$ the vector normal to the surface, ${t}^{ij}$ is the tangential contribution of the tension tensor and ${t}_{n}^{i}$ its normal contribution, and ${\nabla}_{i}$ denotes the covariant derivative on the surface. The tangential and normal torque balance provide the transverse tension and antisymmetric part of the tangent tension tensor:
We assume an external force density $\mathbf{f}}^{\phantom{\rule{thinmathspace}{0ex}}\mathrm{e}\mathrm{x}\mathrm{t}}={f}_{n}^{\phantom{\rule{thinmathspace}{0ex}}\mathrm{e}\mathrm{x}\mathrm{t}}\mathbf{n}+{f}^{\phantom{\rule{thinmathspace}{0ex}}\mathrm{e}\mathrm{x}\mathrm{t},j}{\mathbf{e}}_{j$ acting on the surface in addition to a difference of hydrostatic (uniform) pressure $P={P}_{in}{P}_{out}$, but no external torques (Figure 1). Here, we consider situations at low Reynolds number, where inertial forces may be neglected, and where additional external forces are negligible, such that the surface as a whole is forcefree, $\oint}_{S}\text{dS}\phantom{\rule{thinmathspace}{0ex}}{\mathbf{f}}^{\phantom{\rule{thinmathspace}{0ex}}\mathrm{e}\mathrm{x}\mathrm{t}}=\mathbf{0$. Dissipative couplings to the external fluid are ignored here as the characteristic viscosity of a biological tissue ($\sim {10}^{5}$ Pa s; Marmottant et al., 2009; Guevorkian et al., 2010) is several orders of magnitude larger than that of water (${10}^{3}$ Pa s).
Constitutive equations
In line with our hypothesis describing the material properties of an epithelium, we use the following constitutive equations:
where ${t}_{s}^{ij}$ is the symmetric part of the tension tensor and, on a curved surface, the strain rate tensor ${v}^{ij}$ and the corotational time derivative of the curvature tensor $\frac{\mathrm{D}}{\mathrm{Dt}}{C}^{ij}$ are given by (Salbreux and Jülicher, 2017)
with ${\omega}_{n}=\frac{1}{2}{\u03f5}^{ij}{\nabla}_{i}{v}_{j}$ the normal component of the vorticity. $u$ is the area strain, measuring local changes of area relative to a reference value; a precise definition is introduced in Equation 14. ${Q}^{ij}$ is a traceless, symmetric tensor characterising nematic orientational order on the surface.
We now discuss these constitutive equations. The surface elastic response is determined by the area elastic modulus $K$ and the bending modulus $\kappa $. The dynamical deformations of the surface are characterised by the twodimensional shear and bulk viscosities $\eta $ and ${\eta}_{b}$ and the bulk bending viscosity ${\eta}_{cb}$. While the shear and bulk viscosities penalise inplane isotropic and anisotropic deformation rates, the bending viscosity penalises the rate of change of total surface curvature $C}_{k}^{\phantom{\rule{thinmathspace}{0ex}}k$. The bending viscosity dampens normal deformations and prevents bending modes, which would otherwise have no dissipative cost and could result in numerical instabilities.
The remaining contributions to Equations 5; 6 proportional to $\zeta $, ${\zeta}_{\mathrm{n}}$, ${\zeta}_{c}$, ${\zeta}_{c\mathrm{n}}$ correspond to active tensions and bending moments. $\zeta $ is an isotropic active surface tension, ${\zeta}_{\mathrm{n}}$ is the inplane nematic active stress, with ${\zeta}_{\mathrm{n}}>0$ usually referred to as the ‘contractile’ active stress and ${\zeta}_{\mathrm{n}}<0$ as the ‘extensile’ active stress (Marchetti et al., 2013). ${\zeta}_{c}$ is the isotropic bending moment, which locally favours a spontaneous curvature ${C}_{k}^{\phantom{\rule{thinmathspace}{0ex}}k}={\zeta}_{c}/(2\kappa )$. If the active surface corresponds simply to two parallel layers under surface tension ${\gamma}_{a}$, ${\gamma}_{b}$ (such as an epithelium with apical surface tension ${\gamma}_{a}$ and basal surface tension ${\gamma}_{b}$), and separated by a distance $h$, an active isotropic bending moment ${\zeta}_{c}\sim h({\gamma}_{a}{\gamma}_{b})/2$ emerges in the surface to lowest order in the curvature tensor. The term in ${\zeta}_{c\mathrm{n}}$ corresponds to an anisotropic active bending moment. In the bilayer picture, where the active surface corresponds to two layers $a$ and $b$, it could generally arise from differences between the two layers in the level of order $Q}_{ij}^{\phantom{\rule{thinmathspace}{0ex}}a$ and $Q}_{ij}^{\phantom{\rule{thinmathspace}{0ex}}b$ or in the level of nematic active stress ${\zeta}_{\mathrm{n}}^{a}$ and ${\zeta}_{\mathrm{n}}^{b}$. For example, such differences could stem from two contractile (respectively extensile) layers with perpendicular nematic orientations $+{Q}_{ij}$ and ${Q}_{ij}$ (Figure 1c), or from two layers with parallel nematic order, but one subjected to contractile active stresses and the other to extensile active stresses.
In the absence of external forces, deformations of the epithelial shell are driven by distributions of active tensions and bending moments, which are prescribed on it through the isotropic profiles $\zeta (s)$ and ${\zeta}_{c}(s)$, the anisotropic components proportional to ${\zeta}_{\mathrm{n}}(s)$ and ${\zeta}_{c\mathrm{n}}(s)$, and the shapedependent nematic order parameter.
We note that Equations 5 and 6 can be seen as generic constitutive equations for a nematic active surface with broken updown symmetry but no broken chiral or planarchiral symmetry, arising from an expansion in the curvature tensor and in the nematic order parameter ${Q}_{ij}$ of the tensor ${t}_{s}^{ij}$ and ${\overline{m}}_{ij}$ (Salbreux and Jülicher, 2017; Salbreux et al., 2022). For simplicity some allowed additional couplings entering the generic constitutive equations have not been taken into account here, notably active contributions to the tension tensor (Equation 5) and bending moment tensor (Equation 6) proportional to the curvature tensor ${C}_{ij}$. Salbreux et al., 2022 provide a more general list of possible couplings for active fluid nematic surfaces.
Nematic order parameter
For simplicity here we assume that the nematic order parameter minimises an effective free energy, thus ignoring potential active effects on the ordering (Salbreux et al., 2022). We consider the following effective free energy of the nematic on a curved surface (De Gennes and Prost, 1995; Jiang et al., 2007; Kralj et al., 2011; Pearce et al., 2019):
with the Frank elastic constant $k$, which is assumed to be equal for all distortions. The Landau–de Gennes contribution is chosen such that for $k=0$ the aligned state with ${Q}_{ij}{Q}^{\phantom{\rule{thinmathspace}{0ex}}ij}=2$ is a minimiser for $a>0$. Additional coupling terms between the nematic and curvature tensor are not considered here for simplicity (Napoli and Vergori, 2012).
Deformations of a polarised active sphere
We now turn to describe axisymmetric deformations of a closed nematic active surface.
Geometric setup
The epithelium is represented by a thin spherical shell undergoing axisymmetric deformations (Figure 1b). Its twodimensional midsurface $\mathbf{X}(\varphi ,s)\in {\mathrm{\mathbb{R}}}^{3}$ is parametrised by the arc length coordinate $s\in [0,L]$ and the angle of rotation $\varphi \in [0,2\pi ]$ as
The local tangent basis is given by $\{{\mathbf{e}}_{\varphi},{\mathbf{e}}_{s}\}$, and $\mathbf{n}$ is the outwardpointing surface normal. The geometry of axisymmetric surfaces is described further in Appendix 1. We require that the metric component ${g}_{ss}=1$, which implies relations between the tangent angle $\psi (s)\in [0,\pi ]$ and the shape functions $x(s)$ and $z(s)$
which, together with the meridional principal curvature
are sufficient to reconstruct the surface shape from the curvature $C}_{s}^{\phantom{\rule{thinmathspace}{0ex}}s$. In this axisymmetric setup, the velocity field reads $\mathbf{v}={v}^{s}{\mathbf{e}}_{s}+{v}_{n}\mathbf{n}$, with $v}^{s$ the tangential and $v}_{n$ the normal velocities.
The undeformed initial surface is a sphere $S}_{0$ with radius $R}_{0$_{,} and all quantities defined on it are denoted with a subscript ‘0’. We define the area strain on a point of the surface as
where $\mathrm{d}\mathrm{S}$ is the surface area element at the point considered on the surface, and $\mathrm{d}{\mathrm{S}}_{0}$ is the surface area element of the same material point on the sphere. With this definition, $u=0$ on the initial sphere. We denote ${s}_{0}(s)$ the arc length position on the undeformed sphere $S}_{0$ of a material point at arc length position $s$ on the deformed sphere. One then has $u={f}_{\varphi}{f}_{s}1$ with ${f}_{s}=\frac{ds}{d{s}_{0}}$ the meridional stretch and ${f}_{\varphi}=\frac{x}{{x}_{0}}$ the circumferential stretch. Integrating ${f}_{s}^{\phantom{\rule{thinmathspace}{0ex}}1}={f}_{\varphi}/(u+1)$ yields the arc length reparametrisation ${s}_{0}(s)$ between the initial and the deformed surface. The Lagrangian time derivative of the area strain (Equation 14) is related to the flow through
Nematic order
Here, with axial symmetry, the nematic tensor ${Q}_{ij}$ has the nonzero component $q={Q}_{\varphi}^{\varphi}={Q}_{s}^{s}$. On the closed shell, the nematic director (Appendix 3), which represents the alignment, will have two +1 topological defects at the poles (Figure 3a) as a consequence of the Poincaré–Hopf theorem (Hopf, 1927). The order parameter $q$ vanishes there, creating defect cores of size ${l}_{c}=\sqrt{k/a}$, which is the characteristic nematic length. In this geometry the Euler–Lagrange equation resulting from the free energy (Equation 9) is
An example solution of Equation 16 on the sphere is shown in Figure 3b. From the two possible states with $q=\pm 1$ in the bulk, respectively, we choose $q=1$ for reference. This corresponds to circumferential alignment of the nematic order (Figure 3a, right). The sign of the tensions and bending moments is then only controlled by the $\zeta $prefactors. For example, a nematic tension with ${\zeta}_{\mathrm{n}}>0$ corresponds to circumferential active contraction, resulting in an elongated shape. For nematic bending moments, if one chooses ${Q}_{ij}$ to represent the order parameter on the outer side of the shell, the sign convention is such that ${\zeta}_{c\mathrm{n}}>0$, $q>0$ results in circumferential contraction on the outer side and contraction along the meridians on the inner side of the shell. We note that the shape is only influenced by the order parameter via the active tension ${\zeta}_{\mathrm{n}}{Q}^{ij}$ and the active moment ${\zeta}_{c\mathrm{n}}{Q}^{ij}$, but is otherwise insensitive to the nematic elastic energy (Equation 9). Minimisation of the Frank free energy by deformations of passive nematic surfaces has been previously discussed (Jiang et al., 2007).
Active profiles
We consider initially spherical epithelial shells containing an active region that drives the deformation. For the steadystate analysis, this region is a circular patch of size ${l}_{a}\le {L}_{0}$ (Figure 1b), such that the active terms are given on $S}_{0$ by steplike profiles, for example
and similarly for $\zeta ({s}_{0})$, ${\zeta}_{\mathrm{n}}({s}_{0})$, and ${\zeta}_{c\mathrm{n}}({s}_{0})$. The circular patch deforms with the material points, which reflects that the active properties are associated with a predefined group of cells. If not stated otherwise, the values outside the active region are ${\zeta}^{0}={\zeta}_{c}^{0}={\zeta}_{\mathrm{n}}^{0}={\zeta}_{c\mathrm{n}}^{0}=0$. This passive part of the surface is governed by the constitutive equations 5 and 6, but with vanishing active terms.
In dynamical simulations, active tension and bending moment profiles are defined on the spherical surface at time $t=0$ using sigmoid functions $f(x,\mu ,\sigma )$ of the form
for their space and time dependence. For instance, the active bending moment profile is defined on $S}_{0$ as
as a smooth version of the stepprofile Equation 17, and $\zeta $, ${\zeta}_{\mathrm{n}}$, and ${\zeta}_{c\mathrm{n}}$ are defined analogously. The profile is then advected with the material points (Figure 1b), while its intensity increases through the timedependent sigmoid (e.g. Figure 2d).
Volume
We consider two possibilities for the volume enclosed by the epithelium. In one limit the tissue is assumed to be impermeable and the enclosed volume is treated as an incompressible fluid exerting hydrostatic pressure on the tissue. The volume is conserved when the shell deforms:
with the pressure $P$ acting as the Lagrange multiplier.
In the other limit the tissue is fully permeable. At steady state, in this limit the volume can change freely and no pressure acts on the tissue, $P=0$. In dynamical simulations, we introduce a volume viscosity ${\eta}_{V}$ such that the pressure is coupled to the volume change via
where ${\eta}_{V}$ is a parameter chosen to be small enough that the internal pressure is small compared to other forces.
Stationary shapes
For given profiles of active tensions and bending moments, steadystate shapes are obtained as solutions of the mechanical equilibrium equations. Those are a system of nonlinear ode’s containing the force and torque balances Equations 1–4, the geometric Equations 11–13, the constitutive relations Equations 5–8 and Equation 14 with vanishing velocities ${v}^{s}={v}_{n}=0$, and, if applicable, the nematic equilibrium Equation 16.
Dynamical deformations
In the dynamical version of the model a given active profile generates a velocity $\mathbf{v}(\varphi ,s,t)$, whose normal part deforms the surface (Figure 1b). The components $\{{v}^{s},{v}_{n}\}$ of this instantaneous velocity are obtained by solving the force and torque balance Equations 1–4 (derived for the axisymmetric surface in Equations 63–65), together with the constitutive Equations 5–8, on the shape $\mathbf{X}(\varphi ,s,t)$. Since $u(s,t)$ and ${Q}_{ij}(s,t)$ are also given, these constitute a linear system of ode’s. The shape is evolved in time in a Lagrangian approach, in which material points move according to the fullvelocity vector $\mathbf{v}$,
Surface quantities, such as the active profiles and the area strain, are advected accordingly. The nematic order parameter evolves in time quasistatically, where we assume that it relaxes instantaneously to the solution of Equation 16 written on the deformed surface at time $t$.
Dimensionless variables
The equations are made dimensionless (marked by tilde) by rescaling tensions by $\kappa /{R}_{0}^{2}$, bending moment densities by $\kappa /{R}_{0}$, lengths by $R}_{0$, force densities by $\kappa /{R}_{0}^{3}$, viscosities by the twodimensional shear viscosity $\eta $ of the epithelium, times by the characteristic time scale ${\tau}_{a}=\eta {R}_{0}^{2}/\kappa $ , and velocities by ${R}_{0}/{\tau}_{a}$. This leaves the dimensionless parameters $\stackrel{~}{K}=K{R}_{0}^{2}/\kappa $, ${\stackrel{~}{l}}_{c}={l}_{c}/{R}_{0}$, ${\stackrel{~}{\eta}}_{b}={\eta}_{b}/\eta $, ${\stackrel{~}{\eta}}_{cb}={\eta}_{cb}{R}_{0}^{2}/\eta $ and ${\stackrel{~}{\eta}}_{V}={\eta}_{V}{R}_{0}^{4}/\eta $ to be fixed. We choose to set $\stackrel{~}{\eta}={\stackrel{~}{\eta}}_{b}=1$, ${\stackrel{~}{\eta}}_{V}={10}^{4}$ for fast relaxation of the volume, and the nematic length scale is set to ${\stackrel{~}{l}}_{c}=0.1$. Working under the assumptions of linear shell theory for a homogeneous thin shell (Reddy, 2006), one can relate the elastic moduli to each other via the thickness $h$ of the cell layer, and express $\stackrel{~}{K}=12{({R}_{0}/h)}^{2}$. In simulations we use $\stackrel{~}{K}=1000$, corresponding to $h/{R}_{0}\approx 0.1$, which covers a range of systems from gastrulating embryos (e.g. sea urchin Davidson et al., 1995) to organoids (Serra et al., 2019). Similarly, for the bulk bending viscosity we have ${\stackrel{~}{\eta}}_{cb}\sim {(h/{R}_{0})}^{2}={10}^{2}$.
Numerical methods
For both the steadystate computation and the dynamics, the resulting sets of ode’s are integrated numerically with the boundaryvalueproblem solver bvp4c of MATLAB, which implements a fourthorder collocation method on an adaptive spatial grid (Kierzenka and Shampine, 2001). The equations are solved on the full interval $[0,L]$, and geometrical singularities at the poles are handled using analytical limits at $s=0,L$ (Appendix 6). Any integral constraint, such as volume conservation, is rewritten as a boundary value problem and added to the system of ode’s to be solved.
The dynamics simulations start with a sphere at time $\stackrel{~}{t}=0$. We study each of the four active effects separately. The corresponding active profile is switched on smoothly via a sigmoid function in time, such that it reaches its target intensity at $\stackrel{~}{t}\approx 0.02$. The time integration according to Equation 22 is done with an explicit Euler method with adaptive step size via
In order to keep the force and torque balance equations in the form given by Equations 63–65, the updated surface is reparametrised as ${\mathbf{X}}^{\prime}(\varphi ,{s}^{\prime},t+\delta t)$ in a new arc length ${s}^{\prime}(s)$ which is calculated from the condition ${g}_{{s}^{\prime}{s}^{\prime}}=1$. The profiles and surface quantities are passed between time steps as spline interpolants.
To produce the diagrams of steadystate shapes, $l}_{a$ is fixed and the control parameter is the difference of the active profile value between the passive and the active regions of the shell, for example, for the profile given in Equation 17 it is $\delta {\zeta}_{c}$. A solution branch is found by starting from the spherical solution at zero difference of active profile, and calculating a sequence of steadystate shapes, progressively increasing the magnitude of the difference in activity. Two different methods are used to construct the solution branch for a sequence of control parameter values. For small values, starting from zero, the solution branch is obtained by making small increments in the control parameter. For larger values we switch to an implicit stepping method, which we developed based on a parametric representation of the solution branch (see Appendix 6 section ‘Construction of solution branches’). This second method allows us to continue the solution branches into regions where the steadystate shapes become nonunique in the control parameter.
Details of the numerical methods can be found in Appendices 6 and 7 for the steady state and the dynamics simulations, respectively.
Results
Epithelia as active membranes: Isotropic active tensions
We first consider deformations of an epithelial shell due to patterns of isotropic active tensions and bending moments. A spatially varying isotropic tension represents a change in the preferred area of the epithelium due to either changes in sheet thickness or cell number (Popović et al., 2017). However, one can show that a stepprofile of positive (contractile) tension $\zeta >0$ does not lead, at steady state, to a threedimensional deformation of the shell away from a spherical shape, which is a consequence of the absence of shear elasticity in our model (Appendix 8). Instead, the epithelium remains spherical and regions with higher tension contract. This leads to a rescaling of the relative active region size ${l}_{a}/{L}_{0}$ and, if the volume is free to change, also to a decrease in shell radius (Appendix 8). If the tension becomes negative, a buckling of the surface may occur (Salbreux and Jülicher, 2017). Here, we focus on positive tensions; therefore, if only isotropic active effects are considered, active internal bending moments are required to drive deformations away from the spherical shape.
Epithelia as active shells: Isotropic active bending moments
We now turn to deformations induced by an increasing active bending moment in a spherical cap. In Figure 2a and e, we plot a phase diagram of steadystate shapes as a function of the increased active bending moment $\delta {\zeta}_{c}$ and the size of the active region $l}_{a$. The steadystate deformed shapes are plotted with the active region shown in red and the ‘passive’ region, where ${\zeta}_{c}=0$, shown in blue. We can contrast the situation where fluid is free to exchange across the surface and at steady state the difference of pressure across the surface vanishes, $P=0$ (Figure 2a–d), to the case where the volume enclosed by the surface is constrained to a fixed value (Figure 2e–i).
An isotropic active bending moment (term in ${\zeta}_{c}$ in Equation 6) induces a preferred curvature ${({C}^{0})}_{k}^{k}=\frac{{\zeta}_{c}}{2\kappa}$, such that regions of a spherical shell with ${\zeta}_{c}>0$ can be expected to flatten or bend inwards. Specifically, a difference of $\delta {\zeta}_{c}$ applied at the boundary of the active cap induces a jump in meridional curvature ${C}_{s}^{s}$ and a local folding of the sheet. Due to the spherical topology, the shape of the whole shell is affected by this fold, as can be seen from the sequences of stationary shapes obtained by increasing $\delta {\zeta}_{c}$ for intermediate values of ${l}_{a}/{L}_{0}$ (Figure 2a). In particular, for the same value of $\delta {\zeta}_{c}$ the active region may bend inward or keep a positive curvature, depending on its size.
When ${l}_{a}/{L}_{0}$ is small or close to 1, the resulting shape is characterised by the formation of a bud which form either inwards (${l}_{a}\ll {L}_{0}$) or outwards $({L}_{0}{l}_{a}\ll {L}_{0})$. In these cases, for sufficiently large values of $\delta {\zeta}_{c}$ the steadystate solution is lost through the formation of a constricting neck. In our simulations the constricting neck is numerically resolved up to values of $\sim {10}^{3}{R}_{0}$; extrapolation indicates full constriction at a finite $\delta {\zeta}_{c}$ (Figure 2i). As the neck radius decreases the principal curvatures at the neck diverge as $C}_{s}^{\phantom{\rule{thinmathspace}{0ex}}s},{C}_{\varphi}^{\phantom{\rule{thinmathspace}{0ex}}\varphi}\to \pm \mathrm{\infty$, such that $C}_{k}^{\phantom{\rule{thinmathspace}{0ex}}k$ remains finite (Figure 2i) and therefore the limiting, budded shape is a true steadystate solution. Such a transition is reminiscent of models of lipid membrane vesicles, which can be induced to form a budded shape consisting of two spheres connected by an infinitesimal region called the ideal neck (Seifert et al., 1991; Jülicher and Lipowsky, 1993; Fourcade et al., 1994; Jülicher and Lipowsky, 1996; Seifert, 1997). For lipid membranes the ideal neck condition gives the difference in spontaneous curvature between the two domains at which a vesicle will form two spheres, $1/{R}_{1}+1/{R}_{2}={C}_{0}$ with $R}_{1$ and $R}_{2$ the radius of the two spheres and $C}_{0$ the spontaneous curvature (Seifert, 1997). Here the choice of constitutive Equations 5 and 6 does not correspond to the Helfrich model, and we find alternative matching conditions for the two regions connected by the infinitesimal neck: we find that ${t}_{s}^{s}$ changes sign across the neck, while ${\overline{m}}_{s}^{s}$ is continuous. This result can be derived by a scaling analysis around the neck (Appendix 2). In the free volume case, these conditions are satisfied when the active and passive regions are separated by the neck, and have the shapes of spheres with vanishing strain ($u=0$) and radii ${R}_{a}$, ${R}_{p}$, related by the condition:
where the change of sign in the second line arises because the active region deforms inward and form a sphere with a negative mean curvature. The additional condition of vanishing strain $u=0$ gives an additional relation for $R}_{1$ and $R}_{2$ as a function of ${l}_{a}/{L}_{0}$. Combining these conditions determine a curve in the parameter space $\delta {\zeta}_{c}{R}_{0}/\kappa $, ${l}_{a}/{L}_{0}$, which matches with the numerically determined curve of neck constriction (Figure 2b). In the fixed volume case, the matching conditions do not result in such a simple shape solution; however, using the same condition as for the free volume case appears to still provide a good approximation of the constriction point for small (${l}_{a}\ll {L}_{0}$) and close to $L}_{0$ $({L}_{0}{l}_{a}\ll {L}_{0})$ values of $l}_{a$ (Figure 2f). We conclude that infinitesimal neck formation can arise outside of the Helfrich model and that the ideal neck condition which is satisfied there does not generally extend to other models of surface mechanics.
At sufficiently large increase in the active bending moment difference $\delta {\zeta}_{c}$ and for intermediate values of ${l}_{a}/{L}_{0}$, a fold in the solution branch in the $(\delta {\zeta}_{c},V)$plane appears (Figure 2c). For most values of ${l}_{a}/{L}_{0}$, this fold is associated to the loss of a continuously attainable solution with increasing $\delta {\zeta}_{c}$, and a shape transition (Figure 2b and c). We expect shapes obtained by following the continuous branch of shapes beyond the fold to be unstable (Appendix 9). The (potentially unstable) physical branch eventually stops either through a selfintersection of the sheet at the poles (Figure 2c, ${l}_{a}/{L}_{0}=0.35$) or through the constriction of a small neck that develops near the boundary of the passive and active regions and separates the shell into two smaller, approximately spherical compartments (Figure 2c, ${l}_{a}/{L}_{0}=0.31,0.7$). Alternatively the solution branch continues in a sequence of loops and the active region elongates (Figure 2c, ${l}_{a}/{L}_{0}=0.5$), forming an increasing number of bubblelike compartments.
Since we follow continuous trajectories of steadystate shapes in parameter space, we cannot directly obtain alternative steadystate solution branches after the shape transition. Therefore, we turn to dynamic simulations where we explicitly calculate flow fields, starting from the reference spherical shape, and evolve the surface shape (Figure 2d) with parameters chosen to be away from the transition in parameter space (Figure 2a). This also allows to resolve the sequence of shapes and velocity fields leading to a given steadystate deformed shape (Figure 2h, ${l}_{a}/{L}_{0}=0.1,\delta {\zeta}_{c}=40\kappa /{R}_{0}$). For parameters beyond the shape transition, we find that a small neck can form, separating roughly the active and passive regions, whose radius decreases to 0 over time (Figure 2d). Alternatively, the surface ends up selfintersecting (Figure 2d, ${l}_{a}/{L}_{0}=0.35,\delta {\zeta}_{c}=12.5\kappa /{R}_{0}$). We do not find therefore alternative solution branches beyond the shape instability. Since intersection of the surface with itself is described by different physical interactions than considered here, our framework does not answer what would happen beyond the selfintersection line. However, assuming that selfintersection results in fusion and rupture of the apposed two surfaces, active isotropic bending moment difference could in principle drive a change in tissue topology, from one sphere to two (${l}_{a}/{L}_{0}=0.85,\delta {\zeta}_{c}=15\kappa /{R}_{0}$), or from a sphere to a torus via selfintersection (${l}_{a}/{L}_{0}=0.35,\delta {\zeta}_{c}=12.5\kappa /{R}_{0}$).
When volume is conserved, deformations are broadly similar but tend to be more localised to the fold at the active boundary (Figure 2e–i). For intermediate values of ${l}_{a}/{L}_{0}$, the shell deforms into locally folded shapes, which eventually selfintersect at large bending moment difference (Figure 2g, ${l}_{a}/{L}_{0}=0.3,0.7$, Figure 2h).
Nematic active tensions
We now introduce the nematic order parameter ${Q}_{ij}$ and consider shape changes driven by contractile or extensile active stress in the active region (Figure 3). As expected, solving for the nematic order parameter profile on the undeformed sphere results in maximal order at the equator and two defects at the poles where the nematic order parameter vanishes, $q=0$ (Figure 3). Two solutions with $q<0$ and $q>0$ can exist; in the following we take the convention that ${Q}_{\varphi}^{\phantom{\rule{thinmathspace}{0ex}}\varphi}=q>0$, ${Q}_{s}^{\phantom{\rule{thinmathspace}{0ex}}s}=q<0$, corresponding to circumferential alignment of the order parameter, such that a contractile active stress $({\zeta}_{\mathrm{n}}>0)$ results in a positive circumferential tension, ${t}_{\varphi}^{\varphi}>0$. Due to invariance of the constitutive equation by exchange ${Q}_{ij}\to {Q}_{ij}$, ${\zeta}_{\mathrm{n}}\to {\zeta}_{\mathrm{n}}$, the same shape deformations occur when considering meridional alignment of the order parameter ($q<0$) and exchanging contractile $({\zeta}_{\mathrm{n}}>0)$ and extensile $({\zeta}_{\mathrm{n}}<0)$ active stresses.
As before, we study the cases of vanishing pressure difference across the shell (Figure 4a–e) and constrained volume inside the shell (Figure 4f–i). With a nematic tension profile on the surface, a deformation away from the spherical shape occurs even for homogeneous active nematic tension, ${l}_{a}/{L}_{0}=1$ (Figure 4a–e).
In the extensile case ${\zeta}_{\mathrm{n}}<0$ (or in the contractile case ${\zeta}_{\mathrm{n}}>0$ if $q<0$), and no pressure difference across the shell, the surface progressively flattens into a flat, doublelayered disc (Figure 4b, ${l}_{a}/{L}_{0}=1$, ${\zeta}_{\mathrm{n}}<0$). There is no shape transition occurring; instead, we find that the shape converges to a limit shape as ${\zeta}_{\mathrm{n}}\to \mathrm{\infty}$ (Appendix 4). The limit shape corresponds to two parallel flat discs of radius ${R}_{d}$, separated by a distance $2h$, connected by a narrow curved region. An asymptotic analysis (Appendix 4) shows that the radius of the disc and the separating distance obey the scaling relations, in the limit $\kappa \ll K{l}_{c}^{2}$:
The first relation shows that the limit shape has the size of the characteristic nematic length $l}_{c$. Physically, for ${l}_{c}\ll {L}_{0}$, the nematic active tension results in a contraction of the shape, until the shape is sufficiently close to the defect core for the nematic order to ‘dissolve,’ thus limiting further increase in the active tension.
In the contractile case (${\zeta}_{\mathrm{n}}>0$), the shape elongates until a shape transition is reached, characterised by a fold in the solution branch (Figure 4b, ${l}_{a}/{L}_{0}=1$, ${\zeta}_{\mathrm{n}}>0$). Following the solution branch after the fold eventually gives rise to a sequence of presumably unstable shapes with the formation of a central constricting neck. Intrigued by this result, we performed dynamical simulations for contractile active tensions above the shape transition (Figure 4c and e; Figure 4—figure supplement 1). Dynamic simulations show separation of the shape into two or more compartments via dynamical neck constrictions, with the neck radius vanishing over time (Figure 4—figure supplement 1a). Within the neck, $q\to 0$ as a result of the diverging principal curvatures (as can be seen from the presence of a term ${(\frac{\mathrm{cos}(\psi )}{x}q)}^{2}$ term in the nematic free energy, Equation 102). In particular, for values close to the branch fold (Figure 4c) the dynamics is reminiscent of cell division; however, in contrast to existing models of cell division (Salbreux et al., 2009; Turlier et al., 2014), the constriction appearing here does not require a narrow peak of active stress around the equator to occur. At larger contractile stress (Figure 4e), a narrow, elongated tube forms around the equator. This tube thins out over time, and two symmetric necks emerge and constrict, suggesting that the shape would eventually separate into three topologically separated surfaces (Figure 4—figure supplement 1b).
For $0<{l}_{a}/{L}_{0}<1$ and extensile stress in the active region $\delta {\zeta}_{\mathrm{n}}<0$, the active region tends to flatten more and more strongly as $\delta {\zeta}_{\mathrm{n}}$ is increased, and the total curvature vanishes at the south pole (${C}_{k}^{\phantom{\rule{thinmathspace}{0ex}}k}\to 0$, Figure 4d). For $0<{l}_{a}/{L}_{0}<1$ and contractile stress $\delta {\zeta}_{\mathrm{n}}>0$, a fold in the solution branch appears at large value of $\delta {\zeta}_{\mathrm{n}}$ (Figure 4b and d). Following the solution branch beyond the fold results in a complex trajectory in parameter space, corresponding to successive additions of new bubbles to a linear chain of bubbles within the active region. This bubble chain is observed both with free or constrained volume (Figure 4b and g). Here, we cannot conclude however whether these shapes are unstable. Instead, we consider the shape dynamics for $\delta {\zeta}_{\mathrm{n}}$ values larger than the shape transition, here at fixed internal volume (Figure 4h and i). Here, a neck forms within the active region and its constriction leads to the separation of a smaller bubble. For small enough $l}_{a$ the smaller bubble appears nematicfree and spherical (Figure 4h, Figure 4—figure supplement 1b). This is consistent with restoration of isotropic state stability which can occur on a sphere whose size becomes smaller or comparable to $l}_{c$ (Appendix 3 section ‘Stability of the isotropic state on a sphere’).
Active nematic bending moments
We now turn to shape deformations resulting from active bending moments oriented along the nematic order ${Q}_{ij}$. As for nematic tension, we adopt the convention of nematic alignment along the circumference, ${Q}_{\varphi}^{\phantom{\rule{thinmathspace}{0ex}}\varphi}=q>0$; alignment along the meridians can be studied simply by changing the sign of the active coefficient ${\zeta}_{c\mathrm{n}}$.
We first discuss the case where the nematic active bending moment is homogeneous (${l}_{a}/{L}_{0}=1$), where there is no difference of pressure across the surface, and where ${\zeta}_{c\mathrm{n}}=\delta {\zeta}_{c\mathrm{n}}<0$ (Figure 5a–c and g). We find that the sphere deforms into a shape with a central cylindrical part (Figure 5a and b). The length of the cylindrical part increases with increasing value of ${\zeta}_{c\mathrm{n}}$. To characterise this, we note that the corresponding steadystate shape solutions have vanishing tensions ${t}_{s}^{s}=0$ and ${t}_{n}^{s}=0$ everywhere (Figure 5—figure supplement 1) and the force balances Equations 63 and 64 are trivially satisfied. The torque balance Equation 65 reads
Combining Equations 26 and 48 one obtains that $\mathcal{L}[{C}_{s}^{\phantom{\rule{thinmathspace}{0ex}}s}{C}_{\varphi}^{\phantom{\rule{thinmathspace}{0ex}}\varphi}{\zeta}_{c\mathrm{n}}q/(2\kappa )]=0$, with the operator $\mathcal{L}={\partial}_{s}+2\frac{\mathrm{cos}\psi}{x}$. Solutions to $\mathcal{L}[f]=0$ have the form $f=A/{x}^{2}$ with A a constant. The boundary condition that the function $f$ should be finite at the poles requires $A=0$, such that
As a result, if the shape has a cylindrical part, in which ${C}_{s}^{\phantom{\rule{thinmathspace}{0ex}}s}=0$ and $q=1$, then the cylinder radius ${R}_{c}$ is given by
and since such solutions are areapreserving, with $u=0$, the length of the cylindrical part scales as ${L}_{c}\sim 1/{R}_{c}$. These relations are in excellent agreement with simulation results for large enough ${\zeta}_{c\mathrm{n}}$ (Figure 5g).
When $l}_{a}<{L}_{0$, the active region forms an outward cylindrical protrusion (Figure 5a, b and g) whose radius is still well described by Equation 28, replacing ${\zeta}_{c\mathrm{n}}$ by $\delta {\zeta}_{c\mathrm{n}}$, the value of the active nematic bending moment in the active region (Figure 5g). Using that within the cylindrical protrusion $u=0$ so that the cylindrical protrusion has the same area as the original active domain and the relation Equation 85 for the size of the active domain, we find that the length of the active protrusion is now given by
which is again in excellent agreement with numerical simulation for large $\delta {\zeta}_{c\mathrm{n}}$ and for different values of ${l}_{a}/{L}_{0}$ (Figure 5g).
For ${\zeta}_{c\mathrm{n}}>0$ and ${l}_{a}/{L}_{0}=1$ we find erythrocytelike shapes, where the indentations at the poles become stronger with ${\zeta}_{c\mathrm{n}}$ until the two poles touch (Figure 5b). This behaviour remains for $l}_{a}<{L}_{0$, resulting in a selfintersection line in the phase diagram (Figure 5a). Here, the shape can take the form of an inner tube entering the spherical shell (Figure 5b), reminiscent of epithelial shape changes observed during sea urchin gastrulation (Ettensohn, 1984).
Interestingly, when ${l}_{a}/{L}_{0}<1$ and the volume is free to change, both signs of $\delta {\zeta}_{c\mathrm{n}}$ result in a cylindrical appendage forming from the active region. The sign of $\delta {\zeta}_{c\mathrm{n}}$ determines whether the cylinder forms outside or inside of the remaining, roughly spherical shape. Dynamics simulations confirm that the shapes described above are stable solutions (Figure 5c). At the tip of the emerging cylinder lies the +1 topological defect. For $\delta {\zeta}_{c\mathrm{n}}<0$, when the protrusion grows towards the outside, such a situation is reminiscent of the observation of nematic defects in Hydra, where a set of topological defects, with +1 defects at the tip, have been observed in growing tentacles (MaroudasSacks et al., 2021). There, actin layers are perpendicular to each other, with circumferential alignment in the inner cell layer and longitudinal in the outer layer, which would indeed result in $\delta {\zeta}_{c\mathrm{n}}<0$ with our sign convention if the layers are contractile.
We now describe surfaces with fixed volume (Figure 5d–f). Here, we do not observe cylindrical shapes or protrusions as in the case of free volume. When ${\zeta}_{c\mathrm{n}}<0$ and ${l}_{a}={L}_{0}$ the surface becomes spindlelike, narrowing at the poles with increasing ${\zeta}_{c\mathrm{n}}$. As in the free volume case, when ${\zeta}_{c\mathrm{n}}>0$ the two opposite poles come in contact with each other (Figure 5e); such that subsequent fusion of the poles would lead to an overall toroidal shape of the shell. The shapes become more complex for $l}_{a}<{L}_{0$. Shape transitions occur at large $\delta {\zeta}_{c\mathrm{n}}$, for both $\delta {\zeta}_{c\mathrm{n}}<0$ and $\delta {\zeta}_{c\mathrm{n}}>0$ (Figure 5e). In the case $\delta {\zeta}_{c\mathrm{n}}<0$, for increasing magnitude of the active bending moment, the shape becomes increasingly curved at the boundary between the passive and active regions, until the solution is lost. In the case $\delta {\zeta}_{c\mathrm{n}}>0$, the shell indents within the active region and the solution branch has a fold. To the right of the fold line in the shape diagram, the steadystate solutions are eventually lost through the formation of a small neck that separates off a smaller, internalised compartment. In contrast to the case of isotropic bending moments, here the sign of $\delta {\zeta}_{\text{cn}}$ determines whether the active region folds inwards or outwards, independent of the initial size ${l}_{a}/{L}_{0}$. As before, we use dynamics simulations to study the deformations for large $\delta {\zeta}_{\text{cn}}$ (Figure 5f). For both signs of $\delta {\zeta}_{\text{cn}}$, these result in shapes that are selfintersecting either along a circle (${l}_{a}/{L}_{0}=0.3,\delta {\zeta}_{\text{cn}}=150\kappa /{R}_{0}$) or at the poles (${l}_{a}/{L}_{0}=0.5,\delta {\zeta}_{\text{cn}}=50\kappa /{R}_{0}$).
Discussion
In this study of deformations of patterned nematic active surfaces, we have found a diverse zoology of possible shape changes (Figure 6), characterised by budding and neck constrictions, transition of sphere to cylinder, tubulation, and flattening. We find that introduction of a nematic field on the surface greatly increases the space of possible shapes. Overall our work contributes to the characterisation of the ‘morphospace’ which biological systems can explore.
Some of our findings recapitulate epithelial deformations observed in biological systems. The flattening observed for an extensile homogeneous nematic surface (Figure 4b, ${l}_{a}/{L}_{0}=1$) could in principle lead to merging of the two apposed surfaces into a doublelayer for large ${\zeta}_{\mathrm{n}}$. Such a process of tissue planarisation appears to occur as an intermediate step in skin organoid formation, where epithelial cysts fuse and merge to form transient bilaterally symmetric structures (Lei et al., 2017). The formation of tubular appendages from nematic bending moments appears to recapitulate growth/regeneration of elongated bodies and tentacles in Hydra (MaroudasSacks et al., 2021) and, with an opposite sign, of epithelial invagination during sea urchin embryo gastrulation (Ettensohn, 1984).
The axisymmetric structure we have considered here naturally gives rise to two +1 nematic defects at the poles (Figure 3a). These defects then structure the nematic field and, as a result, the shape changes driven by nematic active tension or bending moments. Such an interplay between topological defect and shape changes is a recurring theme that may play a key role in morphogenesis (Frank and Kardar, 2008; Metselaar et al., 2019; Hoffmann et al., 2021; BlanchMercader et al., 2021a; BlanchMercader et al., 2021b). In practice +1 nematic defects are unstable to separation into two +1/2 defects; however, it is conceivable that a polar or additional weakly polar field stabilises the +1 defects (Amiri et al., 2022). Extension of the present work beyond axisymmetric structures will allow to distinguish more clearly the purely nematic and polar cases.
Continuum theories for curved surfaces, such as the Helfrich theory, have been extremely successful to describe shape transformations of passive vesicles, including homogeneous or phaseseparated vesicles with coexisting domains (Seifert et al., 1991; MacKintosh and Lubensky, 1991; Jülicher and Lipowsky, 1993; Seifert, 1997; Allain et al., 2004; Sens and Turner, 2004; Bassereau et al., 2014). The effect of broken symmetry variables on passive surfaces, arising, for instance, from molecular tilt giving rise to polar order on a lipid membrane, has been considered theoretically (MacKintosh and Lubensky, 1991; Lubensky and Prost, 1992; Park et al., 1992). Continuum theories of active surfaces can similarly allow to study epithelial deformations (Salbreux and Jülicher, 2017; Morris and Rao, 2019; Messal et al., 2019). We note some important differences between the active surface model described here and passive membranes. (i) Our constitutive equations for tensions and bending moments Equations 5 and 6 do not in general derive from a free energy (Salbreux and Jülicher, 2017) and describe a system outofequilibrium; (ii) while lipid membranes are nearly incompressible and are usually treated as surfaces with constant area, cells within epithelial tissues can change their area significantly (Latorre et al., 2018), which prompted us to consider a finite area modulus $K$: for example, simulations with constant volume have relative area changes of up to 20% (Figure 2—figure supplement 2); (iii) patterns of active tensions and bending moments imposed here also do not derive from an energy and are thought to respond to spatiotemporal chemical cues: in contrast, phaseseparated domains in passive lipid vesicles obey equilibrium thermodynamics and their size is controlled, for instance, by line tension at the domain boundary (Jülicher and Lipowsky, 1993). In some cases, however, a similarity appears between shape transformations obtained in the active model we study here and the passive Helfrich model. For instance, budding occurring in lipid membranes due to phase separation of domains with different spontaneous curvature (Jülicher and Lipowsky, 1993) is similar to the budding we observe here for different regions with different active isotropic bending moments.
We find here that nematically oriented active bending moments can give rise to spontaneous cylindrical tubes, without external force application (Figure 5). Spontaneous formation of hollow cylindrical vesicles with polar order due to molecular tilt has been discussed Lubensky and Prost, 1992; there the cylindrical shapes are considered to be open and the gain in defect energy allows the open cylinder to be more stable than the spherical shape. In contrast, we find here active surfaces which spontaneously form tubes, but stay closed and keep their topological charge. It has also been reported that a supported bilayer membrane under compression can spontaneously form tubes under negative tension (Staykova et al., 2013). In this work we have chosen to consider only positive isotropic tension; negative isotropic tension could give rise to further buckling instabilities. Models for chiral lipid bilayers in a tilted fluid phase have also predicted tubular shapes (Helfrich and Prost, 1988; Selinger and Schnur, 1993; Selinger et al., 1996; Tu and Seifert, 2007). Here, we have not considered chiral effects. These effects could be introduced by generalising the constitutive Equations 5 and 6, including terms which appear for surfaces with broken planarchiral or chiral symmetry (Salbreux and Jülicher, 2017).
In contrast to purely elastic models of morphogenesis (Höhn et al., 2015; Haas et al., 2018), we have considered here morphogenetic events occurring on time scales long enough for shear elastic stresses to be relaxed by cell topological rearrangements, such that the tissue exhibits fluid behaviour (Popović et al., 2017). Whether a tissue behaves as an elastic or fluid material on time scales relevant to morphogenesis can in principle be probed experimentally (Mongera et al., 2018).
While we have focused the interpretation of our results to epithelial mechanics, the constitutive Equations 5 and 6 we have considered here are generic and may also describe the largescale behaviour of active nematics formed with cytoskeletal filaments and motors on a deformable surface (Keber et al., 2014). We considered here, however, a situation where the twodimensional fluid has area elasticity, whereas cytoskeletal networks can in principle be fluid with respect to both shear and bulk shear due to the turnover of components.
In this study, we have considered chemical and mechanical processes to be uncoupled, except for the profile of active tension or torque being advected with the surface flow. Introducing additional couplings explicitly in this framework will extend the repertoire of shapes considered here. A natural choice is to consider the effect of a chemical undergoing reactiondiffusion on the surface and advected by the fluid, regulating active forces on the surface (Mietke et al., 2019a; Mietke et al., 2019b). Here, we assumed that orientational order relaxes quickly compared to other dynamical processes; in future work, this assumption could be lifted and one could study in particular how chemical regulation could influence the dynamics of orientational order in the tissue. Cells could also be sensing their own curvature and actively adapt their behaviour accordingly (Chen et al., 2019), which could lead to a dependency of the active coupling coefficients $\zeta $, ${\zeta}_{\mathrm{n}}$, ${\zeta}_{c}$ or ${\zeta}_{c\mathrm{n}}$ on the trace or determinant of the curvature tensor ${C}_{ij}$. It would be interesting to explore shapes arising from such a feedback. Volume conservation at cellular level could also be included explicitly, for instance, by introducing a tissue height field (Morris and Rao, 2019). Finally, we have considered here a tissue with a fixed preferred area, implicitly assuming that the epithelium is not growing. Tissue growth is a key aspect of biological development (Gokhale and Shingleton, 2015; Eder et al., 2017), and cell division and death can fluidify elastic stresses in an epithelium (Ranft et al., 2010); adding regulated growth in the model will be a step forward in our understanding of active morphogenesis of biological tissues.
Appendix 1
Differential geometry of axisymmetric surfaces
General relations of differential geometry
Fundamental tensors
A general framework for the mechanics of active curved surfaces is given in Salbreux and Jülicher, 2017; Salbreux et al., 2022, and we follow the differential geometry notation introduced there. Let $\mathbf{X}=\mathbf{X}({s}^{1},{s}^{2})$ be a curved surface embedded in ${\mathrm{\mathbb{R}}}^{3}$ and parametrised by the generalised coordinates ${s}^{1},{s}^{2}$. A local covariant basis in the tangent plane is given by the vectors ${\mathbf{e}}_{i}={\partial}_{i}\mathbf{X}=\partial \mathbf{X}/\partial {s}^{i}$ and the unit normal vector is constructed as $\mathbf{n}=({\mathbf{e}}_{1}\times {\mathbf{e}}_{2})/{\mathbf{e}}_{1}\times {\mathbf{e}}_{2}$ and chosen to point outwards for a closed surface in our convention. These define the metric tensor ${g}_{ij}={\mathbf{e}}_{i}\cdot {\mathbf{e}}_{j}$ and the curvature tensor ${C}_{ij}=({\partial}_{i}{\mathbf{e}}_{j})\cdot \mathbf{n}={\mathbf{e}}_{i}\cdot {\partial}_{j}\mathbf{n}$. The infinitesimal surface and line elements are given by $\mathrm{dS}=\sqrt{g}d{s}^{1}d{s}^{2}$ and $d{l}^{2}={g}_{ij}d{s}^{\phantom{\rule{thinmathspace}{0ex}}i}d{s}^{\phantom{\rule{thinmathspace}{0ex}}j}$, where $g$ is the determinant of the metric tensor. The antisymmetric Levi–Civita tensor is defined as ${\u03f5}_{ij}=\mathbf{n}\cdot ({\mathbf{e}}_{i}\times {\mathbf{e}}_{j})$.
Covariant derivatives
The Christoffel symbols of the second kind are obtained from derivatives of the metric as
and Christoffel symbols of the first kind are defined as ${\mathrm{\Gamma}}_{kij}=\frac{1}{2}\left({\partial}_{j}{g}_{ki}+{\partial}_{i}{g}_{kj}{\partial}_{k}{g}_{ij}\right)$. The covariant derivatives of a tangent vector field $f}^{\phantom{\rule{thinmathspace}{0ex}}i$ and a tangent tensor field $T}^{\phantom{\rule{thinmathspace}{0ex}}ij$, respectively, are given by
In the following, we also use the divergence theorem on curved surfaces for a tangent vector field $\mathbf{f}$(Salbreux and Jülicher, 2017),
Infinitesimal variation of surface quantities
For a small deformation of the surface
the variations of the basis vectors, the normal vector, the metric, and the mixed curvature tensor components are given by (Salbreux and Jülicher, 2017)
These relations can be used to obtain time derivatives of surface quantities using $\delta \mathbf{X}=\delta t\mathbf{v}$ (Lagrangian surface update) or $\delta \mathbf{X}=\delta t{v}_{n}\mathbf{n}$ (where the surface shape is updated with the normal flow only).
Since according to the definition Equation 14 the area strain $u$ can be written as, using the coordinates $({s}_{0},\varphi )$ on the undeformed and deformed surfaces and denoting $g}_{0$ the determinant of the metric of the undeformed surface,
we obtain from Equation 38 the variation:
which yields the Lagrangian time derivative (Equation 15) in the main text, using $\delta \mathbf{X}=\delta t\mathbf{v}$.
Axisymmetric surfaces
Fundamental tensors
On a surface with axial symmetry about the $z$axis, as defined in the main text, the basis vectors and the outward normal are
where we have used ${\partial}_{s}x=\mathrm{cos}\psi $ and ${\partial}_{s}z=\mathrm{sin}\psi $, which can be defined through the requirement that $s$ is an arc length parameter, such that ${{\mathbf{e}}_{s}}^{2}={({\partial}_{s}x)}^{2}+{({\partial}_{s}z)}^{2}=1$. The metric and curvature tensors and the surface element are given by
In the following, because the metric is diagonal, we will not distinguish between the order of indices for diagonal elements of secondorder tensors in mixed coordinates, that is, for a tensor $\mathbf{T}$ we use $T}_{s}^{\phantom{\rule{thinmathspace}{0ex}}s}={T}_{s}^{\phantom{\rule{thinmathspace}{0ex}}s}={T}_{s}^{\phantom{\rule{thinmathspace}{0ex}}s$ and $T}_{\varphi}^{\phantom{\rule{thinmathspace}{0ex}}\varphi}={T}_{\varphi}^{\phantom{\rule{thinmathspace}{0ex}}\varphi}={T}_{\varphi}^{\phantom{\rule{thinmathspace}{0ex}}\varphi$. The circumferential and meridional principal curvatures $C}_{\varphi}^{\phantom{\rule{thinmathspace}{0ex}}\varphi$ and $C}_{s}^{\phantom{\rule{thinmathspace}{0ex}}s$, and the mean and Gaussian curvatures $H$ and $K$ are given by:
Some useful relationships involving the two principal curvatures follow from Equation 46 and from the definitions Equations 11 and 12,
The partial area and partial volume are given by
The corotational time derivative of the curvature tensor, as defined in Equation 8, has trace
Covariant derivatives
Axial symmetry implies that all functions on the surface should be $\varphi$independent, and we also consider here vector and tensor fields $\mathbf{f}$, $\mathbf{T}$ such that ${f}^{\varphi}=0$ and ${T}^{\phantom{\rule{thinmathspace}{0ex}}s\varphi}={T}^{\phantom{\rule{thinmathspace}{0ex}}\varphi s}=0$. The only nonvanishing component of ${\partial}_{i}{g}_{jk}$ is ${\mathrm{\partial}}_{s}{g}_{\varphi \varphi}=2x\mathrm{cos}\psi$; therefore, the nonzero Christoffel symbols of the first kind are
and the nonzero Christoffel symbols of the second kind are
The nonzero components of $\mathrm{\nabla}}_{i}{f}^{\phantom{\rule{thinmathspace}{0ex}}j$ are
resulting in the components of the strain rate tensor defined in Equation 7:
with trace
The nonzero components of $\mathrm{\nabla}}_{i}{T}^{\phantom{\rule{thinmathspace}{0ex}}jk$ are
where $T}^{\phantom{\rule{thinmathspace}{0ex}}\varphi \varphi}={g}^{\varphi \varphi}{T}_{\varphi}^{\phantom{\rule{thinmathspace}{0ex}}\varphi}=\frac{1}{{x}^{2}}{T}_{\varphi}^{\phantom{\rule{thinmathspace}{0ex}}\varphi$ was used in the last expression.
Force and torque balance
Axial symmetry implies that the tangential and the normal force balances, Equations 1; 2, and the torque balance Equation 3 can be rewritten as
The geometric singularities appearing in Equations 63–65 are removed by an appropriate choice of boundary conditions for the tensions and moments at the poles of the surface. The normal torque balance Equation 4 gives the antisymmetric part of the tension tensor. With the constitutive Equation 6 for the bending moment tensor, ${\u03f5}_{ij}{t}^{ij}={C}_{ij}{m}^{ij}={\zeta}_{c\mathrm{n}}{Q}^{ik}{\u03f5}_{k}{}^{j}C_{ij}$ which vanishes for an axisymmetric surface where ${Q}^{s\varphi}={Q}^{\varphi s}=0$. Therefore, here ${t}^{ij}={t}_{s}^{ij}$ which is given by the constitutive Equation 5.
Direct expression for the transverse tension on an axisymmetric surface
In Capovilla and Guven, 2002 and Knoche and Kierfeld, 2011, it is shown that on axially symmetric surfaces the normal force balance in Equation 64 can be integrated in a closed form in the presence of a uniform pressure. Here, we generalise this to an arbitrary axially symmetric external force. In analogy to Capovilla and Guven, 2002, consider a piece of surface $\mathcal{S}}_{1$ bounded by the south pole and a circle $\mathcal{C}$ perpendicular to the axis of symmetry, given by $s={s}_{1}$ (Appendix 1—figure 1). The bounding circle $\mathcal{C}$ has the line element $dl=xd\varphi$ and the unit normal $v={e}_{s}$, tangent to the surface and pointing outward with respect to $\mathcal{S}}_{1$. The balance of forces acting on $\mathcal{S}}_{1$ reads
The contributions to the integral Equation 66 are
where we have introduced the integrated external force
and used the shape Equation 11 in Equation 68. As Equations 67–69 only contribute to the $z$component, Equation 66 can be rewritten as
From Equation 71 one obtains an expression for the transverse tension for $\psi \ne \frac{\pi}{2}$:
and it is easy to confirm, using Equation 63, that this is indeed a solution of the normal force balance given by Equation 64.
Behaviour at the poles
The poles of the axisymmetric surface are at $s=0$ (south pole) and $s=L$ (north pole) and satisfy $x(0)=x(L)=0$. Besides, we assumed that the shape has a finite curvature, requiring $\psi =0$ and $\psi =\pi $ at the south and north poles. The asymptotic behaviour of the shape is then:
The limits of geometric singularities of the form $f(s)/x(s)$, for some function $f(s)$ which vanishes at the pole, follow from L’Hôpital’s rule
where the + sign applies to $s=0$ and the  sign to $s=L$. For example, applying Equation 75 to ${C}_{\varphi}^{\phantom{\rule{thinmathspace}{0ex}}\varphi}=\mathrm{sin}\psi /x$ yields that
Any smooth tangent vector field on the closed axisymmetric surface has to vanish at the poles. For example, since $C}_{k}^{\phantom{\rule{thinmathspace}{0ex}}k$ is a scalar field, for its derivative we have
From Equation 48 we find that at the poles $2{\mathrm{\partial}}_{s}{C}_{\varphi}^{\phantom{\rule{thinmathspace}{0ex}}\varphi}={\mathrm{\partial}}_{s}{C}_{s}^{\phantom{\rule{thinmathspace}{0ex}}s}$, which, together with Equation 77 yields
This relation, together with Equation 76, implies that at the poles, the surface is locally spherical.
Spherical surface
We give here some of the geometrical quantities defined above for the undeformed initial surface, a sphere with radius $R}_{0$ and south pole at the origin, $\mathbf{X}(\varphi ,0)=0$:
where the arc length is denoted $s}_{0$, and ${A}_{0}=4\pi {R}_{0}^{2}$, ${V}_{0}=(4/3)\pi {R}_{0}^{3}$ are the area and volume of the sphere.
Appendix 2
Infinitesimal neck
We discuss here the infinitesimal neck appearing in steadystate shapes subjected to isotropic active bending moments ($\zeta ={\zeta}_{\mathrm{n}}={\zeta}_{c\mathrm{n}}=0$). In that case, the tensors ${t}^{ij}$ and ${\overline{m}}^{ij}$ are isotropic and the force and torque balance Equations 63–65 can be written, in the absence of external force other than the pressure $P$ and for $\psi \ne \frac{\pi}{2}$:
where we have used the transverse tension solution (Equation 72).
Scaling analysis
To analyse the behaviour of these equations near an infinitesimal neck, we now perform a scaling analysis following Fourcade et al., 1994. We consider a region around a nearly closed neck with minimal radius $a$. At the point of the surface closest to the axis of symmetry, $x=a$ and $\psi =\frac{\pi}{2}$. We then scale the arc length coordinate $s$, the distance of the surface to the axis of symmetry $x$, and the curvature tensor with $a$, and introduce $\overline{s}=s/a$, $\overline{x}=x/a$ and $\overline{C}}_{k}^{\phantom{\rule{thinmathspace}{0ex}}k}=a{C}_{k}^{\phantom{\rule{thinmathspace}{0ex}}k$. The force balance equations then become for $\psi \ne \frac{\pi}{2}$:
For $a\to 0$, the leading order solution has ${t}_{s}^{s}/\mathrm{cos}\psi $ and $\overline{C}}_{k}^{\phantom{\rule{thinmathspace}{0ex}}k$ both constant. Using the relation
with $\overline{C}}_{\varphi}^{\phantom{\rule{thinmathspace}{0ex}}\varphi}=a{C}_{\varphi}^{\phantom{\rule{thinmathspace}{0ex}}\varphi$, and the conditions ${\overline{C}}_{\varphi}^{\phantom{\rule{thinmathspace}{0ex}}\varphi}(\overline{x}=1)=1$ and that $\mathrm{sin}\psi $ does not diverge for $\overline{x}\to \mathrm{\infty}$, the curvatures have solution ${\overline{C}}_{k}^{\phantom{\rule{thinmathspace}{0ex}}k}=0$ and
where the sign of $\mathrm{cos}\psi $ changes in the regions towards and away from the neck. Therefore, $\mathrm{cos}\psi $ converges to +1 or 1 away from the neck for $x\to \pm \mathrm{\infty}$. Since ${t}_{s}^{s}/\mathrm{cos}\psi $ is constant across the infinitesimal neck, ${t}_{s}^{s}$ also changes sign asymptotically away from the neck.
The next order in $a$ of Equation 90 gives ${\mathrm{\partial}}_{\overline{s}}(2\kappa {C}_{k}^{\phantom{\rule{thinmathspace}{0ex}}k}+{\zeta}_{c})=0$ which corresponds to ${\overline{m}}_{s}^{s}$ constant across the neck (Figure 2—figure supplement 1).
Analytical solution for the free volume case
In the free volume case, $P=0$ and the force balance equations admits the solution ${t}_{s}^{s}=u=0$ and constant ${\overline{m}}_{s}^{s}$ (Figure 2—figure supplement 1a). Considering a shape with the active and passive regions forming spheres with radii ${R}_{a}$ and ${R}_{p}$ separated by an infinitesimal neck, the condition of constant ${\overline{m}}_{s}^{s}$ results in
with $[{C}_{k}^{\phantom{\rule{thinmathspace}{0ex}}k}{]}_{a}$ and $[{C}_{k}^{\phantom{\rule{thinmathspace}{0ex}}k}{]}_{p}$ the trace of the curvature tensor in the active and passive regions, and $\delta {\zeta}_{c}$ the difference in isotropic active bending moment between the passive and active regions. This results in Equation 24, taking into account that $[{C}_{k}^{\phantom{\rule{thinmathspace}{0ex}}k}{]}_{a}=\pm 2/{R}_{a}$ depending on whether the active region is curved towards the outside or the inside part of the surface. In addition, the condition $u=0$ results in conservation of area of the active and passive regions compared to the undeformed sphere:
where we have used Equation 85. When $[{C}_{k}^{\phantom{\rule{thinmathspace}{0ex}}k}{]}_{a}=2/{R}_{a}$ corresponding to the active region towards the outside, and $\delta {\zeta}_{c}>0$, Equation 24 implies that $R}_{p}<{R}_{a$ which further requires ${l}_{a}/{L}_{0}>1/2$ to satisfy Equation 94.
Combining Equations 93 and 94 gives a condition defining a curve in the parameter space ${l}_{a}/{L}_{0}$, $\delta {\zeta}_{c}{R}_{0}/\kappa $:
which agrees well with the line of neck constriction determined numerically (Figure 2b).
Appendix 3
Nematic order parameter on an axisymmetric surface
Equilibrium equation
A nematic director on a curved surface is given by a unit tangent vector, for which $\hat{\mathbf{n}}=\hat{\mathbf{n}}$. In an orthonormal frame $\{{\hat{\mathbf{e}}}_{\varphi},{\hat{\mathbf{e}}}_{s}\}$, where ${\hat{\mathbf{e}}}_{\varphi}={\mathbf{e}}_{\varphi}/x$ and $\hat{\mathbf{e}}}_{s}={\mathbf{e}}_{s$, it is characterised by an angle $\alpha \in [0,\pi ]$ as
The director components in the basis $\{{\mathbf{e}}_{\varphi},{\mathbf{e}}_{s}\}$ are then
The traceless and symmetric nematic order parameter ${Q}^{ij}$ can be constructed from the director ${n}^{i}$ and a magnitude $S$ as
Its components read
We assume here that there is no azimuthal flow on the surface, ${v}^{\varphi}=0$. The $\varphi $component of the tangential force balance then reads for constant ${\zeta}_{\mathrm{n}}\ne 0$, ${\zeta}_{c\mathrm{n}}\ne 0$:
which requires ${Q}^{\phantom{\rule{thinmathspace}{0ex}}s\varphi}={Q}^{\phantom{\rule{thinmathspace}{0ex}}\varphi s}=0$ excluding divergence of $Q}^{\phantom{\rule{thinmathspace}{0ex}}s\varphi$ at the poles; therefore, the only possible orientations for the director, compatible with our assumption of vanishing azimuthal flows, are $\alpha =0,\pi /2$. Therefore, in the axisymmetric setup we consider only one nonzero component
which can take the values $q=\pm S/2$, corresponding to azimuthal or longitudinal orientation of the director $\hat{\mathbf{n}}$, respectively.
The total free energy of the nematic Equation 9 reads in terms of $q$
We minimise this energy with respect to $q$ on a given surface. The resulting Euler–Lagrange Equation 16 is obtained from
where
Here, we have used the definition from the functional derivative, $dF\simeq \int \mathrm{dS}\frac{\delta F}{\delta q}dq$. Equation 16 can be written as two firstorder equations
The requirement that Equation 106 should be regular at the poles of the surface results in the two boundary conditions
and also implies
The limit of Equation 106 at $s=0$ is given by
and equivalently at $s=L$. Therefore, Equation 106 does not provide a limit value for ${\partial}_{s}w$ at the poles. When solving Equations 105 and 106 numerically, we use the analytical limits at the poles
with two free parameters $W}_{0$ and ${W}_{L}$, which are introduced in order to ensure all four boundary conditions 107 and 108, of which the second two have to be imposed explicitly for numerical reasons.
Stability of the isotropic state on a sphere
We discuss here the stability of the isotropic state $q=0$ on a sphere of radius $R}_{0$ to axisymmetric perturbations; a more general analysis can be found in Napoli and Vergori, 2012. We note that for a spherical shape, with $\theta =s/{R}_{0}$ and at first order in $q$:
where we have used Equation 103 and the geometrical relations for a sphere given in Appendix 1 section ‘Spherical surface’. A set of eigenfunctions of the differential operator $\mathcal{L}={\partial}_{\theta}^{2}+\mathrm{cot}\theta {\partial}_{\theta}4{\mathrm{cot}}^{2}\theta $ is provided by taking derivatives of axisymmetric spherical harmonics, ${q}_{n}(\theta )={q}_{n}{f}_{n}(\theta )$ with ${f}_{n}(\theta )=[{\partial}_{\theta}^{2}\mathrm{cot}\theta {\partial}_{\theta}]{P}_{n}(\mathrm{cos}\theta )$ with ${P}_{n}$ the Legendre polynomial of degree $n$, for $n\ge 2$. One then finds
The isotropic state is stable if $n(n+1)4\frac{{R}_{0}^{2}}{2{l}_{c}^{2}}\ge 0$ for $n\ge 2$, or for
Appendix 4
Active nematic tension and bilayered disc: Asymptotic analysis
We discuss here an asymptotic analysis for the flat bilayers disc steadystate shapes found for surfaces subjected to vanishing internal pressure, uniform nematic active tension, and for ${\zeta}_{\mathrm{n}}<0$ (Figure 4b). We consider here the limit where $\zeta ={\zeta}_{c}={\zeta}_{c\mathrm{n}}=0$.
We postulate that the limit shape reached as ${\zeta}_{\mathrm{n}}\to \mathrm{\infty}$ consists of two parallel flat central discs of radius ${R}_{d}$, separated by a distance $2h$, and connected by a narrow curved region (Appendix 4—figure 1). One denotes $s}_{t$ the arclength of the extreme position of the shape where $x={x}_{t}$ is maximal, and ${s}_{c}=s{s}_{t}$ the arclength from this point (Appendix 4—figure 2). The shape is assumed to be symmetric about a plane going through the equator, which imposes ${\partial}_{s}q(s={s}_{t})=0$. One looks for an asymptotic shape which satisfies $h\ll {R}_{d}$; we show later that this condition requires $\kappa \ll K{l}_{c}^{2}$.
The force and torque balance Equations 63–65 can then be rewritten
with ${t}_{s}^{s}=2Ku{\zeta}_{\mathrm{n}}q$. The last equation implies that at $\psi =\pi /2$ (i.e. at the point of the surface with the extremal value of $x$), ${t}_{s}^{s}=0$ and therefore at this point $u={\zeta}_{\mathrm{n}}q/(2K)$. However, our definition of deformation implies that $u>1$. Therefore, as ${\zeta}_{\mathrm{n}}\to \mathrm{\infty}$, one must have $q\to 0$ (Appendix 4—figure 2), and the equilibrium equation for the nematic order parameter $q$, Equations 105 and 106 can be linearised.
Introducing a renormalised order parameter $\stackrel{~}{q}={\zeta}_{\mathrm{n}}/(2K)q$ and renormalised tension ${\stackrel{~}{t}}_{s}^{s}={t}_{s}^{s}/(2K)=u+\stackrel{~}{q}$, the force and torque balance equation and the linearised equilibrium equation for the order parameter read
to which one can add the boundary conditions $\stackrel{~}{q}(0)=\stackrel{~}{q}(L)=0$, $\psi (0)=0$, $\psi (L)=\pi $ and a condition on $u$ which follows from Equation 143:
In the asymptotic regime where $h\ll {R}_{d}$, we consider separately the flat central discs and the narrow curved connecting region.
Flat central disc
In the lower, flat part of the deformed shape, one has $\psi =0$, $x=s$ and Equation 119 becomes
with solution, using $\stackrel{~}{q}(s=0)=0$, $\stackrel{~}{q}(x)={C}_{q}{J}_{2}\left(\frac{x}{\sqrt{2}{l}_{c}}\right)$, with ${C}_{q}$ a constant to determine, and ${J}_{n}(x)$ are the Bessel functions of the first kind. The condition $0={\partial}_{s}q(s={s}_{t})\simeq {\partial}_{s}q(s={R}_{d})$ then yields the expression for the radius of the disc:
with ${\beta}_{0}$ the smallest positive solution of ${J}_{2}^{\prime}({\beta}_{0})=0$ (${\beta}_{0}\simeq 3$).
With this solution at hand, solving Equation 117 gives
using that $0={\stackrel{~}{t}}_{s}^{s}(s={s}_{t})\simeq {\stackrel{~}{t}}_{s}^{s}(s={R}_{d})$. The constant ${C}_{q}$ can be determined from Equation 120:
which can be rewritten:
where one has used $u={C}_{q}\stackrel{~}{u}(\frac{s}{\sqrt{2}{l}_{c}})$ in the last line, following Equation 124. $\stackrel{~}{u}(\mathrm{\ell})$ is a decreasing function from $\mathrm{\ell}=0$ to $\mathrm{\ell}={\beta}_{0}$ and $\stackrel{~}{u}({\beta}_{0})<0$. In the limit ${l}_{c}/{R}_{0}\to 0$, Equation 126 is satisfied provided that ${C}_{q}\stackrel{~}{u}({\beta}_{0})\to 1$, which sets the constant ${C}_{q}$ in that limit. Because $\stackrel{~}{u}({\beta}_{0})<0$, this implies ${C}_{q}>0$.
In the following, we denote ${u}_{t}=u({s}_{t})$ the deformation reached at the end of the circular plate. Because of the arguments given above, when ${l}_{c}/{R}_{0}\to 0$, ${u}_{t}\to 1$. In general, ${C}_{q}>0$ implies that ${u}_{t}<0$: we assume this is the case in the following.
Narrow curved connecting region
In the narrow curved region, at leading order in small $h/{R}_{d}$, $\stackrel{~}{q}\simeq {u}_{t}={u}_{t}$ and $x={x}_{t}\simeq {R}_{d}$ are homogeneous, and $(\mathrm{sin}\psi )/x\ll {\partial}_{s}\psi $. The force and torque balance Equations 117 and 118 now give
which can be combined to obtain, using ${\partial}_{s}{\stackrel{~}{t}}_{s}^{s}({s}_{t})=0$ because of the symmetry of the shape:
We look for a solution of this equation $\psi ({s}_{c})$, with the boundary conditions $\psi ({s}_{c}=0)=\frac{\pi}{2}$, $\psi ({s}_{c}\to \mathrm{\infty})=\pi $ and, using ${\partial}_{s}z=\mathrm{sin}\psi $,
It is then helpful to introduce the following differential equation:
which admits a solution which can be found numerically. The solution of Equation 129 can then be written
and the constraint Equation 130 gives
where we have introduced ${\beta}_{2}={\int}_{0}^{\mathrm{\infty}}d\ell \mathrm{sin}\stackrel{~}{\psi}(\ell )$, with the approximate numerical value ${\beta}_{2}\simeq 1.27$. Together with Equation 122, this analysis indicates that the distance $h$ converges to a constant value as ${\zeta}_{\mathrm{n}}\to \mathrm{\infty}$ (Appendix 4—figure 2). Overall, this analysis predicts the limit value:
such that the condition $h/{R}_{d}\ll 1$ implies that the analysis is selfconsistent for $\kappa \ll K{l}_{c}^{2}$.
Appendix 5
Numerical method for global force balance
In steadystate and dynamical solving, an overall degree of freedom of solid translation of the surface along its axis of symmetry has to be fixed. In steadystate shape calculations, we impose that the south pole is fixed ($z(s=0)=0$). In dynamical simulations, we impose that the centroid of the shape does not move (Equation 189). In both cases, these constraints are imposed by introducing a constant dummy force
which is adjusted to constrain the position of the centre of mass of the shape. The corresponding integrated external force, as defined in Equation 70, is
Because at low Reynolds number the total force acting on the surface must vanish, the value of $f}^{\phantom{\rule{thinmathspace}{0ex}}c$ should be set to zero by the numerical solver. Indeed, inspection of Equation 72 shows that the conditions ${{t}_{n}^{s}}_{s=0}={{t}_{n}^{s}}_{s=L}=0$ also imply $I(0)=I(L)=0$, and since $f}^{\phantom{\rule{thinmathspace}{0ex}}c$ is constant, ${f}^{\phantom{\rule{thinmathspace}{0ex}}c}=0$. In practice, $f}^{\phantom{\rule{thinmathspace}{0ex}}c$ deviates slightly from zero due to numerical errors.
Appendix 6
Numerical methods to determine steadystate shapes
Stationary shape equations and boundary conditions
The system of stationary shape equations comprises, using the force and torque balance Equations 63–65, the equilibrium Equations 105 and 106 for the nematic order parameter, the definition of the strain Equation 14 and geometrical relations introduced in Appendix 1:
where $C}_{\varphi}^{\phantom{\rule{thinmathspace}{0ex}}\varphi}=\frac{\mathrm{sin}\psi}{x$, $C}_{s}^{\phantom{\rule{thinmathspace}{0ex}}s}={C}_{k}^{\phantom{\rule{thinmathspace}{0ex}}k}{C}_{\varphi}^{\phantom{\rule{thinmathspace}{0ex}}\varphi$, ${x}_{0}={x}_{0}({s}_{0}(s))={R}_{0}\mathrm{sin}({s}_{0}(s)/{R}_{0})$, $u=({t}_{s}^{s}+{\zeta}_{\mathrm{n}}q\zeta )/2K$. Here, Equation 138 has been obtained by using Equation 72 to rewrite the normal force balance (Equation 64) as
with the integral of the force $I$ defined in Equation 136. The term $I/{x}^{2}$ in Equation 147 is regular at the poles by construction since it has the Taylor expansions $I(s)=\frac{{f}^{\phantom{\rule{thinmathspace}{0ex}}c}}{2}{s}^{2}+\mathcal{O}({s}^{3})$ at the south pole and $I(Ls)=\frac{{f}^{\phantom{\rule{thinmathspace}{0ex}}c}}{2}(Ls{)}^{2}+\mathcal{O}((Ls{)}^{3})$ at the north pole. Therefore, the limits are $\underset{s\to 0}{lim}I/{x}^{2}=\frac{{f}^{\phantom{\rule{thinmathspace}{0ex}}c}}{2}$ and $\underset{s\to L}{lim}I/{x}^{2}=\frac{{f}^{\phantom{\rule{thinmathspace}{0ex}}c}}{2}$.
The geometric boundary conditions for the shape are $\psi (0)=x(0)=x(L)=z(0)=0$, $\psi (L)=\pi $. Further, we require ${t}_{n}^{s}(0)=0$, $I(0)=I(L)=0$, and ${s}_{0}(0)=0$. The equations for the nematic require $q(0)=q(L)=0$ and $w(0)=w(L)=0$, as discussed in Appendix 3. If ${l}_{a}={L}_{0}$, the unknown length $L$ is determined from the condition ${s}_{0}(L)={L}_{0}$. If $0<{l}_{a}<{L}_{0}$, the domain of integration is split into $s\in [0,{L}_{1}]$ and $s\in [{L}_{1},L]$. The additional condition ${s}_{0}({L}_{1})={l}_{a}$ sets L_{1}. All unknown functions are matched at the internal boundary $s={L}_{1}$, except for the curvature and strain. These may acquire a jump, ${C}_{s}^{\phantom{\rule{thinmathspace}{0ex}}s}({l}_{a}^{+}){C}_{s}^{\phantom{\rule{thinmathspace}{0ex}}s}({l}_{a}^{})=(\delta {\zeta}_{c}\delta {\zeta}_{c\mathrm{n}}q({l}_{a}))/2\kappa$ and $u({l}_{a}^{+})u({l}_{a}^{})=(\delta \zeta \delta {\zeta}_{\mathrm{n}}q({l}_{a}))/2K$, to ensure continuity in ${\overline{m}}_{s}^{s}$ and ${t}_{s}^{s}$.
If applicable, it is convenient to formulate the volume constraint $V={V}_{0}$ as a boundary value problem for the partial volume $v(s)$ defined in Equation 51,
Due to the geometric singularities appearing in several of the equations at the poles of the surface $s=0$ and $s=L$, we derive the limits of these equations there. Denoting the solution vector by $\mathbf{x}(s)=\left({t}_{s}^{s},{t}_{n}^{s},{C}_{k}^{\phantom{\rule{thinmathspace}{0ex}}k},\psi ,x,z,{s}_{0},q,w,I,v\right),$ the limiting expressions of Equations 137–148 at the south and north poles, respectively, are
In summary, when considering the full interval and conserved volume, the boundary conditions are
and the free parameters are $L,P$, $f}^{\phantom{\rule{thinmathspace}{0ex}}c$, $W}_{0$, and ${W}_{L}$. Otherwise, if the volume is free to change, then $P=0$ and the condition $v(L)={V}_{0}$ is removed.
In the dimensionless equations, arc lengths are transformed to the unit interval by $\stackrel{~}{s}=s/L$ if ${l}_{a}/{L}_{0}=1$, and to two unit intervals in the case of stepprofiles. With $L}_{1$ and ${L}_{2}=L{L}_{1}$, the dimensionless variables are $\stackrel{~}{s}\in [0,1]$ with $s=\stackrel{~}{s}{L}_{1}$ in the first interval and $\stackrel{~}{s}\in [1,2]$ with $s={L}_{1}+{L}_{2}(\stackrel{~}{s}1)$ in the second. The boundary value problem given by Equations 137–148 and conditions Equations 151 and 152 in their dimensionless form is solved with the bvp4c solver of MATLAB. The relative and absolute tolerances used in simulations are $to{l}_{rel}={10}^{4}$ and $to{l}_{ans}={10}^{6}$, leading to typical adaptive grid sizes of $ngrid=100500$, depending on the shape of the surface. For efficiency, we provide the solver with the analytical Jacobians for the main equations, for the limits at the poles, and for the boundary conditions with respect to the unknowns and the free parameters.
Construction of solution branches
A solution of the mechanical equilibrium equations can be represented by a vector $\mathbf{p}\in {\mathrm{\mathbb{R}}}^{N}$, where ${\mathrm{\mathbb{R}}}^{N}$ is the vector space spanned by all $N$ (or a subset of) parameters of the model, for example, $P$ and $L$, the boundary values of the curvature, tension, etc., and the control parameter. A gradual change of the control parameter corresponds to moving along a solution branch in this parameter space. For small increments in the control parameter, the new solution can be obtained numerically using the previous solution as the initial guess for the solver. However, in many cases the solution branch has a fold (e.g. see Figure 2b) and becomes multivalued as a function of the control parameter so that the above method cannot be used.
To continue a solution branch after a fold, we implement a parametric curve approach instead. We denote by ${\mathbf{p}}^{(i)}$ the current state and by ${\mathbf{p}}^{(i1)}$ the previous state of the system and approximate by ${\widehat{\mathbf{t}}}^{(i)}=({\mathbf{p}}^{(i)}{\mathbf{p}}^{(i1)})/{\mathbf{p}}^{(i)}{\mathbf{p}}^{(i1)}$ the tangent vector at the current state. To find a new solution ${\mathbf{p}}^{(i+1)}$ on the curve, a step of length $l}_{s$ in the direction of the tangent is taken and the new solution is constrained to lie in a (hyper)plane perpendicular to the tangent, that is,
which allows us to eliminate one (e.g. the first) component of p^{(i+1)} via
provided that ${\hat{t}}_{1}^{(i)}\ne 0$ and where $\mathbf{p}}_{2,\cdots ,N}^{(i+1)$ denotes the vector ${\mathbf{p}}^{(i+1)}$ without the first component, etc. The remaining $N1$ parameters are determined by the solver such that the new point ${\mathbf{p}}^{(i+1)}$ is a continuation of the solution branch, which can be achieved for small enough $l}_{s$. It suffices to include only a subset of the free parameters in this construction, for example, $\mathbf{p}=(\delta {\zeta}_{c},P,{L}_{1})$ for a steplike profile of active moments with conserved volume. Since the elimination (Equation 154) introduces new dependencies of the differential equations and boundary conditions on the free parameters, the analytical Jacobians for the solver are adjusted accordingly.
Appendix 7
Numerical method for the dynamics of active shells
Force and torque balance equations and boundary conditions
The force and torque balance Equations 63–65, together with the constitutive Equations 5–8 and with $\mathbf{f}}^{\phantom{\rule{thinmathspace}{0ex}}ext}={f}^{\phantom{\rule{thinmathspace}{0ex}}c}{\mathbf{e}}_{z$, can be written as
where in Equation 156 one has to replace
The solution vector
is determined from
where the linear operator $\mathcal{L}$ is constructed from Equations 155–158 together with two trivial relations relating ${\partial}_{s}{v}^{s}$ to ${v}^{s}$ and ${\partial}_{s}{v}^{n}$ to ${v}^{n}$. The system of ode’s (Equation 162) is solved on the full interval $[0,L]$ with the boundary conditions
They follow from the requirement that any tangent vector field on the closed axisymmetric surface has to vanish at the poles. Equivalently, these are the conditions required to remove the geometric singularities that appear at the poles in Equations 155–158. We can then derive the welldefined limits
where
In Equations 165 and 166, we have used that $\zeta $ and $u$, defined as continuous functions on the closed surface, satisfy
Prior to solving system Equation 162, at every time step the nematic profiles $q$ and ${\partial}_{s}q=w$ are determined on the shape $\mathbf{X}(\varphi ,s,t)$ as solutions of the Euler–Lagrange Equation 16,
with the boundary conditions $q(0)=q(L)=w(0)=w(L)=0$, as discussed in Appendix 3.
Constraints
Volume
The volume of a closed surface reads
According to Equations 34, 36, and 38, for a Lagrangian surface update with ${\partial}_{t}\mathbf{X}={v}^{i}{\mathbf{e}}_{i}+{v}_{n}\mathbf{n}$ we have
This allows to calculate from Equation 172 the rate of change in volume
where we have used two integrations by part and the relations $\mathrm{\partial}}_{k}\left(\mathbf{X}\cdot \mathbf{n}\right)=\mathbf{X}\cdot {C}_{k}^{\phantom{\rule{thinmathspace}{0ex}}i}{\mathbf{e}}_{i$, and $\frac{{\mathrm{\partial}}_{i}\left(\sqrt{g}\mathbf{X}\cdot {\mathbf{e}}^{i}\right)}{\sqrt{g}}=2{C}_{i}^{\phantom{\rule{thinmathspace}{0ex}}i}\mathbf{X}\cdot \mathbf{n}$.
If the volume is fixed then for all $t$ the dynamics has to satisfy
On the axisymmetric surface, this results in the integral constraint ${\partial}_{t}V=2\pi \int dsx{v}_{n}$. We define a partial rate of volume change ${r}_{v}(s)=2\pi {\int}_{0}^{s}d{s}^{\prime}x{v}_{n}$, such that the constraint Equation 179 can be written as
This is solved simultaneously with the boundary value problem (Equations 162–168), where the pressure $P$ is a free parameter which is required to satisfy both conditions in Equation 180.
On the other hand, if the volume is free to change then pressure is no longer a free parameter, but instead couples the normal force balance (Equation 156) to the rate of change of volume via Equation 21, which can be written:
In this case $P\to 0$ as the dynamics simulation approaches a steady state, in agreement with the direct steadystate calculations in which $P=0$.
Rigidbody translation
We note that in the absence of external force, for any flow profile $\mathbf{v}(s)$ solution of the force and torque balance Equations 155–158, the flow
with an arbitrary constant $a$, is again a solution. The addition of the uniform flow field $a{\mathbf{e}}_{z}$ corresponds to a rigidbody translation in the $z$direction which does not affect force balance and therefore makes the task of numerically determining $\mathbf{v}$ illposed.
To remove this degree of freedom we introduce in each time step a constraint on the translation speed of the centroid. The centroid is equivalent to the centre of mass for a surface with uniform density and is defined as
For a Lagrangian surface update one obtains
where we have used Equation 174 to obtain ${\partial}_{t}(\sqrt{g})/\sqrt{g}$, and the divergence theorem on curved surfaces (Equation 33). It follows that the velocity of the centroid is given by
and we want to fix
for all $t$. We note that tangential velocity components do not contribute to the centroid displacement.
On the axisymmetric surface ${\mathbf{X}}_{c}={z}_{c}{\mathbf{e}}_{z}$ and the constraint Equation 189 becomes
Analogously to the volume constraint, we introduce a partial centroid velocity ${r}_{c}(s)={\int}_{0}^{s}d{s}^{\mathrm{\prime}}\phantom{\rule{thinmathspace}{0ex}}x{v}_{n}\left({C}_{i}^{\phantom{\rule{thinmathspace}{0ex}}i}(z{z}_{c})\mathrm{cos}(\psi )\right)$ and add the constraint Equation 190 to the boundary value problem (Equations 162–168) in the form of
Note that due to the free parameter $f}^{\phantom{\rule{thinmathspace}{0ex}}c$ the number of boundary conditions in the full problem, comprising Equations 162–168 and 191, is consistent.
Time update of the surface
The surface update in each time step $t\to t+\delta t$ consists of two substeps: first, the material points are advected using a Lagrangian coordinate $s$ as given in Equation 23, then the surface ${\mathbf{X}}^{\prime}(s,t+\delta t)$ is reparametrised in a new arc length coordinate ${s}^{\prime}$, for which ${g}_{{s}^{\prime}{s}^{\prime}}=1$.
From Equation 22 we find the time updates for the shape descriptors:
where the last equation can be shown by taking the time derivative of the normal vector $\mathbf{n}$ and using Equation 36. It is convenient to derive the time update for $C}_{k}^{\phantom{\rule{thinmathspace}{0ex}}k$ and its derivative from the constitutive Equation 6 and the torque balance (Equation 65),
because the trace of the corotational derivative (Equation 8) is the Lagrangian time evolution of $C}_{k}^{\phantom{\rule{thinmathspace}{0ex}}k$, as can be seen by using Equation 39 with $\delta \mathbf{X}=\delta t\mathbf{v}$. From the variation (Equation 39) the circumferential curvature is updated as
and its derivative is obtained from relation Equation 48. In this way only functions which are part of the solution vector (Equation 161) are required for the time updates and we avoid taking numerical gradients of the shape or the velocity fields. Finally, according to Equation 15 we update the area strain as
with the trace of the strain rate tensor given in Equation 59.
The displaced surface is reparametrised in a new arc length coordinate ${s}^{\prime}$,
such that ${g}_{{s}^{\prime}{s}^{\prime}}=1$, or equivalently ${\partial}_{{s}^{\prime}}{\mathbf{X}}^{\prime}({s}^{\prime})=1$. From
we obtain
so the relationship between the two arc length parameters is given by the differential equation
We rewrite this equation in terms of a rate of change of arc length ${r}_{s}={\partial}_{t}\left({s}^{\prime}s\right)$,
and it is added to the linear system (Equations 162–164). The new arc length is obtained as ${s}^{\prime}=s+{r}_{s}\delta t$ and the perimeter length is updated as
For the active profiles defined via sigmoid functions, as given in the main text in Equation 18, the parameters chosen for the simulations are ${\mu}_{t}=0.01{\tau}_{a}$, ${\sigma}_{t}=0.002{\tau}_{a}$, ${\mu}_{s}={l}_{a}$, and ${\sigma}_{s}=0.005{L}_{0}$. In the time step $t\to t+\delta t$ the bending moment profile, as defined at time $t=0$ via Equation 19, is updated as
and an analogous relation holds for $\zeta $, ${\zeta}_{\mathrm{n}}$, and ${\zeta}_{c\mathrm{n}}$. For the spatial dependence, we keep track of the arc length on the initial sphere ${s}_{0}({s}^{\prime})$ as a function of the arc length on the deformed surface after reparametrisation.
Finally, all surface quantities are saved as spline interpolants on the new arc length ${s}^{\prime}$. For example,
where the Jacobian prefactor for the derivative is given by Equation 200.
The size of the adaptive time step $\delta t$ is determined using a standard step doubling method (Press et al., 2007), where the shape after a full time step, denoted by ${\mathbf{X}}^{(1)}(t+\delta t)$, is compared to that after two half steps, denoted by ${\mathbf{X}}^{(2)}(t+\delta t)$. The relative error is calculated from the shape components and the curvature derivative as
on a uniform grid which is defined on $\mathbf{X}(t)$ and projected onto ${\mathbf{X}}^{(1)}$ and ${\mathbf{X}}^{(2)}$, whereby the poles and values of $z$ and $\mathrm{\partial}}_{s}{C}_{k}^{\phantom{\rule{thinmathspace}{0ex}}k$, which are too close to zero ($<{10}^{3}$), are excluded.
Numerical convergence to steady state
In order to validate our simulation method for the dynamics of active surfaces, we analyse the numerical convergence of the dynamics simulations to the steady states obtained from direct calculation (see Appendix 6) for the different active effects. A dynamics simulation is regarded as relaxed to steady state when $max\{{\stackrel{~}{v}}_{n}\}<{10}^{4}$, which defines ${t}_{relax}$. As an example we show in Appendix 7—figure 1 the convergence results for the active bending profile
with $\delta {\zeta}_{c}=80.73\kappa /{R}_{0}$, ${l}_{a}=0.3{L}_{0}$, and conserved volume. This profile results in the folded shape shown in the inset of Appendix 7—figure 1a. The error in the shape (in units of $R}_{0$) is calculated as
on a dimensionless, uniform grid ${\stackrel{~}{s}}_{i}\in [0,1]$, $i=1,\cdots ,N$, with $N=1000$, which is obtained through division by $L$ or $L({t}_{relax})$, respectively, from the corresponding simulation. As discussed in Appendix 5, the deviation of the parameter $f{\text{}}^{c}$ (see Equation 135) from zero characterises the numerical error in the global force balance. As a relative error we plot the value of the parameter $f{\text{}}^{c}({t}_{relax})$ normalised by the pressure $P({t}_{relax})$. We find good convergence of the dynamics to the steadystate result with decreasing tolerance $to{l}_{t}$ on the time step. Based on these results, we take $to{l}_{t}={10}^{4}$ for the dynamics simulations shown in the main text. The relative and absolute tolerances for the bvp solver are chosen to be the same as for the direct steadystate calculations: $to{l}_{rel}={10}^{4}$, $to{l}_{abs}={10}^{6}$.
Appendix 8
Isotropic active tension
Consider first a shell with vanishing internal hydrostatic pressure, $P=0$, and a steplike tension profile given on the reference surface by
One can verify that the spherical shape, given by $x(s)=R\mathrm{sin}(s/R)$, with ${t}_{s}^{s}={t}_{n}^{s}=0$, is a solution of the Equations 137–142. The strain has a jump $\delta u=u({l}_{a}^{+})u({l}_{a}^{})=\delta \zeta /(2K)$, such that
Using this to solve Equation 143 for $s\in [0,{l}_{a}^{\prime}]$ with ${s}_{0}({l}_{a}^{\prime})={l}_{a}$ yields
and similarly for $s\in [{l}_{a}^{\prime},L]$
These two equations determine the unknown radius $R$ and the deformed active region size ${l}_{a}^{\prime}$ as
How the ratio $\frac{{l}_{a}^{\prime}}{L}$ changes with the tension jump $\delta \zeta $ is plotted in Appendix 8—figure 1 for ${\zeta}^{0}=0$. The above rescaling holds only for $\delta \zeta <2K$ since the active region contracts to a point for $\delta \zeta \to 2K$.
For conserved volume, the spherical shape with $R={R}_{0}$, ${t}_{n}^{s}={\partial}_{s}{t}_{s}^{s}=0$, $P=2{t}_{s}^{s}/R$ is a solution of Equations 137–142. Here, only the relative size of the active patch changes from $l}_{a$ to ${l}_{a}^{\prime}$. As before the strain is piecewise constant with a jump at $l}_{a$, $\delta u=u(L)u(0)=\delta \zeta /(2K)$, and integrating Equation 143 with ${s}_{0}(s={l}_{a}^{\prime})={l}_{a}$, ${s}_{0}(s={L}_{0})={L}_{0}$ gives the additional conditions
from which $u(0)$, $u(L)$, ${l}_{a}^{\prime}$ can be determined.
Appendix 9
Change of stability at a fold in a solution branch
We discuss here change of stability at a fold in a solution branch (Maddocks, 1987). We consider a dynamical system of the form ${\partial}_{t}\mathbf{X}=\mathbf{F}(\mathbf{X},\lambda )$, with one control parameter $\lambda $. The line of steady state solutions is given by
where solutions are parametrised by $s$. Taking the derivative one obtains ${\left({\partial}_{\mathbf{X}}\mathbf{F}\right)}_{{\mathbf{X}}^{*}}{\partial}_{s}{\mathbf{X}}^{*}+{\left({\partial}_{\lambda}\mathbf{F}\right)}_{{\mathbf{X}}^{*}}{\partial}_{s}\lambda =0$. We consider a fold in the solution curve where ${\partial}_{s}\lambda =0$ and ${\partial}_{s}{\mathbf{X}}^{*}\ne 0$. In that case:
and the linear stability matrix at the fold ${\left({\partial}_{\mathbf{X}}\mathbf{F}\right)}_{{\mathbf{X}}^{*}}$ thus has (at least) one eigenvalue that changes sign at the fold. Assuming that the solution branch is stable up to the fold, this indicates generically the appearance of an unstable mode; except in the special case where the 0 eigenvalue is a local maximum.
Data availability
The current manuscript is a computational study, so no data have been generated for this manuscript. Modelling code is available at the GitHub repository https://github.com/DianaKhoromskaia/EpithelialShell, (copy archived at swh:1:rev:0838f09f1b2228d8d7da5183fc68f3b49c6ee734).
References

Fission of a multiphase membrane tubePhysical Review Letters 93:158104.https://doi.org/10.1103/PhysRevLett.93.158104

Bending lipid membranes: experiments after W. helfrich’s modelAdvances in Colloid and Interface Science 208:47–57.https://doi.org/10.1016/j.cis.2014.02.002

Integer topological defects of cell monolayers: mechanics and flowsPhysical Review. E 103:012405.https://doi.org/10.1103/PhysRevE.103.012405

Stresses in lipid membranesJournal of Physics A 35:6233–6247.https://doi.org/10.1088/03054470/35/30/302

BookInternational Series of Monographs on PhysicsOxford, United Kingdom: Oxford University Press.

Spontaneous shear flow in confined cellular nematicsNature Physics 14:728–732.https://doi.org/10.1038/s4156701800997

Forces controlling organ growth and sizeMechanisms of Development 144:53–61.https://doi.org/10.1016/j.mod.2016.11.005

Primary invagination of the vegetal plate during sea urchin gastrulationAmerican Zoologist 24:571–588.https://doi.org/10.1093/icb/24.3.571

Defects in nematic membranes can buckle into pseudospheresPhysical Review. E, Statistical, Nonlinear, and Soft Matter Physics 77:041705.https://doi.org/10.1103/PhysRevE.77.041705

Size control: the developmental physiology of body and organ size regulationWiley Interdisciplinary Reviews. Developmental Biology 4:335–356.https://doi.org/10.1002/wdev.181

Aspiration of biological viscoelastic dropsPhysical Review Letters 104:218101.https://doi.org/10.1103/PhysRevLett.104.218101

Intrinsic bending force in anisotropic membranes made of chiral moleculesPhysical Review. A, General Physics 38:3065–3068.https://doi.org/10.1103/physreva.38.3065

Dynamics of a Volvox embryo turning itself inside outPhysical Review Letters 114:178101.https://doi.org/10.1103/PhysRevLett.114.178101

Abbildungsklassenndimensionaler mannigfaltigkeitenMathematische Annalen 96:209–224.https://doi.org/10.1007/BF01209163

The hope and the hype of organoid researchDevelopment 144:938–941.https://doi.org/10.1242/dev.150201

Spontaneous symmetry breaking and pattern formation of organoidsCurrent Opinion in Systems Biology 11:123–128.https://doi.org/10.1016/j.coisb.2018.06.002

Vesicle shape, molecular tilt, and the suppression of necksPhysical Review. E, Statistical, Nonlinear, and Soft Matter Physics 76:031908.https://doi.org/10.1103/PhysRevE.76.031908

DomainInduced budding of vesiclesPhysical Review Letters 70:2964–2967.https://doi.org/10.1103/PhysRevLett.70.2964

Shape transformations of vesicles with intramembrane domainsPhysical Review E 53:2670–2683.https://doi.org/10.1103/PhysRevE.53.2670

Perspective: the promise of multicellular engineered living systemsAPL Bioengineering 2:040901.https://doi.org/10.1063/1.5038337

A BVP solver based on residual control and the maltab PSEACM Transactions on Mathematical Software 27:299–316.https://doi.org/10.1145/502800.502801

Buckling of spherical capsulesPhysical Review. E, Statistical, Nonlinear, and Soft Matter Physics 84:046608.https://doi.org/10.1103/PhysRevE.84.046608

Gastrulation in the sea urchin embryo: a model system for analyzing the morphogenesis of a monolayered epitheliumDevelopment, Growth & Differentiation 46:309–326.https://doi.org/10.1111/j.1440169x.2004.00755.x

Curvature control of valence on nematic shellsSoft Matter 7:670–683.https://doi.org/10.1039/C0SM00378F

Mechanics of nonplanar membranes with forcedipole activityPhysical Review. E, Statistical, Nonlinear, and Soft Matter Physics 73:061913.https://doi.org/10.1103/PhysRevE.73.061913

Orientational order and vesicle shapeJournal de Physique II 2:371–382.https://doi.org/10.1051/jp2:1992133

Orientational order, topology, and vesicle shapesPhysical Review Letters 67:1169–1172.https://doi.org/10.1103/PhysRevLett.67.1169

Stability and foldsArchive for Rational Mechanics and Analysis 99:301–328.https://doi.org/10.1007/BF00282049

Activating membranesPhysical Review Letters 112:258101.https://doi.org/10.1103/PhysRevLett.112.258101

Hydrodynamics of soft active matterReviews of Modern Physics 85:1143–1189.https://doi.org/10.1103/RevModPhys.85.1143

Selforganized cytoskeletal alignment during Drosophila mesoderm invaginationPhilosophical Transactions of the Royal Society of London. Series B, Biological Sciences 375:20190551.https://doi.org/10.1098/rstb.2019.0551

Topology and morphology of selfdeforming active shellsPhysical Review Letters 123:208001.https://doi.org/10.1103/PhysRevLett.123.208001

Minimal model of cellular symmetry breakingPhysical Review Letters 123:188101.https://doi.org/10.1103/PhysRevLett.123.188101

Active morphogenesis of epithelial monolayersPhysical Review 100:022413.https://doi.org/10.1103/PhysRevE.100.022413

Emergence of active nematic behavior in monolayers of isotropic cellsPhysical Review Letters 122:048004.https://doi.org/10.1103/PhysRevLett.122.048004

Surface free energies for nematic shellsPhysical Review. E, Statistical, Nonlinear, and Soft Matter Physics 85:061701.https://doi.org/10.1103/PhysRevE.85.061701

N atic order and continuous shape changes of deformable surfaces of genus zeroEurophysics Letters 20:279–284.https://doi.org/10.1209/02955075/20/3/015

Geometrical control of active turbulence in curved topographiesPhysical Review Letters 122:168002.https://doi.org/10.1103/PhysRevLett.122.168002

Active dynamics of tissue shear flowNew Journal of Physics 19:033006.https://doi.org/10.1088/13672630/aa5756

BookNumerical Recipes 3rd Edition: The Art of Scientific ComputingCambridge University Press.

BookTheory and Analysis of Elastic Plates and ShellsFlorida, United States: CRC Press.https://doi.org/10.1201/9780849384165

Progress and potential in organoid researchNature Reviews. Genetics 19:671–687.https://doi.org/10.1038/s4157601800519

Irreversible thermodynamics of curved lipid membranesPhysical Review. E 96:042409.https://doi.org/10.1103/PhysRevE.96.042409

Hydrodynamics of cellular cortical flows and the formation of contractile ringsPhysical Review Letters 103:058102.https://doi.org/10.1103/PhysRevLett.103.058102

Mechanics of active surfacesPhysical Review. E 96:032404.https://doi.org/10.1103/PhysRevE.96.032404

Theory of nematic and polar active fluid surfacesPhysical Review Research 4:033158.https://doi.org/10.1103/PhysRevResearch.4.033158

Shape transformations of vesicles: phase diagram for spontaneous curvature and bilayercoupling modelsPhysical Review. A, Atomic, Molecular, and Optical Physics 44:1182–1202.https://doi.org/10.1103/physreva.44.1182

Configurations of fluid membranes and vesiclesAdvances in Physics 46:13–137.https://doi.org/10.1080/00018739700101488

Theory of chiral lipid tubulesPhysical Review Letters 71:4091–4094.https://doi.org/10.1103/PhysRevLett.71.4091

Theory of cylindrical tubules and helical ribbons of chiral lipid membranesPhysical Review E 53:3804–3818.https://doi.org/10.1103/PhysRevE.53.3804

Theoretical model for the formation of caveolae and similar membrane invaginationsBiophysical Journal 86:2049–2057.https://doi.org/10.1016/S00063495(04)742666

Confined bilayers passively regulate shape and stressPhysical Review Letters 110:028101.https://doi.org/10.1103/PhysRevLett.110.028101

Morphogenesis and compartmentalization of the intestinal cryptDevelopmental Cell 45:183–197.https://doi.org/10.1016/j.devcel.2018.03.024

Concise theory of chiral lipid membranesPhysical Review E 76:603.https://doi.org/10.1103/PhysRevE.76.031603

Furrow constriction in animal cell cytokinesisBiophysical Journal 106:114–123.https://doi.org/10.1016/j.bpj.2013.11.014

Cell fate coordinates mechanoosmotic forces in intestinal crypt formationNature Cell Biology 23:733–744.https://doi.org/10.1038/s41556021007002
Article and author information
Author details
Funding
Cancer Research UK (C55977/A23342)
 Guillaume Salbreux
Cancer Research UK (FC001317)
 Guillaume Salbreux
Medical Research Council (FC001317)
 Guillaume Salbreux
Wellcome Trust (FC001317)
 Guillaume Salbreux
The funders had no role in study design, data collection and interpretation, or the decision to submit the work for publication. For the purpose of Open Access, the authors have applied a CC BY public copyright license to any Author Accepted Manuscript version arising from this submission.
Acknowledgements
We thank S Grigolon for useful discussions and N Cuny for comments on the manuscript. DK and GS acknowledge support from the Francis Crick Institute, which receives its core funding from Cancer Research UK (FC001317), the UK Medical Research Council (FC001317), and the Wellcome Trust (FC001317), and from the CRUK multidisciplinary project award C55977/A23342.
Version history
 Preprint posted: November 24, 2021 (view preprint)
 Received: November 25, 2021
 Accepted: November 18, 2022
 Version of Record published: January 17, 2023 (version 1)
Copyright
© 2023, Khoromskaia and Salbreux
This article is distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use and redistribution provided that the original author and source are credited.
Metrics

 1,520
 views

 252
 downloads

 11
 citations
Views, downloads and citations are aggregated across all versions of this paper published by eLife.
Download links
Downloads (link to download the article as PDF)
Open citations (links to open the citations from this article in various online reference manager services)
Cite this article (links to download the citations from this article in formats compatible with various reference manager tools)
Further reading

 Developmental Biology
 Physics of Living Systems
Geometric criteria can be used to assess whether cell intercalation is active or passive during the convergent extension of tissue.

 Computational and Systems Biology
 Physics of Living Systems
Locomotion is a fundamental behavior of Caenorhabditis elegans (C. elegans). Previous works on kinetic simulations of animals helped researchers understand the physical mechanisms of locomotion and the musclecontrolling principles of neuronal circuits as an actuator part. It has yet to be understood how C. elegans utilizes the frictional forces caused by the tension of its muscles to perform sequenced locomotive behaviors. Here, we present a twodimensional rigid body chain model for the locomotion of C. elegans by developing Newtonian equations of motion for each body segment of C. elegans. Having accounted for frictioncoefficients of the surrounding environment, elastic constants of C. elegans, and its kymogram from experiments, our kinetic model (ElegansBot) reproduced various locomotion of C. elegans such as, but not limited to, forwardbackward(omega turn)forward locomotion constituting escaping behavior and deltaturn navigation. Additionally, ElegansBot precisely quantified the forces acting on each body segment of C. elegans to allow investigation of the force distribution. This model will facilitate our understanding of the detailed mechanism of various locomotive behaviors at any given frictioncoefficients of the surrounding environment. Furthermore, as the model ensures the performance of realistic behavior, it can be used to research actuatorcontroller interaction between muscles and neuronal circuits.