Tuesday, April 02 | |
Analysis Seminar
Time: 15:30
Speaker: Dayal Dharmasena (Syracuse University) Title: "Holomorphic Fundamental Semigroup of Riemann Domains" Room: MC 108 Abstract: Let (W,Π) be a Riemann domain over a complex manifold M and w0 be a point in W. Let D be the unit disk in C and T=∂D. Consider the space S1,w0(¯D,W,M) of continuous mappings f of T into W such that f(1)=w0 and Π∘f extends to a holomorphic on D mapping ˆf. Mappings f0,f1∈S1,w0(¯D,W,M) are called {\it holomorphically homotopic or h-homotopic} if there is a continuous mapping ft of [0,1] into S1,w0(¯D,W,M). Clearly, the h-homotopy is an equivalence relation and the equivalence class of f∈S1,w0(¯D,W,M) will be denoted by [f] and the set of all equivalence classes by η1(W,M,w0). \par There is a natural mapping ι1:η1(W,M,w0)→π1(W,w0) generated by assigning to f∈S1,w0(¯D,W,M) its restriction to T. We introduce on η1(W,M,w0) a binary operation ⋆ which induces on η1(W,M,w0) a structure of a semigroup with unity and show that η1(W,M,w0) is an algebraic biholomorphic invariant of Riemann domains. Moreover, ι1([f1]⋆[f2])=ι1([f1])⋅ι1([f2]), where ⋅ is the standard operation on π1(W,w0). Then we establish standard properties of η1(W,M,w0) and provide some examples. When W is a finitely connected domain in M=C and Π is the identity, we show that ι1 is an isomorphism of η1(W,M,w0) onto the minimal subsemigroup of π1(W,w0) containing holomorphic generators and invariant with respect to the inner automorphisms. In particular, we show for a general domain W⊂C that [f1]=[f2] if and only if ι1([f1])=ι1([f2]). This is a joint work with Evgeny Poletsky. | |
Department of Mathematics
the University of Western Ontario
Copyright © 2004-2017
For technical inquiries email shafikov@uwo.ca