--- title: Generic Stationary Local Character url: https://www.emergentmind.com/topics/generic-stationary-local-character type: topic --- # Generic Stationary Local Character Searching arXiv for recent papers relevant to "generic stationary local character" and closely related uses of the phrase. “Generic stationary local character” does not appear in the listed literature as a single universally standardized formal definition. Instead, it names a recurrent structural pattern in which locality, genericity, and a stationary or large-set condition organize a character-like object, an independence relation, or a local invariant. In geometric representation theory, the closest formal realization is the geometric avatar of a generic stationary local character on a torus or Levi subgroup, where a sufficiently nontrivial multiplicative local system determines an idempotent summand and a generic subcategory on which positive-depth parabolic induction becomes a \(t\)-exact equivalence [2401.07189]. In model theory, “local character” is phrased through club and stationary subsets of \([M]^{|T|}\) and characterizes NSOP\(_1\) over models [1707.02902]. In AEC theory, weak local character is strengthened to full local character inside a good frame [1105.3674]. In probability, local intrinsic location functionals and stationary local random countable sets provide separate stationary-local frameworks [1412.2452], [2212.06003]. ## 1. Terminological status and scope The term is best understood as a family resemblance rather than a single doctrine. Some papers explicitly use it only heuristically. The mod-\(\ell\) paper on local character expansion says that its construction is “closely related to the idea of a ‘generic stationary local character’ only in a loose structural sense” and also states that it “does **not** formulate or prove any genericity/stationarity theorem in the usual sense” [2510.20510]. Likewise, the paper on the explicit LLC for \(G_2\) states that it does **not** introduce a special term “generic stationary local character” as a formal definition, but instead studies local character germs on neighborhoods of semisimple or topologically unipotent elements [2304.02630]. This usage pattern separates at least three technical meanings. First, there is a geometric-representation-theoretic meaning, where genericity is imposed on local systems or coadjoint data and locality is encoded by sheaf-theoretic support or induction from parahoric or finite-level subgroups. Second, there is a model-theoretic meaning, where “local character” is a structural property of independence, and “stationary” refers to stationary or club subsets of a natural poset of small submodels. Third, there is a probabilistic meaning, where stationarity is literal translation-invariance and locality is encoded by interval-wise dependence or measurability. A common misconception is that every paper involving “local character” or “stationary” is addressing the same notion. The listed works show otherwise. Some use the phrase as a geometric or structural analogy; others use “stationary” in the set-theoretic sense of stationary subsets; others use it in the ergodic or stochastic-process sense. ## 2. Geometric realization on parahoric group schemes The most direct formal realization occurs in the theory of positive-depth character sheaves on parahoric group schemes. For a connected reductive group over \(\breve F\), a point \(x\) in the Bruhat–Tits building, and \(r>0\), the Moy–Prasad filtration gives a smooth affine group scheme \(G_{x,r}\), and the paper writes \[ G_r := G_{0:r+}. \] If \(P=LU_P\) is a parabolic with \(T\subset L\), then one has \[ T_r \subset L_r \subset P_r \subset G_r,\qquad U_{P,r}\subset P_r. \] A multiplicative local system on an algebraic group \(H\) is a rank-1 local system \(L\) such that \[ \mu^*L \cong L\boxtimes L. \] For a generic element \(X_\psi\in \mathfrak l^*\), the paper defines \[ L_\psi := \FT(\delta_{X_\psi})\in D(l),\qquad F_\psi := \FT(\delta_{G(X_\psi)})\in D(g), \] extends them to \(L_{\psi,r}\in D_{L_r}(L_r)\) and \(F_{\psi,r}\in D_{G_r}(G_r)\), and proves that they are idempotent for convolution: \[ L_{\psi,r}\star_!L_{\psi,r}\cong L_{\psi,r},\qquad F_{\psi,r}\star_!F_{\psi,r}\cong F_{\psi,r}. \] The associated generic subcategories are \[ D_{L_r}^\psi(L_r):=L_{\psi,r}\star_! D_{L_r}(L_r),\qquad D_{G_r}^\psi(G_r):=F_{\psi,r}\star_! D_{G_r}(G_r). \] The genericity condition requires that \(X_\psi\) not vanish on any root space outside \(L\), and that its stabilizer in the Weyl group be exactly that of \(L\). The paper identifies this as the geometric avatar of a generic stationary local character: the local system is sufficiently nontrivial along all directions transverse to the Levi [2401.07189]. The central theorem is that positive-depth parabolic induction becomes an equivalence on this generic locus. With \[ \pInd_{P_r!}^{G_r} := \Av_{P_r!}^{G_r}\circ i_!\circ \Infl_{L_r}^{P_r}\circ p^*, \qquad \pRes_{P_r!}^{G_r} := p_!\circ i^*\circ \For_{L_r}^{G_r}, \] the paper proves that \[ \pInd_{P_r!}^{G_r}\colon D_{L_r}^\psi(L_r)\xrightarrow{\sim} D_{G_r}^\psi(G_r) \] is a \(t\)-exact equivalence, with inverse \[ L_{\psi,r}\star_!\pRes_{P_r!}^{G_r}. \] On the generic locus, \(\pInd_{P_r!}^{G_r}\cong \pInd_{P_r*}^{G_r}\), the corresponding restriction functors agree after convolution with \(L_{\psi,r}\), perversity is preserved, and simple perverse sheaves are sent to simple perverse sheaves. This is the categorical content of “stationary local character” in this setting: generic data carve out a stable categorical chamber in which induction is invertible and exact [2401.07189]. The iterative construction of a generic datum \[ \Psi=(T,\vec G,x,\vec r,F_\rho,\vec L) \] produces a simple \(G_r\)-equivariant perverse sheaf \(K_\Psi\), yielding a family of positive-depth character sheaves. In the toral case \(P=B\), \(L=T\), a sufficiently generic multiplicative local system on \(T_r\) gives \[ \pInd_{B_r}^{G_r}(L[\dim T_r]) \cong (j_{vreg})_{!*}\bigl((\pi_{vreg})_! f_{vreg}^*L_{vreg}[\dim G_r]\bigr), \] which resolves Lusztig’s conjecture in positive depth. Under a mild condition on \(q\), the Frobenius trace matches parahoric Deligne–Lusztig induction: \[ \chi_{\pInd_{B_r}^{G_r}(L[\dim T_r])}(g) = (-1)^{\dim G_r}\,\Theta_{R_{T_r}^{G_r}(\chi_L)}(g). \] Accordingly, the “character” aspect is not merely parameterizing data: it is realized by simple perverse sheaves whose traces recover representation-theoretic characters [2401.07189]. ## 3. Generic character sheaves over finite local rings A related realization appears for reductive groups over finite local rings at even level. In that setting one works with a smooth affine group scheme \(\mathbb G\) over \(\mathcal O/\pi^r\), with \(r\) a fixed positive even integer, and after the Greenberg functor obtains an algebraic group \[ G=G_r=\mathcal{F}\mathbf{G} \] with Frobenius \(F\) and \[ \mathbb{G}(\mathcal{O}/\pi^r)\cong G^F. \] For a maximal torus \(T\subseteq G\) and a character \(\theta\in \widehat{T^F}\), the paper distinguishes general position, regularity, and genericity, where generic means regular plus general position plus a stabilizer condition on the trivial extension \(\widetilde\theta\) to \((TU^{\pm})^F\). The higher Deligne–Lusztig representation is \[ R_{T,U}^{\theta} =\sum_i (-1)^i H^i_c(L^{-1}(FU),\overline{\mathbb{Q}_\ell)_\theta, \] and for generic \(\theta\) one has \[ R_{T,U}^{\theta}\cong \mathrm{Ind}_{(TU^{\pm})^F}^{G^F}\widetilde{\theta}. \] The paper explicitly presents this as its version of a “Generic Stationary Local Character”: a character built geometrically from a perverse complex whose Frobenius trace is the higher Deligne–Lusztig character [1604.02016]. The geometric construction uses \[ Z_T:=\{(g, xTU^{\pm})\in G\times G/TU^{\pm}\mid g^x\in TU^{\pm}\}, \] with maps \[ T \xleftarrow{\,b\,} Z_T \xrightarrow{\,a\,} G. \] For the rank-one local system \(E^\theta\) on \(T\), the generic character sheaf is \[ K^\theta := Ra_! b^* E^\theta. \] Its characteristic function is \[ \chi_{K^\theta,\varphi}(g) =\sum_i (-1)^i \mathrm{Tr}\bigl(\varphi_g,\mathcal{H}^i(K^\theta)_g\bigr), \qquad g\in G^{F^m}, \] and the key identity is \[ \chi_{K^\theta,\varphi}(g)=\mathrm{Tr}(g,R_{T,U}^\theta). \] This packages locality in the correspondence \(T \xleftarrow{b} Z_T \xrightarrow{a} G\), genericity in the conditions on \(\theta\), and character in the sheaf-function correspondence [1604.02016]. The paper conjectures that if \(\theta\) is geometrically generic, then \[ K^\theta[\dim G] \] is a simple perverse sheaf, and proves this for \(r=2\). It also develops induction, restriction, and Frobenius reciprocity for these complexes. In this finite-ring setting, the phrase therefore denotes a fully geometric local-character package: local systems on \(T\), induced sheaf complexes on \(G\), and Frobenius traces equal to higher Deligne–Lusztig characters [1604.02016]. ## 4. Stationary local character in model theory and AECs In model theory, “stationary local character” has a genuinely set-theoretic meaning. For NSOP\(_1\) theories, the local character of Kim-independence is expressed in terms of club and stationary subsets of \([M]^{|T|}\). If \(M\models T\) and \(p\) is a type over \(M\), the paper proves that the collection of elementary substructures of size \(|T|\) over which \(p\) does not Kim-fork is a club of \([M]^{|T|}\), and that this property characterizes NSOP\(_1\) [1707.02902]. More precisely, the equivalent formulations include the statement that \[ \{\, N\prec M : |N|=|T| \text{ and } p \text{ does not Kim-divide over } N \,\} \] is a club in \([M]^{|T|}\). The paper also proves a dual local-character theorem for dual types, again with stationary and club formulations. This reframes local character away from base monotonicity. In simple theories, forking local character is often expressed by shrinking to a small base and using monotonicity. For Kim-independence in NSOP\(_1\), base monotonicity fails in general unless the theory is simple, so the replacement is not a cone of smaller bases but a club of good bases. The paper describes this as a kind of stationary or generic local character over models [1707.02902]. An older AEC result treats a different but related problem. Starting from Shelah’s non-forking relation on an almost good \(\lambda\)-frame, the paper “Weakening the local character” upgrades weak local character to full local character. The local character axiom states that for every limit ordinal \(\delta<\lambda^+\), if \((M_i : i\leq \delta)\) is an increasing continuous sequence of models in \(K_\lambda\) and \[ \operatorname{ga}\text{-tp}(a,M_\delta,M_{\delta+1})\in S^{bs}(M_\delta), \] then there exists \(i<\delta\) such that the type does not fork over \(M_i\). The earlier weak local character only guaranteed such behavior along \(<^*\)-increasing chains. The paper proves that the induced relation \(\nfNF\) yields a full good \(\lambda\)-frame, so the resulting non-forking calculus satisfies the main properties of non-forking in superstable first-order theories [1105.3674]. Across these two model-theoretic settings, “stationary local character” refers not to characters of representations but to the largeness of the set of local bases witnessing independence. The stationary component is literal stationarity in the club/stationary-set sense, and the local component is the existence of a small elementary submodel or earlier stage in a chain over which the type stabilizes. ## 5. Probabilistic stationary-local frameworks In stochastic-process theory, a distinct stationary-local theory is developed through intrinsic location functionals. For a path space \(H\) closed under translations and compact non-degenerate intervals \(\mathcal I\), an intrinsic location functional is a map \[ L:H\times \mathcal I \to \mathbb R\cup\{\infty\} \] satisfying measurability, interval-valuedness, shift compatibility, stability under restrictions, and consistency of existence. The paper then introduces a local version \(L_T:H\times\mathbb R\to\mathbb R\cup\{\infty\}\) for fixed \(T>0\), defined on windows \([a,a+T]\) with a local consistency axiom replacing the global restriction axioms [1412.2452]. The main stationary characterization is that for a continuous stochastic process \(X\), stationarity is equivalent to the condition that for any \(T>0\) and any local intrinsic location functional \(L_T\), the law of \[ L_T(X,a)-a \] does not depend on \(a\). Equivalently, \(L_T(X,a)\) has a density on \((a,a+T)\) satisfying the total variation constraints. The paper also proves that every such location can be represented as the maximal element of a random partially ordered set over the interval, and that as the interval slides the chosen location changes in a piecewise linear way described by Theorem 5.1 [1412.2452]. A related Wiener-noise theory studies stationary local random countable sets. A random countable set \(M\) on two-sided Wiener space is local if for every \(sr} = \left(\dim_C\Hom_{G_{x\ge s}}(\psi_\phi,\pi)\right)_{s>r,(x,\phi)\in dMP(s)}, \] in the basis of nilpotent-orbit vectors \(v_O^{>r}\), leading to \[ \dim_C\Hom_{G_{x\ge s}}(\psi_\phi,\pi) = \sum_{O\in(g^*)^{\mathrm{nil}/\sim}} \mu_O([\phi+g^*_{x>-s}])\cdot c_O(\pi,\psi). \] The paper stresses, however, that this is a stable expansion framework rather than a theorem about genericity or stationarity in the usual sense [2510.20510]. The paper on the explicit LLC for \(G_2\) studies Harish-Chandra local character theory, Adler–Korman expansions near tame semisimple elements, and stability of \(L\)-packet sums. Its “local character” is the locally constant character function on neighborhoods of semisimple or topologically unipotent elements, and the stable combinations are detected by cancellation of unstable Green-function terms. This is local character theory in the representation-theoretic sense, but not a formal theory of generic stationary local character [2304.02630]. Other uses of “generic,” “stationary,” and “local” are further removed. The paper on non-generic character stacks studies prescribed semisimple local monodromies and their effect on the cohomology of character stacks; genericity there concerns the absence of proper compatible invariant subspaces, not a stationary local character principle [2310.01306]. The active-matter paper on “Generic nonlocal statistics of the stationary measure in conserved active systems” addresses stationary measures, nonanalytic Fourier kernels, and the failure of a local Landau–Ginzburg expansion; despite the co-occurrence of “generic,” “stationary,” and “local,” its subject is a perturbative theory of nonequilibrium stationary measures rather than local character in any representation-theoretic or model-theoretic sense [2606.14483]. Taken together, these boundaries suggest that the phrase is most precise when the surrounding paper explicitly ties genericity to a local object and a stable or stationary regime. Where that tie is absent, the phrase is best treated as analogical rather than terminological. ## 7. Conceptual synthesis Across the listed works, three recurrent ingredients appear. The first is a local datum: a multiplicative local system on a torus or Levi, a type over a model, a local intrinsic location functional, or a local random countable set. The second is a largeness or stability condition: genericity of \(X_\psi\) or \(\theta\), a club subset of \([M]^{|T|}\), or translation-invariant stationarity under shifts. The third is an output that is rigid enough to be canonical: a generic subcategory and simple perverse sheaf, a non-Kim-dividing base, a full good frame, a distributional characterization of stationarity, or a minimal stationary local set. In geometric representation theory, this synthesis is strongest. A generic stationary local character is what isolates the summand \[ D_{L_r}^\psi(L_r)\ \xleftrightarrow[\ L_{\psi,r}\star_!\pRes\ ]{\ \pInd\ }\ D_{G_r}^\psi(G_r), \] preserves perversity, and aligns character sheaves with parahoric Deligne–Lusztig theory [2401.07189]. In the finite-local-ring setting, it is the local system \(E^\theta\) whose induced complex \(K^\theta\) has characteristic function equal to the higher Deligne–Lusztig character [1604.02016]. In model theory, it is the club-sized family of small bases over which Kim-dividing disappears [1707.02902]. In stochastic settings, it is the local rule whose translation-invariant law detects stationarity [1412.2452]. The phrase therefore denotes not a single invariant but a shared architecture: a local object, a generic or stationary regime, and a resulting exactness, rigidity, or canonical expansion. This suggests that the enduring content of “generic stationary local character” is structural rather than lexical. Source: https://www.emergentmind.com/topics/generic-stationary-local-character