10/11/2025 - 11:35 PM
grabbed an empty big lecture hall with my friend and played professor while we tried to geometrically prove the umlaufsatz ^_^ turns out you don't really need forms? well, at least not to prove that we integrate the curvature to find the rotation index! technically we didn't get to proving the umlaufsatz bit which is saying that if you're a simple closed curve (a regular homotopy of S1.. i think..) then your rotation index is always +- 1.. difficult. got down to saying something about the perimeter needing to be 2pi but that's really non concrete and we were both unhappy with it . lol! something something degree of the curve maybe. waves hands. we'll get it soon LOL

10/10/2025 - 5:03PM
been a hot second since i worked on proofs LOL im 22 now hi (grins 22ly). anyway my sights are on the umlaufsatz with differential forms next (the forms should not be surprising at this point). i did a really elegant thing for index notation (at least i like to think so) and i'm hoping that translates over to the umlaufsatz too... there was this stupid "wronskian" jumpscare which was absolutely definitely not a wronskian we pulled in the rotation index proof, so i'm gonna untangle that first for everything WRT alpha and i have a feeling it'll illuminate.. something? there's something enticing about this idea of 1D -> 2D where you have to pump up a pushforward using second derivatives in order to lift the space. i'm cooking maybe. i'll have to see though- i really do think pushing forward into new maps is just as easy as pulling back though, so umlaufsatz should be relatively beautiful? the weird thing is that i can only find proofs which discuss degree anyway. grrrrrr. at least with my prof's i have something to sink my teeth into... i don't care about winding numbers, we're trying to prove rotation index regular homotopy bullshit man!! get the winding number OUTTA here !!

9/30/2025 - 7:22PM
made some real progress on the continuity eqn ^_^ i feel like i'm happy with it! rn my preferred intrepretation is density as a pullback of mass into the volume space- there are certain physical maps we can't really interact with (mass, temperature, energy etc) because they shift too much for us to properly work with them, so we need to quantize them in the form of pullbacks into volume space. i want to look into how densities arise more (like especially with composite / anisotropic materials.. would we ever want to design a material or even object with a certain density form? could be interesting) to make sure this interpretation feels Right, but rn it does. there's also this divide between the tope and the quantity which is very interesting and subtle. when we say density, do we mean the full form rhodV, or do we mean the imposed function rho on the volume tope? i think i might start referring to these as the density tope and the density function, but I have to see if that's consistent with burke (who, by the way, is an absolute visionary in my mind, holy shit. that dude was goin places i want to go). there's also this thing about the inner product of topes and how twisted topes inner products with themselves shake out... twisting in general is something i need to study more as well, like can we see symmetries arise from simply pullback of quantities or do we have to prescribe the behavior? i think this would change our ability to use symplectic manifolds or reimannian ones (which. ok common theme but i need to get into those more as well teehee). anyway yeah! fairly happy!

9/28/2025 - 12:20am
working on my continuum equation. extremely interested in the result that rho = dM/dV... you can divide forms? what does that mean? are we embedding them somehow? you can't divide vectors either, unless somehow we mean component wise? ... my solution is .. hehe ^_^ ( definitely not thinking about fucking gongcheng & shu at the same time to see if i unlock any dlc to help solve this )
edit: 12:47am
ok so i came to a place of peace with rho = dm/dv being slightly valid as an existing Thing and not a mathematical exercise only, but i'm still really grappling with what object rho is. the dv needs to stay a dv if we want to hide away our dm in . every time it exists ever HAH (which is so sexy... just hide it under the rug babe dw about it, i love that). so we can't emdy away dV but a) what does it mean to divide a form and b) what does it mean that we're then applying that to a form... urgh. wait. wait wait wait wait waaaait omg. i think this has something to do with the extremely known output of dV holy shit. it's a 1d map. it only ever emdys to a number . wait . waitttttt. ok that doesn't exactly help us in the division department but there might be something special about 1d output maps. that could be so real. i do really like this as an excerise because it's forced me to abandon my preconcieved tope preference (dV is not superior to dM and is actually worse because keeping it around in rho STOPS us from abstracting dM) and also the 1d thing. that seems really exciting.

9/28/2025 - 12:10am
i decided to make a page here so you all can witness my descent into madness. let me do a quick recap for you. in the spring of 2025, i took a course on.. "vector analysis". at the time, i bemoaned the professor. i should probably get down on my hands and knees and thank him deeply, really. even through his extreme tangle, the alluring gleam of differential forms caught my eye. a generalization of calculus. how elegant... i took to them instantly, and became obsessed with their logic. fast forward through a summer of writing the first (?) (perhaps, just "a") textbook on teaching calculus using only differential forms. i completely shed the sticky, heavy armor of .. multivariable calculus, and embraced the wavering instabilities of hypercalculus, its sprawling maps and twirling emdyed fields. thrown into the deep end of translating differential geometry, partial differential equations, and .. extremely elementary fluid mechanics (tch) into the notation, it crumbled beneath my fingertips and it has sent me into a magikdrunk fever. little interests me in my problem sets except a deeper understanding of the physical objects of the universe- symmetrical tensors on sympletic manifolds, 3forms and gelled tangent spaces, star-spangled maps of my own greedy creation. it's the ultimate hedonism and i'm literally addicted. it's really hard to exist in a space where everyone is denying me of the exaltation of these objects at every step of the way (shoutout my fluids prof who i really like and respect saying that people would only like to see surfaces "in class" and that "2d projections are what we use for analysis" as if that's not the most backward logical process i've ever heard), so i made this page. bask in it with me please ^_^ iloveyou