Zulip Chat Archive

Stream: triage

Topic: PR !4#15906: feat: define singular `n`-manifolds


Random Issue Bot (Jan 15 2025 at 14:11):

Today I chose PR 15906 for discussion!

feat: define singular n-manifolds
Created by @None (@grunweg) on 2024-08-17
Labels: awaiting-author, t-differential-geometry

Is this PR still relevant? Any recent updates? Anyone making progress?

Michael Rothgang (Jan 19 2025 at 19:09):

Still relevant; I was working on it today. My understanding is that this is waiting on some combination of

  • me updating to recent master and fixing small nits
  • two design decisions: should they be modelled over R^n or any normed space? (I have a new proposal for this, which I'll add soon). And which regularity should be required (I'm fine with allowing any C^n; it doesn't hurt and is not wrong)
  • the reviewer understanding the mathematical background
  • me updating the whole bordism theory branch to this design (to prove it works). I'm working on that right now.

Last updated: May 02 2025 at 03:31 UTC