Positive definite superfunctions and unitary representations of lie supergroups

For a broad class of Fréchet-Lie supergroups $ \mathcal{G} $ , we prove that there exists a correspondence between positive definite smooth (resp., analytic) superfunctions on $ \mathcal{G} $ and matrix coefficients of smooth (resp., analytic) unitary representations of the Harish-Chandra pair (G, $ \mathfrak{g} $ ) associated to $ \mathcal{G} $ . As an application, we prove that a smooth positive definite superfunction on $ \mathcal{G} $ is analytic if and only if it restricts to an analytic function on the underlying manifold of $ \mathcal{G} $ . When the underlying manifold of $ \mathcal{G} $ is 1-connected we obtain a necessary and sufficient condition for a linear functional on the universal enveloping algebra U( $ {{\mathfrak{g}}_{\mathbb{C}}} $ ) to correspond to a matrix coefficient of a unitary representation of (G, $ \mathfrak{g} $ ). The class of Lie supergroups for which the aforementioned results hold is characterised by a condition on the convergence of the Trotter product formula. This condition is strictly weaker than assuming that the underlying Lie group of $ \mathcal{G} $ is a locally exponential Fréchet-Lie group. In particular, our results apply to examples of interest in representation theory such as mapping supergroups and diffeomorphism supergroups.     

Tensorial Function Theory: From Berezin Transforms to Taylor’s Taylor Series and Back

Let H ^∞(E) be the Hardy algebra of a W*-correspondence E over a W*-algebra M. Then the ultraweakly continuous completely contractive representations of H ^∞(E) are parametrized by certain sets ${{\mathcal{AC}}(\sigma)}$ indexed by NRep(M)—the normal *-representations σ of M. Each set ${{\mathcal{AC}}(\sigma)}$ has analytic structure, and each element ${F \in H^{\infty}(E)}$ gives rise to an analytic operator-valued function ${\widehat{F}_{\sigma}}$ on ${{\mathcal{AC}}(\sigma)}$ that we call the σ-Berezin transform of F. The sets ${\{{\mathcal{AC}}(\sigma)\}_{\sigma\in\Sigma}}$ and the family of functions ${\{\widehat{F}_{\sigma}\}_{\sigma\in\Sigma}}$ exhibit “matricial structure” that was introduced by Joeseph Taylor in his work on noncommutative spectral theory in the early 1970s. Such structure has been exploited more recently in other areas of free analysis and in the theory of linear matrix inequalities. Our objective here is to determine the extent to which the matricial structure characterizes the Berezin transforms.     

A Topologist’s View of Chu Spaces

For a symmetric monoidal-closed category $\mathcal{X}$ and any object K, the category of K-Chu spaces is small-topological over $\mathcal{X}$ and small cotopological over $\mathcal{X}^{{{\text{op}}}}$ . Its full subcategory of $\mathcal{M}$ -extensive K-Chu spaces is topological over $\mathcal{X}$ when $\mathcal{X}$ is $\mathcal{M}$ -complete, for any morphism class $\mathcal{M}$ . Often this subcategory may be presented as a full coreflective subcategory of Diers’ category of affine K-spaces. Hence, in addition to their roots in the theory of pairs of topological vector spaces (Barr) and their connections with linear logic (Seely), the Dialectica categories (Hyland, de Paiva), and with the study of event structures for modeling concurrent processes (Pratt), Chu spaces seem to have a less explored link with algebraic geometry. We use the Zariski closure operator to describe the objects of the *-autonomous category of $\mathcal{M}$ -extensive and $\mathcal{M}$ -coextensive K-Chu spaces in terms of Zariski separation and to identify its important subcategory of complete objects.     

On certain forms and quadrics related to symplectic dual polar spaces in characteristic 2

Let V be a 2n-dimensional vector space over a field ${\mathbb {F}}$ and ξ a non-degenerate alternating form defined on V. Let Δ be the building of type C _n formed by the totally ξ-isotropic subspaces of V and, for 1 ≤ k ≤ n, let ${\mathcal {G}_k}$ and Δ _k be the k-grassmannians of PG(V) and Δ, embedded in ${W_k=\wedge^kV}$ and in a subspace ${V_k\subseteq W_k}$ respectively, where ${{\rm dim}(V_k)={2n \choose k} - {2n \choose {k-2}}}$ . This paper is a continuation of Cardinali and Pasini (Des. Codes. Cryptogr., to appear). In Cardinali and Pasini (to appear), focusing on the case of k = n, we considered two forms α and β related to the notion of ‘being at non maximal distance’ in ${\mathcal {G}_n}$ and Δ _n and, under the hypothesis that ${{\rm char}(\mathbb {F}) \neq 2}$ , we studied the subspaces of W _n where α and β coincide or are opposite. In this paper we assume that ${{\rm char}(\mathbb {F}) = 2}$ . We determine which of the quadrics associated to α or β are preserved by the group ${G= {\rm Sp}(2n, \mathbb {F})}$ in its action on W _n and we study the subspace ${\mathcal {D}}$ of W _n formed by vectors v such that α(v, x) = β(v, x) for every ${x \in W_n}$ . Finally, we show how properties of ${\mathcal {D}}$ can be exploited to investigate the poset of G-invariant subspaces of V _k for k = n ? 2i and ${1\leq i \leq \lfloor n/2\rfloor}$ .     

A Multicomplex Riemann Zeta Function

After reviewing properties of analytic functions on the multicomplex number space ${\mathbb{C}_{k}}$ (a commutative generalization of the bicomplex numbers ${\mathbb{C}_{2}}$ ), a multicomplex Riemann zeta function is defined through analytic continuation. Properties of this function are explored, and we are able to state a multicomplex equivalence to the Riemann hypothesis.     

Locally homogeneous rigid geometric structures on surfaces

We study locally homogeneous rigid geometric structures on surfaces. We show that a locally homogeneous projective connection on a compact surface is flat. We also show that a locally homogeneous unimodular affine connection ${\nabla}$ on a two dimensional torus is complete and, up to a finite cover, homogeneous. Let ${\nabla}$ be a unimodular real analytic affine connection on a real analytic compact connected surface M. If ${\nabla}$ is locally homogeneous on a nontrivial open set in M, we prove that ${\nabla}$ is locally homogeneous on all of M.     

Character sheaves on unipotent groups in positive characteristic: foundations

In this article we formulate and prove the main theorems of the theory of character sheaves on unipotent groups over an algebraically closed field of characteristic $p>0$ . In particular, we show that every admissible pair for such a group $G$ gives rise to an $\mathbb{L }$ -packet of character sheaves on $G$ and that conversely, every $\mathbb{L }$ -packet of character sheaves on $G$ arises from a (nonunique) admissible pair. In the Appendices we discuss two abstract category theory patterns related to the study of character sheaves. The first Appendix sketches a theory of duality for monoidal categories, which generalizes the notion of a rigid monoidal category and is close in spirit to the Grothendieck–Verdier duality theory. In the second one we use a topological field theory approach to define the canonical braided monoidal structure and twist on the equivariant derived category of constructible sheaves on an algebraic group; moreover, we show that this category carries an action of the surface operad. The third Appendix proves that the “naive” definition of the equivariant $\ell $ -adic derived category with respect to a unipotent algebraic group is equivalent to the “correct” one.     

MULTIPLICITY-FREE PRIMITIVE IDEALS ASSOCIATED WITH RIGID NILPOTENT ORBITS

Let G be a simple algebraic group defined over ?. Let e be a nilpotent element in $ \mathfrak{g} $ = Lie(G) and denote by U ( $ \mathfrak{g} $ , e) the finite W-algebra associated with the pair ( $ \mathfrak{g} $ , e). It is known that the component group Γ of the centraliser of e in G acts on the set ? of all one-dimensional representations of U ( $ \mathfrak{g} $ , e). In this paper we prove that the fixed point set ?^Γ is non-empty. As a corollary, all finite W-algebras associated with $ \mathfrak{g} $ admit one-dimensional representations. In the case of rigid nilpotent elements in exceptional Lie algebras we find irreducible highest weight $ \mathfrak{g} $ -modules whose annihilators in U ( $ \mathfrak{g} $ ) come from one-dimensional representations of U ( $ \mathfrak{g} $ , e) via Skryabin’s equivalence. As a consequence, we show that for any nilpotent orbit $ \mathcal{O} $ in $ \mathfrak{g} $ there exists a multiplicity-free (and hence completely prime) primitive ideal of U ( $ \mathfrak{g} $ ) whose associated variety equals the Zariski closure of $ \mathcal{O} $ in $ \mathfrak{g} $ .     

Lyashko–Looijenga morphisms and submaximal factorizations of a Coxeter element

When W is a finite reflection group, the noncrossing partition lattice $\operatorname{NC}(W)$ of type W is a rich combinatorial object, extending the notion of noncrossing partitions of an n-gon. A formula (for which the only known proofs are case-by-case) expresses the number of multichains of a given length in $\operatorname{NC}(W)$ as a generalized Fu?–Catalan number, depending on the invariant degrees of W. We describe how to understand some specifications of this formula in a case-free way, using an interpretation of the chains of $\operatorname{NC}(W)$ as fibers of a Lyashko–Looijenga covering ( $\operatorname{LL}$ ), constructed from the geometry of the discriminant hypersurface of W. We study algebraically the map $\operatorname{LL}$ , describing the factorizations of its discriminant and its Jacobian. As byproducts, we generalize a formula stated by K. Saito for real reflection groups, and we deduce new enumeration formulas for certain factorizations of a Coxeter element of W.     

Reduced Load Equivalence under Subexponentiality

The stationary workload W _A+B ^φ of a queue with capacity φ loaded by two independent processes A and B is investigated. When the probability of load deviation in process A decays slower than both in B and $e^{ - \sqrt x } $ , we show that W _A+B ^φ is asymptotically equal to the reduced load queue W _A ^φ?b , where b is the mean rate of B. Given that this property does not hold when both processes have lighter than $e^{ - \sqrt x } $ deviation decay rates, our result establishes the criticality of $e^{ - \sqrt x } $ in the functional behavior of the workload distribution. Furthermore, using the same methodology, we show that under an equivalent set of conditions the results on sampling at subexponential times hold.     

On Rationality of W-algebras

We study the problem of classification of triples ( $ \mathfrak{g} $ ; f; k), where g is a simple Lie algebra, f its nilpotent element and k ∈ $ \mathbb{C} $ , for which the simple W-algebra W _k ( $ \mathfrak{g} $ ; f) is rational.     

The rank and generating set for inverse limits of wreath products of Abelian groups

We derive an exact formula for the topological rank d(W) of the inverse limit ${W = \ldots \wr A_2 \wr A_1}$ of iterated wreath products of arbitrary nontrivial finite Abelian groups. By using the language of automorphisms of a spherically homogeneous rooted tree, we construct and study a topological generating set for W with cardinality ${d(A_1) + \rho'}$ , where ${\rho'}$ is the topological rank of the profinite Abelian group ${A_2 \times A_3 \times \cdots}$ . In particular, if the group A ₁ is cyclic, this approach gives a minimal generating set for W.     

Asymptotic analysis of a second-order singular perturbation model for phase transitions

We study the asymptotic behavior, as ${\varepsilon}$ tends to zero, of the functionals ${F^k_\varepsilon}$ introduced by Coleman and Mizel in the theory of nonlinear second-order materials; i.e., $$F^k_\varepsilon(u):=\int\limits_{I} \left(\frac{W(u)}{\varepsilon}-k\,\varepsilon\,(u')^2+\varepsilon^3(u'')^2\right)\,dx,\quad u\in W^{2,2}(I),$$ where k?>?0 and ${W:\mathbb{R}\to[0,+\infty)}$ is a double-well potential with two potential wells of level zero at ${a,b\in\mathbb{R}}$ . By proving a new nonlinear interpolation inequality, we show that there exists a positive constant k ₀ such that, for k?<?k ₀, and for a class of potentials W, ${(F^k_\varepsilon)}$ ??(L ¹)-converges to $$F^k(u):={\bf m}_k \, \#(S(u)),\quad u\in BV(I;\{a,b\}),$$ where m _k is a constant depending on W and k. Moreover, in the special case of the classical potential ${W(s)=\frac{(s^2-1)^2}{2}}$ , we provide an upper bound on the values of k such that the minimizers of ${F_\varepsilon^k}$ cannot develop oscillations on some fine scale and a lower bound on the values for which oscillations occur, the latter improving a previous estimate by Mizel, Peletier and Troy.     

Algebras of Convolution Type Operators with Piecewise Slowly Oscillating Data. I: Local and Structural Study

Let ${\mathcal{B}_{p,w}}$ be the Banach algebra of all bounded linear operators acting on the weighted Lebesgue space ${L^{p}(\mathbb{R}, w)}$ , where ${p \in (1, \infty)}$ and w is a Muckenhoupt weight. We study the Banach subalgebra ${\mathfrak{A}_{p,w}}$ of ${\mathcal{B}_{p,w}}$ generated by all multiplication operators aI ( ${a \in PSO^{\diamond}}$ ) and all convolution operators W ⁰(b) ( ${b \in PSO_{p,w}^{\diamond}}$ ), where ${PSO^{\diamond} \subset L^{\infty}(\mathbb{R})}$ and ${PSO_{p,w}^{\diamond} \subset M_{p,w}}$ are algebras of piecewise slowly oscillating functions that admit piecewise slowly oscillating discontinuities at arbitrary points of ${\mathbb{R} \cup \{\infty\}}$ , and M _p,w is the Banach algebra of Fourier multipliers on ${L^{p}(\mathbb{R}, w)}$ . Under some conditions on the Muckenhoupt weight w, we construct a Fredholm symbol calculus for the Banach algebra ${\mathfrak{A}_{p,w}}$ and establish a Fredholm criterion for the operators ${A \in \mathfrak{A}_{p,w}}$ in terms of their Fredholm symbols. To study the Banach algebra ${\mathfrak{A}_{p,w}}$ we apply the theory of Mellin pseudodifferential operators, the Allan–Douglas local principle, the two idempotents theorem and the method of limit operators. The paper is divided in two parts. The first part deals with the local study of ${\mathfrak{A}_{p,w}}$ and necessary tools for studying local algebras.     

On the Isomorphism Question for Complete Pick Multiplier Algebras

Every multiplier algebra of an irreducible complete Pick kernel arises as the restriction algebra ${\mathcal{M}_V = \{f \big|_V : f \in \mathcal{M}_d\}}$ , where d is some integer or ${\infty, \mathcal{M}_d}$ is the multiplier algebra of the Drury-Arveson space ${H^2_d}$ , and V is a subvariety of the unit ball. For finite dimensional d it is known that, under mild assumptions, every isomorphism between two such algebras ${\mathcal{M}_V}$ and ${\mathcal{M}_W}$ is induced by a biholomorphism between W and V. In this paper we consider the converse, and obtain positive results in two directions. The first deals with the case where V is the proper image of a finite Riemann surface. The second deals with the case where V is a disjoint union of varieties.     

Analytic Toeplitz algebras and the Hilbert transform associated with a subdiagonal algebra

Let M be aσ-finite von Neumann algebra and let AM be a maximal subdiagonal algebra with respect to a faithful normal conditional expectationΦ.Based on the Haagerup’s noncommutative Lpspace Lp(M)associated with M,we consider Toeplitz operators and the Hilbert transform associated with A.We prove that the commutant of left analytic Toeplitz algebra on noncommutative Hardy space H2(M)is just the right analytic Toeplitz algebra.Furthermore,the Hilbert transform on noncommutative Lp(M)is shown to be bounded for 1p∞.As an application,we consider a noncommutative analog of the space BMO and identify the dual space of noncommutative H1(M)as a concrete space of operators.     

Stability inequalities and universal Schubert calculus of rank 2

The goal of the paper is to introduce a version of Schubert calculus for each dihedral reflection group W. That is, to each ??sufficiently rich?? spherical building Y of type W we associate a certain cohomology theory $ H_{BK}^*(Y) $ and verify that, first, it depends only on W (i.e., all such buildings are ??homotopy equivalent??), and second, $ H_{BK}^*(Y) $ is the associated graded of the coinvariant algebra of W under certain filtration. We also construct the dual homology ??pre-ring?? on Y. The convex ??stability?? cones in $ {\left( {{\mathbb{R}^2}} \right)^m} $ defined via these (co)homology theories of Y are then shown to solve the problem of classifying weighted semistable m-tuples on Y in the sense of [KLM1]; equivalently, they are cut out by the generalized triangle inequalities for thick Euclidean buildings with the Tits boundary Y. The independence of the (co)homology theory of Y refines the result of [KLM2], which asserted that the Stability Cone depends on W rather than on Y. Quite remarkably, the cohomology ring $ H_{BK}^*(Y) $ is obtained from a certain universal algebra A _t by a kind of ??crystal limit?? that has been previously introduced by Belkale?CKumar for the cohomology of ag varieties and Grassmannians. Another degeneration of A _t leads to the homology theory H _*(Y).     

On the Li-Stevi? Integral Type Operators from Weighted Bergman Spaces into β-Zygmund Spaces

For an analytic self-map ?? of the unit disk ${\mathbb{D}}$ and an analytic function g on ${\mathbb{D}}$ , we define the following integral type operators: $$T_{\varphi}^{g}f(z) := \int_{0}^{z} f(\varphi(\zeta))g(\zeta) d\zeta\quad {\rm and}\quad C_{\varphi}^{g}f(z) := \int_{0}^{z}f^{\prime}(\varphi(\zeta))g(\zeta) d\zeta$$ . We give a characterization for the boundedness and compactness of these operators from the weighted Bergman space ${L_{a}^p(dA_{\alpha})}$ into the ??-Zygmund space ${\mathcal{Z}_{\beta}}$ . We will also estimate the essential norm of these type of operators. As an application of results, we characterize the above operator-theoretic properties of Volterra type integral operators and composition operators.     

Stability of contact discontinuity for steady Euler system in infinite duct

In this paper, we prove stability of contact discontinuities for full Euler system. We fix a flat duct ${\mathcal{N}_0}$ of infinite length in ${\mathbb{R}^2}$ with width W ₀ and consider two uniform subsonic flow ${{U_l}^{\pm}=(u_l^{\pm}, 0, pl,\rho_l^{\pm})}$ with different horizontal velocity in ${\mathcal{N}_0}$ divided by a flat contact discontinuity ${\Gamma_{cd}}$ . And, we slightly perturb the boundary of ${\mathcal{N}_0}$ so that the width of the perturbed duct converges to ${W_0+\omega}$ for ${|\omega| < \delta}$ at ${x=\infty}$ for some ${\delta >0 }$ . Then, we prove that if the asymptotic state at left far field is given by ${{U_l}^{\pm}}$ , and if the perturbation of boundary of ${\mathcal{N}_0}$ and ${\delta}$ is sufficiently small, then there exists unique asymptotic state ${{U_r}^{\pm}}$ with a flat contact discontinuity ${\Gamma_{cd}^*}$ at right far field( ${x=\infty}$ ) and unique weak solution ${U}$ of the Euler system so that U consists of two subsonic flow with a contact discontinuity in between, and that U converges to ${{U_l}^{\pm}}$ and ${{U_r}^{\pm}}$ at ${x=-\infty}$ and ${x=\infty}$ respectively. For that purpose, we establish piecewise C ¹ estimate across a contact discontinuity of a weak solution to Euler system depending on the perturbation of ${\partial\mathcal{N}_0}$ and ${\delta}$ .