--- title: Helffer-Nourrigat Cone in Hypoelliptic Analysis url: https://www.emergentmind.com/topics/helffer-nourrigat-cone type: topic --- # Helffer-Nourrigat Cone in Hypoelliptic Analysis Searching arXiv for the cited papers to ground the article and citations. arxiv_search(query="Helffer Nourrigat cone maximal hypoellipticity principal symbol", max_results=10) arxiv_search(query="2411.02961 2201.12060 2408.00091 2512.11434 2601.22122 2601.13741 2509.01133", max_results=10) The **Helffer-Nourrigat cone** is a conic object attached to Hörmander-type systems of vector fields, filtered manifolds, graded nilpotent Lie groups, Carnot manifolds, and singular foliations. In its now standard sub-Riemannian formulation, it is the closed subset of covectors, coadjoint orbits, or irreducible unitary representations that remains visible under the anisotropic blow-up determined by a filtration; in that sense it replaces the cotangent bundle \(T^*M\) as the phase space relevant for hypoelliptic regularity and principal symbol theory [2201.12060][2512.11434]. Closely related literature also uses Helffer-Nourrigat cone language for conic parameter sets governing hypoelliptic sub-Laplacians on graded Lie algebras, while harmonic-analysis work on cone restriction invokes Helffer and Nourrigat in a different historical lineage associated with the geometric cone \(\mathcal C \subset \mathbb R^n\) of Fourier restriction [2408.00091][2411.02961]. ## 1. Definitions and scope Let \(M\) carry a Lie filtration \(F^1 \subset F^2 \subset \dots \subset TM\) generated by vector fields satisfying Hörmander’s bracket-generating condition. At each \(x\in M\), the associated graded Lie algebra is \[ gr_x(F) := \bigoplus_{j \geq 1} F^j_x / F^{j-1}_x, \] and the osculating group is \(G_x := \exp(gr_x(F))\). The Helffer-Nourrigat cone arises from the limiting behavior of cotangent directions under the dilations dictated by the filtration, and only the corresponding representations of \(G_x\) enter the principal symbol calculus [2201.12060][2512.11434]. A pointwise definition used in the pseudodifferential-calculus literature is \[ T^*_pF=\{\xi\in \operatorname{gr}(F)^*_p : (p, \xi, 0) \in \overline{T^*M \times \mathbb{R}_+^\times} \subseteq a^*\}. \] The global cone is then described as \[ HN(F) := \bigsqcup_{x \in M} \frac{T^*_xF}{Ad^*(G_x)} \subset \bigsqcup_{x \in M} \widehat{G_x}, \qquad HN_0(F)=HN(F)\setminus\text{trivial rep}. \] This construction identifies the relevant “directions at infinity” for hypoellipticity, not merely the commutative cotangent directions but also those created by higher commutators [2201.12060][2512.11434]. A geometrically equivalent description emphasizes tangent cones. If \(\mathfrak g\) is the nilpotent Lie algebra generated by the model vector fields at \(x\), and \(G_x^0\) is the set of limit subalgebras arising from tangent cones, then \[ T_x = \bigcup_{\mathfrak h \in G_x^0} \mathfrak h^\perp \subset \mathfrak g^*. \] This formulation makes explicit that the cone is the union of annihilators of all possible tangent Lie subalgebras, encoding the directions relevant for the symbol test for maximal hypoellipticity [2504.13508]. | Context | Representative definition | Analytic role | |---|---|---| | Filtered/sub-Riemannian calculus | \(T_x^*F\), \(HN(F)\), \(HN_0(F)\) | Phase space for operator-valued principal symbols | | Carnot sub-Laplacians | \(E(\mathfrak g,N)\) | Parameter cone for hypoellipticity and index questions | | Cone restriction theory | \(\mathcal C \subset \mathbb R^n\) | Geometric cone for Fourier restriction estimates | ## 2. Operator-valued principal symbols and maximal hypoellipticity For vector fields \(X_1,\ldots,X_m\) on \(M\), possibly with weights \(v_1,\ldots,v_m\), every differential operator \(D\) may be written as a noncommutative polynomial \(D=P(X_1,\ldots,X_m)\). The generalized principal symbol is defined at \(x\) and an irreducible representation \(\pi\) of the osculating group by \[ \tilde{\sigma}(D, x, \pi) = P_{max,x}(d\pi(\tilde{X}_1),\dots,d\pi(\tilde{X}_m)), \] where \(P_{max,x}\) is the top weighted-homogeneous part of \(P\) with coefficients frozen at \(x\). A key point is that this representation-theoretic symbol is well defined on the Helffer-Nourrigat cone \(\mathcal T_x^*F\) [2201.12060]. The central theorem proved in the modern calculus is the equivalence between invertibility of this symbol on the Helffer-Nourrigat cone and maximal hypoellipticity. Concretely, for a differential operator of Hörmander order \(k\), the following are equivalent: for every \(x\in M\) and every nontrivial \(\pi\in \mathcal T_x^*F\), the symbol \(\tilde{\sigma}(D,x,\pi)\) is injective on \(C^\infty(\pi)\); for all or some \(s\), \(Du\in \tilde H^s(M)\) implies \(u\in \tilde H^{s+k}(M)\); and, when \(M\) is compact, \(D:\tilde H^{s+k}\to \tilde H^s\) is left-invertible modulo compact operators. This gives an affirmative resolution of the conjecture due to Helffer and Nourrigat [2201.12060]. The same equivalence appears in a more abstract \(C^*\)-calculus. In the graded nilpotent group setting, one considers spaces \[ A_k = \{ u \in \mathcal{D}'_c(\mathfrak{g}) : \alpha_\lambda(u) - \lambda^k u \in C_c^\infty(\mathfrak{g}),\ \forall \lambda > 0 \}, \] with \(\alpha_\lambda\) the group dilations. For \(u\in A_k\), injectivity of \(\pi(\sigma^k(u))\) and of the adjoint symbol in every nontrivial irreducible unitary representation is equivalent to topological isomorphism on Sobolev and distribution spaces and to the existence of a two-sided parametrix modulo smoothing. This packages the original Helffer-Nourrigat theorem and the Rockland criterion into a Type I \(C^*\)-algebra framework [2601.13741]. ## 3. Microlocal refinement The microlocal version introduces a cone depending on both a base point and a classical covector. For \((x,\xi)\in T^*M\setminus 0\), the Helffer-Nourrigat cone is \[ H_{(\xi, x)} = \left\{ \eta \in \mathfrak{g}_x^* : \exists\, (\xi_n, x_n) \to (\xi,x),\ t_n \to 0,\ \left\langle \xi_n, t_n^k X(x_n) \right\rangle \to \langle \eta, [X]_{k,x} \rangle\ \forall X \in F^k \right\}. \] Here \(\mathfrak g_x\) is the osculating graded nilpotent Lie algebra at \(x\). This microlocal cone records all directions accessible by rescaling a fixed cotangent direction through the filtered geometry [2601.22122]. In the bi-graded calculus \(\Psi^{(k,l)}(M)\), which contains both the classical pseudodifferential calculus and a calculus adapted to the sub-Riemannian structure, the principal symbol becomes a family of operators \[ \sigma^{(k,l)}(P, \pi, \xi, x) \] indexed by irreducible unitary representations \(\pi\) associated with \(H_{(\xi,x)}\). The open set on which microlocal maximal hypoellipticity holds is \[ \Gamma = \left\{ (\xi, x) \in T^*M \setminus 0\ :\ \forall \pi \in \widehat{H_{(\xi,x)}},\ \sigma^{(k,l)}(P, \pi, \xi, x)\text{ is injective} \right\}. \] On \(\Gamma\), the paper proves \[ WF_{(s, t)}(P w)\ \cap\ \Gamma = WF_{(s+\Re(k), t+\Re(l))}(w)\ \cap\ \Gamma, \] together with a microlocal parametrix on every closed cone \(\Gamma' \subset \Gamma\). This establishes the microlocal version of the Helffer-Nourrigat conjecture [2601.22122]. A plausible implication is that the Helffer-Nourrigat cone should be viewed not merely as a global replacement for \(T^*M\setminus 0\), but as the precise microlocal defect set where hypoellipticity can fail. That formulation is consistent with both the global theorem and its microlocal refinement [2201.12060][2601.22122]. ## 4. Topology, stratification, and \(C^*\)-algebraic structure The topology of the Helffer-Nourrigat cone is typically singular. Even for a fixed nilpotent group, the coadjoint-orbit quotient is usually not Hausdorff, and across a filtered manifold the dimensions of the osculating groups may vary. For that reason the cone is often too singular to support a direct geometric treatment comparable to the smooth cotangent bundle [2512.11434]. A desingularization is provided by extending the Pedersen-Pukanszky stratification of the unitary dual. One obtains a filtration by open sets \[ \emptyset = U_0 \subset U_1 \subset \cdots \subset U_d = HN(F), \] with strata \(\Omega_j = U_j \setminus U_{j-1}\) that are locally compact Hausdorff. At regular points, these strata restrict to the Pedersen strata of the osculating group \(G_x\). The dilation action preserves the stratification [2512.11434]. This stratification controls the structure of the symbol algebra and the order-zero calculus. The relevant short exact sequence is \[ 0 \to \mathcal{K}(L^2(M)) \to \Psi_{F}(M) \xrightarrow{\sigma^0} \Sigma_{F}(M) \to 0, \] and the spectrum of the principal symbol algebra satisfies \[ \operatorname{Spec}( \Sigma_{F}(M) ) \cong HN_0(F)/\mathbb{R}_+^*. \] Moreover, the associated ideals admit explicit subquotients \[ \frac{\Sigma_j}{\Sigma_{j-1}} \cong C_0\!\left( \Omega_j/\mathbb{R}_+^*, \mathcal{K}_j \right), \] where \(\mathcal K_j\) is the compact-operator algebra on a separable Hilbert space, infinite-dimensional for \(j2\) with \(\dim(\mathfrak g_{-2})=1\), \[ E(\mathfrak{g}, N) = \{ y \in M_N(\mathbb{C}) : \operatorname{Spec}(iy) \cap H(1) = \emptyset \}, \qquad H(1)=(-\infty,-1]\cup[1,\infty). \] These formulas show that, in many higher-step settings, the cone is genuinely dilation invariant; by contrast, on contact or polycontact manifolds the cone is not star-shaped in the same way, and nontrivial index theory can occur [2408.00091]. ## 6. Singular foliations, Nash blowups, and symplectic leaves For a singular foliation \(\mathcal F\) presented by an anchored bundle \(\rho:A\to TM\), the Helffer-Nourrigat cone is defined by \[ \mathrm{HN}(\mathcal{F}) := \overline{ \bigcup_{m \in M_{\mathrm{reg}}} \rho_m^*(T_m^*M) } \subset A^*. \] This realizes the cone as the closure of the regular cotangent images under the dual anchor. The Nash blowup produces a Nash algebroid \(\mathfrak D_{\mathcal F}\to M_{\mathcal F}\), and there is an injective vector bundle morphism \[ \mathfrak{j}: \mathfrak{D}_\mathcal{F}^* \to A^* \] whose image is exactly \(\mathrm{HN}(\mathcal F)\). In this formulation the cone is independent of the chosen anchored bundle [2509.01133]. When the relevant algebroids carry their canonical linear Poisson structures, the Helffer-Nourrigat cone is a union of symplectic leaves. This is proved by showing that Hamiltonian flows preserve the images \(\rho_m^*(T_m^*M)\) and hence preserve their closure. The result gives a Poisson-geometric interpretation of the cone that is compatible with the Nash-blowup description [2509.01133]. The same framework yields a notion of longitudinal ellipticity for differential operators on singular foliations. A longitudinal differential operator \(D\) of degree \(k\) is longitudinally elliptic precisely when its symbol is strictly positive on \(\mathfrak D_{\mathcal F}^*\) away from the zero section, equivalently on \(\mathrm{HN}(\mathcal F)\setminus\{0\}\). Thus, as in the filtered-manifold calculus, the correct symbolic domain is not all of \(A^*\), but the Helffer-Nourrigat cone [2509.01133]. ## 7. Relation to cone restriction theory The phrase “Helffer-Nourrigat cone” also appears in discussions of the cone restriction problem, but here the underlying cone is the geometric Fourier-restriction cone \[ \mathcal{C} := \left\{ (\xi_1, \dots, \xi_n) : \xi'_1+\dots+\xi_{n-1} = \xi_n,\ 1 \leq |\xi_i| \leq 2 \right\} \subset \mathbb R^n. \] The corresponding conjecture asks for sharp \(L^{p'}\to L^q\) bounds for the cone extension operator \[ \|Ef\|_{L^q(\mathbb{R}^n)} \leq C \|f\|_{L^{p'}(\mathcal{C}, d\sigma)}. \] In this setting Helffer and Nourrigat enter as part of the historical development of the cone restriction conjecture, rather than through the representation-theoretic phase space described above [2411.02961]. Recent progress revisits the polynomial-partitioning method of Ou and Wang. By restructuring their induction into a recursive algorithm and using the nested polynomial Wolff axioms, Wang obtained for \(n\ge 3\) \[ \|Ef\|_{L^p(B_R)} \leq C_{p,\epsilon} R^{\epsilon} \|f\|_2^{2/p} \|f\|_{1}^{1-2/p} \] whenever \[ p > 2 + \sqrt{2} n - 1 + O(n^{-2}). \] The paper emphasizes that this improves the previously best high-dimensional range and that the nested polynomial Wolff axioms are decisive for handling the cone geometry [2411.02961]. This usage should therefore be distinguished from the sub-Riemannian and filtered-calculus Helffer-Nourrigat cone. In the latter, the cone is the noncommutative phase space governing principal symbols and maximal hypoellipticity; in the former, the cone is the hypersurface \(\mathcal C\subset \mathbb R^n\) on which one studies Fourier restriction. Source: https://www.emergentmind.com/topics/helffer-nourrigat-cone