Circumplanetary disk ices: I. Ice formation vs. viscous evolution and grain drift

Context . The large icy moons of Jupiter formed in a circumplanetary disk (CPD). CPDs are fed by vertically infalling circumstellar gas and dust which may be shock-heated upon accretion. Accreted material is then either incorporated into moons, falls into the planet, or is lost beyond the disk edge on relatively short timescales. If ices are sublimated during accretion onto the CPD we know there must be sufficient time for them to recondense or moons such as Ganymede or Callisto could not form. The chemical timescale to form sufficiently icy solids places a novel constraint on the dynamical behaviour and properties of CPDs. Aims . We aim to explore the process of ice formation in CPDs to constrain which disk properties (such as the mass, viscosity, and dust-to-gas ratio) are consistent with the formation of an icy moon system. Methods . We use the radiation thermochemical code P ro D i M o (Protoplanetary Disk Model) to analyze how the radial ice abundance evolves in CPDs. We consider different initial chemical conditions of the disk to explore the consequences of infalling material being inherited from the circumstellar disk or being reset to atomic conditions by shock-heating. We contrast the timescales of ice formation with disk viscous timescales and radial dust drift. Results . We have derived the radial ice abundance and rate of ice formation in a small grid of model CPDs. Water ice can form very efficiently in the CPD from initially atomic conditions, as a significant fraction is efficiently re-deposited on dust grains within