New open-book decompositions in singularity theory

In this article, we study the topology of real analytic germs ${F \colon (\mathbb{C}^3,0) \to (\mathbb{C},0)}$ given by ${F(x,y,z)=\overline{xy}(x^p+y^q)+z^r}$ with ${p,q,r \in \mathbb{N}, p,q,r \geq 2}$ and (p, q)?=?1. Such a germ gives rise to a Milnor fibration ${\frac{F}{\mid F \mid}\colon \mathbb{S}^5\setminus L_F \to \mathbb{S}^1}$ . We describe the link L _F as a Seifert manifold and we show that in many cases the open-book decomposition of ${\mathbb{S}^5}$ given by the Milnor fibration of F cannot come from the Milnor fibration of a complex singularity in ${\mathbb{C}^3}$ .     

Pfaffian representations of cubic surfaces

Let $\mathbb{K }$ be a field of characteristic zero. We describe an algorithm which requires a homogeneous polynomial $F$ of degree three in $\mathbb{K }[x_{0},x_1,x_{2},x_{3}]$ and a zero ${\mathbf{a }}$ of $F$ in $\mathbb{P }^{3}_{\mathbb{K }}$ and ensures a linear Pfaffian representation of $\text{ V}(F)$ with entries in $\mathbb{K }[x_{0},x_{1},x_{2},x_{3}]$ , under mild assumptions on $F$ and ${\mathbf{a }}$ . We use this result to give an explicit construction of (and to prove the existence of) a linear Pfaffian representation of $\text{ V}(F)$ , with entries in $\mathbb{K }^{\prime }[x_{0},x_{1},x_{2},x_{3}]$ , being $\mathbb{K }^{\prime }$ an algebraic extension of $\mathbb{K }$ of degree at most six. An explicit example of such a construction is given.     

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

Planar Beurling Transform and Bergman Type Spaces

In this paper we describe the actions of the operator $S_\mathbb{D }$ or its adjoint $S_\mathbb{D }^*$ on the poly-Bergman spaces of the unit disk $\mathbb{D }.$ Let $k$ and $j$ be positive integers. We prove that $(S_\mathbb{D })^{j}$ is an isometric isomorphism between the true poly-Bergman subspace $\mathcal{A }_{(k)}^2(\mathbb{D })\ominus N_{(k),j}$ onto the true poly-Bergman space $\mathcal{A }_{(j+k)}^2(\mathbb{D }),$ where the linear space $N_{(k),j}$ have finite dimension $j.$ The action of $(S_\mathbb{D })^{j-1}$ on the canonical Hilbert base for the Bergman subspace $\mathcal{A }^2(\mathbb{D })\ominus \mathcal{P }_{j-1},$ gives a Hilbert base $\{ \phi _{ j , k } \}_{ k }$ for $\mathcal{A }_{(j)}^2(\mathbb{D }).$ It is shown that $\{ \phi _{ j , k } \}_{ j, k }$ is a Hilbert base for $L^2(\mathbb{D },d A)$ such that whenever $j$ and $k$ remain constant we obtain a Hilbert base for the true poly-Bergman space $\mathcal{A }_{(j)}^2(\mathbb{D })$ and $\mathcal{A }_{(-k)}^2(\mathbb{D }),$ respectively. The functions $\phi _{ j , k }$ are polynomials in $z$ and $\overline{z}$ and are explicitly given in terms of the $(2,1)$ -hypergeometric polynomials. We prove explicit representations for the true poly-Bergman kernels and the Koshelev representation for the poly-Bergman kernels of $\mathbb{D }.$ The action of $S_\Pi $ on the true poly-Bergman spaces of the upper half-plane $\Pi $ allows one to introduce Hilbert bases for the true poly-Bergman spaces, and to give explicit representations of the true poly-Bergman and poly-Bergman kernels.     

Constant Angle Property and Canonical Principal Directions for Surfaces in {\mathbb{M}^{2}(c) \times {\mathbb{R}_{1}}}

In this paper, we study surfaces in Lorentzian product spaces ${{\mathbb{M}^{2}(c) \times \mathbb{R}_1}}$ . We classify constant angle spacelike and timelike surfaces in ${{\mathbb{S}^{2} \times \mathbb{R}_1}}$ and ${{\mathbb{H}^{2} \times \mathbb{R}_1}}$ . Moreover, complete classifications of spacelike surfaces in ${{\mathbb{S}^{2} \times \mathbb{R}_1}}$ and ${{\mathbb{H}^{2} \times \mathbb{R}_1}}$ and timelike surfaces in ${{\mathbb{M}^{2}(c) \times \mathbb{R}_1}}$ with a canonical principal direction are obtained. Finally, a new characterization of the catenoid of the 3rd kind is established, as the only minimal timelike surface with a canonical principal direction in Minkowski 3–space.     

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.     

Uniqueness of integrable solutions to {\nabla \zeta=G \zeta, \zeta|_\Gamma = 0} for integrable tensor coefficients G and applications to elasticity

Let ${\Omega \subset \mathbb{R}^{N}}$ be a Lipschitz domain and Γ be a relatively open and non-empty subset of its boundary ${\partial\Omega}$ . We show that the solution to the linear first-order system $$\nabla \zeta = G\zeta, \, \, \zeta|_\Gamma = 0 \quad \quad \quad (1)$$ is unique if ${G \in \textsf{L}^{1}(\Omega; \mathbb{R}^{(N \times N) \times N})}$ and ${\zeta \in \textsf{W}^{1,1}(\Omega; \mathbb{R}^{N})}$ . As a consequence, we prove $$||| \cdot ||| : \textsf{C}_{o}^{\infty}(\Omega, \Gamma; \mathbb{R}^{3}) \rightarrow [0, \infty), \, \, u \mapsto \parallel {\rm sym}(\nabla uP^{-1})\parallel_{\textsf{L}^{2}(\Omega)}$$ to be a norm for ${P \in \textsf{L}^{\infty}(\Omega; \mathbb{R}^{3 \times 3})}$ with Curl ${P \in \textsf{L}^{p}(\Omega; \mathbb{R}^{3 \times 3})}$ , Curl ${P^{-1} \in \textsf{L}^{q}(\Omega; \mathbb{R}^{3 \times 3})}$ for some p, q > 1 with 1/p + 1/q = 1 as well as det ${P \geq c^+ > 0}$ . We also give a new and different proof for the so-called ‘infinitesimal rigid displacement lemma’ in curvilinear coordinates: Let ${\Phi \in \textsf{H}^{1}(\Omega; \mathbb{R}^{3})}$ satisfy sym ${(\nabla\Phi^\top\nabla\Psi) = 0}$ for some ${\Psi \in \textsf{W}^{1,\infty}(\Omega; \mathbb{R}^{3}) \cap \textsf{H}^{2}(\Omega; \mathbb{R}^{3})}$ with det ${\nabla\Psi \geq c^+ > 0}$ . Then, there exist a constant translation vector ${a \in \mathbb{R}^{3}}$ and a constant skew-symmetric matrix ${A \in \mathfrak{so}(3)}$ , such that ${\Phi = A\Psi + a}$ .     

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

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.     

The second order pullback equation

Let $f,g$ be two closed $k$ -forms over $\mathbb{R }^{n}.$ The pullback equation studies the existence of a diffeomorphism $\varphi :\mathbb{R }^{n} \rightarrow \mathbb{R }^{n}$ such that $$\begin{aligned} \varphi ^{*}(g)=f. \end{aligned}$$ We prove two types of results. The first one sharpens some of the existing regularity results. The second one discusses the possibility of choosing the map $\varphi $ as the gradient of a function $\Phi :\mathbb{R }^{n} \rightarrow \mathbb R .$ We show that this is a very rare event unless the two forms are constant.     

Hurwitz-type bound, knot surgery, and smooth {\mathbb{S }}^1-four-manifolds

In this paper we prove several related results concerning smooth $\mathbb{Z }_p$ or $\mathbb{S }^1$ actions on $4$ -manifolds. We show that there exists an infinite sequence of smooth $4$ -manifolds $X_n$ , $n\ge 2$ , which have the same integral homology and intersection form and the same Seiberg-Witten invariant, such that each $X_n$ supports no smooth $\mathbb{S }^1$ -actions but admits a smooth $\mathbb{Z }_n$ -action. In order to construct such manifolds, we devise a method for annihilating smooth $\mathbb{S }^1$ -actions on $4$ -manifolds using Fintushel-Stern knot surgery, and apply it to the Kodaira-Thurston manifold in an equivariant setting. Finally, the method for annihilating smooth $\mathbb{S }^1$ -actions relies on a new obstruction we derived in this paper for existence of smooth $\mathbb{S }^1$ -actions on a $4$ -manifold: the fundamental group of a smooth $\mathbb{S }^1$ -four-manifold with nonzero Seiberg-Witten invariant must have infinite center. We also include a discussion on various analogous or related results in the literature, including locally linear actions or smooth actions in dimensions other than four.     

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

Constructible \nabla -modules on curves

Let $\mathcal{V }$ be a complete discrete valuation ring of mixed characteristic with perfect residue field. Let $X$ be a geometrically connected smooth proper curve over $\mathcal{V }$ . We introduce the notion of constructible convergent $\nabla $ -module on the analytification $X_{K}^{\mathrm{an}}$ of the generic fiber of $X$ . A constructible module is an $\mathcal{O }_{X_{K}^{\mathrm{an}}}$ -module which is not necessarily coherent, but becomes coherent on a stratification by locally closed subsets of the special fiber $X_{k}$ of $X$ . The notions of connection, of (over-) convergence and of Frobenius structure carry over to this situation. We describe a specialization functor from the category of constructible convergent $\nabla $ -modules to the category of $\mathcal{D }^\dagger _{\hat{X} \mathbf{Q }}$ -modules. We show that specialization induces an equivalence between constructible $F$ - $\nabla $ -modules and perverse holonomic $F$ - $\mathcal{D }^\dagger _{\hat{X} \mathbf{Q }}$ -modules.     

On p-tuples of the Grassmann manifolds

We provide a matrix invariant for isometry classes of p-tuples of points in the Grassmann manifold ${G_{n}\left(\mathbb{K}^{d}\right) }$ ( ${\mathbb{K=\mathbb{R}}}$ or ${\mathbb{C}}$ ). This invariant fully characterizes the p-tuple. We use it to classify the regular p-tuples of ${G_{2}\left(\mathbb{R}^{d}\right) }$ , ${G_{3}\left( \mathbb{R}^{d}\right) }$ and ${G_{2}\left( \mathbb{C}^{d}\right) }$ .     

Growth estimates for orbits of self-adjoint groups

Let $G$ denote a closed, connected, self-adjoint, noncompact subgroup of $GL(n,\mathbb R )$ , and let $d_{R}$ and $d_{L}$ denote respectively the right and left invariant Riemannian metrics defined by the canonical inner product on $M(n,\mathbb R ) = T_{I} GL(n,\mathbb R )$ . Let $v$ be a nonzero vector of $\mathbb R ^{n}$ such that the orbit $G(v)$ is unbounded in $\mathbb R ^{n}$ . Then the function $g \rightarrow d_{R}(g, G_{v})$ is unbounded, where $G_{v} = \{g \in G : g(v) = v \}$ , and we obtain algebraically defined upper and lower bounds $\lambda ^{+}(v)$ and $\lambda ^{-}(v)$ for the asymptotic behavior of the function $\frac{log|g(v)|}{d_{R}(g, G_{v})}$ as $d_{R}(g, G_{v}) \rightarrow \infty $ . The upper bound $\lambda ^{+}(v)$ is at most 1. The orbit $G(v)$ is closed in $\mathbb R ^{n} \Leftrightarrow \lambda ^{-}(w)$ is positive for some w $\in G(v)$ . If $G_{v}$ is compact, then $g \rightarrow |d_{R}(g,I) - d_{L}(g,I)|$ is uniformly bounded in $G$ , and the exponents $\lambda ^{+}(v)$ and $\lambda ^{-}(v)$ are sharp upper and lower asymptotic bounds for the functions $\frac{log|g(v)|}{d_{R}(g,I)}$ and $\frac{log|g(v)|}{d_{L}(g,I)}$ as $d_{R}(g,I) \rightarrow \infty $ or as $d_{L}(g,I) \rightarrow \infty $ . However, we show by example that if $G_{v}$ is noncompact, then there need not exist asymptotic upper and lower bounds for the function $\frac{log|g(v)|}{d_{L}(g, G_{v})}$ as $d_{L}(g, G_{v}) \rightarrow \infty $ . The results apply to representations of noncompact semisimple Lie groups $G$ on finite dimensional real vector spaces. We compute $\lambda ^{+}$ and $\lambda ^{-}$ for the irreducible, real representations of $SL(2,\mathbb R )$ , and we show that if the dimension of the $SL(2,\mathbb R )$ -module $V$ is odd, then $\lambda ^{+} = \lambda ^{-}$ on a nonempty open subset of $V$ . We show that the function $\lambda ^{-}$ is $K$ -invariant, where $K = O(n,\mathbb R ) \cap G$ . We do not know if $\lambda ^{-}$ is $G$ -invariant.     

On the Linear Dependence of a Finite Set of Additive Functions

In this note we prove the following: Let n?≥ 2 be a fixed integer. A system of additive functions ${A_{1},A_{2},\ldots,A_{n}:\mathbb{R} \to\mathbb{R}}$ is linearly dependent (as elements of the ${\mathbb{R}}$ vector space ${\mathbb{R}^{\mathbb{R}}}$ ), if and only if, there exists an indefinite quadratic form ${Q:\mathbb{R}^{n}\to\mathbb{R} }$ such that ${Q(A_{1}(x),A_{2}(x),\ldots,A_{n}(x))\geq 0}$ or ${Q(A_{1}(x),A_{2}(x),\ldots,A_{n}(x))\leq 0}$ holds for all ${x\in\mathbb{R}}$ .     

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.     

Hypercentralizing generalized skew derivations on left ideals in prime rings

Let $\mathcal{R }$ be a prime ring of characteristic different from $2, \mathcal{Q }_r$ the right Martindale quotient ring of $\mathcal{R }, \mathcal{C }$ the extended centroid of $\mathcal{R }, \mathcal{I }$ a nonzero left ideal of $\mathcal{R }, F$ a nonzero generalized skew derivation of $\mathcal{R }$ with associated automorphism $\alpha $ , and $n,k \ge 1$ be fixed integers. If $[F(r^n),r^n]_k=0$ for all $r \in \mathcal{I }$ , then there exists $\lambda \in \mathcal{C }$ such that $F(x)=\lambda x$ , for all $x\in \mathcal{I }$ . More precisely one of the following holds: (1) $\alpha $ is an $X$ -inner automorphism of $\mathcal{R }$ and there exist $b,c \in \mathcal{Q }_r$ and $q$ invertible element of $\mathcal{Q }_r$ , such that $F(x)=bx-qxq^{-1}c$ , for all $x\in \mathcal{Q }_r$ . Moreover there exists $\gamma \in \mathcal{C }$ such that $\mathcal{I }(q^{-1}c-\gamma )=(0)$ and $b-\gamma q \in \mathcal{C }$ ; (2) $\alpha $ is an $X$ -outer automorphism of $\mathcal{R }$ and there exist $c \in \mathcal{Q }_r, \lambda \in \mathcal{C }$ , such that $F(x)=\lambda x-\alpha (x)c$ , for all $x\in \mathcal{Q }_r$ , with $\alpha (\mathcal{I })c=0$ .