---
title: Asymptotic Character Map
url: https://www.emergentmind.com/topics/asymptotic-character-map
type: topic
---

# Asymptotic Character Map

The asymptotic character map is a representation-theoretic morphism from the Grothendieck group of a category \(\mathcal O\) attached to an integral filtered quantization to rational functions on the Lie algebra of a torus. It is defined by taking the usual weight character of a module, scaling weights by \(1/n\), normalizing by \(n^d\), and passing to a limit, where \(d\) is the Gelfand–Kirillov dimension / dimension of the support. In the framework developed for filtered quantizations and then applied to truncated shifted Yangians, the asymptotic character is shown to compute the equivariant multiplicity of the characteristic cycle; this places asymptotic character theory at the intersection of category \(\mathcal O\), Hamiltonian torus actions, equivariant Borel–Moore homology, Mirković–Vilonen geometry, and KLR character theory [2507.16215].

## 1. Definition and ambient framework

The general setup begins with a filtered algebra \(A\) with filtration \(F^\bullet\). The hypotheses are that \(A\) has a separated increasing filtration \(F^\bullet\), that \(A\) is finitely generated, that
\[
R:=\operatorname{gr}_F A=\bigoplus_n F^nA/F^{n-1}A
\]
is commutative and finitely generated, and that the filtration admits an expansion
\[
A\simeq \operatorname{gr}_F A
\]
as filtered vector spaces [2507.16215].

The relevant category \(\mathcal O\) is attached to a cocharacter \(\rho^\vee\in X_*(T)\) and is defined by
\[
\mathcal O=\{A\text{-modules on which }A_{\ge 0}\text{ acts locally finitely}\}.
\]
The asymptotic character is first defined on the Gelfand–Kirillov truncated pieces
\[
K_0(\mathcal O_{\le d}),
\qquad
\mathcal O_{<d},
\qquad
\mathcal O_{=d}:=\mathcal O_{\le d}/\mathcal O_{<d}.
\]
If \(t=\operatorname{Lie}(T)\), then for \(M\in\mathcal O_{\le d}\) the asymptotic character is
\[
{}_d(M)(h)=\lim_{n\to\infty}\frac{1}{n^d}\sum_{\mu}\dim M(\mu)\,e^{\langle \mu,h\rangle/n}, \qquad h\in t.
\]
This definition extracts the leading asymptotic behavior of the ordinary weight character near the identity in the torus, with the normalization chosen to isolate the contribution in support dimension \(d\) [2507.16215].

The ordinary character itself is regarded as a map into a formal character space. For a weight module \(V\),
\[
\chi(V)=\sum_{\mu\in t^\ast}\dim V(\mu)\,e^\mu.
\]
The target is the \(\mathbb C\)-vector space of formal sums
\[
\sum_{\mu\in t^\ast} d_\mu e^\mu,
\]
with multiplication defined whenever one factor has finite support, and more generally for sums supported in suitable cones. The asymptotic character map refines this formal character by replacing it with a scaling limit valued in rational functions on \(t\) [2507.16215].

## 2. Rationality and the commutative model

A key point is that the limit in the definition is not merely formal. Under the stated hypotheses, the asymptotic character becomes a rational function on \(t\), giving a group homomorphism
\[
{}_d:K_0(\mathcal O_{\le d})\to \operatorname{Rat}(t),
\]
and the kernel contains \(K_0(\mathcal O_{<d})\) [2507.16215].

The mechanism for rationality passes through the associated graded algebra and then to a polynomial model. One introduces the repelling set
\[
X_-=\operatorname{Spec}R_-,
\]
a reduced quotient \(\tilde R_-\), and a polynomial algebra
\[
C=\mathbb C[x_1,\dots,x_N]
\]
with a torus action and a surjection
\[
\pi:C\to \tilde R_-.
\]
For a finitely generated \(T\)-equivariant \(C\)-module \(V\), the character takes the form
\[
\chi(V)=\frac{\sum_\lambda n_\lambda e^\lambda}{\prod_{i=1}^N(1-e^{-\beta_i})}.
\]
From this expression the paper constructs the equivariant Hilbert polynomial \(p_{C,V}\), and the crucial asymptotic identity is
\[
\lim_{n\to\infty}\frac{1}{n^d}\sum_\mu \dim V(\mu)\,e^{\mu/n} = \frac{p_{C,V}}{\prod_{i=1}^N \beta_i}.
\]
This is the formal step that converts the asymptotic character from a scaled exponential sum into a rational function [2507.16215].

This rationality statement is not secondary. It identifies asymptotic character as an invariant that is simultaneously character-theoretic and geometric: it is built from weight multiplicities, but its final form is governed by the same denominator data that appear in equivariant multiplicity theory.

## 3. Characteristic cycles and equivariant multiplicity

The central theorem identifies the asymptotic character with the equivariant multiplicity of the characteristic cycle. For a good filtration on a finitely generated \(A\)-module \(M\), one has \(\operatorname{gr}M\), and the support cycle defines
\[
[\operatorname{supp}_d(\operatorname{gr}M)]\in \mathbb H_{2d}^{\mathrm{BM}}(X).
\]
The characteristic cycle map is then
\[
\CC_{\le d}:=[\operatorname{supp}_d()]\circ[\operatorname{gr}()]: K_0(A_{\le d})\to \mathbb H_{2d}(X),
\]
and, in the supported-on-\(Y\) version,
\[
\CC^Y_{\le d}:K_0(\mathcal O_{\le d})\to \mathbb H_{2d}(Y)
\]
[2507.16215].

If
\[
\CC_{\le d}^{\tilde X_-}([M])=\sum_i n_i[Z_i]\in \HH_{2d}(\tilde X_-),
\]
then the asymptotic character satisfies
\[
{}_d(M)=\sum_i n_i\,\epsilon^T(Z_i)=\epsilon^T\big(\CC_{\le d}([M])\big).
\]
Here \(\epsilon^T\) is the equivariant multiplicity map on \(T\)-equivariant Borel–Moore homology, and the \(Z_i\) are the \(d\)-dimensional irreducible components of the support of the associated graded module [2507.16215].

This theorem gives the asymptotic character map its defining significance. It is not merely a renormalized character, and not merely a large-\(n\) extraction device. It is an exact bridge between representation theory and the geometry of characteristic cycles. In this sense, the asymptotic character computes a localized equivariant invariant of singular support rather than a generic growth rate.

## 4. Truncated shifted Yangians and category \(\mathcal O\)

The abstract formalism is applied to truncated shifted Yangians
\[
Y_\mu^\lambda(R),
\]
associated to a simply-laced Lie algebra \(g\), a shift \(\mu\), a dominant coweight \(\lambda\), and integral parameters \(R\). The paper verifies that these algebras satisfy the hypotheses required for the asymptotic character formalism: filtered algebra hypotheses, Hamiltonian torus action, \(B\)-finiteness, \(B\)-integrality, and local fixed-point algebra conditions [2507.16215].

The relevant category is
\[
\mathcal O_\mu^\lambda(R).
\]
For \(M\in \mathcal O_\mu^\lambda(R)\), with
\[
d=\operatorname{ht}(\lambda-\mu),
\]
the asymptotic character is related to Mirković–Vilonen geometry by
\[
\varsigma({}_d(M))=\sum_Z n_Z\,\epsilon^T_{L_\mu}(Z),
\]
where the sum runs over MV cycles \(Z\) appearing in the characteristic cycle of \(M\), and
\[
\varsigma(f)(h)=f(-h)
\]
is the sign-twist arising from an anti-\(T\)-equivariance convention [2507.16215].

This application makes the asymptotic character map a concrete tool in geometric representation theory. The category \(\mathcal O\) of a filtered quantization, the characteristic cycle, and the equivariant multiplicity of MV cycles become different realizations of the same invariant. A plausible implication is that the asymptotic character serves as a uniform interface between algebraic and geometric incarnations of highest-weight-type representation theory for these quantized Coulomb-branch-related objects.

## 5. KLR characters, the \(\overline D\)-map, and basis comparisons

The paper next connects the Yangian-side asymptotic character to KLR and cyclotomic KLR representation theory. It recalls the KLR algebra
\[
R=\bigoplus_{\nu\in Q_+}R_\nu,
\]
the cyclotomic quotient \(R^\lambda_\nu\), the KLRW algebra and its steadied quotient, and the cyclotomic idempotent \(e_{\mathrm{cyc}}\), together with the isomorphism
\[
(e_{\mathrm{cyc}})T_\mu^\lambda(e_{\mathrm{cyc}})\simeq R^\lambda_{\lambda-\mu}.
\]
An equivalence of categories identifies the Yangian category \(\mathcal O\) with a parity KLRW category,
\[
\Theta:\mathcal O_\mu^\lambda(R)\xrightarrow{\sim}P_\mu^R,
\]
and composition with the cyclotomic idempotent functor gives
\[
\Theta_{\mathrm{cyc}}:\mathcal O_\mu^\lambda(R)\to R^\lambda_{\lambda-\mu}
\]
[2507.16215].

The asymptotic character then matches the bar-character on the cyclotomic KLR side:
\[
\varsigma({}_d(M))=\overline{\operatorname{ch}\big(\Theta_{\mathrm{cyc}}(M)\big)}.
\]
At the same time, the paper connects the construction to Baumann’s map
\[
\overline D:[N]\to (h),
\]
which on MV basis elements computes equivariant multiplicity at the bottom fixed point:
\[
\overline D(b_Z)=\epsilon^T_{L_{-\nu}}(Z).
\]
Thus asymptotic characters on the Yangian side correspond to \(\overline D\)-values on the KLR side [2507.16215].

The broader consequence is formulated as evidence for a change-of-basis statement between the dual canonical basis and the MV basis of \(\mathbb C[N]\). The paper does not prove the full change-of-basis theorem, but it interprets the commutative diagram involving characteristic cycles, asymptotic characters, KLR characters, and MV geometry as evidence that the change-of-basis matrix is computed by characteristic-cycle multiplicities and therefore has non-negative integer coefficients [2507.16215].

## 6. Terminological scope and nearby constructions

The expression “asymptotic character map” is specific in the filtered-quantization and category \(\mathcal O\) setting just described, but nearby areas use related language for structurally different objects. In \(p\)-adic representation theory, one paper describes a semisimple-centered asymptotic expansion
\[
\Phi_\pi(\gamma\dotm\mexp(Y)) = \sum_{\OO} b_\OO(\pi,\gamma)\,\Ohat^{H\conn}_\OO(Y),
\]
and explains that the resulting “asymptotic character map” is conceptually the assignment
\[
\pi \longmapsto \bigl(b_\OO(\pi,\gamma)\bigr)_{\OO},
\]
namely the coefficient vector of a local character expansion near a semisimple element rather than a morphism from \(K_0(\mathcal O)\) to rational functions [1701.02417]. A second \(p\)-adic construction makes the passage
\[
\text{finite quotient character}\;\leadsto\;\text{Fourier support}\;\leadsto\;\text{asymptotic cone}\;\leadsto\;\text{wave front set}
\]
precise, and calls this an “asymptotic character” viewpoint for positive-depth local character expansions [2307.06780].

In noncommutative geometry, the asymptotic Connes–Moscovici characteristic map extends the classical Connes–Moscovici characteristic map by replacing the cyclic-cohomology target with asymptotic cyclic cohomology. There the map is built from a cup product, a diagonal morphism, and a characteristic homomorphism
\[
\chi(h^1\cdots h^n\mid t_1,\ldots,t_n)(a_0,\ldots,a_n)
=
{\rm Str}\!\left( a_0e(t_1)h^1(a_1)e(t_2-t_1)\cdots e(t_n-t_{n-1})h^n(a_n)e(1-t_n) \right),
\]
and it is used to recover index and spectral-flow cocycles rather than weight-multiplicity asymptotics [1705.10137].

A further nearby but distinct usage arises in \(SU(2)\) recoupling theory, where asymptotic analysis of Wigner matrix elements yields the character formula
\[
\chi^J(g)=\frac{\sin\!\left[\left(J+\frac12\right)\theta\right]}{\sin(\theta/2)},
\qquad
\cos\frac{\theta}{2}=\cos\frac{\beta}{2}\cos\frac{\alpha+\gamma}{2},
\]
and the remarkable point is that an “asymptotic” derivation reproduces the exact \(SU(2)\) character formula through a localization-like phenomenon for a discrete sum. This concerns the asymptotics of characters, not an asymptotic character map in the category-\(\mathcal O\) sense [1009.5632].

These distinctions remove a common source of ambiguity. The filtered-quantization asymptotic character map is a morphism on a Grothendieck group whose values are rational functions and whose meaning is fixed by characteristic cycles and equivariant multiplicities; the similarly named constructions in \(p\)-adic harmonic analysis, cyclic cohomology, and \(SU(2)\) asymptotics address different invariants, different targets, and different geometric mechanisms.

Source: https://www.emergentmind.com/topics/asymptotic-character-map