Positive solutions of Schrödinger equations and fine regularity of boundary points

Given a Lipschitz domain Ω in ${{\mathbb R}^N}$ and a nonnegative potential V in Ω such that V(x) d(x, ?Ω)² is bounded we study the fine regularity of boundary points with respect to the Schrödinger operator L _V := Δ ? V in Ω. Using potential theoretic methods, several conditions are shown to be equivalent to the fine regularity of ${z \in \partial \Omega}$ . The main result is a simple (explicit if Ω is smooth) necessary and sufficient condition involving the size of V for ${z \in \partial \Omega}$ to be finely regular. An intermediate result consists in a majorization of ${\int_A \vert{\frac{ u} {d(.,\partial \Omega)}}\vert^2\, dx}$ for u positive harmonic in Ω and ${A \subset \Omega}$ . Conditions for almost everywhere regularity in a subset A of ?Ω are also given as well as an extension of the main results to a notion of fine ${\mathcal{ L}_1 \vert \mathcal{L}_0}$ -regularity, if ${\mathcal{L}_j = \mathcal{L} - V_j, V_0,\, V_1}$ being two potentials, with V ₀ ≤ V ₁ and ${\mathcal{L}}$ a second order elliptic operator.     

A commutant realization of Odake’s algebra

The bcβγ-system $ \mathcal{W} $ of rank 3 has an action of the affine vertex algebra $ {V_0}\left( {\mathfrak{s}{{\mathfrak{l}}_2}} \right) $ , and the commutant vertex algebra $ \mathcal{C}=\mathrm{Com}\left( {{V_0}\left( {\mathfrak{s}{{\mathfrak{l}}_2}} \right),\mathcal{W}} \right) $ contains copies of V _?3/2 $ \left( {\mathfrak{s}{{\mathfrak{l}}_2}} \right) $ and Odake’s algebra $ \mathcal{O} $ . Odake’s algebra is an extension of the N = 2 super-conformal algebra with c = 9, and is generated by eight fields which close nonlinearly under operator product expansions. Our main result is that V _?3/2 $ \left( {\mathfrak{s}{{\mathfrak{l}}_2}} \right) $ and $ \mathcal{O} $ form a Howe pair (i.e., a pair of mutual commutants) inside $ \mathcal{C} $ . More generally, any finite-dimensional representation of a Lie algebra $ \mathfrak{g} $ gives rise to a similar Howe pair, and this example corresponds to the adjoint representation of $ \mathfrak{s}{{\mathfrak{l}}_2} $ .     

On the unique representation of very strong algebraic geometry codes

This paper addresses the question of retrieving the triple ${(\mathcal X,\mathcal P, E)}$ from the algebraic geometry code ${\mathcal C = \mathcal C_L(\mathcal X, \mathcal P, E)}$ , where ${\mathcal X}$ is an algebraic curve over the finite field ${\mathbb F_q, \,\mathcal P}$ is an n-tuple of ${\mathbb F_q}$ -rational points on ${\mathcal X}$ and E is a divisor on ${\mathcal X}$ . If ${\deg(E)\geq 2g+1}$ where g is the genus of ${\mathcal X}$ , then there is an embedding of ${\mathcal X}$ onto ${\mathcal Y}$ in the projective space of the linear series of the divisor E. Moreover, if ${\deg(E)\geq 2g+2}$ , then ${I(\mathcal Y)}$ , the vanishing ideal of ${\mathcal Y}$ , is generated by ${I_2(\mathcal Y)}$ , the homogeneous elements of degree two in ${I(\mathcal Y)}$ . If ${n >2 \deg(E)}$ , then ${I_2(\mathcal Y)=I_2(\mathcal Q)}$ , where ${\mathcal Q}$ is the image of ${\mathcal P}$ under the map from ${\mathcal X}$ to ${\mathcal Y}$ . These three results imply that, if ${2g+2\leq m < \frac{1}{2}n}$ , an AG representation ${(\mathcal Y, \mathcal Q, F)}$ of the code ${\mathcal C}$ can be obtained just using a generator matrix of ${\mathcal C}$ where ${\mathcal Y}$ is a normal curve in ${\mathbb{P}^{m-g}}$ which is the intersection of quadrics. This fact gives us some clues for breaking McEliece cryptosystem based on AG codes provided that we have an efficient procedure for computing and decoding the representation obtained.     

Howe correspondence and Springer correspondence for real reductive dual pairs

We consider a real reductive dual pair (G′, G) of type I, with rank ${({\rm G}^{\prime}) \leq {\rm rank(G)}}$ . Given a nilpotent coadjoint orbit ${\mathcal{O}^{\prime} \subseteq \mathfrak{g}^{{\prime}{*}}}$ , let ${\mathcal{O}^{\prime}_\mathbb{C} \subseteq \mathfrak{g}^{{\prime}{*}}_\mathbb{C}}$ denote the complex orbit containing ${\mathcal{O}^{\prime}}$ . Under some condition on the partition λ′ parametrizing ${\mathcal{O}^{\prime}}$ , we prove that, if λ is the partition obtained from λ by adding a column on the very left, and ${\mathcal{O}}$ is the nilpotent coadjoint orbit parametrized by λ, then ${\mathcal{O}_\mathbb{C}= \tau (\tau^{\prime -1}(\mathcal{O}_\mathbb{C}^{\prime}))}$ , where ${\tau, \tau^{\prime}}$ are the moment maps. Moreover, if ${chc(\hat\mu_{\mathcal{O}^{\prime}}) \neq 0}$ , where chc is the infinitesimal version of the Cauchy-Harish-Chandra integral, then the Weyl group representation attached by Wallach to ${\mu_{\mathcal{O}^{\prime}}}$ with corresponds to ${\mathcal{O}_\mathbb{C}}$ via the Springer correspondence.     

On additive decompositions of the set of primitive roots modulo p

It is conjectured that the set ${\mathcal {G}}$ of the primitive roots modulo p has no decomposition (modulo p) of the form ${\mathcal {G}= \mathcal {A} +\mathcal {B}}$ with ${|\mathcal {A}|\ge 2}$ , ${|\mathcal {B} |\ge 2}$ . This conjecture seems to be beyond reach but it is shown that if such a decomposition of ${\mathcal {G}}$ exists at all, then ${|\mathcal {A} |}$ , ${|\mathcal {B} |}$ must be around p ^1/2, and then this result is applied to show that ${\mathcal {G}}$ has no decomposition of the form ${\mathcal {G} =\mathcal {A} + \mathcal {B} + \mathcal {C}}$ with ${|\mathcal {A} |\ge 2}$ , ${|\mathcal {B} |\ge 2}$ , ${|\mathcal {C} |\ge 2}$ .     

Irregular and Singular Loci of Commuting Varieties

Let $ {\user1{\mathcal{C}}} $ be the commuting variety of the Lie algebra $ \mathfrak{g} $ of a connected noncommutative reductive algebraic group G over an algebraically closed field of characteristic zero. Let $ {\user1{\mathcal{C}}}^{{{\text{sing}}}} $ be the singular locus of $ {\user1{\mathcal{C}}} $ and let $ {\user1{\mathcal{C}}}^{{{\text{irr}}}} $ be the locus of points whose G-stabilizers have dimension > rk G. We prove that: (a) $ {\user1{\mathcal{C}}}^{{{\text{sing}}}} $ is a nonempty subset of $ {\user1{\mathcal{C}}}^{{{\text{irr}}}} $ ; (b) $ {\text{codim}}_{{\user1{\mathcal{C}}}} \,{\user1{\mathcal{C}}}^{{{\text{irr}}}} = 5 - {\text{max}}\,l{\left( \mathfrak{a} \right)} $ where the maximum is taken over all simple ideals $ \mathfrak{a} $ of $ \mathfrak{g} $ and $ l{\left( \mathfrak{a} \right)} $ is the “lacety” of $ \mathfrak{a} $ ; and (c) if $ \mathfrak{t} $ is a Cartan subalgebra of $ \mathfrak{g} $ and $ \alpha \in \mathfrak{t}^{*} $ root of $ \mathfrak{g} $ with respect to $ \mathfrak{t} $ , then $ \overline{{G{\left( {{\text{Ker}}\,\alpha \times {\text{Ker }}\alpha } \right)}}} $ is an irreducible component of $ {\user1{\mathcal{C}}}^{{{\text{irr}}}} $ of codimension 4 in $ {\user1{\mathcal{C}}} $ . This yields the bound $ {\text{codim}}_{{\user1{\mathcal{C}}}} \,{\user1{\mathcal{C}}}^{{{\text{sing}}}} \geqslant 5 - {\text{max}}\,l{\left( \mathfrak{a} \right)} $ and, in particular, $ {\text{codim}}_{{\user1{\mathcal{C}}}} \,{\user1{\mathcal{C}}}^{{{\text{sing}}}} \geqslant 2 $ . The latter may be regarded as an evidence in favor of the known longstanding conjecture that $ {\user1{\mathcal{C}}} $ is always normal. We also prove that the algebraic variety $ {\user1{\mathcal{C}}} $ is rational.     

Some results on metric n-Lie algebras

We study the structure of a metric n-Lie algebra G over the complex field C. Let G = SR be the Levi decomposition, where R is the radical of G and S is a strong semisimple subalgebra of G. Denote by m(G) the number of all minimal ideals of an indecomposable metric n-Lie algebra and R ⊥ the orthogonal complement of R. We obtain the following results. As S-modules, R ⊥ is isomorphic to the dual module of G/R. The dimension of the vector space spanned by all nondegenerate invariant symmetric bilinear forms on G is equal to that of the vector space of certain linear transformations on G; this dimension is greater than or equal to m(G) + 1. The centralizer of R in G is equal to the sum of all minimal ideals; it is the direct sum of R ⊥ and the center of G. Finally, G has no strong semisimple ideals if and only if R⊥■R.     

Characterization of (generalized) Lie derivations on {\mathcal{J}}-subspace lattice algebras by local action

Let ${\mathcal{L}}$ be a ${\mathcal{J}}$ -subspace lattice on a Banach space X over the real or complex field ${\mathbb{F}}$ with dim X ≥ 2 and Alg ${\mathcal{L}}$ be the associated ${\mathcal{J}}$ -subspace lattice algebra. For any scalar ${\xi \in \mathbb{F}}$ , there is a characterization of any linear map L : Alg ${\mathcal{L} \rightarrow {\rm Alg} {\mathcal{L}}}$ satisfying ${L([A,B]_\xi) = [L(A),B]_\xi + [A,L(B)]_\xi}$ for any ${A, B \in{\rm Alg} {\mathcal{L}}}$ with AB = 0 (rep. ${[A,B]_ \xi = AB - \xi BA = 0}$ ) given. Based on these results, a complete characterization of (generalized) ξ-Lie derivations for all possible ξ on Alg ${\mathcal{L}}$ is obtained.     

Atomic intersection of σ-fields and some of its consequences

Let ${(\Omega, \mathcal{F}, P)}$ be a probability space. For each ${\mathcal{G}\subset\mathcal{F}}$ , define ${\overline{\mathcal{G}}}$ as the σ-field generated by ${\mathcal{G}}$ and those sets ${F\in \mathcal{F}}$ satisfying ${P(F)\in\{0,1\}}$ . Conditions for P to be atomic on ${\cap_{i=1}^k\overline{\mathcal{A}_i}}$ , with ${\mathcal{A }_1,\ldots,\mathcal{A}_k\subset\mathcal{F}}$ sub-σ-fields, are given. Conditions for P to be 0-1-valued on ${\cap_{i=1}^k \overline{\mathcal{A}_i}}$ are given as well. These conditions are useful in various fields, including Gibbs sampling, iterated conditional expectations and the intersection property.     

On the Left and Right Brylinski-Kostant Filtrations

Let $\mathfrak{g}$ be a complex semisimple Lie algebra, $\mathfrak{b}$ a Borel subalgebra, and $\mathfrak{h}\subset\mathfrak{b}$ a Cartan subalgebra. Let V be a finite dimensional simple $U(\mathfrak{g})$ module. Based on a principal s-triple (e,h,f) and following work of Kostant, Brylinski (J Amer Math Soc 2(3):517–533, 1989) defined a filtration $\mathcal{F}_e$ for all weight subspaces V _μ of V and calculated the dimensions of the graded subspaces for μ dominant. In Joseph et al. (J Amer Math Soc 13(4):945–970, 2000) these dimensions were calculated for all μ. Let δM(0) be the finite dual of the Verma module of highest weight 0. It identifies with the global functions on a Weyl group translate of the open Bruhat cell and so inherits a natural degree filtration. On the other hand, up to an appropriate shift of weights, there is a unique $U(\mathfrak{b})$ module embedding of V into δM(0) and so the degree filtration induces a further filtration $\mathcal{F}$ on each weight subspace V _μ . A casual reading of Joseph et al. (J Amer Math Soc 13(4):945–970, 2000) might lead one to believe that $\mathcal{F}$ and $\mathcal{F}_e$ coincide. However this is quite false. Rather one should view $\mathcal{F}_e$ as coming from a left action of $U(\mathfrak{n})$ and then there is a second (Brylinski-Kostant) filtration $\mathcal{F}'_e$ coming from a right action. It is $\mathcal{F}'_e$ which may coincide with $\mathcal{F}$ . In this paper the above claim is made precise. First it is noted that $\mathcal{F}$ is itself not canonical, but depends on a choice of variables. Then it is shown that a particular choice can be made to ensure that $\mathcal{F}=\mathcal{F}'_e$ . An explicit form for the unique left $U(\mathfrak{b})$ module embedding $V\hookrightarrow\delta M(0)$ is given using the right action of $U(\mathfrak{n})$ . This is used to give a purely algebraic proof of Brylinski’s main result in Brylinski (J Amer Math Soc 2(3):517–533, 1989) which is much simpler than Joseph et al. (J Amer Math Soc 13(4):945–970, 2000). It is noted that the dimensions of the graded subspaces of $\rm{gr}_{\mathcal{F}_e} V_{\!\mu}$ and $\rm{gr}_{\mathcal{F}'_e} V_{\!\mu}$ can be very different. Their interrelation may involve the Kashiwara involution. Indeed a combinatorial formula for multiplicities in tensor products involving crystal bases and the Kashiwara involution is recovered. Though the dimensions for the graded subspaces of $\rm{gr}_{\mathcal{F}'_e} V_{\!\mu}$ are determined by polynomial degree, their values remain unknown.     

Height of a Superposition

We observe that, given a poset ${\left( {E,{\user1{\mathcal{R}}}} \right)}$ and a finite covering ${\user1{\mathcal{R}}} = {\user1{\mathcal{R}}}_{1} \cup \cdots \cup {\user1{\mathcal{R}}}_{n} $ of its ordering, the height of the poset does not exceed the natural product of the heights of the corresponding sub-relations: $$\mathfrak{h}{\left( {E,{\user1{\mathcal{R}}}} \right)} \leqslant \mathfrak{h}{\left( {E,{\user1{\mathcal{R}}}_{1} } \right)} \otimes \cdots \otimes \mathfrak{h}{\left( {E,{\user1{\mathcal{R}}}_{n} } \right)}.$$ Conversely for every finite sequence $(\xi_1,\cdots,\xi_n)$ of ordinals, every poset ${\left( {E,{\user1{\mathcal{R}}}} \right)}$ of height at most $\xi_1\otimes\cdots\otimes\xi_n$ admits a partition ${\left( {{\user1{\mathcal{R}}}_{1} , \cdots ,{\user1{\mathcal{R}}}_{n} } \right)}$ of its ordering ${\user1{\mathcal{R}}}$ such that each ${\left( {E,{\user1{\mathcal{R}}}_{k} } \right)}$ has height at most $\xi_k$ . In particular for every finite sequence $(\xi_1,\cdots,\xi_n)$ of ordinals, the ordinal $$\xi _{1} \underline{ \otimes } \cdots \underline{ \otimes } \xi _{n} : = \sup {\left\{ {{\left( {\xi ^{\prime }_{1} \otimes \cdots \otimes \xi ^{\prime }_{n} } \right)} + 1:\xi ^{\prime }_{1} < \xi _{1} , \cdots ,\xi ^{\prime }_{n} < \xi _{n} } \right\}}$$ is the least $\xi$ for which the following partition relation holds $$\mathfrak{H}_{\xi } \to {\left( {\mathfrak{H}_{{\xi _{1} }} , \cdots ,\mathfrak{H}_{{\xi _{n} }} } \right)}^{2} $$ meaning: for every poset ${\left( {A,{\user1{\mathcal{R}}}} \right)}$ of height at least $\xi$ and every finite covering ${\left( {{\user1{\mathcal{R}}}_{1} , \cdots ,{\user1{\mathcal{R}}}_{n} } \right)}$ of its ordering ${\user1{\mathcal{R}}}$ , there is a $k$ for which the relation ${\left( {A,{\user1{\mathcal{R}}}_{k} } \right)}$ has height at least $\xi_k$ . The proof will rely on analogue properties of vertex coverings w.r.t. the natural sum.     

Interface foliation for an inhomogeneous Allen–Cahn equation in Riemannian manifolds

Let ${(\mathcal{M}, \tilde{g})}$ be an N-dimensional smooth compact Riemannian manifold. We consider the problem ${\varepsilon^2 \triangle_{\tilde{g}} \tilde{u} + V(\tilde{z})\tilde{u}(1-\tilde{u}^2)=0\; {\rm in}\; \mathcal{M}}$ , where ${\varepsilon > 0}$ is a small parameter and V is a positive, smooth function in ${\mathcal{M}}$ . Let ${\kappa \subset \mathcal{M}}$ be an (N ? 1)-dimensional smooth submanifold that divides ${\mathcal{M}}$ into two disjoint components ${\mathcal{M}_{\pm}}$ . We assume κ is stationary and non-degenerate relative to the weighted area functional ${\int_{\kappa}V^{\frac{1}{2}}}$ . For each integer m ≥ 2, we prove the existence of a sequence ${\varepsilon = \varepsilon_\ell \rightarrow 0}$ , and two opposite directional solutions with m-transition layers near κ, whose mutual distance is ${{\rm O}(\varepsilon | \log \varepsilon | )}$ . Moreover, the interaction between neighboring layers is governed by a type of Jacobi–Toda system.     

Large free sets in powers of universal algebras

We prove that for each universal algebra ${(A, \mathcal{A})}$ of cardinality ${|A| \geq 2}$ and infinite set X of cardinality ${|X| \geq | \mathcal{A}|}$ , the X-th power ${(A^{X}, \mathcal{A}^{X})}$ of the algebra ${(A, \mathcal{A})}$ contains a free subset ${\mathcal{F} \subset A^{X}}$ of cardinality ${|\mathcal{F}| = 2^{|X|}}$ . This generalizes the classical Fichtenholtz–Kantorovitch–Hausdorff result on the existence of an independent family ${\mathcal{I} \subset \mathcal{P}(X)}$ of cardinality ${|\mathcal{I}| = |\mathcal{P}(X)|}$ in the Boolean algebra ${\mathcal{P}(X)}$ of subsets of an infinite set X.     

Real Clifford Algebras as Tensor Products over Centers

Denote by ${\mathcal{C}\ell_{p,q}}$ the Clifford algebra on the real vector space ${\mathbb{R}^{p,q}}$ . This paper gives a unified tensor product expression of ${\mathcal{C}\ell_{p,q}}$ by using the center of ${\mathcal{C}\ell_{p,q}}$ . The main result states that for nonnegative integers p, q, ${\mathcal{C}\ell_{p,q} \simeq \otimes^{\kappa-\delta}\mathcal{C}_{1,1} \otimes Cen(\mathcal{C}\ell_{p,q}) \otimes^{\delta} \mathcal{C}\ell_{0,2},}$ where ${p + q \equiv \varepsilon}$ mod 2, ${\kappa = ((p + q) - \varepsilon)/2, p - |q - \varepsilon| \equiv i}$ mod 8 and ${\delta = \lfloor i / 4 \rfloor}$ .     

Generalized Complex Spherical Harmonics, Frame Functions, and Gleason Theorem

Consider a finite dimensional complex Hilbert space ${\mathcal{H}}$ , with ${dim(\mathcal{H}) \geq 3}$ , define ${\mathbb{S}(\mathcal{H}):= \{x\in \mathcal{H} \:|\: \|x\|=1\}}$ , and let ${\nu_\mathcal{H}}$ be the unique regular Borel positive measure invariant under the action of the unitary operators in ${\mathcal{H}}$ , with ${\nu_\mathcal{H}(\mathbb{S}(\mathcal{H}))=1}$ . We prove that if a complex frame function ${f : \mathbb{S}(\mathcal{H})\to \mathbb{C}}$ satisfies ${f \in \mathbb{L}^2(\mathbb{S}(\mathcal{H}), \nu_\mathcal{H})}$ , then it verifies Gleason’s statement: there is a unique linear operator ${A: \mathcal{H} \to \mathcal{H}}$ such that ${f(u) = \langle u| A u\rangle}$ for every ${u \in \mathbb{S}(\mathcal{H}).\,A}$ is Hermitean when f is real. No boundedness requirement is thus assumed on f a priori.     

Characterization of Lie higher derivations on triangular algebras

Let $\mathcal{A}$ and $\mathcal{B}$ be unital rings, and $\mathcal{M}$ be an $\left( {\mathcal{A},\mathcal{B}} \right)$ -bimodule, which is faithful as a left $\mathcal{A}$ -module and also as a right $\mathcal{B}$ -module. Let $\mathcal{U} = Tri\left( {\mathcal{A},\mathcal{M},\mathcal{B}} \right)$ be the triangular algebra. In this paper, we give some different characterizations of Lie higher derivations on $\mathcal{U}$ .     

On the pullback of an arithmetic theta function

In this paper, we describe a relationship between the simplest examples of arithmetic theta series. The first of these are the weight 1 theta series ${\widehat{\phi}_{\mathcal C}(\tau)}$ defined using arithmetic 0-cycles on the moduli space ${\mathcal C}$ of elliptic curves with CM by the ring of integers ${O_{\kappa}}$ of an imaginary quadratic field. The second such series ${\widehat{\phi}_{\mathcal M}(\tau)}$ has weight 3/2 and takes values in the arithmetic Chow group ${\widehat{{\rm CH}}^1(\mathcal{M})}$ of the arithmetic surface associated to an indefinite quaternion algebra ${B/\mathbb{Q}}$ . For an embedding ${O_\kappa \rightarrow O_B}$ , a maximal order in B, and a two sided O _B -ideal Λ, there is a morphism ${j_\Lambda:{\mathcal C} \rightarrow {\mathcal M}}$ and a pullback ${j_\Lambda^*: \widehat{{\rm CH}}^1(\mathcal{M}) \rightarrow \widehat{{\rm CH}}^1(\mathcal C)}$ . Our main result is an expression for the pullback ${j^*_\Lambda \widehat{\phi}_{\mathcal M}(\tau)}$ as a linear combination of products of ${\widehat{\phi}_{\mathcal C}(\tau)}$ ’s and classical weight ${\frac{1}{2}}$ theta series.