The Structure of the Kac–Wang–Yan Algebra

The Lie algebra \({\mathcal{D}}\) of regular differential operators on the circle has a universal central extension \({\hat{\mathcal{D}}}\). The invariant subalgebra \({\hat{\mathcal{D}}^+}\) under an involution preserving the principal gradation was introduced by Kac, Wang, and Yan. The vacuum \({\hat{\mathcal{D}}^+}\)-module with central charge \({c \in \mathbb{C}}\), and its irreducible quotient \({\mathcal{V}_c}\), possess vertex algebra structures, and \({\mathcal{V}_c}\) has a nontrivial structure if and only if \({c \in \frac{1}{2}\mathbb{Z}}\). We show that for each integer \({n > 0}\), \({\mathcal{V}_{n/2}}\) and \({\mathcal{V}_{-n}}\) are \({\mathcal{W}}\)-algebras of types \({\mathcal{W}(2, 4,\dots,2n)}\) and \({\mathcal{W}(2, 4,\dots, 2n^2 + 4n)}\), respectively. These results are formal consequences of Weyl’s first and second fundamental theorems of invariant theory for the orthogonal group \({{\rm O}(n)}\) and the symplectic group \({{\rm Sp}(2n)}\), respectively. Based on Sergeev’s theorems on the invariant theory of \({{\rm Osp}(1, 2n)}\) we conjecture that \({\mathcal{V}_{-n+1/2}}\) is of type \({\mathcal{W}(2, 4,\dots, 4n^2 + 8n + 2)}\), and we prove this for \({n = 1}\). As an application, we show that invariant subalgebras of \({\beta\gamma}\)-systems and free fermion algebras under arbitrary reductive group actions are strongly finitely generated.     

Tensor functors between Morita duals of fusion categories

Given a fusion category \({\mathcal C}\) and an indecomposable \({\mathcal C}\)-module category \({\mathcal M}\), the fusion category \({\mathcal C}^*_{_{{\mathcal M}}}\) of \({\mathcal C}\)-module endofunctors of \({\mathcal M}\) is called the (Morita) dual fusion category of \({\mathcal C}\) with respect to \({\mathcal M}\). We describe tensor functors between two arbitrary duals \({\mathcal C}^*_{_{{\mathcal M}}}\) and \({\mathcal D}^*_{\mathcal N}\) in terms of data associated to \({\mathcal C}\) and \({\mathcal D}\). We apply the results to G-equivariantizations of fusion categories and group-theoretical fusion categories. We describe the orbits of the action of the Brauer–Picard group on the set of module categories and we propose a categorification of the Rosenberg–Zelinsky sequence for fusion categories.     

Crossover to the Stochastic Burgers Equation for the WASEP with a Slow Bond

We consider the weakly asymmetric simple exclusion process in the presence of a slow bond and starting from the invariant state, namely the Bernoulli product measure of parameter \({\rho \in (0,1)}\). The rate of passage of particles to the right (resp. left) is \({\frac{1}{2} + \frac{a}{2n^{\gamma}}}\) (resp. \({\frac{1}{2} - \frac{a}{2n^{\gamma}}}\)) except at the bond of vertices \({\{-1,0\}}\) where the rate to the right (resp. left) is given by \({\frac{\alpha}{2n^\beta} + \frac{a}{2n^{\gamma}}}\) (resp. \({\frac{\alpha}{2n^\beta}-\frac{a}{2n^{\gamma}}}\)). Above, \({\alpha > 0}\), \({\gamma \geq \beta \geq 0}\), \({a\geq 0}\). For \({\beta < 1}\), we show that the limit density fluctuation field is an Ornstein–Uhlenbeck process defined on the Schwartz space if \({\gamma > \frac{1}{2}}\), while for \({\gamma = \frac{1}{2}}\) it is an energy solution of the stochastic Burgers equation. For \({\gamma \geq \beta =1}\), it is an Ornstein–Uhlenbeck process associated to the heat equation with Robin’s boundary conditions. For \({\gamma \geq \beta > 1}\), the limit density fluctuation field is an Ornstein–Uhlenbeck process associated to the heat equation with Neumann’s boundary conditions.     

Noncommutative products of Euclidean spaces

We present natural families of coordinate algebras on noncommutative products of Euclidean spaces \({\mathbb {R}}^{N_1} \times _{\mathcal {R}} {\mathbb {R}}^{N_2}\). These coordinate algebras are quadratic ones associated with an \(\mathcal {R}\)-matrix which is involutive and satisfies the Yang–Baxter equations. As a consequence, they enjoy a list of nice properties, being regular of finite global dimension. Notably, we have eight-dimensional noncommutative euclidean spaces \({\mathbb {R}}^{4} \times _{\mathcal {R}} {\mathbb {R}}^{4}\). Among these, particularly well behaved ones have deformation parameter \(\mathbf{u} \in {\mathbb {S}}^2\). Quotients include seven spheres \({\mathbb {S}}^{7}_\mathbf{u}\) as well as noncommutative quaternionic tori \({\mathbb {T}}^{{\mathbb {H}}}_\mathbf{u} = {\mathbb {S}}^3 \times _\mathbf{u} {\mathbb {S}}^3\). There is invariance for an action of \({{\mathrm{SU}}}(2) \times {{\mathrm{SU}}}(2)\) on the torus \({\mathbb {T}}^{{\mathbb {H}}}_\mathbf{u}\) in parallel with the action of \(\mathrm{U}(1) \times \mathrm{U}(1)\) on a ‘complex’ noncommutative torus \({\mathbb {T}}^2_\theta \) which allows one to construct quaternionic toric noncommutative manifolds. Additional classes of solutions are disjoint from the classical case.     

A Categorification of the Boson–Fermion Correspondence via Representation Theory of sl(∞)

In recent years different aspects of categorification of the boson–fermion correspondence have been studied. In this paper we propose a categorification of the boson–fermion correspondence based on the category of tensor modules of the Lie algebra sl(∞) of finitary infinite matrices. By \({\mathbb{T}^{+}}\) we denote the category of “polynomial” tensor sl(∞)-modules. There is a natural “creation” functor \({{\mathcal{T}_{N}} : {\mathbb{T}^{+}} \to {\mathbb{T}^{+}}}\), \({M \mapsto N \otimes M, \quad M,N \in \mathbb{T}^{+}}\). The key idea of the paper is to employ the entire category \({\mathbb{T}}\) of tensor sl(∞)-modules in order to define the “annihilation” functor \({{\mathcal{D}_{N}} : {\mathbb{T}^{+}} \to {\mathbb{T}^{+}}}\) corresponding to \({{\mathcal{T}_{N}}}\). We show that the relations allowing one to express fermions via bosons arise from relations in the cohomology of complexes of linear endofunctors on \({{\mathbb{T}^{+}}}\).     

On the Extension of Stringlike Localised Sectors in 2+1 Dimensions

In the framework of algebraic quantum field theory, we study the category \({\Delta_{{\rm BF}}^{\mathfrak{A}}}\) of stringlike localised representations of a net of observables \({\mathcal{O} \mapsto \mathfrak{A}(\mathcal{O})}\) in three dimensions. It is shown that compactly localised (DHR) representations give rise to a non-trivial centre of \({\Delta_{{\rm BF}}^{\mathfrak{A}}}\) with respect to the braiding. This implies that \({\Delta_{{\rm BF}}^{\mathfrak{A}}}\) cannot be modular when non-trivial DHR sectors exist. Modular tensor categories, however, are important for topological quantum computing. For this reason, we discuss a method to remove this obstruction to modularity.Indeed, the obstruction can be removed by passing from the observable net \({\mathfrak{A}(\mathcal{O})}\) to the Doplicher-Roberts field net \({\mathfrak{F}(\mathcal{O})}\). It is then shown that sectors of \({\mathfrak{A}}\) can be extended to sectors of the field net that commute with the action of the corresponding symmetry group. Moreover, all such sectors are extensions of sectors of \({\mathfrak{A}}\). Finally, the category \({\Delta_{{\rm BF}}^{\mathfrak{F}}}\) of sectors of \({\mathfrak{F}}\) is studied by investigating the relation with the categorical crossed product of \({\Delta_{{\rm BF}}^{\mathfrak{A}}}\) by the subcategory of DHR representations. Under appropriate conditions, this completely determines the category \({\Delta_{{\rm BF}}^{\mathfrak{F}}}\).     

Time Delay for the Dirac Equation

We consider time delay for the Dirac equation. A new method to calculate the asymptotics of the expectation values of the operator \({\int\limits_{0} ^{\infty}{\rm e}^{iH_{0}t}\zeta(\frac{\vert x\vert }{R}) {\rm e}^{-iH_{0}t}{\rm d}t}\), as \({R \rightarrow \infty}\), is presented. Here, H₀ is the free Dirac operator and \({\zeta\left(t\right)}\) is such that \({\zeta\left(t\right) = 1}\) for \({0 \leq t \leq 1}\) and \({\zeta\left(t\right) = 0}\) for \({t > 1}\). This approach allows us to obtain the time delay operator \({\delta \mathcal{T}\left(f\right)}\) for initial states f in \({\mathcal{H} _{2}^{3/2+\varepsilon}(\mathbb{R}^{3};\mathbb{C}^{4})}\), \({\varepsilon > 0}\), the Sobolev space of order \({3/2+\varepsilon}\) and weight 2. The relation between the time delay operator \({\delta\mathcal{T}\left(f\right)}\) and the Eisenbud–Wigner time delay operator is given. In addition, the relation between the averaged time delay and the spectral shift function is presented.     

Quantum Symmetries and Strong Haagerup Inequalities

In this paper, we consider families of operators \({\{x_r\}_{r \in \Lambda}}\) in a tracial C*-probability space \({({\mathcal{A}}, \varphi)}\) , whose joint *-distribution is invariant under free complexification and the action of the hyperoctahedral quantum groups \({\{H_n^+\}_{n \in \mathbb {N}}}\) . We prove a strong form of Haagerup’s inequality for the non-self-adjoint operator algebra \({{\mathcal{B}}}\) generated by \({\{x_r\}_{r \in \Lambda}}\) , which generalizes the strong Haagerup inequalities for *-free R-diagonal families obtained by Kemp–Speicher (J Funct Anal 251:141–173, 2007). As an application of our result, we show that \({{\mathcal{B}}}\) always has the metric approximation property (MAP). We also apply our techniques to study the reduced C*-algebra of the free unitary quantum group \({U_n^+}\) . We show that the non-self-adjoint subalgebra \({{\mathcal{B}}_n}\) generated by the matrix elements of the fundamental corepresentation of \({U_n^+}\) has the MAP. Additionally, we prove a strong Haagerup inequality for \({{\mathcal{B}}_n}\) , which improves on the estimates given by Vergnioux’s property RD (Vergnioux in J Oper Theory 57:303–324, 2007).     

Hölder Regularity of the Solutions of the Cohomological Equation for Roth Type Interval Exchange Maps

There is a general method for constructing a soliton hierarchy from a splitting \({{L_{\pm}}}\) of a loop group as positive and negative sub-groups together with a commuting linearly independent sequence in the positive Lie algebra \({\mathcal{L}_{+}}\). Many known soliton hierarchies can be constructed this way. The formal inverse scattering associates to each f in the negative subgroup \({L_-}\) a solution \({u_{f}}\) of the hierarchy. When there is a 2 co-cycle of the Lie algebra that vanishes on both sub-algebras, Wilson constructed a tau function \({\tau_{f}}\) for each element \({f \in L_-}\). In this paper, we give integral formulas for variations of \({\ln\tau_{f}}\) and second partials of \({\ln\tau_{f}}\), discuss whether we can recover solutions \({u_{f}}\) from \({\tau_{f}}\), and give a general construction of actions of the positive half of the Virasoro algebra on tau functions. We write down formulas relating tau functions and formal inverse scattering solutions and the Virasoro vector fields for the \({GL(n,\mathbb{C})}\)-hierarchy.     

The Exoticness and Realisability of Twisted Haagerup–Izumi Modular Data

The quantum double of the Haagerup subfactor, the first irreducible finite depth subfactor with index above 4, is the most obvious candidate for exotic modular data. We show that its modular data \({\mathcal{D}{\rm Hg}}\) fits into a family \({\mathcal{D}^\omega {\rm Hg}_{2n+1}}\) , where n ≥  0 and \({\omega\in \mathbb{Z}_{2n+1}}\) . We show \({\mathcal{D}^0 {\rm Hg}_{2n+1}}\) is related to the subfactors Izumi hypothetically associates to the cyclic groups \({\mathbb{Z}_{2n+1}}\) . Their modular data comes equipped with canonical and dual canonical modular invariants; we compute the corresponding alpha-inductions, etc. In addition, we show there are (respectively) 1, 2, 0 subfactors of Izumi type \({\mathbb{Z}_7, \mathbb{Z}_9}\) and \({\mathbb{Z}_3^2}\) , and find numerical evidence for 2, 1, 1, 1, 2 subfactors of Izumi type \({\mathbb{Z}_{11},\mathbb{Z}_{13},\mathbb{Z}_{15},\mathbb{Z}_{17},\mathbb{Z}_{19}}\) (previously, Izumi had shown uniqueness for \({\mathbb{Z}_3}\) and \({\mathbb{Z}_5}\)), and we identify their modular data. We explain how \({\mathcal{D}{\rm Hg}}\) (more generally \({\mathcal{D}^\omega {\rm Hg}_{2n+1}}\)) is a graft of the quantum double \({\mathcal{D} Sym(3)}\) (resp. the twisted double \({\mathcal{D}^\omega D_{2n+1}}\)) by affine so(13) (resp. so\({(4n^2+4n+5)}\)) at level 2. We discuss the vertex operator algebra (or conformal field theory) realisation of the modular data \({\mathcal{D}^\omega {\rm Hg}_{2n+1}}\) . For example we show there are exactly 2 possible character vectors (giving graded dimensions of all modules) for the Haagerup VOA at central charge c = 8. It seems unlikely that any of this twisted Haagerup-Izumi modular data can be regarded as exotic, in any reasonable sense.     

On the Convexity of the KdV Hamiltonian

Motivated by perturbation theory, we prove that the nonlinear part \({H^{*}}\) of the KdV Hamiltonian \({H^{kdv}}\), when expressed in action variables \({I = (I_{n})_{n \geqslant 1}}\), extends to a real analytic function on the positive quadrant \({\ell^{2}_{+}(\mathbb{N})}\) of \({\ell^{2}(\mathbb{N})}\) and is strictly concave near \({0}\). As a consequence, the differential of \({H^{*}}\) defines a local diffeomorphism near 0 of \({\ell_{\mathbb{C}}^{2}(\mathbb{N})}\). Furthermore, we prove that the Fourier-Lebesgue spaces \({\mathcal{F}\mathcal{L}^{s,p}}\) with \({-1/2 \leqslant s \leqslant 0}\) and \({2 \leqslant p < \infty}\), admit global KdV-Birkhoff coordinates. In particular, it means that \({\ell^{2}_+(\mathbb{N})}\) is the space of action variables of the underlying phase space \({\mathcal{F}\mathcal{L}^{-1/2,4}}\) and that the KdV equation is globally in time \({C^{0}}\)-well-posed on \({\mathcal{F}\mathcal{L}^{-1/2,4}}\).     

Constraining the electric charges of some astronomical bodies in Reissner–Nordström spacetimes and generic <Emphasis Type="Italic">r</Emphasis><Superscript>−2</Superscript>-type power-law potentials from orbital motions

We put independent model dynamical constraints on the net electric charge Q of some astronomical and astrophysical objects by assuming that their exterior spacetimes are described by the Reissner-Nordström, metric, which induces an additional potential \({U_{\rm RN} \propto Q^2 r^{-2}}\). From the current bounds \({\Delta \dot \varpi}\) on any anomalies in the secular perihelion rate \({\dot \varpi}\) of Mercury and the Earth–mercury ranging Δρ, we have \({\left|Q_{\odot}\right| \lesssim 1-0.4 \times 10^{18}\ {\rm C}}\). Such constraints are ~60–200 times tighter than those recently inferred in literature. For the Earth, the perigee precession of the Moon, determined with the Lunar Laser Ranging technique, and the intersatellite ranging Δρ for the GRACE mission yield \({\left|Q_{\oplus} \right| \lesssim 5-0.4 \times 10^{14}\ {\rm C}}\). The periastron rate of the double pulsar PSR J0737-3039A/B system allows to infer \({\left|Q_{\rm NS} \right| \lesssim 5\times 10^{19}\ {\rm C}}\). According to the perinigricon precession of the main sequence S2 star in Sgr A^*, the electric charge carried by the compact object hosted in the Galactic Center may be as large as \({\left|Q_{\bullet} \right| \lesssim 4\times 10^{27} \ {\rm C}}\). Our results extend to other hypothetical power-law interactions inducing extra-potentials \({U_{\rm pert} = \Psi r^{-2}}\) as well. It turns out that the terrestrial GRACE mission yields the tightest constraint on the parameter \({\Psi}\), assumed as a universal constant, amounting to \({|\Psi| \lesssim 5\times 10^{9}\ {\rm m^4\ s^{-2}}}\).     

Positive Casimir and Central Characters of Split Real Quantum Groups

We consider the one parameter family \({\alpha \mapsto T_{\alpha}}\) (\({\alpha \in [0,1)}\)) of Pomeau-Manneville type interval maps \({T_{\alpha}(x) = x(1+2^{\alpha} x^{\alpha})}\) for \({x \in [0,1/2)}\) and \({T_{\alpha}(x)=2x-1}\) for \({x \in [1/2, 1]}\), with the associated absolutely continuous invariant probability measure \({\mu_{\alpha}}\). For \({\alpha \in (0,1)}\), Sarig and Gouëzel proved that the system mixes only polynomially with rate \({n^{1-1/{\alpha}}}\) (in particular, there is no spectral gap). We show that for any \({\psi \in L^{q}}\), the map \({\alpha \to \int_0^{1} \psi\, d \mu_{\alpha}}\) is differentiable on \({[0,1-1/q)}\), and we give a (linear response) formula for the value of the derivative. This is the first time that a linear response formula for the SRB measure is obtained in the setting of slowly mixing dynamics. Our argument shows how cone techniques can be used in this context. For \({\alpha \ge 1/2}\) we need the \({n^{-1/{\alpha}}}\) decorrelation obtained by Gouëzel under additional conditions.     

A Heisenberg Double Addition to the Logarithmic Kazhdan–Lusztig Duality

For a Hopf algebra B, we endow the Heisenberg double \({\mathcal{H}(B^*)}\) with the structure of a module algebra over the Drinfeld double \({\mathcal{D}(B)}\). Based on this property, we propose that \({\mathcal{H}(B^*)}\) is to be the counterpart of the algebra of fields on the quantum-group side of the Kazhdan–Lusztig duality between logarithmic conformal field theories and quantum groups. As an example, we work out the case where B is the Taft Hopf algebra related to the \({\overline{\mathcal{U}}_{\mathfrak{q}} s\ell(2)}\) quantum group that is Kazhdan–Lusztig-dual to (p,1) logarithmic conformal models. The corresponding pair \({(\mathcal{D}(B),\mathcal{H}(B^*))}\) is “truncated” to \({(\overline{\mathcal{U}}_{\mathfrak{q}} s\ell2,\overline{\mathcal{H}}_{\mathfrak{q}} s\ell(2))}\), where \({\overline{\mathcal{H}}_{\mathfrak{q}} s\ell(2)}\) is a \({\overline{\mathcal{U}}_{\mathfrak{q}} s\ell(2)}\) module algebra that turns out to have the form \({\overline{\mathcal{H}}_{\mathfrak{q}} s\ell(2)=\mathbb{C}_{\mathfrak{q}}[z,\partial]\otimes\mathbb{C}[\lambda]/(\lambda^{2p}-1)}\), where \({\mathbb{C}_{\mathfrak{q}}[z,\partial]}\) is the \({\overline{\mathcal{U}}_{\mathfrak{q}} s\ell(2)}\)-module algebra with the relations z ^p  = 0, ? ^p  = 0, and \({\partial z = \mathfrak{q}-\mathfrak{q}^{-1} + \mathfrak{q}^{-2} z\partial}\).     

Non-Negative Integral Level Affine Lie Algebra Tensor Categories and Their Associativity Isomorphisms

For a finite-dimensional simple Lie algebra \({\mathfrak{g}}\), we use the vertex tensor category theory of Huang and Lepowsky to identify the category of standard modules for the affine Lie algebra \({{\widehat{\mathfrak{g}}}}\) at a fixed level \({\ell\in\mathbb{N}}\) with a certain tensor category of finite-dimensional \({\mathfrak{g}}\)-modules. More precisely, the category of level ? standard \({{\widehat{\mathfrak{g}}}}\)-modules is the module category for the simple vertex operator algebra \({L_{\widehat{\mathfrak{g}}}(\ell, 0)}\), and as is well known, this category is equivalent as an abelian category to \({\mathbf{D}(\mathfrak{g},\ell)}\), the category of finite-dimensional modules for the Zhu’s algebra \({A{(L_{\widehat{\mathfrak{g}}}(\ell, 0))}}\), which is a quotient of \({U(\mathfrak{g})}\). Our main result is a direct construction using Knizhnik–Zamolodchikov equations of the associativity isomorphisms in \({\mathbf{D}(\mathfrak{g},\ell)}\) induced from the associativity isomorphisms constructed by Huang and Lepowsky in \({{L_{\widehat{\mathfrak{g}}}(\ell, 0) - \mathbf{mod}}}\). This construction shows that \({\mathbf{D}(\mathfrak{g},\ell)}\) is closely related to the Drinfeld category of \({U(\mathfrak{g})}\)[[h]]-modules used by Kazhdan and Lusztig to identify categories of \({{\widehat{\mathfrak{g}}}}\)-modules at irrational and most negative rational levels with categories of quantum group modules.     

A Remark on CFT Realization of Quantum Doubles of Subfactors: Case Index { < 4}

It is well known that the quantum double \({D(N\subset M)}\) of a finite depth subfactor \({N\subset M}\), or equivalently the Drinfeld center of the even part fusion category, is a unitary modular tensor category. It is big open conjecture that all (unitary) modular tensor categories arise from conformal field theory. We show that for every subfactor \({N\subset M}\) with index \({[M:N] < 4}\) the quantum double \({D(N\subset M)}\) is realized as the representation category of a completely rational conformal net. In particular, the quantum double of \({E_6}\) can be realized as a \({\mathbb{Z}_2}\)-simple current extension of \({{{\rm SU}(2)}_{10}\times {{\rm Spin}(11)}_1}\) and thus is not exotic in any sense. As a byproduct, we obtain a vertex operator algebra for every such subfactor. We obtain the result by showing that if a subfactor \({N\subset M }\) arises from \({\alpha}\)-induction of completely rational nets \({\mathcal{A}\subset \mathcal{B}}\) and there is a net \({\tilde{\mathcal{A}}}\) with the opposite braiding, then the quantum \({D(N\subset M)}\) is realized by completely rational net. We construct completely rational nets with the opposite braiding of \({{{\rm SU}(2)}_k}\) and use the well-known fact that all subfactors with index \({[M:N] < 4}\) arise by \({\alpha}\)-induction from \({{{\rm SU}(2)}_k}\).     

Harmonic Pinnacles in the Discrete Gaussian Model

The 2D Discrete Gaussian model gives each height function \({\eta : {\mathbb{Z}^2\to\mathbb{Z}}}\) a probability proportional to \({\exp(-\beta \mathcal{H}(\eta))}\), where \({\beta}\) is the inverse-temperature and \({\mathcal{H}(\eta) = \sum_{x\sim y}(\eta_x-\eta_y)^2}\) sums over nearest-neighbor bonds. We consider the model at large fixed \({\beta}\), where it is flat unlike its continuous analog (the Discrete Gaussian Free Field). We first establish that the maximum height in an \({L\times L}\) box with 0 boundary conditions concentrates on two integers M, M + 1 with \({M\sim \sqrt{(1/2\pi\beta)\log L\log\log L}}\). The key is a large deviation estimate for the height at the origin in \({\mathbb{Z}^{2}}\), dominated by “harmonic pinnacles”, integer approximations of a harmonic variational problem. Second, in this model conditioned on \({\eta\geq 0}\) (a floor), the average height rises, and in fact the height of almost all sites concentrates on levels H, H + 1 where \({H\sim M/\sqrt{2}}\). This in particular pins down the asymptotics, and corrects the order, in results of Bricmont et al. (J. Stat. Phys. 42(5–6):743–798, 1986), where it was argued that the maximum and the height of the surface above a floor are both of order \({\sqrt{\log L}}\). Finally, our methods extend to other classical surface models (e.g., restricted SOS), featuring connections to p-harmonic analysis and alternating sign matrices.     

Universal Components of Random Nodal Sets

We give, as L grows to infinity, an explicit lower bound of order \({L^{\frac{n}{m}}}\) for the expected Betti numbers of the vanishing locus of a random linear combination of eigenvectors of P with eigenvalues below L. Here, P denotes an elliptic self-adjoint pseudo-differential operator of order \({m > 0}\), bounded from below and acting on the sections of a Riemannian line bundle over a smooth closed n-dimensional manifold M equipped with some Lebesgue measure. In fact, for every closed hypersurface \({\Sigma}\) of \({\mathbb{R}^n}\), we prove that there exists a positive constant \({p_\Sigma}\) depending only on \({\Sigma}\), such that for every large enough L and every \({x \in M}\), a component diffeomorphic to \({\Sigma}\) appears with probability at least \({p_\Sigma}\) in the vanishing locus of a random section and in the ball of radius \({L^{-\frac{1}{m}}}\) centered at x. These results apply in particular to Laplace–Beltrami and Dirichlet-to-Neumann operators.     

Flat Bi-Hamiltonian Structures and Invariant Densities

A bi-Hamiltonian structure is a pair of Poisson structures \({{\mathcal P}}\), \({{\mathcal Q}}\) which are compatible, meaning that any linear combination \({\alpha {\mathcal P} + \beta {\mathcal Q}}\) is again a Poisson structure. A bi-Hamiltonian structure \({({\mathcal P}, {\mathcal Q})}\) is called flat if \({{\mathcal P}}\) and \({{\mathcal Q}}\) can be simultaneously brought to a constant form in a neighborhood of a generic point. We prove that a generic bi-Hamiltonian structure \({({\mathcal P}, {\mathcal Q})}\) on an odd-dimensional manifold is flat if and only if there exists a local density which is preserved by all vector fields Hamiltonian with respect to \({{\mathcal P}}\), as well as by all vector fields Hamiltonian with respect to \({{\mathcal Q}}\).