Processing math: 100%
homeHome ViewLayout PrintPrinter Friendly   searchSearch LoginAdd Event
Mathematics Calendar

April 02, 2013
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,f1S1,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 fS1,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 fS1,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 WC that [f1]=[f2] if and only if ι1([f1])=ι1([f2]). This is a joint work with Evgeny Poletsky.