Modular Decomposition of the Orlik-Terao Algebra

Let ${\mathcal{A}}$ be a collection of n linear hyperplanes in ${\mathbb{k}^\ell}$ , where ${\mathbb{k}}$ is an algebraically closed field. The Orlik-Terao algebra of ${\mathcal{A}}$ is the subalgebra ${{\rm R}(\mathcal{A})}$ of the rational functions generated by reciprocals of linear forms vanishing on hyperplanes of ${\mathcal{A}}$ . It determines an irreducible subvariety ${Y (\mathcal{A})}$ of ${\mathbb{P}^{n-1}}$ . We show that a flat X of ${\mathcal{A}}$ is modular if and only if ${{\rm R}(\mathcal{A})}$ is a split extension of the Orlik-Terao algebra of the subarrangement ${\mathcal{A}_X}$ . This provides another refinement of Stanley’s modular factorization theorem [34] and a new characterization of modularity, similar in spirit to the fibration theorem of [27]. We deduce that if ${\mathcal{A}}$ is supersolvable, then its Orlik-Terao algebra is Koszul. In certain cases, the algebra is also a complete intersection, and we characterize when this happens.     

A converse of Baer’s theorem

Schur’s classical theorem states that for a group $G$ , if $G/Z(G)$ is finite, then $G'$ is finite. Baer extended this theorem for the factor group $G/Z_n(G)$ , in which $Z_n(G)$ is the $n$ -th term of the upper central series of $G$ . Hekster proved a converse of Baer’s theorem as follows: If $G$ is a finitely generated group such that $\gamma _{n+1}(G)$ is finite, then $G/Z_n(G)$ is finite where $\gamma _{n+1}(G)$ denotes the $(n+1)$ st term of the lower central series of $G$ . In this paper, we generalize this result by obtaining the same conclusion under the weaker hypothesis that $G/Z_n(G)$ is finitely generated. Furthermore, we show that the index of the subgroup $Z_n(G)$ is bounded by a precisely determined function of the order of $\gamma _{n+1}(G)$ . Moreover, we prove that the mentioned theorem of Hekster is also valid under a weaker condition that $Z_{2n}(G)/Z_{n}(G)$ is finitely generated. Although in this case the bound for the order of $\gamma _{n+1}(G)$ is not achieved.     

The second pinching theorem for hypersurfaces with constant mean curvature in a sphere

We generalize the second pinching theorem for minimal hypersurfaces in a sphere due to Peng–Terng, Wei–Xu, Zhang, and Ding–Xin to the case of hypersurfaces with small constant mean curvature. Let $M^n$ be a compact hypersurface with constant mean curvature $H$ in $S^{n+1}$ . Denote by $S$ the squared norm of the second fundamental form of $M$ . We prove that there exist two positive constants $\gamma (n)$ and $\delta (n)$ depending only on $n$ such that if $|H|\le \gamma (n)$ and $\beta (n,H)\le S\le \beta (n,H)+\delta (n)$ , then $S\equiv \beta (n,H)$ and $M$ is one of the following cases: (i) $S^{k}\Big (\sqrt{\frac{k}{n}}\Big )\times S^{n-k}\Big (\sqrt{\frac{n-k}{n}}\Big )$ , $\,1\le k\le n-1$ ; (ii) $S^{1}\Big (\frac{1}{\sqrt{1+\mu ^2}}\Big )\times S^{n-1}\Big (\frac{\mu }{\sqrt{1+\mu ^2}}\Big )$ . Here $\beta (n,H)=n+\frac{n^3}{2(n-1)}H^2+\frac{n(n-2)}{2(n-1)} \sqrt{n^2H^4+4(n-1)H^2}$ and $\mu =\frac{n|H|+\sqrt{n^2H^2+ 4(n-1)}}{2}$ .     

The non-existence of some NMDS codes and the extremal sizes of complete (n,3)-arcs in PG(2,16)

The non-existence of $[29+h,3+h,26]_{16}$ and $[29+h,4+h,25]_{16}$ -codes, $h\ge 0$ , is proven. These results are obtained using geometrical methods, exploiting the equivalence between NMDS codes of dimension $3$ and $(n,3)$ -arcs in $PG(2,q)$ . Along the way the packing problem for complete $(n,3)$ -arcs in $PG(2,16)$ is solved, proving that $m_{3}(2,16)=28$ and $t_{3}(2,16)=15$ and that the complete $(28,3)$ -arc and the complete $(15,3)$ -arc are unique up to collineations.     

Privileged Regions in Critical Strips of Non-lattice Dirichlet Polynomials

This paper shows, by means of Kronecker’s theorem, the existence of infinitely many privileged regions called $r$ -rectangles (rectangles with two semicircles of small radius $r$ ) in the critical strip of each function $L_{n}(z)\!:=\!$ $1-\sum _{k=2}^{n}k^{z}$ , $n\!\ge \!2$ , containing exactly $\left[ \dfrac{T\log n}{2\pi }\right] +1$ zeros of $L_{n}(z)$ , where $T$ is the height of the $r$ -rectangle and $\left[\cdot \right]$ represents the integer part.     

Partial regularity at the first singular time for hypersurfaces evolving by mean curvature

In this paper, we consider smooth, properly immersed hypersurfaces evolving by mean curvature in some open subset of   $\mathbb R ^{n+1}$ on a time interval $(0, t_0)$ . We prove that $p$ -integrability with $p\ge 2$ for the second fundamental form of these hypersurfaces in some space–time region $B_R(y)\times (0, t_0)$ implies that the $\mathcal H ^{n+2-p}$ -measure of the first singular set vanishes inside $B_R(y)$ . For $p=2$ and $n=2$ , this was established by Han and Sun. Our result furthermore generalizes previous work of Xu, Ye and Zhao and of Le and Sesum for $p\ge n+2$ , in which case the singular set was shown to be empty. By a theorem of Ilmanen, our integrability condition is satisfied for $p=2$ and $n=2\,$ if the initial surface has finite genus. Thus, the first singular set has zero $\mathcal H ^2$ -measure in this case. This is the conclusion of Brakke’s main regularity theorem for the special case of surfaces, but derived without having to impose the area continuity and unit density hypothesis. It follows from recent work of Head and of Huisken and Sinestrari that for the flow of closed, $k$ -convex hypersurfaces, that is hypersurfaces whose sum of the smallest $k$ principal curvatures is positive, our integrability criterion holds with exponent $p=n+3-k-\alpha $ for all small $\alpha >0$ as long as $1\le k\le n-1$ . Therefore, the first singular set of such solutions is at most $(k-1)$ -dimensional, which is an optimal estimate in view of some explicit examples.     

Collapsibility and Vanishing of Top Homology in Random Simplicial Complexes

Let $\Delta _{n-1}$ denote the $(n-1)$ -dimensional simplex. Let $Y$ be a random $d$ -dimensional subcomplex of $\Delta _{n-1}$ obtained by starting with the full $(d-1)$ -dimensional skeleton of $\Delta _{n-1}$ and then adding each $d$ -simplex independently with probability $p=\frac{c}{n}$ . We compute an explicit constant $\gamma _d$ , with $\gamma _2 \simeq 2.45$ , $\gamma _3 \simeq 3.5$ , and $\gamma _d=\Theta (\log d)$ as $d \rightarrow \infty $ , so that for $c < \gamma _d$ such a random simplicial complex either collapses to a $(d-1)$ -dimensional subcomplex or it contains $\partial \Delta _{d+1}$ , the boundary of a $(d+1)$ -dimensional simplex. We conjecture this bound to be sharp. In addition, we show that there exists a constant $\gamma _d< c_d <d+1$ such that for any $c>c_d$ and a fixed field $\mathbb{F }$ , asymptotically almost surely $H_d(Y;\mathbb{F }) \ne 0$ .     

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.     

Euclidean hypersurfaces with genuine deformations in codimension two

We classify hypersurfaces of rank two of Euclidean space ${\mathbb{R}^{n+1}}$ that admit genuine isometric deformations in ${\mathbb{R}^{n+2}}$ . That an isometric immersion ${\hat{f}\colon M^n \to \mathbb{R}^{n+2}}$ is a genuine isometric deformation of a hypersurface ${f\colon M^n\to\mathbb{R}^{n+1}}$ means that ${\hat f}$ is nowhere a composition ${\hat f=\hat F\circ f}$ , where ${\hat{F} \colon V\subset \mathbb{R}^{n+1} \to\mathbb{R}^{n+2}}$ is an isometric immersion of an open subset V containing the hypersurface.     

Diophantine approximation with sign constraints

Let $\alpha $ and $\beta $ be real numbers such that $1$ , $\alpha $ and $\beta $ are linearly independent over $\mathbb {Q}$ . A classical result of Dirichlet asserts that there are infinitely many triples of integers $(x_0,x_1,x_2)$ such that $|x_0+\alpha x_1+\beta x_2| < \max \{|x_1|,|x_2|\}^{-2}$ . In 1976, Schmidt asked what can be said under the restriction that $x_1$ and $x_2$ be positive. Upon denoting by $\gamma \cong 1.618$ the golden ratio, he proved that there are triples $(x_0,x_1,x_2) \in \mathbb {Z}^3$ with $x_1,x_2>0$ for which the product $|x_0 + \alpha x_1 + \beta x_2| \max \{|x_1|,|x_2|\}^\gamma $ is arbitrarily small. Although Schmidt later conjectured that $\gamma $ can be replaced by any number smaller than $2$ , Moshchevitin proved very recently that it cannot be replaced by a number larger than $1.947$ . In this paper, we present a construction of points $(1,\alpha ,\beta )$ showing that the result of Schmidt is in fact optimal. These points also possess strong additional Diophantine properties that are described in the paper.     

Irreducible representations of the classical Lie superalgebra of type A(0,n) in prime characteristic

Let $\mathfrak{g }=\mathfrak{s }\mathfrak{l }(1|n+1)$ be the classical Lie superalgebra of type $A(0,n)$ over an algebraically closed field of prime characteristic $p>2$ . A sufficient condition is provided for baby Kac $\mathfrak{g }$ -modules to be simple. Moreover, simple $\mathfrak{g }$ -modules with (quasi) regular semisimple characters are classified. In particular, up to isomorphism, all the simple modules for $\mathfrak{s }\mathfrak{l }(1|2)$ are determined, and representatives and dimensions of simples are precisely given. As an application, simple modules for the general linear Lie superalgebra $\mathfrak{g }\mathfrak{l }(1|n+1)$ with certain $p$ -characters are classified. In particular, a complete classification of simple $\mathfrak{g }\mathfrak{l }(1|2)$ -modules is given.     

Actions of arithmetic groups on homology spheres and acyclic homology manifolds

We establish lower bounds on the dimensions in which arithmetic groups with torsion can act on acyclic manifolds and homology spheres. The bounds rely on the existence of elementary $p$ -groups in the groups concerned. In some cases, including ${\mathrm{Sp}}(2n,\mathbb Z )$ , the bounds we obtain are sharp: if $X$ is a generalized $\mathbb Z /3$ -homology sphere of dimension less than $2n-1$ or a $\mathbb Z /3$ -acyclic $\mathbb Z /3$ -homology manifold of dimension less than $2n$ , and if $n\ge 3$ , then any action of ${\mathrm{Sp}}(2n,\mathbb Z )$ by homeomorphisms on $X$ is trivial; if $n=2$ , then every action of ${\mathrm{Sp}}(2n,\mathbb Z )$ on $X$ factors through the abelianization of ${\mathrm{Sp}}(4,\mathbb Z )$ , which is $\mathbb Z /2$ .     

Power law Pólya’s urn and fractional Brownian motion

We introduce a natural family of random walks $S_n$ on $\mathbb{Z }$ that scale to fractional Brownian motion. The increments $X_n := S_n - S_{n-1} \in \{\pm 1\}$ have the property that given $\{ X_k : k < n \}$ , the conditional law of $X_n$ is that of $X_{n - k_n}$ , where $k_n$ is sampled independently from a fixed law $\mu $ on the positive integers. When $\mu $ has a roughly power law decay (precisely, when $\mu $ lies in the domain of attraction of an $\alpha $ -stable subordinator, for $0<\alpha <1/2$ ) the walks scale to fractional Brownian motion with Hurst parameter $\alpha + 1/2$ . The walks are easy to simulate and their increments satisfy an FKG inequality. In a sense we describe, they are the natural “fractional” analogues of simple random walk on $\mathbb{Z }$ .     

Boundedness of Generalized Riesz Transforms on Orlicz–Hardy Spaces Associated to Operators

Let ${\Phi}$ be a continuous, strictly increasing and concave function on (0, ∞) of critical lower type index ${p_\Phi^- \in(0,\,1]}$ . Let L be an injective operator of type ω having a bounded H _∞ functional calculus and satisfying the k-Davies–Gaffney estimates with ${k \in {\mathbb Z}_+}$ . In this paper, the authors first introduce an Orlicz–Hardy space ${H^{\Phi}_{L}(\mathbb{R}^n)}$ in terms of the non-tangential L-adapted square function and then establish its molecular characterization. As applications, the authors prove that the generalized Riesz transform ${D_{\gamma}L^{-\delta/(2k)}}$ is bounded from the Orlicz–Hardy space ${H^{\Phi}_{L}(\mathbb{R}^n)}$ to the Orlicz space ${L^{\widetilde{\Phi}}(\mathbb{R}^n)}$ when ${p_\Phi^- \in (0, \frac{n}{n+ \delta - \gamma}]}$ , ${0 < \gamma \le \delta < \infty}$ and ${\delta- \gamma < n (\frac{1}{p_-(L)}-\frac{1}{p_+(L)})}$ , or from ${H^{\Phi}_{L}(\mathbb{R}^n)}$ to the Orlicz–Hardy space ${H^{\widetilde \Phi}(\mathbb{R}^n)}$ when ${p_\Phi^-\in (\frac{n}{n + \delta+ \lfloor \gamma \rfloor- \gamma},\,\frac{n}{n+ \delta- \gamma}]}$ , ${1\le \gamma \le \delta < \infty}$ and ${\delta- \gamma < n (\frac{1}{p_-(L)}-\frac{1}{p_+(L)})}$ , or from ${H^{\Phi}_{L}(\mathbb{R}^n)}$ to the weak Orlicz–Hardy space ${WH^\Phi(\mathbb{R}^n)}$ when ${\gamma = \delta}$ and ${p_\Phi=n/(n + \lfloor \gamma \rfloor)}$ or ${p_\Phi^-=n/(n + \lfloor \gamma \rfloor)}$ with ${p_\Phi^-}$ attainable, where ${\widetilde{\Phi}}$ is an Orlicz function whose inverse function ${\widetilde{\Phi}^{-1}}$ is defined by ${\widetilde{\Phi}^{-1}(t):=\Phi^{-1}(t)t^{\frac{1}{n}(\gamma- \delta)}}$ for all ${t \in (0,\,\infty)}$ , ${p_\Phi}$ denotes the strictly critical lower type index of ${\Phi}$ , ${\lfloor \gamma \rfloor}$ the maximal integer not more than ${\gamma}$ and ${(p_-(L),\,p_+(L))}$ the range of exponents ${p \in[1,\, \infty]}$ for which the semigroup ${\{e^{-tL}\}_{t >0 }}$ is bounded on ${L^p(\mathbb{R}^n)}$ .     

On the third gap for proper holomorphic maps between balls

Let $F$ be a proper rational map from the complex ball $\mathbb B ^n$ into $\mathbb B ^N$ with $n>7$ and $3n+1 \le N\le 4n-7$ . Then $F$ is equivalent to a map $(G, 0, \dots , 0)$ where $G$ is a proper holomorphic map from $\mathbb B ^n$ into $\mathbb B ^{3n}$ .     

Ranks of backward shift invariant subspaces of the Hardy space over the bidisk

Let $\{\varphi _n(z)\}_{n\ge 0}$ be a sequence of inner functions satisfying that $\zeta _n(z):=\varphi _n(z)/\varphi _{n+1}(z)\in H^\infty (z)$ for every $n\ge 0$ and $\{\varphi _n(z)\}_{n\ge 0}$ has no nonconstant common inner divisors. Associated with it, we have a Rudin type invariant subspace $\mathcal{M }$ of $H^2(\mathbb{D }^2)$ . The ranks of $\mathcal{M }\ominus w\mathcal{M }$ for $\mathcal{F }_z$ and $\mathcal{F }^*_z$ respectively are determined, where $\mathcal{F }_z$ is the fringe operator on $\mathcal{M }\ominus w\mathcal{M }$ . Let $\mathcal{N }= H^2(\mathbb{D }^2)\ominus \mathcal{M }$ . It is also proved that the rank of $\mathcal{M }\ominus w\mathcal{M }$ for $\mathcal{F }^*_z$ equals to the rank of $\mathcal{N }$ for $T^*_z$ and $T^*_w$ .     

Uniqueness of almost periodic-in-time solutions to Navier�CStokes equations in unbounded domains

We present a uniqueness theorem for almost periodic-in-time solutions to the Navier?CStokes equations in 3-dimensional unbounded domains. Thus far, uniqueness of almost periodic-in-time solutions to the Navier?CStokes equations in unbounded domain, roughly speaking, is known only for a small almost periodic-in-time solution in ${BC(\mathbb {R};L^{3}_w)}$ within the class of solutions that have sufficiently small ${L^{\infty}(L^{3}_w)}$ -norm. In this paper, we show that a small almost periodic-in-time solution in ${BC(\mathbb {R};L^{3}_w\cap L^{6,2})}$ is unique within the class of all almost periodic-in-time solutions in ${BC(\mathbb {R};L^{3}_w\cap L^{6,2})}$ . The proof of the present uniqueness theorem is based on the method of dual equations.     

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}$ .     

Stable hypersurfaces as minima of the integral of an anisotropic mean curvature preserving a linear combination of area and volume

We deal with a compact hypersurface $M$ without boundary immersed in Euclidean space $R^{n+1}$ with the quotient of anisotropic mean curvatures $\frac{(r+1)C_{n}^{r+1}H^F_{r+1}}{a(k+1)C_{n}^{k+1}H^F_{k+1}-b}=constant$ , for real numbers $a$ and $b$ . Such a hypersurface is a critical point for the variational problem preserving a linear combination (with coefficientes $a$ and $b$ ) of the $(k,F)$ -area and the $(n + 1)$ -volume enclosed by $M$ . We show that $M$ is $(r,k,a,b)$ -stable if and only if, up to translations and homotheties, it is the Wulff shape of $F$ , under some assumptions on $a$ and $b$ proved to be sharp. For $a=0$ and $b=1$ , this gives the known $r$ -stability of the $r$ -area for volume preserving variations; if also $F\equiv 1$ it yields the stability studied by Alencar-do Carmo-Rosenberg and Barbosa-Colares. For $b=0$ we also prove a characterization of the Wulff shape as a critical point of the $(r,F)$ -area for variations preserving the $(k, F)$ -area, $0\le k<r<n$ , without the $r$ -stability hypothesis.     

Stability results for the N-dimensional Schiffer conjecture via a perturbation method

Given a eigenvalue $\mu _{0m}^2$ of $-\Delta $ in the unit ball $B_1$ , with Neumann boundary conditions, we prove that there exists a class $\mathcal{D}$ of $C^{0,1}$ -domains, depending on $\mu _{0m} $ , such that if $u$ is a no trivial solution to the following problem $ \Delta u+\mu u=0$ in $\Omega , u=0$ on $\partial \Omega $ , and $ \int \nolimits _{\partial \Omega }\partial _{\mathbf{n}}u=0$ , with $\Omega \in \mathcal{D}$ , and $\mu =\mu _{0m}^2+o(1)$ , then $\Omega $ is a ball. Here $\mu $ is a eigenvalue of $-\Delta $ in $\Omega $ , with Neumann boundary conditions.