Zulip Chat Archive
Stream: new members
Topic: Introduction: Merrick Hua
Merrick Hua (Sep 13 2025 at 13:14):
(deleted)
Michael Rothgang (Sep 13 2025 at 13:43):
Hi! I love chatting about differential geometry; my work also intersects with analysis (but I'm not a geometric analyst by training).
Michael Rothgang (Sep 13 2025 at 13:43):
I believe @Stefan Kebekus formalise a lot about harmonic maps already.
Stefan Kebekus (Sep 15 2025 at 06:14):
@Merrick Hua Welcome! As Michael points out, I formalized a few things about harmonic maps, but I wouldn't call that "a lot". I'd be more than happy to discuss these matters if you (or anyone else) is interested.
Last updated: Feb 28 2026 at 14:05 UTC