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

10:31 PM
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
 
10:48 PM
@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
 
no
 
@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.
 
11:01 PM
@Thorgott Go read bundle functors from Kolar-Michor-Slovak
Nerd
 
11:11 PM
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
 
11:17 PM
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"
 
11:20 PM
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
 
11:35 PM
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/…
 
11:54 PM
wild
 

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