2026-09-10 | | Total: 3
Let $Ω$ be the Lorentz future cone in $\mathbb{R}^{d+1}$ with respect to the Lorentz product and let $T^M$ be the $M$-fold product of the future tube $T=\mathbb{R}^{d+1}+iΩ$. The Lorentz group $\mathrm{SO}_0(1,d)$ acts diagonally on $T^M$, and its complexification $\mathrm{SO}(1,d)^\mathbb{C}$ acts on $\mathbb{C}^{(d+1)\times M}$. We prove that the domain $G^\mathbb{C}\cdot T^M$ is a Stein manifold for any connected unipotent subgroup $G$ of $\mathrm{SO}_0(1,d)$.
The heavy top is a classic example of Euler-Poincare reduction on a semidirect product group, demonstrating how an advected quantity-the direction of gravity-couples to rotational motion. While the description of relativistic spinning particles via Lie group configurations is well established in Hamiltonian (symplectic) mechanics, we demonstrate that an explicit Lagrangian Euler-Poincare reduction provides a direct, transparent parallel to the heavy top. Specifically, we show that the free relativistic spinning particle on the Poincare group is the precise Lorentzian analog of this system, with spacetime position being the advected quantity. This geometric unification not only illuminates the underlying symmetry of both systems but also clarifies why the introduction of external electromagnetic fields leads to a partial reduction. Finally, we establish that the transition to left-trivialized coordinates acts as a geometric selection mechanism, naturally favoring a class of interaction Lagrangians where spin-field coupling manifests as a dynamical redefinition of the particle's mass.
We define a derived stack $\mathscr{Rep}_n(X)$ which generalizes the assignment $A\leadsto \operatorname{Rep}_n(A)$ to an algebra of its derived $GL_n$-representation variety of arXiv:1112.1449 from algebras $A$ to perfect stacks $X$ over characteristic 0 fields. In the case of a quasi-projective classical scheme $X$, we show that $\mathscr{Rep}_n(X)$ admits a subfunctor $\operatorname{Quot}^{n,\text{fr}}_{\mathscr{O}_X^n}(X)\subset \mathscr{Rep}_n(X)$, which is in fact represented by a derived scheme almost of finite type. We further construct a Fourier-Mukai integral transform between the derived categories of quasi-coherent sheaves on $X$ and $\operatorname{Quot}^{n,\text{fr}}_{\mathscr{O}_X^n}(X)$ which induces a trace map at the level of Hochschild homology generalizing the trace morphism constructed in arXiv:1112.1449 (for finitely presented commutative algebras). We show that the subfunctor $\operatorname{Quot}^{n,\text{fr}}_{\mathscr{O}_X^n}(X)$ is a derived enhancement of the framed locus of the Quot scheme of points and that this derived scheme is a $GL_n$-torsor over the stack of coherent length $n$ torsion sheaves. Hence, this stack is an analog of the derived character stack for quasi-projective schemes, and we show that for smooth, Calabi-Yau $X$, it inherits a shifted symplectic structure in the sense of arXiv:1111.3209 from the one constructed in arXiv:1812.11913 on the moduli stack of perfect complexes with proper support. This structure is shown to give a generalization of the classical symplectic structure on character varieties of surfaces of genus 1 constructed by Goldman \cite{gold}.