Geodesics Retracts And The Norm Preserving Extension Property In The Symmetrized Bidisc

Geodesics, Retracts, and the Norm-Preserving Extension Property in the Symmetrized Bidisc

A set V in a domain U in Cn has the norm-preserving extension property if every bounded holomorphic function on V has a holomorphic extension to U with the same supremum norm. We prove that an algebraic subset of the symmetrized bidisc

Geodesics, Retracts, and the Norm-preserving Extension Property in the Symmetrized Bidisc

Algebraic Geometry over C∞-Rings

If X is a manifold then the R-algebra C∞(X) of smooth functions c:X→R is a C∞-ring. That is, for each smooth function f:Rn→R there is an n-fold operation Φf:C∞(X)n→C∞(X) acting by Φf:(c1,…,cn)↦f(c1,…,cn), and these operations Φf satisfy many natural identities. Thus, C∞(X) actually has a far richer structure than the obvious R-algebra structure. The author explains the foundations of a version of algebraic geometry in which rings or algebras are replaced by C∞-rings. As schemes are the basic objects in algebraic geometry, the new basic objects are C∞-schemes, a category of geometric objects which generalize manifolds and whose morphisms generalize smooth maps. The author also studies quasicoherent sheaves on C∞-schemes, and C∞-stacks, in particular Deligne-Mumford C∞-stacks, a 2-category of geometric objects generalizing orbifolds. Many of these ideas are not new: C∞-rings and C∞ -schemes have long been part of synthetic differential geometry. But the author develops them in new directions. In earlier publications, the author used these tools to define d-manifolds and d-orbifolds, “derived” versions of manifolds and orbifolds related to Spivak's “derived manifolds”.