Blog Archive

Tuesday, October 10, 2023

Integration: a group homomorphism from fundamental group to (C,+)

I got an idea today in my complex analysis course.

Math Essays: ... Fundamental group and Homotopy as Natural Transformation (wuyulanliulongblog.blogspot.com)

When we deal with integration for exact form, it looks like a group homomorphism from the fundamental group of a multi-connected domain π1(Ω) to (C,+).

Firstly, it is the integration of exact form, thus it is homotopy invariance. Thus it is well-defined for the element in the fundamental group. i.e. we could talk about the integration of the path homotopic equivalence class γ.

Then, by the property of integration, we have

(1)f(z)dz:π1(Ω)(C,+),γ1γ2f(z)dz=γ1γ2f(z)dz=γ1f(z)dz+γ2f(z)dz

In particular, the group homomorphism preserve the identity, i.e.

(2)ef(z)dz=0

My friend told me that will related to Riemann-Hillbert correspondence, I will back to it after I learn them.

No comments:

Post a Comment

Popular Posts