Eichler’s commutation relation and some other invariant subspaces of Hecke operators

Let k be an odd positive integer, L a lattice on a regular positive definite k-dimensional quadratic space over \(\mathbb {Q}\), \(N_L\) the level of L, and \(\mathscr {M}(L)\)  be the linear space of \(\theta \)-series attached to the distinct classes in the genus of L. We prove that, for an odd prime \(p|N_L\), if \(L_p=L_{p,1}\,\bot \, L_{p,2}\), where \(L_{p,1}\) is unimodular, \(L_{p,2}\) is (p)-modular, and \(\mathbb {Q}_pL_{p,2}\) is anisotropic, then \(\mathscr {M}(L;p):=\) \(\mathscr {M}(L)\) \(+T_{p^2}.\) \(\mathscr {M}(L)\)  is stable under the Hecke operator \(T_{p^2}\). If \(L_2\) is isometric to \(\left( \begin{array}{ll}0&{}\frac{1}{2}\\ \frac{1}{2}&{}0\end{array}\right) ^{\kappa }\,\bot \, \langle \varepsilon \rangle \) or \(\left( \begin{array}{ll}0&{}\frac{1}{2}\\ \frac{1}{2}&{}0\end{array}\right) ^{\kappa }\,\bot \, \langle 2\varepsilon \rangle \) or \(\left( \begin{array}{ll}0&{}1\\ 1&{}0\end{array}\right) ^{\kappa }\,\bot \, \langle \varepsilon \rangle \) with \(\varepsilon \in \mathbb {Z}_2^{\times }\) and \(\kappa :=\frac{k-1}{2}\), then \(\mathscr {M}(L;2):=T_{2^2}.\mathscr {M}(L)+T_{2^2}^2.\,\mathscr {M}(L)\) is stable under the Hecke operator \(T_{2^2}\). Furthermore, we determine some invariant subspaces of the cusp forms for the Hecke operators.     

Construction of sign-changing solutions for a harmonic equation with subcritical exponent

In this paper, we study the harmonic equation involving subcritical exponent \((P_{\varepsilon })\): \( \Delta u = 0 \), in \(\mathbb {B}^n\) and \(\displaystyle \frac{\partial u}{\partial \nu } + \displaystyle \frac{n-2}{2}u = \displaystyle \frac{n-2}{2} K u^{\frac{n}{n-2}-\varepsilon }\) on \( \mathbb {S}^{n-1}\) where \(\mathbb {B}^n \) is the unit ball in \(\mathbb {R}^n\), \(n\ge 5\) with Euclidean metric \(g_0\), \(\partial \mathbb {B}^n = \mathbb {S}^{n-1}\) is its boundary, K is a function on \(\mathbb {S}^{n-1}\) and \(\varepsilon \) is a small positive parameter. We construct solutions of the subcritical equation \((P_{\varepsilon })\) which blow up at two different critical points of K. Furthermore, we construct solutions of \((P_{\varepsilon })\) which have two bubbles and blow up at the same critical point of K.     

On a class of maximality principles

We study various classes of maximality principles, \(\mathrm {MP}(\kappa ,\Gamma )\), introduced by Hamkins (J Symb Log 68(2):527–550, 2003), where \(\Gamma \) defines a class of forcing posets and \(\kappa \) is an infinite cardinal. We explore the consistency strength and the relationship of \(\textsf {MP}(\kappa ,\Gamma )\) with various forcing axioms when \(\kappa \in \{\omega ,\omega _1\}\). In particular, we give a characterization of bounded forcing axioms for a class of forcings \(\Gamma \) in terms of maximality principles MP\((\omega _1,\Gamma )\) for \(\Sigma _1\) formulas. A significant part of the paper is devoted to studying the principle MP\((\kappa ,\Gamma )\) where \(\kappa \in \{\omega ,\omega _1\}\) and \(\Gamma \) defines the class of stationary set preserving forcings. We show that MP\((\kappa ,\Gamma )\) has high consistency strength; on the other hand, if \(\Gamma \) defines the class of proper forcings or semi-proper forcings, then by Hamkins (2003), MP\((\kappa ,\Gamma )\) is consistent relative to \(V=L\).     

The Sobolev Stability Threshold for 2D Shear Flows Near Couette

We consider the 2D Navier–Stokes equation on \(\mathbb T \times \mathbb R\), with initial datum that is \(\varepsilon \)-close in \(H^N\) to a shear flow (U(y), 0), where \(\Vert U(y) - y\Vert _{H^{N+4}} \ll 1\) and \(N>1\). We prove that if \(\varepsilon \ll \nu ^{1/2}\), where \(\nu \) denotes the inverse Reynolds number, then the solution of the Navier–Stokes equation remains \(\varepsilon \)-close in \(H^1\) to \((e^{t \nu \partial _{yy}}U(y),0)\) for all \(t>0\). Moreover, the solution converges to a decaying shear flow for times \(t \gg \nu ^{-1/3}\) by a mixing-enhanced dissipation effect, and experiences a transient growth of gradients. In particular, this shows that the stability threshold in finite regularity scales no worse than \(\nu ^{1/2}\) for 2D shear flows close to the Couette flow.     

Estimates for coefficients of certain <Emphasis Type="Italic">L</Emphasis>-functions

Let \(\pi _{\varphi }\) (or \(\pi _{\psi }\)) be an automorphic cuspidal representation of \(\text {GL}_{2} (\mathbb {A}_{\mathbb {Q}})\) associated to a primitive Maass cusp form \(\varphi \) (or \(\psi \)), and \(\mathrm{sym}^j \pi _{\varphi }\) be the jth symmetric power lift of \(\pi _{\varphi }\). Let \(a_{\mathrm{sym}^j \pi _{\varphi }}(n)\) denote the nth Dirichlet series coefficient of the principal L-function associated to \(\mathrm{sym}^j \pi _{\varphi }\). In this paper, we study first moments of Dirichlet series coefficients of automorphic representations \(\mathrm{sym}^3 \pi _{\varphi }\) of \(\text {GL}_{4}(\mathbb {A}_{\mathbb {Q}})\), and \(\pi _{\psi }\otimes \mathrm{sym}^2 \pi _{\varphi }\) of \(\text {GL}_{6}(\mathbb {A}_{\mathbb {Q}})\). For \(3 \le j \le 8\), estimates for \(|a_{\mathrm{sym}^j \pi _{\varphi }}(n)|\) on average over a short interval have also been established.     

Cohomogeneity one actions on Minkowski spaces

We study isometric cohomogeneity one actions on the \((n+1)\)-dimensional Minkowski space \(\mathbb {L}^{n+1}\) up to orbit-equivalence. We give examples of isometric cohomogeneity one actions on \(\mathbb {L}^{n+1}\) whose orbit spaces are non-Hausdorff. We show that there exist isometric cohomogeneity one actions on \(\mathbb {L}^{n+1}\), \(n \ge 3\), which are orbit-equivalent on the complement of an n-dimensional degenerate subspace \(\mathbb {W}^n\) of \(\mathbb {L}^{n+1}\) and not orbit-equivalent on \(\mathbb {W}^n\). We classify isometric cohomogeneity one actions on \(\mathbb {L}^2\) and \(\mathbb {L}^3\) up to orbit-equivalence.     

A strong partition cardinal above $$\varTheta $$

Assuming \(\text {ZF}+\text {DC}\), we prove that if there exists a strong partition cardinal greater than \(\varTheta \), then (1) there is an inner model of \(\text {ZF}+\text {AD}+\text {DC}+ {{{\mathbb {R}}} }^{{\#}}\) exists, and (2) there is an inner model of \(\text {ZF}+\text {AD}+\text {DC}+ (\exists \kappa >\varTheta )\,(\kappa \) is measurable). Here \(\varTheta \) is the supremum of the ordinals which are the surjective image of the set of reals \({{{\mathbb {R}}} }\).     

On kernels and nuclei of rank metric codes

For each rank metric code \(\mathcal {C}\subseteq \mathbb {K}^{m\times n}\), we associate a translation structure, the kernel of which is shown to be invariant with respect to the equivalence on rank metric codes. When \(\mathcal {C}\) is \(\mathbb {K}\)-linear, we also propose and investigate other two invariants called its middle nucleus and right nucleus. When \(\mathbb {K}\) is a finite field \(\mathbb {F}_q\) and \(\mathcal {C}\) is a maximum rank distance code with minimum distance \(d<\min \{m,n\}\) or \(\gcd (m,n)=1\), the kernel of the associated translation structure is proved to be \(\mathbb {F}_q\). Furthermore, we also show that the middle nucleus of a linear maximum rank distance code over \(\mathbb {F}_q\) must be a finite field; its right nucleus also has to be a finite field under the condition \(\max \{d,m-d+2\} \geqslant \left\lfloor \frac{n}{2} \right\rfloor +1\). Let \(\mathcal {D}\) be the DHO-set associated with a bilinear dimensional dual hyperoval over \(\mathbb {F}_2\). The set \(\mathcal {D}\) gives rise to a linear rank metric code, and we show that its kernel and right nucleus are isomorphic to \(\mathbb {F}_2\). Also, its middle nucleus must be a finite field containing \(\mathbb {F}_q\). Moreover, we also consider the kernel and the nuclei of \(\mathcal {D}^k\) where k is a Knuth operation.     

Uniqueness of self-shrinkers to the degree-one curvature flow with a tangent cone at infinity

Given a smooth, symmetric and homogeneous of degree one function \(f\left( \lambda _{1},\ldots ,\lambda _{n}\right) \) satisfying \(\partial _{i}f>0\quad \forall \,i=1,\ldots , n\), and a properly embedded smooth cone \({\mathcal {C}}\) in \({\mathbb {R}}^{n+1}\), we show that under suitable conditions on f, there is at most one f self-shrinker (i.e. a hypersurface \(\Sigma \) in \({\mathbb {R}}^{n+1}\) satisfying \(f\left( \kappa _{1},\ldots ,\kappa _{n}\right) +\frac{1}{2}X\cdot N=0\), where \(\kappa _{1},\ldots ,\kappa _{n}\) are principal curvatures of \(\Sigma \)) that is asymptotic to the given cone \({\mathcal {C}}\) at infinity.     

An extension of Wilf’s conjecture to affine semigroups

Let \(\mathcal {C}\subset \mathbb {Q}^p_+\) be a rational cone. An affine semigroup \(S\subset \mathcal {C}\) is a \(\mathcal {C}\)-semigroup whenever \((\mathcal {C}\setminus S)\cap \mathbb {N}^p\) has only a finite number of elements. In this work, we study the tree of \(\mathcal {C}\)-semigroups, give a method to generate it and study the \(\mathcal {C}\)-semigroups with minimal embedding dimension. We extend Wilf’s conjecture for numerical semigroups to \(\mathcal {C}\)-semigroups and give some families of \(\mathcal {C}\)-semigroups fulfilling the extended conjecture. Other conjectures formulated for numerical semigroups are also studied for \(\mathcal {C}\)-semigroups.     

On the horizontal diameter of the unit sphere

For a singular Riemannian foliation \(\mathcal {F}\) on a Riemannian manifold M, a curve is called horizontal if it meets the leaves of \(\mathcal {F}\) perpendicularly. For a singular Riemannian foliation \(\mathcal {F}\) on a unit sphere \(\mathbb {S}^{n}\), we show that if \(\mathcal {F}\) satisfies some properties, then the horizontal diameter of \(\mathbb {S}^{n}\) is \(\pi \), i.e., any two points in \(\mathbb {S}^{n}\) can be connected by a horizontal curve of length \(\le \pi \).     

Paley–Wiener Theorems of Generalized Fourier Transform Associated with a Cherednik Type Operator on the Real Line

We consider a singular differential-difference operator \(\Lambda \) on the real line which generalizes the Cherednik operator associated with the reflection group \(\mathbb {Z}_2\) on \(\mathbb {R}\). We establish the Paley–Wiener theorems for the generalized Fourier transform on \(\mathbb {R}\) tied to \(\Lambda \).     

Complex symmetry of Toeplitz operators with continuous symbols

In this note, we consider the question of when a Toeplitz operator on the Hardy–Hilbert space \(H^2\) of the open unit disk \(\mathbb {D}\) is complex symmetric, focusing on symbols \(\phi :\mathbb {T}\rightarrow \mathbb {C}\) that are continuous on the unit circle \(\mathbb {T}=\partial \mathbb {D}\). A closed curve \(\phi \) is called nowhere winding if the winding number of \(\phi \) is 0 about every point not in the range of \(\phi \). It is then shown that if \(T_\phi \) is complex symmetric, then \(\phi \) must be nowhere winding. Hence if \(\phi \) is a simple closed curve, then \(T_\phi \) cannot be a complex symmetric operator. The spectrum and invertibility of complex symmetric Toeplitz operators with continuous symbols are then described. Finally, given any continuous curve \(\gamma :[a,b]\rightarrow \mathbb {C}\), it is shown that there exists a complex symmetric Toeplitz operator with continuous symbol whose spectrum is precisely the range of \(\gamma \).     

There is exactly one $${\mathbb {Z}}_2{\mathbb {Z}}_4$$-cyclic 1-perfect code

Let \(\mathcal{C}\) be a \({\mathbb {Z}}_2{\mathbb {Z}}_4\)-additive code of length \(n > 3\). We prove that if the binary Gray image of \(\mathcal{C}\) is a 1-perfect nonlinear code, then \(\mathcal{C}\) cannot be a \({\mathbb {Z}}_2{\mathbb {Z}}_4\)-cyclic code except for one case of length \(n=15\). Moreover, we give a parity check matrix for this cyclic code. Adding an even parity check coordinate to a \({\mathbb {Z}}_2{\mathbb {Z}}_4\)-additive 1-perfect code gives a \({\mathbb {Z}}_2{\mathbb {Z}}_4\)-additive extended 1-perfect code. We also prove that such a code cannot be \({\mathbb {Z}}_2{\mathbb {Z}}_4\)-cyclic.     

The shape of $$ \mathbb {Z}/\ell \mathbb {Z}$$-number fields

Let \(\ell \) be a prime and let \(L/ \mathbb {Q}\) be a Galois number field with Galois group isomorphic to \( \mathbb {Z}/\ell \mathbb {Z}\). We show that the shape of L, see Definition 1.2, is either \(\frac{1}{2}\mathbb {A}_{\ell -1}\) or a fixed sub-lattice depending only on \(\ell \); such a dichotomy in the value of the shape only depends on the type of ramification of L. This work is motivated by a result of Bhargava and Shnidman, and a previous work of the first named author, on the shape of \( \mathbb {Z}/3 \mathbb {Z}\) number fields.     

On some constacyclic codes over $$\mathbb {Z}_{4}\left[ u\right] /\left\langle u^{2}-1\right\rangle $$, their $$\mathbb {Z}_4$$Z4 images,and new codes

In this paper, we study \(\lambda \)-constacyclic codes over the ring \(R=\mathbb {Z}_4+u\mathbb {Z}_4\) where \(u^{2}=1\), for \(\lambda =3+2u\) and \(2+3u\). Two new Gray maps from R to \(\mathbb {Z}_4^{3}\) are defined with the goal of obtaining new linear codes over \(\mathbb {Z}_4\). The Gray images of \(\lambda \)-constacyclic codes over R are determined. We then conducted a computer search and obtained many \(\lambda \)-constacyclic codes over R whose \(\mathbb {Z}_4\)-images have better parameters than currently best-known linear codes over \(\mathbb {Z}_4\).     

Existence and concentration of solution for a class of fractional Hamiltonian systems with subquadratic potential

In this article, we consider the following fractional Hamiltonian systems:

$$\begin{aligned} {_{t}}D_{\infty }^{\alpha }({_{-\infty }}D_{t}^{\alpha }u) + \lambda L(t)u = \nabla W(t, u), \;\;t\in \mathbb {R}, \end{aligned}$$

where \(\alpha \in (1/2, 1)\), \(\lambda >0\) is a parameter, \(L\in C(\mathbb {R}, \mathbb {R}^{n\times n})\) and \(W \in C^{1}(\mathbb {R} \times \mathbb {R}^n, \mathbb {R})\). Unlike most other papers on this problem, we require that L(t) is a positive semi-definite symmetric matrix for all \(t\in \mathbb {R}\), that is, \(L(t) \equiv 0\) is allowed to occur in some finite interval \(\mathbb {I}\) of \(\mathbb {R}\). Under some mild assumptions on W, we establish the existence of nontrivial weak solution, which vanish on \(\mathbb {R} \setminus \mathbb {I}\) as \(\lambda \rightarrow \infty ,\) and converge to \(\tilde{u}\) in \(H^{\alpha }(\mathbb {R})\); here \(\tilde{u} \in E_{0}^{\alpha }\) is nontrivial weak solution of the Dirichlet BVP for fractional Hamiltonian systems on the finite interval \(\mathbb {I}\). Furthermore, we give the multiplicity results for the above fractional Hamiltonian systems.

     

Generic Vopěnka’s Principle,remarkable cardinals,and the weak Proper Forcing Axiom

We introduce and study the first-order Generic Vopěnka’s Principle, which states that for every definable proper class of structures \(\mathcal {C}\) of the same type, there exist \(B\ne A\) in \(\mathcal {C}\) such that B elementarily embeds into A in some set-forcing extension. We show that, for \(n\ge 1\), the Generic Vopěnka’s Principle fragment for \(\Pi _n\)-definable classes is equiconsistent with a proper class of n-remarkable cardinals. The n-remarkable cardinals hierarchy for \(n\in \omega \), which we introduce here, is a natural generic analogue for the \(C^{(n)}\)-extendible cardinals that Bagaria used to calibrate the strength of the first-order Vopěnka’s Principle in Bagaria (Arch Math Logic 51(3–4):213–240, 2012). Expanding on the theme of studying set theoretic properties which assert the existence of elementary embeddings in some set-forcing extension, we introduce and study the weak Proper Forcing Axiom, \(\mathrm{wPFA}\). The axiom \(\mathrm{wPFA}\) states that for every transitive model \(\mathcal M\) in the language of set theory with some \(\omega _1\)-many additional relations, if it is forced by a proper forcing \(\mathbb P\) that \(\mathcal M\) satisfies some \(\Sigma _1\)-property, then V has a transitive model \(\bar{\mathcal M}\), satisfying the same \(\Sigma _1\)-property, and in some set-forcing extension there is an elementary embedding from \(\bar{\mathcal M}\) into \(\mathcal M\). This is a weakening of a formulation of \(\mathrm{PFA}\) due to Claverie and Schindler (J Symb Logic 77(2):475–498, 2012), which asserts that the embedding from \(\bar{\mathcal M}\) to \(\mathcal M\) exists in V. We show that \(\mathrm{wPFA}\) is equiconsistent with a remarkable cardinal. Furthermore, the axiom \(\mathrm{wPFA}\) implies \(\mathrm{PFA}_{\aleph _2}\), the Proper Forcing Axiom for antichains of size at most \(\omega _2\), but it is consistent with \(\square _\kappa \) for all \(\kappa \ge \omega _2\), and therefore does not imply \(\mathrm{PFA}_{\aleph _3}\).     

Subconvexity for sup-norms of cusp forms on $$\mathrm{PGL}(n)$$

Let F be an \(L^2\)-normalized Hecke Maaß cusp form for \(\Gamma _0(N) \subseteq {\mathrm{SL}}_{n}({\mathbb {Z}})\) with Laplace eigenvalue \(\lambda _F\). If \(\Omega \) is a compact subset of \(\Gamma _0(N)\backslash {\mathrm{PGL}}_n/\mathrm{PO}_{n}\), we show the bound \(\Vert F|_{\Omega }\Vert _{\infty } \ll _{ \Omega } N^{\varepsilon } \lambda _F^{n(n-1)/8 - \delta }\) for some constant \(\delta = \delta _n> 0\) depending only on n.