Research

For my master’s thesis, I am working on describing the $\infty$-category $\mathrm{DM}^{\mathrm{kgl}}_{S,\mathrm{res}}$ of $\mathrm{kgl}$-linear resolvable motives in terms of only smooth log smooth projective schemes, which, using logarithmic geometry, would make it easier to define functors out of this $\infty$-category. With this description in hand, it should be relatively straightforward to e.g. recover Mokrane’s décalaged pole-order filtration on logarithmic crystalline cohomology.