« first day (3729 days earlier)      last day (1587 days later) » 

22:31
Given $V$ a vector space and $T \in \mathrm{End}_{\mathbb{F}}(V)$ a linear operator, is $V$ always $T$-cyclic?
I'm pretty confident this is false, but one exercise in my professors' book is: "Prove that for every $p \in \mathrm{Div}(m_T)$, there is a $v \in V$ such that $m_v = p$."
Here $m_T$ is the min poly of $T$, $m_v$ is the min poly of $v$ wrt $T$ and (here we may have a problem) $\mathbb{Div}(m_T)$ is the set of divisors of $m_T$
If he means proper divisors, then this might be true, but if $m_T \in \mathrm{Div}(m_T)$, the exercise seems false. Picking $p = m_T$ implies that $V$ is $T$-cyclic
22:48
@Balarka Ok, I believe the thing I wanted earlier isn't quite, but almost true. First of all, we should work with the category of finite-dim. spaces, because fibers should be finite-dim.. Now, when one has a bundle and looks at a transition maps, they're bundle maps $U\times\mathbb{R}^k\rightarrow U\times\mathbb{R}^k$ that are the identity on the base. This is equivalent to the data of a map $U\rightarrow GL(k)$. The only natural way to turn this into a trivialization of the fiber-wise functored-up bundle is by applying the functor fiber-wise.
@Lucas If $T=0$, only $\{0\}$ is $T$-cyclic, no?
@Thorgott Do you think I care
@Thorgott yeah, I thought about the exact same example but I was making sure I'm not crazy
maybe this requires T non-trivial, IDK...
what's $Div(m_T)$
Lucas: Check that the defn is not in fact proper divisors.
23:01
@Thorgott Go read bundle functors from Kolar-Michor-Slovak
Nerd
23:11
huh, that's weird, but also quite interesting
yeah, I should read this
lol
Grr I haven't gotten anything done today
but I'm scar(r)ed by connections
haha good
pure geometry
do it on a (2, 1) topos
OK I am going to bed
BYE
GOODNIGHT
time to take the true redpill and do synthetic differential geometry
23:17
d o n ' t
something something smooth topoi
gn
TOPOS
TOpology PrObability and Statistics
PURE math
Balarka, go to bed already.
"red topos" is an anagram of "torpedos"
23:20
Sensor Topology of Minimalist Planning
that is what i will do
rot pedos is also another anagram
that is Thorgott
acurrate
@Thorgott read that article on TOPOS theory
Robert Adler is a famous probabilist
5 AM, time to sleep
TOPOS
23:35
wtf does it mean for data to live on a torus
IIRC the distribution of points is that of the of the torus
imagine a point cloud that looks like it's filling out a torus
you also gotta find the right rotation under which it looks like a torus..
in other news - ohoohohohohohohohoho robert.net.technion.ac.il/files/2016/12/…
23:54
wild

« first day (3729 days earlier)      last day (1587 days later) »