de Sitter extremal surfaces, time contours, complexifications and pseudo-entropies

We study no-boundary de Sitter extremal surfaces and their pseudo-entropy areas for generic subregions at the future boundary, building on previous work. For large subregions, timelike+Euclidean extremal surfaces exist with transparent geometric interpretations, as do complex ones. The situation for small subregions is analogous to Poincare $dS$ and only complex extremal surfaces exist. In general, the extremal surface area integrals are defined via time contours in the complex time plane. We find multiple extremal surfaces with indistinguishable areas whose time contours can be deformed into each other in the complex time plane without obstruction, which are equivalent for these purposes. This also suggests equivalences between complex $dS$ replica geometries. We discuss $dS_3$ as a simple example at length. This suggests a picture for multiple subregions and entropy inequalities in de Sitter, as encoding $AdS$ ones via analytic continuation. We also discuss mapping future boundary subregions and those on constant time slices in the static patch via lightrays.