scholarly journals Equidistribution of translates of a homogeneous measure on the Borel–Serre compactification

2021 ◽  
Vol 0 (0) ◽  
pp. 0
Author(s):  
Runlin Zhang
Keyword(s):  
Invariant Theory ◽  
Maximal Compact Subgroup ◽  
Compact Subgroup ◽  
Linear Algebraic Group ◽  
Natural Question ◽  
Geometric Invariant ◽  
Geometry Of Numbers ◽  
Push Forward ◽  
The Right ◽  
Refined Version

<p style='text-indent:20px;'>Let <inline-formula><tex-math id="M1">\begin{document}$ \mathit{\boldsymbol{\mathrm{G}}} $\end{document}</tex-math></inline-formula> be a semisimple linear algebraic group defined over rational numbers, <inline-formula><tex-math id="M2">\begin{document}$ \mathrm{K} $\end{document}</tex-math></inline-formula> be a maximal compact subgroup of its real points and <inline-formula><tex-math id="M3">\begin{document}$ \Gamma $\end{document}</tex-math></inline-formula> be an arithmetic lattice. One can associate a probability measure <inline-formula><tex-math id="M4">\begin{document}$ \mu_{ \mathrm{H}} $\end{document}</tex-math></inline-formula> on <inline-formula><tex-math id="M5">\begin{document}$ \Gamma \backslash \mathrm{G} $\end{document}</tex-math></inline-formula> for each subgroup <inline-formula><tex-math id="M6">\begin{document}$ \mathit{\boldsymbol{\mathrm{H}}} $\end{document}</tex-math></inline-formula> of <inline-formula><tex-math id="M7">\begin{document}$ \mathit{\boldsymbol{\mathrm{G}}} $\end{document}</tex-math></inline-formula> defined over <inline-formula><tex-math id="M8">\begin{document}$ \mathbb{Q} $\end{document}</tex-math></inline-formula> with no non-trivial rational characters. As G acts on <inline-formula><tex-math id="M9">\begin{document}$ \Gamma \backslash \mathrm{G} $\end{document}</tex-math></inline-formula> from the right, we can push forward this measure by elements from <inline-formula><tex-math id="M10">\begin{document}$ \mathrm{G} $\end{document}</tex-math></inline-formula>. By pushing down these measures to <inline-formula><tex-math id="M11">\begin{document}$ \Gamma \backslash \mathrm{G}/ \mathrm{K} $\end{document}</tex-math></inline-formula>, we call them homogeneous. It is a natural question to ask what are the possible weak-<inline-formula><tex-math id="M12">\begin{document}$ * $\end{document}</tex-math></inline-formula> limits of homogeneous measures. In the non-divergent case this has been answered by Eskin–Mozes–Shah. In the divergent case Daw–Gorodnik–Ullmo prove a refined version in some non-trivial compactifications of <inline-formula><tex-math id="M13">\begin{document}$ \Gamma \backslash \mathrm{G}/ \mathrm{K} $\end{document}</tex-math></inline-formula> for <inline-formula><tex-math id="M14">\begin{document}$ \mathit{\boldsymbol{\mathrm{H}}} $\end{document}</tex-math></inline-formula> generated by real unipotents. In the present article we build on their work and generalize the theorem to the case of general <inline-formula><tex-math id="M15">\begin{document}$ \mathit{\boldsymbol{\mathrm{H}}} $\end{document}</tex-math></inline-formula> with no non-trivial rational characters. Our results rely on (1) a non-divergent criterion on <inline-formula><tex-math id="M16">\begin{document}$ {\text{SL}}_n $\end{document}</tex-math></inline-formula> proved by geometry of numbers and a theorem of Kleinbock–Margulis; (2) relations between partial Borel–Serre compactifications associated with different groups proved by geometric invariant theory and reduction theory. <b>193</b> words.</p>

scholarly journals Yang–Mills connections on compact complex tori

2015 ◽  
Vol 07 (02) ◽  
pp. 293-307
Author(s):  
Indranil Biswas
Keyword(s):  
Algebraic Group ◽  
Maximal Compact Subgroup ◽  
Compact Subgroup ◽  
Structure Group ◽  
Kähler Structure ◽  
Yang Mills ◽  
Complex Torus ◽  
Complex Tori

Let G be a connected reductive complex affine algebraic group and K ⊂ G a maximal compact subgroup. Let M be a compact complex torus equipped with a flat Kähler structure and (EG, θ) a polystable Higgs G-bundle on M. Take any C∞ reduction of structure group EK ⊂ EG to the subgroup K that solves the Yang–Mills equation for (EG, θ). We prove that the principal G-bundle EG is polystable and the above reduction EK solves the Einstein–Hermitian equation for EG. We also prove that for a semistable (respectively, polystable) Higgs G-bundle (EG, θ) on a compact connected Calabi–Yau manifold, the underlying principal G-bundle EG is semistable (respectively, polystable).

scholarly journals Perverse Schobers and Wall Crossing

2017 ◽  
Vol 2019 (18) ◽  
pp. 5777-5810 ◽  
Author(s):  
W Donovan
Keyword(s):  
Invariant Theory ◽  
Local System ◽  
Vector Spaces ◽  
Geometric Invariant ◽  
Perverse Sheaf ◽  
Derived Equivalences ◽  
Grothendieck Groups ◽  
Wall Crossing ◽  
Git Quotient ◽  
Cohomology Complex

Abstract For a balanced wall crossing in geometric invariant theory (GIT), there exist derived equivalences between the corresponding GIT quotients if certain numerical conditions are satisfied. Given such a wall crossing, I construct a perverse sheaf of categories on a disk, singular at a point, with half-monodromies recovering these equivalences, and with behaviour at the singular point controlled by a GIT quotient stack associated to the wall. Taking complexified Grothendieck groups gives a perverse sheaf of vector spaces: I characterize when this is an intersection cohomology complex of a local system on the punctured disk.

scholarly journals A short survey on observability

2019 ◽  
Vol 53 (supl) ◽  
pp. 143-183
Author(s):  
Walter Ferrer Santos
Keyword(s):  
Invariant Theory ◽  
Intermediate Step ◽  
Geometric Invariant ◽  
Related Concept ◽  
Algebraic Subgroup ◽  
Tensor Categories ◽  
Current Survey ◽  
The Subject ◽  
The Rich ◽  
New Applications

The exploration of the notion of observability exhibits transparently the rich interplay between algebraic and geometric ideas in geometric invariant theory. The concept of observable subgroup was introduced in the early 1960s with the purpose of studying extensions of representations from an afine algebraic subgroup to the whole group. The extent of its importance in representation and invariant theory in particular for Hilbert's 14th problem was noticed almost immediately. An important strenghtening appeared in the mid 1970s when the concept of strong observability was introduced and it was shown that the notion of observability can be understood as an intermediate step in the notion of reductivity (or semisimplicity), when adequately generalized. More recently starting in 2010, the concept of observable subgroup was expanded to include the concept of observable action of an afine algebraic group on an afine variety, launching a series of new applications and opening a surge of very interesting activity. In another direction around 2006, the related concept of observable adjunction was introduced, and its application to module categories over tensor categories was noticed. In the current survey, we follow (approximately) the historical development of the subject introducing along the way, the definitions and some of the main results including some of the proofs. For the unproven parts, precise references are mentioned.

Sign in / Sign up

Export Citation Format

Share Document