{"id":"palomar/PALOMAR-2026-11-04-000005","url":"https://github.com/lopatto/tto-palomar/tree/b0bbb4c39145f643482d8bc1215301aabafe3dc2","json":"https://data.palomar-registry.org/entries/PALOMAR-2026-11-04-000005-v1.json","repo":"https://github.com/lopatto/tto-palomar","tags":["math.FA","math.CV","msc:47B35","msc:47B10","msc:30H10"],"score":0,"title":"Schatten-class truncated Toeplitz operators","trust":"high","domain":"math.FA","source":"palomar","authors":["Patrick Lopatto"],"reviews":0,"subject":"math.FA","summary":"Lean formalization of Schatten-class truncated Toeplitz operator results from the local Lopatto–Rochberg manuscript. Includes analytic and coanalytic Besov classifications for every real p>0, compactness and interpolation criteria, splitting and polynomial-symbol results, and Hilbert–Schmidt energy, differential and squared-kernel quotient descriptions.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"verified":true,"discussed":0,"published":"2026-11-04","reactions":{},"formalized":true,"formalizes":[{"title":"local manuscript","identifier":"","relationship":"formalizes"}]}