Vanishing of higher order Alexander-type invariants of plane curves

The higher order degrees are Alexander-type invariants of complements to an affine plane curve. In this paper, we characterize the vanishing of such invariants for a curve C given as a transversal union of plane curves $C^{\prime }$ and $C^{\prime \prime }$ in terms of the finiteness and the vanishing properties of the invariants of $C^{\prime }$ and $C^{\prime \prime }$, and whether or not they are irreducible. As a consequence, we prove that the multivariable Alexander polynomial ${\mathrm{\Delta }}_C^{multi}$ is a power of $(t-1)$, and we characterize when ${\mathrm{\Delta }}_C^{multi}=1$ in terms of the defining equations of $C^{\prime }$ and $C^{\prime \prime }$. Our results impose obstructions on the class of groups that can be realized as fundamental groups of complements of a transversal union of curves.     

A singular Liouville equation on planar domains

We show the existence of a solution for an equation where the nonlinearity is logarithmically singular at the origin, namely, $-\mathrm{\Delta }u=(\log u+f(u)){\chi }_{\{u>0\}}$ in $\mathrm{\Omega }\subset {\mathbb{R}}^2$ with Dirichlet boundary condition. The function f has exponential growth, which can be subcritical or critical with respect to the Trudinger–Moser inequality. We study the energy functional $I_{\epsilon }$ corresponding to the perturbed equation $-\mathrm{\Delta }u+g_{\epsilon }(u)=f(u)$, where $g_{\epsilon }$ is well defined at 0 and approximates $-\log u$. We show that $I_{\epsilon }$ has a critical point $u_{\epsilon }$ in $H_0^1(\mathrm{\Omega })$, which converges to a legitimate nontrivial nonnegative solution of the original problem as $\epsilon \to 0$. We also investigate the problem with $f(u)$ replaced by $\lambda f(u)$, when the parameter $\lambda >0$ is sufficiently large.     

Elliptic Weingarten hypersurfaces of Riemannian products

Let $M^n$ be either a simply connected space form or a rank-one symmetric space of the noncompact type. We consider Weingarten hypersurfaces of $M\times \mathbb{R}$, which are those whose principal curvatures $k_1,\cdots ,k_n$ and angle function $𝛩$ satisfy a relation $W(k_1,\cdots ,k_n,{𝛩}^2)=0$, being W a differentiable function which is symmetric with respect to $k_1,\cdots ,k_n$. When $\partial W/\partial k_i>0$ on the positive cone of ${\mathbb{R}}^n$, a strictly convex Weingarten hypersurface determined by W is said to be elliptic. We show that, for a certain class of Weingarten functions W, there exist rotational strictly convex Weingarten hypersurfaces of $M\times \mathbb{R}$ which are either topological spheres or entire graphs over M. We establish a Jellett–Liebmann-type theorem by showing that a compact, connected and elliptic Weingarten hypersurface of either ${\mathbb{S}}^n\times \mathbb{R}$ or ${\mathbb{H}}^n\times \mathbb{R}$ is a rotational embedded sphere. Other uniqueness results for complete elliptic Weingarten hypersurfaces of these ambient spaces are obtained. We also obtain existence results for constant scalar curvature hypersurfaces of ${\mathbb{S}}^n\times \mathbb{R}$ and ${\mathbb{H}}^n\times \mathbb{R}$ which are either rotational or invariant by translations (parabolic or hyperbolic). We apply our methods to give new proofs of the main results by Manfio and Tojeiro on the classification of constant sectional curvature hypersurfaces of ${\mathbb{S}}^n\times \mathbb{R}$ and ${\mathbb{H}}^n\times \mathbb{R}$.     

On the (p,q)$(p,q)$-type strong law of large numbers for sequences of independent random variables

Li, Qi, and Rosalsky (Trans. Amer. Math. Soc., 368 (2016), no. 1, 539–561) introduced a refinement of the Marcinkiewicz–Zygmund strong law of large numbers (SLLN), the so-called $(p,q)$-type SLLN, where and $q>0$. They obtained sets of necessary and sufficient conditions for this new type SLLN for two cases: , $q>p$, and . Results for the case where and remain open problems. This paper gives a complete solution to these problems. We consider random variables taking values in a real separable Banach space $\mathbf{B}$, but the results are new even when $\mathbf{B}$ is the real line. Furthermore, the conditions for a sequence of random variables $\left\{X_n,n\ge 1\right\}$ satisfying the $(p,q)$-type SLLN are shown to provide an exact characterization of stable type p Banach spaces.     

Gauss-Prym maps on Enriques surfaces

We prove that the kth Gaussian map ${\gamma }_H^k$ is surjective on a polarized unnodal Enriques surface $(S,H)$ with $\phi (H)>2k+4$. In particular, as a consequence, when $\phi (H)>4(k+2)$, we obtain the surjectivity of the kth Gauss-Prym map ${\gamma }_{{\omega }_C\otimes \alpha }^k$, with $\alpha :={\omega }_{{S|}_C}$, on smooth hyperplane sections $C\in |H|$. In case $k=1$, it is sufficient to ask $\phi (H)>6$.     

Invariant hypercomplex structures and algebraic curves

We show that $U(k)$-invariant hypercomplex structures on (open subsets) of regular semisimple adjoint orbits in $\mathfrak{g}\mathfrak{l}(k,\mathbb{C})$ correspond to algebraic curves C of genus ${(k-1)}^2$, equipped with a flat projection $\pi :C\to {\mathbb{P}}^1$ of degree k, and an antiholomorphic involution $\sigma :C\to C$ covering the antipodal map on ${\mathbb{P}}^1$.     

Estimates for the entropy numbers of the Nikol'skii–Besov classes of functions with mixed smoothness in the space of quasi-continuous functions

We obtained order estimates for the entropy numbers of the Nikol'skii–Besov classes of functions $B_{p,\theta }^{\mathit{r}}({\mathbb{T}}^d)$ with mixed smoothness in the metric of the space of quasi-continuous functions $QC({\mathbb{T}}^d)$. We also showed that for $2\le p\le \infty$, , $r_1>\frac{1}{2}$, $d\ge 2$, the estimate of the corresponding asymptotic characteristic is exact in order.     

Totally real flat minimal surfaces in the hyperquadric

In this paper, we study geometry of totally real minimal surfaces in the complex hyperquadric $Q_{N-2}$, and obtain some characterizations of the harmonic sequence generated by these minimal immersions. For totally real flat surfaces that are minimal immersed in both $Q_{N-2}$ and $\mathbb{C}{P}^{N-1}$, we determine them for $N=4,5,6$, and give a classification theorem when they are Clifford solutions.     

A flow approach to the planar Lp$L_p$ Minkowski problem

This paper will establish the asymptotic behavior of an anisotropic area-preserving flow which shows the existence of smooth solutions of the planar $L_p$ Minkowski problem for $p\ne 0$.     

Geography of minimal surfaces of general type with Z22$\mathbb {Z}_2^2$-actions and the locus of Gorenstein stable surfaces

In this note, the geography of minimal surfaces of general type admitting ${\mathbb{Z}}_2^2$-actions is studied. More precisely, it is shown that Gieseker's moduli space ${\mathfrak{M}}_{K^2,\chi }$ contains surfaces admitting a ${\mathbb{Z}}_2^2$-action for every admissible pair $(K^2,\chi )$ such that $2\chi -6\le K^2\le 8\chi -8$ or $K^2=8\chi$. The examples considered allow to prove that the locus of Gorenstein stable surfaces is not closed in the KSBA-compactification ${\overline{\mathfrak{M}}}_{K^2,\chi }$ of Gieseker's moduli space ${\mathfrak{M}}_{K^2,\chi }$ for every admissible pair $(K^2,\chi )$ such that $2\chi -6\le K^2\le 8\chi -8$.     

Cones of lines having high contact with general hypersurfaces and applications

Given a smooth hypersurface $X\subset {\mathbb{P}}^{n+1}$ of degree $d⩾2$, we study the cones $V_p^h\subset {\mathbb{P}}^{n+1}$ swept out by lines having contact order $h⩾2$ at a point $p\in X$. In particular, we prove that if X is general, then for any $p\in X$ and $2⩽h⩽\min \{n+1,d\}$, the cone $V_p^h$ has dimension exactly $n+2-h$. Moreover, when X is a very general hypersurface of degree $d⩾2n+2$, we describe the relation between the cones $V_p^h$ and the degree of irrationality of k-dimensional subvarieties of X passing through a general point of X. As an application, we give some bounds on the least degree of irrationality of k-dimensional subvarieties of X passing through a general point of X, and we prove that the connecting gonality of X satisfies $d-⌊\frac{\sqrt{16n+25}-3}{2}⌋⩽conn.gon(X)⩽d-⌊\frac{\sqrt{8n+1}+1}{2}⌋$.     

Dimension-free square function estimates for Dunkl operators

Dunkl operators may be regarded as differential-difference operators parameterized by finite reflection groups and multiplicity functions. In this paper, the Littlewood–Paley square function for Dunkl heat flows in ${\mathbb{R}}^d$ is introduced by employing the full “gradient” induced by the corresponding carré du champ operator and then the $L^p$ boundedness is studied for all $p\in (1,\infty )$. For $p\in (1,2]$, we successfully adapt Stein's heat flows approach to overcome the difficulty caused by the difference part of the Dunkl operator and establish the $L^p$ boundedness, while for $p\in [2,\infty )$, we restrict to a particular case when the corresponding Weyl group is isomorphic to ${\mathbb{Z}}_2^d$ and apply a probabilistic method to prove the $L^p$ boundedness. In the latter case, the curvature-dimension inequality for Dunkl operators in the sense of Bakry–Emery, which may be of independent interest, plays a crucial role. The results are dimension-free.     

The rational cuspidal subgroup of J0(p2M)$J_0(p^2M)$ with M squarefree

For a positive integer N, let $X_0(N)$ be the modular curve over $\mathbf{Q}$ and $J_0(N)$ its Jacobian variety. We prove that the rational cuspidal subgroup of $J_0(N)$ is equal to the rational cuspidal divisor class group of $X_0(N)$ when $N=p^{2}M$ for any prime p and any squarefree integer M. To achieve this, we show that all modular units on $X_0(N)$ can be written as products of certain functions $F_{m,h}$, which are constructed from generalized Dedekind eta functions. Also, we determine the necessary and sufficient conditions for such products to be modular units on $X_0(N)$ under a mild assumption.     

Generalization of Hardy–Littlewood maximal inequality with variable exponent

Let $p(·)$ be a measurable function defined on ${\mathbb{R}}^d$ and $p_{-}:={inf}_{x\in {\mathbb{R}}^d}p(x)$. In this paper, we generalize the Hardy–Littlewood maximal operator. In the definition, instead of cubes or balls, we take the supremum over all rectangles the side lengths of which are in a cone-like set defined by a given function ψ. Moreover, instead of the integral means, we consider the $L_{q(·)}$-means. Let $p(·)$ and $q(·)$ satisfy the log-Hülder condition and $p(·)=q(·)r(·)$. Then, we prove that the maximal operator is bounded on $L_{p(·)}$ if and is bounded from $L_{p(·)}$ to the weak $L_{p(·)}$ if $1\le r_{-}\le \infty$. We generalize also the theorem about the Lebesgue points.     

On topological and combinatorial structures of pointed stable curves over algebraically closed fields of positive characteristic

In this paper, we study anabelian geometry of curves over algebraically closed fields of positive characteristic. Let $X^{•}=(X,D_X)$ be a pointed stable curve over an algebraically closed field of characteristic $p>0$ and ${\mathrm{\Pi }}_{X^{•}}$ the admissible fundamental group of $X^{•}$. We prove that there exists a group-theoretical algorithm, whose input datum is the admissible fundamental group ${\mathrm{\Pi }}_{X^{•}}$, and whose output data are the topological and the combinatorial structures associated with $X^{•}$. This result can be regarded as a mono-anabelian version of the combinatorial Grothendieck conjecture in the positive characteristic. Moreover, by applying this result, we construct clutching maps for moduli spaces of admissible fundamental groups.