Prefer a chat interface with context about you and your work?
Applications of the Fixed Point Theorem for group actions on buildings to algebraic groups over polynomial rings