Geometric Wavefront Sets in Analysis

• Geometric wavefront sets are microlocal invariants that precisely characterize singularities in distributions and representations by recording both location and phase space direction.
• They are analyzed using transform methods like wavelet, shearlet, and Gabor systems, which reveal detailed directional and localization properties in classical and p-adic contexts.
• Applications span harmonic analysis, representation theory, and supergeometry, with recent counterexamples challenging traditional single-orbit conjectures.

A geometric wavefront set is a rigorous microlocal invariant that captures not only the location of singularities of a distribution or representation but also their directions in phase space. Its geometric refinement in various contexts—analysis, representation theory, and supergeometry—plays a fundamental role in understanding singularities, harmonic analysis, and deep symmetry properties. The concept appears in several incarnations: classical wavefront sets of distributions, geometric wavefront sets of $p$-adic group representations, Gabor wavefront sets in time-frequency analysis, and super wavefront sets in supermanifold theory.

1. Classical and Geometric Wavefront Sets: Analytic Foundations

For a distribution $u$ on a smooth manifold $M$, the classical wavefront set $\mathrm{WF}(u)$ is a closed conic subset of the cotangent bundle minus the zero section, $\mathrm{WF}(u) \subset T^*M \setminus 0$ (Brouder et al., 2014). It records pairs $(x, \xi)$ where $u$ is not smooth at $x$ in the cotangent direction $\xi$:

• $(x_0,\xi_0)\notin\mathrm{WF}(u)$ iff there exists a cutoff $\phi \in C_c^\infty$ with $\phi(x_0)=1$ and a cone $V$ around $\xi_0$ so that $\widehat{\phi u}(\xi)$ decays rapidly (faster than any polynomial) for $\xi$ in $V$.

Key properties include:

• Conicity and Closedness: $\mathrm{WF}(u)$ is conic in each fiber and closed in $T^*M\setminus 0$.
• Functoriality: Well-behaved under diffeomorphisms, pullbacks, and pushforwards.
• Structure Theorems: For $\delta_S$ (delta along a submanifold $S$), $\mathrm{WF}(\delta_S)$ equals the conormal bundle $N^*S$; more generally, wavefront sets of oscillatory integrals (conormal distributions) lie in the conormal bundle to the phase-stationary set.

Alternative characterizations involve the Radon transform, stationary-phase asymptotics, and ellipticity of pseudo-differential operators.

2. Geometric Wavefront Sets in Representation Theory of $p$-adic Groups

For an irreducible smooth representation $\pi$ of a reductive $p$-adic group $G(F)$, the geometric wavefront set is a finite set of nilpotent orbits $O\subset\mathrm{Lie}G(F)$ appearing in the Harish–Chandra local character expansion (Tsai, 2022):

$$\Theta_{\pi}(g) = \sum_{O} c_O(\pi)\,\widehat{I_O\circ\log}(g)$$

Here, $O$ runs over nilpotent $G(F)$-orbits, and $c_O(\pi)$ is nonzero only for "maximal" orbits in the closure order. The geometric wavefront set is refined by considering $G(F^{\mathrm{sep}})$-orbits (over the separable closure).

Recent results have shown the geometric wavefront set may contain multiple orbits, not just a singleton as previously conjectured. For example, for specific epipelagic supercuspidal representations of ramified unitary groups $U_7(E/F)$, at least two distinct nilpotent orbit types, $(4,3)$ and $(5,1,1)$, appear maximally in the expansion. This construction demonstrates that in ramified and "graded" settings, the local character expansion can involve contributions from multiple geometric orbits, invalidating the single-orbit folklore conjecture that prevailed for decades (Tsai, 2022).

In the setting of central covers and Brylinski–Deligne covers, the geometric wavefront set of a genuine representation $\pi$ receives further constraints via order-reversing maps such as the covering Barbasch–Vogan duality (Gao et al., 18 Nov 2025, Gao et al., 22 Jan 2026). For Iwahori-spherical genuine representations, the geometric wavefront set satisfies explicit upper bounds tied to Langlands parameters and signature combinatorics of nilpotent orbits.

3. Resolution of Wavefront Sets: Transform and Frame Characterizations

Resolution and detection of wavefront sets benefit from transform methods—wavelet, curvelet, shearlet, and Gabor systems—which offer localization in both space and frequency (Fell et al., 2014, Kutyniok, 2012, Alberti et al., 2016, Rodino et al., 2012).

Wavelet and Shearlet Characterizations

Continuous wavelet and shearlet transforms permit geometric resolution of the wavefront set for tempered distributions. A point $(x_0,\xi_0)$ is regular (not in the wavefront set) if all analyzing windows (translates and dilations/shears of suitable wavelets) yield rapidly decaying coefficients in directional cones near $\xi_0$. Sufficient conditions on the dilation group—microlocal admissibility and the (weak or strong) cone approximation property—ensure that decay of transform coefficients in these structures is equivalent to microlocal smoothness at $(x_0, \xi_0)$ (Fell et al., 2014, Alberti et al., 2016). In particular, for shearlet systems with anisotropy parameters $0<\lambda_i<1$, all directional singularities of a distribution can be resolved.

Gabor Wavefront Set

The Gabor wavefront set $WF_G(u)$ uses rapid decay of Gabor frame coefficients in conic domains of phase space $(x,\xi)$. For $u\in \mathscr S'(\mathbb{R}^d)$, $z_0\notin WF_G(u)$ if Gabor coefficients $c_\lambda(u)$ decay faster than any polynomial in a conic neighborhood of $z_0$. $WF_G(u)$ coincides with the global Hörmander wavefront set, is invariant under translations, modulations, and metaplectic transforms, and is stable under pseudodifferential operators with symbols in $S_{0,0}^0$ (Rodino et al., 2012).

Geometric Sparsity and Microlocal Separation

In the analysis of multimodal signals (e.g., mixtures of point and curvilinear singularities), geometric sparsity of coefficients in suitable frames (wavelets, curvelets) reflects the underlying wavefront geometry. Single-pass alternating thresholding procedures, using tailored thresholds in both wavelet and curvelet frames, yield index sets converging to the point and curvilinear components' wavefront sets, enabling perfect microlocal separation in asymptotic phase-space sense (Kutyniok, 2012).

4. Super Wavefront Sets and Polarization Structures

For supermanifolds, the super wavefront set $\mathrm{WF}^s(u)$ extends the classical notion to super-distributions $u$ valued in exterior algebras $\Lambda^\bullet \mathbb{R}^n$, encoding both the singular locus in the bosonic base $T^*X_{\rm bos}$ and the fermionic polarization direction in $\Lambda^\bullet\mathbb{C}^n$ (Dappiaggi et al., 2015).

A point $$(x,k,\lambda)\in (T^*U\setminus 0)\times \Lambda^\bullet\mathbb{C}^n$$ lies outside $\mathrm{WF}^s(u)$ if every super-pseudodifferential operator of order $\ell$ mapping $u$ to a smooth function annihilates $\lambda$ at $(x,k)$. The projection onto $T^*U \setminus 0$ recovers the union of the classical wavefront sets of the scalar components. This provides a refined microlocal invariant, sensitive to both the direction and the polarization of singularities—generalizing Dencker’s polarization set in manifold theory.

The theory supports refined pullback and multiplication theorems for superdistributions, extending Hörmander’s results to supergeometry. Applications include the microlocal analysis of solutions to supersymmetric field equations.

5. Geometric Wavefront Sets in Harmonic Analysis and Number Theory

In harmonic analysis on $p$-adic groups, computation of geometric wavefront sets leverages interplay between representation-theoretic structure, the geometry of nilpotent orbits, and deep duality conjectures (Okada, 2021, Gao et al., 18 Nov 2025, Gao et al., 22 Jan 2026). For depth-0 representations, Barbasch–Moy–DeBacker lifting theorems provide a mechanism for calculating unramified and geometric wavefront sets via transfer from finite group representations and their associated Kawanaka wavefronts.

In the context of spherical Arthur packets, the geometric wavefront set corresponds to the image under duality maps (Barbasch–Vogan, Sommers, Achar) applied to orbits parameterizing perverse sheaves on the dual group. For $G=\SL_2$, the trivial and Steinberg representations have geometric wavefront sets corresponding to the zero and regular nilpotent orbits, respectively.

Covering groups and non-linear harmonic analysis require further refinement, as the presence of non-trivial central extensions alters both the representation theory and the combinatorics of nilpotent orbits. The covering Barbasch–Vogan duality and associated upper-bound conjectures systematically encode these refinements and allow for explicit calculation and bounding of geometric wavefront sets in the non-linear, metaplectic, and covering settings (Gao et al., 18 Nov 2025, Gao et al., 22 Jan 2026).

6. Challenges, Counterexamples, and Open Problems

Recent work has produced explicit counterexamples to the long-standing expectation that geometric wavefront sets in $p$-adic representation theory are always singletons (Tsai, 2022). In particular, for certain depth-$\frac12$ supercuspidal representations of $U_7(E/F)$, constructed using explicit self-adjoint matrices in the Moy–Prasad filtration and careful combinatorial and computational checks, the geometric wavefront set contains at least two distinct maximal nilpotent orbits. This demonstrates essential differences between ramified and unramified situations and indicates that in "graded" or wild settings, new continuous invariants play a role—necessitating revised conjectures and a deeper understanding of geometric and arithmetic structure in the local character expansion.

Open questions persist regarding the full scope of non-singleton geometric wavefront sets, their prevalence in classical groups of large rank over small residue fields, and the arithmetic and geometric origins of the associated Fourier coefficients.

---

The theory of geometric wavefront sets now integrates microlocal analysis, harmonic analysis on local fields, modern representation theory, and supergeometry, providing a unifying framework for analyzing the location and directionality of singularities across a broad spectrum of mathematical contexts (Brouder et al., 2014, Tsai, 2022, Fell et al., 2014, Gao et al., 18 Nov 2025, Gao et al., 22 Jan 2026, Alberti et al., 2016, Okada, 2021, Rodino et al., 2012, Dappiaggi et al., 2015, Kutyniok, 2012).