Search arXivSearch

arXiv · 2011.06925

Geometry of Weighted Homogeneous Spaces

Abstract

In this paper, we define the weighted homogeneous space (WHS), denoted by $\frac{G}{P}[\psi_H]$ where $\psi_H$ is weight function defined on the set of simple roots of $G$, by an element $H$ in the highest Weyl chamber. The weight function $\psi_H$ describes the action of the maximal torus $T$ on different Bruhat cells and is well behaved via the change of coordinates defined by the action of the Weyl group $W$. The major effort in this text is to prove basic algebraic and geometric properties of a weighted homogeneous space. The definition can be compared with an existing version given by Reid-Corti \cite{CR}. Additionally, we express $\frac{G}{P}[\psi_H]$ as a whole compact quotient of $G/P$ by a certain action of a finite abelian group. Besides, it is presented a criterion when two WHS with possibly different weight systems are isomorphic. The criteria give a simple method to understand the regular maps between two WHS's, defined by matrices with specific polynomial entries. We also explain invariant K\"ahler differentials on WHS by using certain potential functions on $G$. Our contribution is a generalization of the results presented in \cite{Al, AL, AKQ}. For that, we explain how the weights affect different computations of chern classes of line bundles given in \cite{AL, AKQ}. Finally, we provide a result on the coordinate ring of a WHS by cluster algebras associated to weighted quivers. Specifically, we show that the coordinate ring of a WHS is a weighted cluster algebra of finite type. In this case, the corresponding Dynkin quiver is equipped with a weight function defined on the vertices where the mutations also affect the weights. We present an embedding of a WHS in a product of weighted projective spaces, showing that the coordinate ring is a weighted graded algebra.

Explore related subjects

Keep this discovery

BibTeXRIS

Mohammad Reza Rahmati, Gerardo Flores. 2020-11-12. Geometry of Weighted Homogeneous Spaces. https://arxiv.org/abs/2011.06925

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Quasi-Whittaker supermodules over Lie superalgebras

In this paper, we develop a general theory of quasi-Whittaker supermodules over Lie superalgebras induced from an arbitrary ideal. We determine the quasi-Whittaker vectors in universal supermodules, establish an irreducibility criterion, and classify several families of irreducible supermodules. The odd part produces a new irreducibility phenomenon absent from the Lie algebra setting. As applications, we determine all irreducible quasi-Whittaker supermodules over the $N=1$ super Schr\"odinger algebra and the $N=1$ $\frac{3}{2}$-conformal Galilei superalgebra, and over the complete spectrum-generating superalgebra in a special case.

math.RT

Rankin--Selberg integrals of opposite conductor--one newforms

Let $F$ be a nonarchimedean local field of characteristic zero and let $n\geq2$. For $r=n,n+1$, let $\Pi_r$ be an irreducible tempered representation of ${\rm GL}_r(F)$ of conductor one and with trivial central character. We evaluate the Rankin--Selberg integral of opposite newforms in $\Pi_{n+1}\times \Pi_n$ explicitly and show that its central value is nonzero. As an application, this implies a case of Disegni--Zhang's conjecture on the nonvanishing of local relative characters.

math.RT

Obstructions to Jacobi-Finiteness of Quivers with Potentials

We show that Jacobi-finite potentials need not exist on finite $2$-acyclic quivers. Our main tool is a matrix-valued Golod--Shafarevich--Vinberg inequality for quotients of completed path algebras by finitely many, possibly nonhomogeneous, topological relations. Applied to cyclic derivatives, it yields a potential-dependent obstruction to the finite-dimensionality of completed Jacobian algebras. We then construct a purely quiver-level criterion excluding every Jacobi-finite potential on a given quiver, and exhibit a family of quivers for which every potential has an infinite-dimensional Jacobian algebra.

math.RT