---
title: Graev Construction in Mathematical Structures
url: https://www.emergentmind.com/topics/graev-construction
type: topic
---

# Graev Construction in Mathematical Structures

The name *Graev construction* appears in several mathematically distinct settings. In geometric group theory it denotes Graev’s canonical extension of a pointed metric or ultrametric to a two-sided invariant metric on a free group and, by analogous formulas, to free products with amalgamation and certain HNN extensions [1111.1538, 1405.2244, 1212.2855]. In combinatorial convexity it denotes the assignment of a lattice polytope \(P(T)\) to a symmetric ternary relation \(T\), with applications to bounds on invariant Einstein metrics and to cosmological polytopes [2509.06811]. In representation theory the closely related Gelfand–Graev constructions produce Whittaker-type modules, Hecke algebra models, and Weyl-group actions attached to reductive groups, their covers, and finite analogues [2011.02456, 1804.05295, 1408.1643]. This range suggests a common formal role: the passage from local combinatorial, metric, or Whittaker data to a canonical global object.

## 1. Metric extension on free groups and amalgams

In the classical metric setting, the input is a pointed metric space \((X,d,e)\). One forms a formal inverse copy \(X^{-1}\), extends the metric by
\[
d(x^{-1},y^{-1})=d(x,y), \qquad d(x,y^{-1})=d(x,e)+d(e,y),
\]
and considers words over \(X\cup X^{-1}\). If \(u,v\) are words of the same length \(n\), one sets
\[
\rho(u,v)=\sum_{i=1}^n d\bigl(u(i),v(i)\bigr).
\]
For \(f,g\in F(X)\), the Graev metric is then
\[
d(f,g)=\inf\bigl\{\rho(u,v):|u|=|v|,\ \hat u=f,\ \hat v=g\bigr\}.
\]
Graev’s theorem asserts that this is a genuine two-sided invariant metric on \(F(X)\), that it extends the given metric on \(X\), and that it is free in the category of groups equipped with two-sided invariant metrics and Lipschitz homomorphisms [1111.1538].

A particularly effective reformulation uses *matches*. If \(w\) is a reduced word representing \(f\), and \(\theta\) is an involution on the index set without crossing pairs, then one defines the matched trivial word \(w^\theta\), and obtains
\[
d(f,e)=\min_{\theta}\rho\bigl(w,w^\theta\bigr).
\]
This replaces the infimum over arbitrary word pairs by a finite combinatorial search over noncrossing involutions. The formula is central in proofs of maximality and in later generalizations.

The same pattern extends to free products with amalgamation. If \(\{(G_\lambda,d_\lambda)\}\) are groups with two-sided invariant metrics and \(A\) is a common closed subgroup on which the metrics agree, one first defines the amalgam metric on the union by
\[
d(x,y)=
\begin{cases}
d_\lambda(x,y),&x,y\in G_\lambda,\\[2mm]
\inf_{a\in A}\bigl(d_{\lambda_1}(x,a)+d_{\lambda_2}(a,y)\bigr),&
x\in G_{\lambda_1},\ y\in G_{\lambda_2},\ \lambda_1\neq\lambda_2.
\end{cases}
\]
Using the same wordwise infimum construction with \(\rho(\alpha,\beta)=\sum_i d(\alpha(i),\beta(i))\), one obtains a canonical two-sided invariant metric on the abstract amalgam \(G_1*_A G_2*\cdots\), extending the original metrics. Positivity is proved by reduced forms and the estimate
\[
N(f)=d(f,e)\ge \min_i d\bigl(\alpha(i),A\bigr)>0
\]
for reduced \(\alpha\) representing \(f\neq e\) [1111.1538].

The HNN-extension case has the same character but requires a diameter bound. For a two-sided invariant metric group \((G,d)\), an isometric isomorphism \(\phi:A\to B\) of closed subgroups, and
\[
H=\langle G,t\mid tat^{-1}=\phi(a)\ (a\in A)\rangle,
\]
the construction proceeds through two auxiliary free products and an amalgamation. If \(\mathrm{diam}(A)\le K\), one obtains a two-sided invariant metric on \(H\) extending \(d\) and prescribing \(d(t,e)\). The same source also records the necessary boundedness condition
\[
d'\bigl(a,\phi(a)\bigr)\le 2\,d'(t,e)
\]
for any such extension [1111.1538].

The significance of the classical Graev construction lies in its maximality. Any two-sided invariant metric on the relevant free object that extends the initial metric is bounded above by the Graev metric. In that sense the construction is not merely canonical; it is extremal among all invariant extensions.

## 2. Ultrametric versions and non-Archimedean free objects

The ultrametric analogue replaces sums by maxima. For an ultrametric space \((X,d)\), one extends \(d\) to
\[
\widetilde X=X\cup X^{-1}\cup\{e\}
\]
by the rules
\[
d(x^{-1},y^{-1})=d(x,y),\qquad
d(x^{-1},y)=d(x,y^{-1})=\max\{d(x,e),d(y,e)\}.
\]
If
\[
w=x_0x_1\cdots x_n,\qquad v=y_0y_1\cdots y_n
\]
have the same length, then
\[
p_u(w,v)=\max_{0\le i\le n} d(x_i,y_i),
\]
and the Graev ultrametric on \(F(X)\) is defined by
\[
d_u(w',v')=\inf\bigl\{p_u(w,v):w'\!=w,\ v'\!=v,\ \text{same length}\bigr\}.
\]
Equivalently,
\[
d_u(w,e)=\min_\theta p_u\bigl(w,w^\theta\bigr),
\]
where \(\theta\) ranges over matches. This \(d_u\) is a two-sided invariant ultrametric extending the original \(d\) on \(X\) [1405.2244].

The non-Archimedean maximality statement is completely parallel to the classical one: \(d_u\) is maximal among all two-sided invariant ultrametrics on \(F(X)\) agreeing with \(d\) on \(X\), and under the additional inverse-compatibility hypothesis it is maximal among those extending \(d\) on \(X\cup\{e\}\). The proof uses induction on word length together with the match formula, with the ultrametric inequality replacing the ordinary triangle inequality [1405.2244].

For free products of ultrametric groups with a common closed subgroup \(A\), the amalgam metric itself is ultrametric:
\[
d(x,y)=\inf_{a\in A}\max\{d_G(x,a),d_H(a,y)\}.
\]
For words \(\alpha,\zeta\) of equal length, one defines
\[
\rho(\alpha,\zeta)=\max_{1\le i\le n} d\bigl(\alpha(i),\zeta(i)\bigr),
\]
and then
\[
\delta(f_1,f_2)=\inf \rho(\alpha_1,\alpha_2).
\]
The resulting \(\delta\) is a two-sided invariant ultrametric on \(G*_A H\) extending the ultrametric on \(G\cup H\). Non-degeneracy is proved through a sequence of reductions—multipliable pairs, evaluation forests, simple pairs, symmetrization, and reduced minimal-length pairs—organized by the combinatorics of a maximal evaluation forest [1212.2855].

The same paper extends the construction to HNN extensions of ultrametric groups. If \((G,d)\) is two-sided invariant ultrametric, \(A,B\le G\) are closed, \(\phi:A\to B\) is \(d\)-isometric, and \(\mathrm{diam}(A)\le K\), then the HNN extension
\[
H=\langle G,t\mid tat^{-1}=\phi(a)\ (a\in A)\rangle
\]
admits a two-sided invariant ultrametric extending \(d\) and satisfying \(\delta(t,e)=K\) [1212.2855].

These constructions connect directly with Polish-group theory. Using scaled spaces \(\mathbf X=(X,d,e,\Gamma)\) and the associated free groups \(F(\mathbf X)\), one forms a Polish free product
\[
G\;\text{“}\sstar\text{”}\;H:=F(\mathbf Z)/K_{G*H},
\]
where \(\mathbf Z\) is the metric amalgam of the scaled spaces and \(K_{G*H}\) is the closed normal subgroup generated by the kernels of the quotient maps. The resulting Polish group contains topological copies of \(G\) and \(H\) and satisfies the stated universal property. Moreover, any two Polish groups \(G,H\) embed in a Polish group \(T\) so that the subgroup generated by them is naturally isomorphic to the abstract free product \(G*H\); if \(G,H\) admit two-sided invariant ultrametrics, then \(T\) can be chosen two-sided invariant ultrametric [1212.2855].

A further identification occurs when \(\mathrm{diam}(X,d)\le 1\). In that case the Graev ultrametric \(d_u\) coincides with the Savchenko–Zarichnyi ultrametric \(\hat d\) defined via ball partitions and induced quotient maps of free groups:
\[
d_u(v,w)=\hat d(v,w)\qquad \forall\,v,w\in F(X).
\]
The same work shows that the free non-Archimedean balanced group on \(X\) is metrizable by \(d_u\) [1405.2244].

## 3. Graev polytopes from symmetric ternary relations

In the combinatorial-convex setting, one starts with a finite set \(I\) and a symmetric ternary relation
\[
T\subset \bigl\{[i,j,k]\mid \{i,j,k\}\subset I,\ i,j,k\text{ distinct}\bigr\},
\]
where \([i,j,k]\) denotes the unordered triple \(\{i,j,k\}\). For each triple in \(T\), one introduces the three vectors
\[
e_i+e_j-e_k,\qquad e_i-e_j+e_k,\qquad -e_i+e_j+e_k,
\]
and defines the Graev polytope
\[
P(T)=\Conv\Bigl\{v_{ijk}^{(\sigma_i,\sigma_j,\sigma_k)}\ \Bigm|\ [i,j,k]\in T,\ (\sigma_i,\sigma_j,\sigma_k)\text{ has exactly one “-”}\Bigr\}.
\]
This is a lattice polytope contained in the affine hyperplane
\[
H:\ \sum_{i\in I}x_i=1,
\]
so \(\dim P(T)\le |I|-1\) [2509.06811].

The dual-cone description is explicit. If \(x=(x_i)_{i\in I}\) is a dual variable, then
\[
P(T)^\vee
=
\bigcap_{[i,j,k]\in T}
\Bigl\{
x_i+x_j-x_k\ge 0,\ 
x_i-x_j+x_k\ge 0,\ 
-x_i+x_j+x_k\ge 0
\Bigr\}.
\]
Each facet of \(P(T)\) corresponds to an extremal ray of \(P(T)^\vee\), equivalently to a selection of one tight inequality in each triple. More generally, faces are in bijection with collections of corners
\[
\{\,([i,j,k],\{i,j\})\}\subset T\times \bigl\{\{i,j\},\{j,k\},\{i,k\}\bigr\}
\]
on which the corresponding inequalities are imposed as equalities [2509.06811].

The normalized volume \(\nu(P(T))\) is taken with respect to the affine lattice \(H\cap \mathbb Z^I\), normalized so that a unimodular simplex has volume \(1\). Computed examples include
\[
\nu\bigl(P(A_2)\bigr)=1,\qquad
\nu\bigl(P(B_2)\bigr)=2,\qquad
\nu\bigl(P(A_3)\bigr)=1,\qquad
\nu\bigl(P(A_4)\bigr)=\Vol(\Delta_2\times \Delta_3).
\]
For a root system \(\Omega\), one writes \(P(\Omega)=P(T(\Omega))\). The paper states that in many cases closed-form product formulas are known, while for \(A_n\) with \(n\ge 5\) the general formula remains open [2509.06811].

A basic example takes
\[
T=\{[1,2,3],[2,3,4]\}\subset \{1,2,3,4\}.
\]
The six vertices are
\[
e_1+e_2-e_3,\ e_1-e_2+e_3,\ -e_1+e_2+e_3,\ 
e_2+e_3-e_4,\ e_2-e_3+e_4,\ -e_2+e_3+e_4,
\]
all lying in the hyperplane \(x_1+x_2+x_3+x_4=1\). The resulting polytope is combinatorially a hexagon of dimension \(2\), and its facets arise by selecting one tight inequality from each triple [2509.06811].

Two applications organize much of the theory. First, for a compact homogeneous space \(M=G/H\) whose isotropy representation splits into \(n\) pairwise non-equivalent irreducible summands, the Einstein equations reduce to Laurent polynomials whose Newton polytope is precisely \(P(T(M))\). By the Bernstein–Kushnirenko theorem,
\[
\mathcal E(M)\le \nu\bigl(P(T(M))\bigr),
\]
where \(\mathcal E(M)\) is the number of isolated complex solutions up to homothety; when the inequality is strict, the missing solutions are accounted for by faces of \(P(T(M))\) and corresponding Inönü–Wigner contractions [2509.06811].

Second, if \(G=(V,E)\) is an undirected graph and
\[
I=V\sqcup E,\qquad
T(G)=\{[v_1,e,v_2]\mid e=\{v_1,v_2\}\in E\},
\]
then the cosmological polytope \(\mathcal C(G)\) satisfies
\[
\mathcal C(G)=P\bigl(T(G)\bigr).
\]
In particular, the facets of \(\mathcal C(G)\) are in bijection with connected subgraphs of \(G\). The paper describes this as a combinatorial unification: the Einstein-metric bound and the cosmological-polytope formalism are produced by the same underlying Graev construction [2509.06811].

## 4. Gelfand–Graev representations and Hecke-algebra realizations

For \(p\)-adic groups, the Gelfand–Graev construction begins with a Borel subgroup \(B=TU\) and a fixed nondegenerate Whittaker character \(\psi:U\to \mathbb C^\times\). For
\[
G=\mathrm{SO}(2N+1,F),
\]
the Gelfand–Graev representation is the compact induction
\[
\Gamma_U^G(\psi)=c\text{--}\Ind_U^G\psi
=
\{f:G\to \mathbb C\mid f(ug)=\psi(u)f(g),\ \mathrm{supp}(f)\subseteq U\backslash G\text{ compact}\},
\]
with the right-translation action. It is the “universal \(\psi\)-generic” representation: every irreducible \(\psi\)-generic representation of \(G\) appears with multiplicity one as a \(G\)-quotient of \(\Gamma_U^G(\psi)\) [2011.02456].

Bernstein theory places this object in a single Bernstein block \(\mathrm{Rep}_s(G)\). Choosing a pro-generator
\[
P=i_P^G\bigl(\,_{M^\circ}^M\sigma_0\bigr),
\qquad
H=\End_G(P),
\]
the functor
\[
F(V)=\Hom_G(P,V)
\]
is an equivalence \(\mathrm{Rep}_s(G)\simeq \mathrm{Mod}\text{--}H\). For the Gelfand–Graev representation, the corresponding \(H\)-module is
\[
\Pi=\Hom_G(P,\Gamma_U^G(\psi)).
\]
Heiermann’s presentation identifies \(H\) as an affine Hecke algebra of type \(\tilde C_n\) or, in special cases, \(\tilde A_{n-1}\), generated by \(A\cong \mathbb C[X_1^{\pm1},\dots,X_n^{\pm1}]\) together with \(T_0,\dots,T_n\) subject to quadratic, braid, and cross-relations. The paper proves that \(\Pi\cong A\) as an \(A\)-module and that, in the unequal-parameter case,
\[
\Pi \cong H\otimes_{H_0}\varepsilon_{q^r,q^t},
\]
while in the zero-parameter affine \(C_n\) case,
\[
\Pi \cong H\otimes_{H_0}\varepsilon_{1,q^t}.
\]
Thus the universal Whittaker model becomes an explicit induced Hecke module [2011.02456].

An analogous program exists for central covers of \(\mathrm{GL}_r(F)\). For an \(n\)-fold Kazhdan–Patterson cover or Savin cover
\[
1\longrightarrow \mu_n\longrightarrow \widetilde G\longrightarrow G\longrightarrow 1,
\]
with \(\gcd(n,p)=1\), the unipotent radical splits uniquely. Fixing the standard nondegenerate character
\[
\psi(u)=\psi_F\!\Bigl(\sum_{i=1}^{r-1}u_{i,i+1}\Bigr),
\]
one forms
\[
\Pi_\psi=\ind_{\widetilde U}^{\widetilde G}(\psi).
\]
For a simple type \((J,\rho)\), the Hecke algebra \(\mathcal H(\widetilde G,\rho)\) satisfies
\[
\mathcal H(\widetilde G,\rho)\simeq \mathcal A\otimes \mathcal H_0,
\]
with \(\mathcal A\) a commutative Laurent polynomial algebra and \(\mathcal H_0\) a finite Hecke algebra of type \(A_{k-1}\). The associated module
\[
V_\rho=\Hom_{\widetilde G}\bigl(\ind_{\widetilde J}^{\widetilde G}\rho,\ind_{\widetilde U}^{\widetilde G}\psi\bigr)
\]
decomposes as
\[
V_\rho \simeq \bigoplus_{\mathcal O\subset X(\rho)/S_k}\mathcal A\otimes \bigl(\mathcal H_0\otimes_{\mathcal H_0(\mathcal O)}\mathrm{sgn}\bigr).
\]
For a genuine discrete series \(\pi\) of inertial class represented by \((J,\rho)\), this yields the Whittaker-dimension formula
\[
\dim \Wh_\psi(\pi)=|X(\rho)/S_k|
\]
and, in the Savin case,
\[
|X(\rho)/S_k|=\binom{k+n_0-1}{k}
\]
when \(|X(\rho)|=n_0^k\) [2502.07262].

At pro-\(p\) Iwahori level, the same theme reappears for Brylinski–Deligne covers of split reductive groups. The genuine pro-\(p\) Iwahori–Hecke algebra \(\widetilde H\) admits Iwahori–Matsumoto and Bernstein presentations, and for the genuine Gelfand–Graev module
\[
V=c\text{--}\Ind_{\widetilde U^-}^{\widetilde G}(\Psi),
\]
one has
\[
V^{\widetilde I_1}\cong \Ind_{\widetilde H_0}^{\widetilde H}(\mathrm{triv})
\]
as right \(\widetilde H\)-modules. Passing to Iwahori-fixed vectors,
\[
V^I=\bigoplus_O V_O,
\]
where the summands are indexed by \(W\)-orbits of torus characters, and for splitting orbits \(O\) one has
\[
V_O\cong \Ind_{H_{I,y}}^{H_I}(\varepsilon_y)
\]
with \(\varepsilon_y\) a sign character of the parabolic Hecke subalgebra [2204.13053].

These results show that, in the local theory, the Gelfand–Graev construction is not only a source of Whittaker models but also a mechanism for converting generic representation theory into explicit Hecke-module combinatorics.

## 5. Finite reductive groups and generalized Gelfand–Graev representations

For finite reductive groups, the construction takes the form of Kawanaka’s generalized Gelfand–Graev representations. Let \(\mathbf G\) be a connected reductive algebraic group over \(\overline{\mathbb F_p}\), let \(F:\mathbf G\to \mathbf G\) be a Frobenius endomorphism, and write \(G=\mathbf G^F\). Fix an \(F\)-stable Borel subgroup \(B_0\supset T_0\) with unipotent radical \(U\). Under the assumptions used by Taylor, an \(F\)-equivariant Springer isomorphism \(\phi_{\mathrm{spr}}:U\to \mathcal N\) and a \(G\)-invariant form \(\kappa\) lead, for \(u\in U^F\), to the linear functional
\[
\ell_u(x)=\kappa(e^\dagger,x),
\qquad e=\phi_{\mathrm{spr}}(u),
\]
and the character
\[
\psi_u(\exp(x))=\psi_q(\ell_u(x)).
\]
After passing to the intermediate subgroup \(U(\lambda,1.5)^F\), one obtains
\[
\Gamma_u=\Ind_{U(\lambda,1.5)^F}^{G^F}(\widetilde\psi_u),
\]
equivalently
\[
\Gamma_u=q^{- \frac12 \dim \mathfrak g(\lambda,1)}\cdot \Ind_{U(\lambda,2)^F}^{G^F}(\psi_u).
\]
Taylor proves a decomposition formula
\[
\Gamma_u=\sum_{[L,\iota_0]\in \mathcal W_G^F}\Gamma_{u,\mathcal I[L,\iota_0]},
\]
where each summand is expressed in terms of change-of-basis coefficients \(P_{\iota',\iota}\), Fourier-transform scalars \(\omega_{\iota,\iota''}\), relative Weyl-group characters \(E_\iota\), and characteristic functions \(X_\iota\) of IC-extensions. From this decomposition, every irreducible character \(\rho\in \mathrm{Irr}(G^F)\) has a unique maximal unipotent class \(\mathcal O_\rho^*\) for which \(\langle \Gamma_u,\rho\rangle\neq 0\), giving uniqueness of wave-front sets when \(p\) is good [1408.1643].

Geck studies what remains when the good-prime hypothesis is dropped. A weighted Dynkin diagram
\[
d:\Phi\to \{0,1,2\}
\]
defines a cocharacter \(\lambda\), a filtration
\[
G\supset P\supset U_1\supset U_2\supset \cdots,
\]
and a candidate character built from a linear map \(X:\mathfrak g(2)\to k\). When \(\mathfrak g(1)\neq 0\), the alternating form
\[
\omega_X(y,z)=X([y,z])
\]
must be nondegenerate, after which one chooses an \(F\)-stable Lagrangian \(M\subset \mathfrak g(1)\), lifts it to \(U_{1.5}\), extends the character, and defines
\[
\Gamma_d=\Ind_{U_1^F}^{G^F}(\psi).
\]
If \(p\) is good, Kawanaka showed that every \(d\) works. In bad characteristic, Geck exhibits diagrams for which the nondegeneracy condition fails and formulates Conjecture 4.4: for every diagram \(d\) occurring as a unipotent support of some irreducible \(G^F\)-character, there should exist a map \(X\) satisfying the required conditions. The same paper proposes an integral determinant criterion for special unipotent classes [1810.08937].

In type \(A\), the generalized Gelfand–Graev construction admits a fully combinatorial model. For \(G=\mathrm{GL}_n(\mathbb F_q)\) and a partition \(\lambda\vdash n\), Andrews–Thiem define a subgroup \(U_{\mathrm{ctr}}(\lambda)\le U\) from a centered Ferrers diagram and a linear character
\[
\psi_\lambda(u)=\prod_{i\sim j}\vartheta(u_{ij}),
\]
where the relation \(i\sim j\) comes from the set-partition \(\pi(\lambda)\) of the row-reading tableau. The induced module
\[
\Gamma_\lambda=\Ind_{U_{\mathrm{ctr}}(\lambda)}^{\mathrm{GL}_n(\mathbb F_q)}(\psi_\lambda)
\]
coincides, up to scalar, with Kawanaka’s \(\Gamma_\lambda\). The character vanishes outside dominance-above classes,
\[
\Gamma_\lambda(u)=0\quad \text{unless}\quad \mu\trianglerighteq \lambda,
\]
and under the characteristic map one has
\[
\mathrm{ch}(\Gamma_\lambda)=(-1)^{n-\ell(\lambda)}Q_\lambda(X;q).
\]
Using the expansion
\[
Q_\lambda(X;q)=\sum_{\nu\vdash n}K_{\nu,\lambda}(q)s_\nu(X),
\]
the paper deduces
\[
\Gamma_\lambda=\sum_{\nu\vdash n}K_{\nu,\lambda}(q)\chi^\nu,
\qquad
(\Gamma_\lambda,\chi^\nu)=K_{\nu,\lambda}(q),
\]
so the Kostka–Foulkes polynomials appear as multiplicities of unipotent characters [1505.00763].

The finite theory also includes explicit endomorphism algebras. For \(G=\mathrm{PGL}_3(q)\) and \(G=\mathrm{SO}_5(q)\), a refined Bruhat decomposition parametrizes intersections of the form
\[
UxU\cap zUy^{-1}U
\]
by distinguished subexpressions and parameters. This leads to explicit formulas for the structure constants of
\[
H=\End_G(\Gamma)
\]
for the Gelfand–Graev module \(\Gamma=\Ind_U^G\psi\), reducing them to \(\delta\)-conditions, Gauss sums, and Kloosterman-type sums [1810.05378].

## 6. Weyl-group actions, Hamiltonian reduction, and related analytic constructions

A different branch of the Graev tradition concerns actions of the Weyl group on algebras and symplectic varieties. In unpublished work described by Ginzburg–Kazhdan, for each simple reflection \(s_i\in W\) one constructs an analytic intertwiner
\[
R_i:D(G/U)\to D(G/U)
\]
using oscillatory integrals and Fourier transforms; in rank \(1\) it is essentially the partial Fourier transform on \(\mathbb C^2\). Analytic estimates show that the \(R_i\) satisfy the Coxeter relations, producing a \(W\)-action on \(D(G/U)\) by algebra automorphisms. The same paper gives a purely algebraic construction via quantum Hamiltonian reduction:
\[
D(G/U)\cong \bigl(D(T)_{Z(\mathfrak g)}\otimes_{Z(\mathfrak g)}\mathcal D_\psi(G/U)\bigr)^T.
\]
Since \(W\) acts on \(D(T)\) and fixes \(Z(\mathfrak g)\), this isomorphism transports the Weyl-group action to \(D(G/U)\). The quasi-classical counterpart is the Poisson isomorphism
\[
\mathbb C[T^*(G/U)]\cong
\bigl(\mathbb C[T^*T]_{\mathbb C[c]}\otimes_{\mathbb C[c]}\mathbb C[T_\psi^*(G/U)]\bigr)^T,
\]
which yields a Poisson \(W\)-action on \(\mathbb C[T^*(G/U)]\) and hence an algebraic \(W\)-action by symplectomorphisms on the affinization \(\mathrm{Spec}\,\mathbb C[T^*(G/U)]\) [1804.05295].

Wang gives a quiver-theoretic realization of this quasi-classical action. For a doubled quiver with dimension vectors \(v,w\), the DKS-type variety
\[
M(v,w)=\cmm^{-1}(0)\sslash SL_v
\]
carries automorphisms \(S_k\) defined by correspondence varieties \(Z_k\) and principal-bundle isomorphisms on invariant coordinate rings. When the dimension-balance condition
\[
w=Cv
\]
holds for an ADE quiver, the simple reflections satisfy the Coxeter relations and generate a Weyl-group action on \(M(v,w)\). In type \(A\), Wang proves that under the isomorphism
\[
\Xi:M(v,w)\xrightarrow{\sim}(T^*(G/U))_{\mathrm{aff}},
\]
the reflection \(S_k\) matches the quasi-classical Gelfand–Graev action of Ginzburg–Kazhdan; concretely it is given by conjugation by an explicit elementary block matrix \(W_k\) depending on the eigenvalue coordinates of \(x\) [1912.04539].

A separate analytic usage of the Graev name is the Gel'fand–Graev–Radon transform on Euclidean \(\mathrm{AdS}_{n+1}\). For a bulk field \(f\), the transform integrates over horospheres in the embedding space, and under the conformal scaling ansatz on the light cone the inverse transform reconstructs the unique normalizable bulk solution:
\[
\phi(z,x)=\varphi_0^{(n,\Delta)}\int_{\mathbb R^n} d^n\tilde x\;
\Bigl(\frac{z}{z^2+|x-\tilde x|^2}\Bigr)^\Delta
\varphi_0(\tilde x),
\qquad
\Delta(\Delta-n)=m^2L^2.
\]
The paper interprets this as an HKLL-type bulk reconstruction formula and relates loop corrections of bulk correlators to higher-point boundary correlators [1705.06985].

Taken together, these developments show that “Graev construction” no longer denotes a single object. It denotes a family of canonical procedures—metric, ultrametric, polyhedral, Whittaker-theoretic, Hamiltonian, and integral-geometric—whose common feature is the rigid promotion of local data to a global object with strong universal, extremal, or symmetry properties.

Source: https://www.emergentmind.com/topics/graev-construction