Isometric Immersions into {\mathbb{S}^m \times \mathbb{R}} and {\mathbb{H}^m \times \mathbb{R}} with High Codimensions

In this paper, we obtain sufficient and necessary conditions for a simply connected Riemannian manifold (M ⁿ , g) to be isometrically immersed into ${\mathbb{S}^m \times \mathbb{R}}$ and ${\mathbb{H}^m \times \mathbb{R}}$ .     

A class of subelliptic quasilinear equations

Suppose $\mathfrak {X} = \{X_1, X_2, \ldots,\,X_m\}$ is a system of real smooth vector fields on an open neighbourhood Ω of the closure of a bounded connected open set M in $\mathbb {R}^N$ satisfying the finite rank condition of Hörmander, namely the rank of the Lie algebra generated by $\mathfrak {X}$ under the usual bracket operation is a constant equal to N. We study the smoothness of solutions of a class of quasilinear equations of the form $$Q_{\mathfrak {X}}u = \sum _{j=1}^m X_j^*a_j(x, u, Xu) +b (x, u, Xu) = 0$$ where $a_j,\,b \in C^{\infty}(\Omega \times \mathbb {R} \times \mathbb {R}^m; \mathbb {R})$ . It is shown that if the matrix $\left({\frac {\partial a_j}{\partial \xi_i}}\right)$ is positive definite on $M \times \mathbb {R}^{m+1}$ then any weak solution $u \in \mathcal {C}^{2,\alpha}(M, \mathfrak {X})$ belongs to C ^∞(M).     

Uniqueness of \mathbb{C}^{ * } - and \mathbb{C}_{{\text{ + }}} -actions on Gizatullin Surfaces

A Gizatullin surface is a normal affine surface V over $ \mathbb{C} $ , which can be completed by a zigzag; that is, by a linear chain of smooth rational curves. In this paper we deal with the question of uniqueness of $ \mathbb{C}^{ * } $ -actions and $ \mathbb{A}^{{\text{1}}} $ -fibrations on such a surface V up to automorphisms. The latter fibrations are in one to one correspondence with $ \mathbb{C}_{{\text{ + }}} $ -actions on V considered up to a “speed change”. Non-Gizatullin surfaces are known to admit at most one $ \mathbb{A}^{1} $ -fibration V → S up to an isomorphism of the base S. Moreover, an effective $ \mathbb{C}^{ * } $ -action on them, if it does exist, is unique up to conjugation and inversion t $ \mapsto $ t ^?1 of $ \mathbb{C}^{ * } $ . Obviously, uniqueness of $ \mathbb{C}^{ * } $ -actions fails for affine toric surfaces. There is a further interesting family of nontoric Gizatullin surfaces, called the Danilov-Gizatullin surfaces, where there are in general several conjugacy classes of $ \mathbb{C}^{ * } $ -actions and $ \mathbb{A}^{{\text{1}}} $ -fibrations, see, e.g., [FKZ1]. In the present paper we obtain a criterion as to when $ \mathbb{A}^{{\text{1}}} $ -fibrations of Gizatullin surfaces are conjugate up to an automorphism of V and the base $ S \cong \mathbb{A}^{{\text{1}}} $ . We exhibit as well large subclasses of Gizatullin $ \mathbb{C}^{ * } $ -surfaces for which a $ \mathbb{C}^{ * } $ -action is essentially unique and for which there are at most two conjugacy classes of $ \mathbb{A}^{{\text{1}}} $ -fibrations over $ \mathbb{A}^{{\text{1}}} $ .     

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.     

Computing α-Invariants of Singular del Pezzo Surfaces

We prove a new local inequality for divisors on surfaces and utilize it to compute α-invariants of singular del Pezzo surfaces, which implies that del Pezzo surfaces of degree one whose singular points are of type $\mathbb{A}_{1}$ , $\mathbb{A}_{2}$ , $\mathbb{A}_{3}$ , $\mathbb{A}_{4}$ , $\mathbb{A}_{5}$ , or $\mathbb{A}_{6}$ are Kähler-Einstein.     

Relaxation of signed integral functionals in BV

For integral functionals initially defined for ${u \in {\rm W}^{1,1}(\Omega; \mathbb{R}^m)}$ by $$\int_{\Omega} f(\nabla u) \, {\rm d}x$$ we establish strict continuity and relaxation results in ${{\rm BV}(\Omega; \mathbb{R}^m)}$ . The results cover the case of signed continuous integrands ${f : \mathbb{R}^{m \times d} \to \mathbb{R}}$ of linear growth at infinity. In particular, it is not excluded that the integrands are unbounded below.     

On the topology of semi-algebraic functions on closed semi-algebraic sets

We consider a closed semi-algebraic set ${X \subset \mathbb{R}^n}$ and a C ² semi-algebraic function ${f : \mathbb{R}^n \rightarrow\mathbb{R}}$ such that ${f_{\vert X}}$ has a finite number of critical points. We relate the topology of X to the topology of the sets ${X \cap \{ f * \alpha \}}$ , where ${* \in \{\le,=,\ge \}}$ and ${\alpha \in \mathbb{R}}$ , and the indices of the critical points of ${f_{\vert X}}$ and ${-f_{\vert X}}$ . We also relate the topology of X to the topology of the links at infinity of the sets ${X \cap \{ f * \alpha\}}$ and the indices of these critical points. We give applications when ${X=\mathbb{R}^n}$ and when f is a generic linear function.     

On the Equivariant Cohomology of Subvarieties of a \mathfrak{B}-Regular Variety

By a $\mathfrak{B}$ -regular variety, we mean a smooth projective variety over $\mathbb{C}$ admitting an algebraic action of the upper triangular Borel subgroup $\mathfrak{B} \subset {\text{SL}}_{2} {\left( \mathbb{C} \right)}$ such that the unipotent radical in $\mathfrak{B}$ has a unique fixed point. A result of Brion and the first author [4] describes the equivariant cohomology algebra (over $\mathbb{C}$ ) of a $\mathfrak{B}$ -regular variety X as the coordinate ring of a remarkable affine curve in $X \times \mathbb{P}^{1}$ . The main result of this paper uses this fact to classify the $\mathfrak{B}$ -invariant subvarieties Y of a $\mathfrak{B}$ -regular variety X for which the restriction map i _Y : H ^*(X) → H ^*(Y) is surjective.     

Sets Computing the Symmetric Tensor Rank

Let ${\nu_{d} : \mathbb{P}^{r} \rightarrow \mathbb{P}^{N}, N := \left( \begin{array}{ll} r + d \\ \,\,\,\,\,\, r \end{array} \right)- 1,}$ denote the degree d Veronese embedding of ${\mathbb{P}^{r}}$ . For any ${P\, \in \, \mathbb{P}^{N}}$ , the symmetric tensor rank sr(P) is the minimal cardinality of a set ${\mathcal{S} \subset \nu_{d}(\mathbb{P}^{r})}$ spanning P. Let ${\mathcal{S}(P)}$ be the set of all ${A \subset \mathbb{P}^{r}}$ such that ${\nu_{d}(A)}$ computes sr(P). Here we classify all ${P \,\in\, \mathbb{P}^{n}}$ such that sr(P) <  3d/2 and sr(P) is computed by at least two subsets of ${\nu_{d}(\mathbb{P}^{r})}$ . For such tensors ${P\, \in\, \mathbb{P}^{N}}$ , we prove that ${\mathcal{S}(P)}$ has no isolated points.     

Some relations on the ordering of trees by minimal energies between subclasses of trees

The energy of a graph is defined as the sum of the absolute values of all eigenvalues of the graph. A tree is said to be non-starlike if it has at least two vertices with degree more than 2. A caterpillar is a tree in which a removal of all pendent vertices makes a path. Let $\mathcal{T}_{n,d}$ , $\mathbb{T}_{n,p}$ be the set of all trees of order n with diameter d, p pendent vertices respectively. In this paper, we investigate the relations on the ordering of trees and non-starlike trees by minimal energies between $\mathcal{T}_{n,d}$ and $\mathbb{T}_{n,n-d+1}$ . We first show that the first two trees (non-starlike trees, resp.) with minimal energies in $\mathcal{T}_{n,d}$ and $\mathbb{T}_{n,n-d+1}$ are the same for 3≤d≤n?2 (3≤d≤n?3, resp.). Then we obtain that the trees with third-minimal energy in $\mathcal{T}_{n,d}$ and $\mathbb{T}_{n,n-d+1}$ are the same when n≥11, 3≤d≤n?2 and d≠8; and the tree with third-minimal energy in $\mathcal{T}_{n,8}$ is the caterpillar with third-minimal energy in $\mathbb{T}_{n,n-7}$ for n≥11.     

Postulation of Disjoint Unions of Lines and Double Lines in {\mathbb{P}^3}

A double line ${C \subset \mathbb{P}^3}$ is a connected divisor of type (2, 0) on a smooth quadric surface. Fix ${(a, c) \in \mathbb{N}^2\ \backslash\ \{(0, 0)\}}$ . Let ${X \subset \mathbb{P}^3}$ be a general disjoint union of a lines and c double lines. Then X has maximal rank, i.e. for each ${t \in \mathbb{Z}}$ either ${h^1(\mathcal{I}_X(t)) = 0}$ or ${h^0(\mathcal{I}_X(t)) = 0}$ .     

Value-sets of polynomials at p-adic integers

In this paper we are concerned with the classification of the subsets A of ${\mathbb{Z}_p}$ which occur as images ${f(\mathbb{Z}_p^r)}$ of polynomial functions ${f:\mathbb{Z}_p^r\to \mathbb{Z}_p}$ , limiting ourselves to compact-open subsets (i.e. finite unions of open balls). We shall prove three main results: (i) Every compact-open ${A\subset \mathbb{Z}_p}$ is of the shape ${A=f(\mathbb{Z}_p^r)}$ for suitable r and ${f\in\mathbb{Z}_p[X_1,\ldots ,X_r]}$ . (ii) For each r ₀ there is a compact-open A such that in (i) we cannot take r < r ₀. (iii) For any compact-open set ${A\subset \mathbb{Z}_p}$ there exists a polynomial ${f\in\mathbb{Q}_p[X]}$ such that ${f(\mathbb{Z}_p)=A}$ . We shall also discuss in more detail which sets A can be represented as ${f(\mathbb{Z}_p)}$ for a polynomial ${f\in\mathbb{Z}_p[X]}$ in a single variable.     

Homotopy and nonlinear boundary value problems involving singular {\phi}-Laplacians

Homotopy methods are used to find sufficient conditions for the solvability of nonlinear boundary value problems of the form $$(\phi(u^\prime))^\prime = f(t, u, u^\prime), \quad g(u(\alpha), \phi(u^\prime(\beta))) = 0,$$ where (α, β) = (0, 1), (1, 0), (0, 0) or (1, 1), ${\phi}$ is a homeomorphism from the open ball ${B(a) \subset \mathbb{R}^n}$ onto ${\mathbb{R}^n}$ , f is a Carathéodory function, ${g : \mathbb{R}^n \times \, \mathbb{R}^n \rightarrow \mathbb{R}^m}$ is continuous and m ≤ 2n.     

Hard Sard: Quantitative Implicit Function and Extension Theorems for Lipschitz Maps

We prove a global implicit function theorem. In particular we show that any Lipschitz map ${f : \mathbb{R}^{n} \times \mathbb{R}^{m} \rightarrow \mathbb{R}^{n}}$ (with n-dim. image) can be precomposed with a bi-Lipschitz map ${\bar{g} : \mathbb{R}^{n} \times \mathbb{R}^{m} \rightarrow \mathbb{R}^{n} \times \mathbb{R}^{m}}$ such that ${f \circ \bar{g}}$ will satisfy, when we restrict to a large portion of the domain ${E \subset \mathbb{R}^{n} \times \mathbb{R}^{m}}$ , that ${f \circ \bar{g}}$ is bi-Lipschitz in the first coordinate, and constant in the second coordinate. Geometrically speaking, the map ${\bar{g}}$ distorts ${\mathbb{R}^{n+m}}$ in a controlled manner so that the fibers of f are straightened out. Furthermore, our results stay valid when the target space is replaced by any metric space. A main point is that our results are quantitative: the size of the set E on which behavior is good is a significant part of the discussion. Our estimates are motivated by examples such as Kaufman’s 1979 construction of a C ¹ map from [0, 1]³ onto [0, 1]² with rank ≤ 1 everywhere. On route we prove an extension theorem which is of independent interest. We show that for any D ≥ n, any Lipschitz function ${f : [0,1]^{n} \rightarrow \mathbb{R}^{D}}$ gives rise to a large (in an appropriate sense) subset ${E \subset [0,1]^{n}}$ such that ${f|_E}$ is bi-Lipschitz and may be extended to a bi-Lipschitz function defined on all of ${\mathbb{R}^{n}}$ . This extends results of Jones and David, from 1988. As a simple corollary, we show that n-dimensional Ahlfors–David regular spaces lying in ${\mathbb{R}^{D}}$ having big pieces of bi-Lipschitz images also have big pieces of big pieces of Lipschitz graphs in ${\mathbb{R}^{D}}$ . This was previously known only for D ≥ 2n?+?1 by a result of David and Semmes.     

On binary Kloosterman sums divisible by 3

By counting the coset leaders for cosets of weight 3 of the Melas code we give a new proof for the characterization of Kloosterman sums divisible by 3 for ${\mathbb{F}_{2^m}}$ where m is odd. New results due to Charpin, Helleseth and Zinoviev then provide a connection to a characterization of all ${a\in\mathbb{F}_{2^m}}$ such that ${Tr(a^{1/3})=0}$ ; we prove a generalization to the case ${Tr(a^{1/(2^k-1)})=0}$ . We present an application to constructing caps in PG(n, 2) with many free pairs of points.     

Generalised Gagliardo–Nirenberg Inequalities Using Weak Lebesgue Spaces and BMO

Using elementary arguments based on the Fourier transform we prove that for ${1 \leq q < p < \infty}$ and ${s \geq 0}$ with s > n(1/2 ? 1/p), if ${f \in L^{q,\infty} (\mathbb{R}^n) \cap \dot{H}^s (\mathbb{R}^n)}$ , then ${f \in L^p(\mathbb{R}^n)}$ and there exists a constant c _p,q,s such that $$\| f \|_{L^{p}} \leq c_{p,q,s} \| f \|^\theta _{L^{q,\infty}} \| f \|^{1-\theta}_{\dot{H}^s},$$ where 1/p = θ/q + (1?θ)(1/2?s/n). In particular, in ${\mathbb{R}^2}$ we obtain the generalised Ladyzhenskaya inequality ${\| f \| _{L^4} \leq c \| f \|^{1/2}_{L^{2,\infty}} \| f \|^{1/2}_{\dot{H}^1}}$ .We also show that for s = n/2 and q > 1 the norm in ${\| f \|_{\dot{H}^{n/2}}}$ can be replaced by the norm in BMO. As well as giving relatively simple proofs of these inequalities, this paper provides a brief primer of some basic concepts in harmonic analysis, including weak spaces, the Fourier transform, the Lebesgue Differentiation Theorem, and Calderon–Zygmund decompositions.     

Extinction profile of the logarithmic diffusion equation

Let ${N \geq 3}$ and u be the solution of u _t = Δ log u in ${\mathbb{R}^N \times (0, T)}$ with initial value u ₀ satisfying ${B_{k_1}(x, 0) \leq u_{0} \leq B_{k_2}(x, 0)}$ for some constants k ₁ > k ₂ > 0 where ${B_k(x, t) = 2(N - 2)(T - t)_{+}^{N/(N - 2)}/(k + (T - t)_{+}^{2/(N - 2)}|x|^{2})}$ is the Barenblatt solution for the equation and ${u_0 - B_{k_0} \in L^{1}(\mathbb{R}^{N})}$ for some constant k ₀ > 0 if ${N \geq 4}$ . We give a new different proof on the uniform convergence and ${L^1(\mathbb{R}^N)}$ convergence of the rescaled function ${\tilde{u}(x, s) = (T - t)^{-N/(N - 2)}u(x/(T - t)^{-1/(N - 2)}, t), s = -{\rm log}(T - t)}$ , on ${\mathbb{R}^N}$ to the rescaled Barenblatt solution ${\tilde{B}_{k_0}(x) = 2(N - 2)/(k_0 + |x|^{2})}$ for some k ₀ > 0 as ${s \rightarrow \infty}$ . When ${N \geq 4, 0 \leq u_0(x) \leq B_{k_0}(x, 0)}$ in ${\mathbb{R}^N}$ , and ${|u_0(x) - B_{k_0}(x, 0)| \leq f \in L^{1}(\mathbb{R}^{N})}$ for some constant k ₀ > 0 and some radially symmetric function f, we also prove uniform convergence and convergence in some weighted L ¹ space in ${\mathbb{R}^N}$ of the rescaled solution ${\tilde{u}(x, s)}$ to ${\tilde{B}_{k_0}(x)}$ as ${s \rightarrow \infty}$ .     

Infinite-dimensional quasigroups of finite orders

Let Σ be a finite set of cardinality k > 0, let $\mathbb{A}$ be a finite or infinite set of indices, and let $\mathcal{F} \subseteq \Sigma ^\mathbb{A}$ be a subset consisting of finitely supported families. A function $f:\Sigma ^\mathbb{A} \to \Sigma$ is referred to as an $\mathbb{A}$ -quasigroup (if $\left| \mathbb{A} \right| = n$ , then an n-ary quasigroup) of order k if $f\left( {\bar y} \right) \ne f\left( {\bar z} \right)$ for any ordered families $\bar y$ and $\bar z$ that differ at exactly one position. It is proved that an $\mathbb{A}$ -quasigroup f of order 4 is reducible (representable as a superposition) or semilinear on every coset of $\mathcal{F}$ . It is shown that the quasigroups defined on Σ^?, where ? are positive integers, generate Lebesgue nonmeasurable subsets of the interval [0, 1].