The boundary of the Milnor fibre of complex and real analytic non-isolated singularities

Let \(f\) and \(g\) be holomorphic function-germs vanishing at the origin of complex analytic germs of dimension three. Suppose that they have no common irreducible component and that the real analytic map-germ \(f\bar{g}\) has an isolated critical value at 0. We give necessary and sufficient conditions for the real analytic map-germ \(f\bar{g}\) to have a Milnor fibration and we prove that in this case the boundary of its Milnor fibre is a Waldhausen manifold. As an intermediate milestone we describe geometrically the Milnor fibre of map-germs of the form \(f\bar{g}\) defined in a complex surface germ, and we prove an A’Campo-type formula for the zeta function of its monodromy.     

A sufficient condition for zero entropy

We prove that a diffeomorphism \(f\) defined on a compact manifold has zero topological entropy if there are \(d\in {\mathbb {N}}\) and \(K>0\) such that \(\Vert Dg^{n_x}(x)\Vert \le Kn^d_x\) for every diffeomorphism \(g\) that is \(C^1\) close to \(f\) and every periodic point \(x\) of least period \(n_x\) of \(g\) .     

The theme of a vanishing period

Consider a multivalued formal function of the type 1 $$\begin{aligned} \varphi (s) : = \sum _{j=0}^k\,c_j(s).s^{\lambda + m_j}.(\mathrm{Log}\,s)^j, \end{aligned}$$ where \(\lambda \) is a positive rational number, \(c_j\) is in \({{\mathrm{\mathbb {C}}}}[[s]]\) and \(m_j \in \mathbb {N}\) for \(j \in [0,k-1]\) . The theme associated with such a \(\varphi \) is the “minimal filtered integral equation” satisfied by \(\varphi \) , in a sense which is made precise in this article. We study such objects and show that their isomorphism classes may be characterized by a finite set of complex numbers, when we assume the Bernstein polynomial of \(\varphi \) to be fixed. For a given \(\lambda \) , to fix the Bernstein polynomial is equivalent to fix a finite set of integers associated with the logarithm of the monodromy in the geometric situation described below. Our aim is to construct some analytic invariants, for instance in the following situation, let \(f : X \rightarrow D\) be a proper holomorphic function defined on a complex manifold \(X\) with values in a disc \(D\) . We assume that the only critical value is \(0 \in D\) and we consider this situation as a degenerating family of compact complex manifolds to a singular compact complex space \(f^{-1}(0)\) . To a smooth \((p+1)\) -form \(\omega \) on \(X\) such that \(\mathrm{d}\omega = 0 = \mathrm{d}f \wedge \omega \) and to a vanishing \(p\) -cycle \(\gamma \) chosen in the generic fiber \(f^{-1}(s_0), s_0 \in D \setminus \{0\}\) , we associated a “vanishing period” \(F_{\gamma }(s) : = \int _{\gamma _s} \omega \big /\mathrm{d}f \) which has an asymptotic expansion at \(0\) of the form \((1)\) above, when \(\gamma \) is chosen in the spectral subspace of \(H_p(f^{-1}(s_0), {{\mathrm{\mathbb {C}}}})\) for the eigenvalue \(\mathrm{e}^{2i\pi .\lambda }\) of the monodromy of \(f\) . Here \((\gamma _s)_{s \in D^*}\) is the horizontal multivalued family of \(p\) -cycles in the fibers of \(f\) obtained from the choice of \(\gamma \) . The aim of this article was to study the module generated by such a \(\varphi \) over the algebra \(\tilde{\mathcal {A}}\) , which is the \(b\) -completion of the algebra \(\mathcal {A}\) generated by the operators \(\mathrm{a} : = \times s\) and \(\mathrm{b} : = \int _{0}^{s}\) .     

Composition operators acting on Besov spaces on the real line

We study the composition operator \(T_f(g):= f\circ g\) on Besov spaces \(B_{{p},{q}}^{s}(\mathbb{R })\) . In case \(1 < p< +\infty ,\, 0< q \le +\infty \) and \(s>1+ (1/p)\) , we will prove that the operator \(T_f\) maps \(B_{{p},{q}}^{s}(\mathbb{R })\) to itself if, and only if, \(f(0)=0\) and \(f\) belongs locally to \(B_{{p},{q}}^{s}(\mathbb{R })\) . For the case \(p=q\) , i.e., in case of Slobodeckij spaces, we can extend our results from the real line to \(\mathbb{R }^n\) .     

Recognition of \text {PSL}(2,p) by order and some information on its character degrees where p is a prime

Let \(G\) be a finite group and \(\text {cd}(G)\) be the set of irreducible character degrees of \(G\) . In this paper we prove that if \(p\) is a prime number, then the simple group \(\text {PSL}(2,p)\) is uniquely determined by its order and some information about its character degrees. In fact we prove that if \(G\) is a finite group such that (i) \(|G|=|\text {PSL}(2,p)|\) , (ii) \(p\in \text {cd}(G)\) , (iii) \(\text {cd}(G)\) has an even integer, and (iv) there does not exist any element \(a\in \text {cd}(G)\) such that \(2p\mid a\) , then \(G\cong \text {PSL}(2,p)\) . As a consequence of our result we get that \(\text {PSL}(2,p)\) is uniquely determined by its order and the largest and the second largest character degrees.     

Two-dimensional slices of nonpseudoconvex domains with rough boundary

For a domain \(D\subset {\mathbb C}^n,\; n\ge 3\) , the set \(E\) is defined as the set of all points \(z\in {\mathbb C}^n\) for which the intersection of \(D\) with every complex \(2\) -plane through \(z\) is pseudoconvex. For \(D\) nonpseudoconvex, it is shown that \(E\) is contained in an affine subspace of codimension \(2\) . This results solves a problem raised by Nikolov and Pflug.     

Randomized large distortion dimension reduction

Consider a random matrix \(H:{\mathbb {R}}^{n}\longrightarrow {\mathbb {R}}^{m}\) . Let \(D\ge 2\) and let \(\{W_l\}_{l=1}^{p}\) be a set of \(k\) -dimensional affine subspaces of \({\mathbb {R}}^{n}\) . We ask what is the probability that for all \(1\le l\le p\) and \(x,y\in W_l\) , $$\begin{aligned} \Vert x-y\Vert _2\le \Vert Hx-Hy\Vert _2\le D\Vert x-y\Vert _2. \end{aligned}$$ We show that for \(m=O\big (k+\frac{\ln {p}}{\ln {D}}\big )\) and a variety of different classes of random matrices \(H\) , which include the class of Gaussian matrices, existence is assured and the probability is very high. The estimate on \(m\) is tight in terms of \(k,p,D\) .     

Orthogonality in \ell _p-spaces and its bearing on ordered Banach spaces

We introduce a notion of \(p\) -orthogonality in a general Banach space for \(1 \le p \le \infty \) . We use this concept to characterize \(\ell _p\) -spaces among Banach spaces and also among complete order smooth \(p\) -normed spaces as (ordered) Banach spaces with a total \(p\) -orthonormal set (in the positive cone). We further introduce a notion of \(p\) -orthogonal decomposition in order smooth \(p\) -normed spaces. We prove that if the \(\infty \) -orthogonal decomposition holds in an order smooth \(\infty \) -normed space, then the \(1\) -orthogonal decomposition holds in the dual space. We also give an example to show that the above said decomposition may not be unique.     

Intrinsically p-biharmonic maps

For a compact Riemannian manifold \(N\) , a domain \(\Omega \subset \mathbb {R}^m\) and for \(p\in (1, \infty )\) , we introduce an intrinsic version \(E_p\) of the \(p\) -biharmonic energy functional for maps \(u : \Omega \rightarrow N\) . This requires finding a definition for the intrinsic Hessian of maps \(u : \Omega \rightarrow N\) whose first derivatives are merely \(p\) -integrable. We prove, by means of the direct method, existence of minimizers of \(E_p\) within the corresponding intrinsic Sobolev space, and we derive a monotonicity formula. Finally, we also consider more general functionals defined in terms of polyconvex functions.     

Gaussian Integral Means of Entire Functions

For an entire function \(f:\mathbb C\mapsto \mathbb C\) and a triple \((p,\alpha , r)\in (0,\infty )\times (-\infty ,\infty )\times (0,\infty ]\) , the Gaussian integral mean of \(f\) (with respect to the area measure \(dA\) ) is defined by $$\begin{aligned} {\mathsf M}_{p,\alpha }(f,r)=\left( \,\, {\int \limits _{|z| Via deriving a maximum principle for \({\mathsf M}_{p,\alpha }(f,r)\) , we establish not only Fock–Sobolev trace inequalities associated with \({\mathsf M}_{p,p/2}(z^m f(z),\infty )\) (as \(m=0,1,2,\ldots \) ), but also convexities of \(r\mapsto \ln {\mathsf M}_{p,\alpha }(z^m,r)\) and \(r\mapsto {\mathsf M}_{2,\alpha <0}(f,r)\) in \(\ln r\) with \(0 .     

The extremal solution for the fractional Laplacian

We study the extremal solution for the problem \((-\Delta )^s u=\lambda f(u)\) in \(\Omega \) , \(u\equiv 0\) in \(\mathbb R ^n\setminus \Omega \) , where \(\lambda >0\) is a parameter and \(s\in (0,1)\) . We extend some well known results for the extremal solution when the operator is the Laplacian to this nonlocal case. For general convex nonlinearities we prove that the extremal solution is bounded in dimensions \(n<4s\) . We also show that, for exponential and power-like nonlinearities, the extremal solution is bounded whenever \(n<10s\) . In the limit \(s\uparrow 1\) , \(n<10\) is optimal. In addition, we show that the extremal solution is \(H^s(\mathbb R ^n)\) in any dimension whenever the domain is convex. To obtain some of these results we need \(L^q\) estimates for solutions to the linear Dirichlet problem for the fractional Laplacian with \(L^p\) data. We prove optimal \(L^q\) and \(C^\beta \) estimates, depending on the value of \(p\) . These estimates follow from classical embedding results for the Riesz potential in \(\mathbb R ^n\) . Finally, to prove the \(H^s\) regularity of the extremal solution we need an \(L^\infty \) estimate near the boundary of convex domains, which we obtain via the moving planes method. For it, we use a maximum principle in small domains for integro-differential operators with decreasing kernels.     

A doubling subset of L_p for p>2 that is inherently infinite dimensional

It is shown that for every \(p\in (2,\infty )\) there exists a doubling subset of \(L_p\) that does not admit a bi-Lipschitz embedding into \(\mathbb R^k\) for any \(k\in \mathbb N\) .     

Proper circulant weighing matrices of weight p^2

A circulant weighing matrix \(CW(v,n)\) is a circulant matrix \(M\) of order \(v\) with \(0,\pm 1\) entries such that \(MM^T=nI_v\) . In this paper, we study proper circulant matrices with \(n=p^2\) where \(p\) is an odd prime divisor of \(v\) . For \(p\ge 5\) , it turns out that to search for such circulant matrices leads us to two group ring equations and by studying these two equations, we manage to prove that no proper \(CW(pw,p^2)\) exists when \(p\equiv 3\pmod {4}\) or \(p=5\) .     

Pseudo-effective cone of Grassmann bundles over a curve

Let \(E\) be a vector bundle over a smooth projective curve \(X\) defined over an algebraically closed field \(k\) . For any integer \(1\,\le \, r\, <\, \mathrm{rank}(E)\) , let \(\mathrm{Gr}_r(E)\,\longrightarrow \, X\) be a Grassmann bundle parametrizing all \(r\) dimensional quotients of the fibers of \(E\) . We compute the pseudo-effective cone in the real Néron–Severi group \(\mathrm{NS}(\mathrm{Gr}_r(E))_\mathbb{R }\) . We prove that this cone coincides with the nef cone in \(\mathrm{NS}(\mathrm{Gr}_r(E))_\mathbb{R }\) if and only if the vector bundle \(E\) is semistable (respectively, strongly semistable) when the characteristic of \(k\) is zero (respectively, positive). Examples are given to show that this characterization of (strong) semistability is not true for vector bundles on higher dimensional projective varieties.     

A New Topological Helly Theorem and Some Transversal Results

We prove that for a topological space \(X\) with the property that \( H_{*}(U)=0\) for \(*\ge d\) and every open subset \(U\) of \(X\) , a finite family of open sets in \(X\) has nonempty intersection if for any subfamily of size \(j,\,1\le j\le d+1,\) the \((d-j)\) -dimensional homology group of its intersection is zero. We use this theorem to prove new results concerning transversal affine planes to families of convex sets.     

Uncertainty principles and sum complexes

Let \(p\) be a prime and let \(A\) be a nonempty subset of the cyclic group \(C_p\) . For a field \({\mathbb F}\) and an element \(f\) in the group algebra \({\mathbb F}[C_p]\) let \(T_f\) be the endomorphism of \({\mathbb F}[C_p]\) given by \(T_f(g)=fg\) . The uncertainty number \(u_{{\mathbb F}}(A)\) is the minimal rank of \(T_f\) over all nonzero \(f \in {\mathbb F}[C_p]\) such that \(\mathrm{supp}(f) \subset A\) . The following topological characterization of uncertainty numbers is established. For \(1 \le k \le p\) define the sum complex \(X_{A,k}\) as the \((k-1)\) -dimensional complex on the vertex set \(C_p\) with a full \((k-2)\) -skeleton whose \((k-1)\) -faces are all \(\sigma \subset C_p\) such that \(|\sigma |=k\) and \(\prod _{x \in \sigma }x \in A\) . It is shown that if \({\mathbb F}\) is algebraically closed then $$\begin{aligned} u_{{\mathbb F}}(A)=p-\max \{k :\tilde{H}_{k-1}(X_{A,k};{\mathbb F}) \ne 0\}. \end{aligned}$$ The main ingredient in the proof is the determination of the homology groups of \(X_{A,k}\) with field coefficients. In particular it is shown that if \(|A| \le k\) then \(\tilde{H}_{k-1}(X_{A,k};{\mathbb F}_p)\!=\!0.\)      

Existence of the generalized Fučík spectrum for nonhomogeneous elliptic operators

By variational methods and Morse theory, we prove the existence of uncountably many \((\alpha ,\beta )\in \mathbb R ^2\) for which the equation \(-\mathrm{div}\, A(x, \nabla u)=\alpha u_+^{p-1} -\beta u_-^{p-1}\) in \(\Omega \) , has a sign changing solution under the Neumann boundary condition, where a map \(A\) from \(\overline{\Omega }\times \mathbb R ^N\) to \(\mathbb R ^N\) satisfying certain regularity conditions. As a special case, the above equation contains the \(p\) -Laplace equation. However, the operator \(A\) is not supposed to be \((p-1)\) -homogeneous in the second variable. In particular, it is shown that generally the Fu?ík spectrum of the operator \(-\mathrm{div}\, A(x, \nabla u)\) on \(W^{1,p}(\Omega )\) contains some open unbounded subset of \(\mathbb R ^2\) .     

On homogeneous Lagrange means

Let \(f\) be a real differentiable function in an open interval \(I\) with one-to-one derivative. We observe that if the Lagrange mean \(L^{[f]}\) of a generator \(f\) is conditionally positively homogeneous, then \(f\) must be of the class \(C^{\infty }\) and the function $$\begin{aligned} g(x):=xf^{\prime }\left( x\right) -f\left( x\right) ,\quad \quad x\in I, \end{aligned}$$ is also a generator of \(L^{[f]}\) i.e. that \(L^{[g]}=L^{[f]}.\) We show that this fact and a result on equality of two Lagrange means allow easily to determine all positively homogeneous Lagrange means.     

Trace Formulae for Curvature of Jet Bundles over Planar Domains

For a domain \(\varOmega \) in \(\mathbb {C}\) and an operator \(T\) in \({\mathcal {B}}_n(\varOmega )\) , Cowen and Douglas construct a Hermitian holomorphic vector bundle \(E_T\) over \(\varOmega \) corresponding to \(T\) . The Hermitian holomorphic vector bundle \(E_T\) is obtained as a pull-back of the tautological bundle \(S(n,{\mathcal {H}})\) defined over \({\mathcal {G}}r(n,{\mathcal {H}})\) by a nondegenerate holomorphic map \(z\mapsto {\mathrm{ker}}(T-z),\;z\in \varOmega \) . To find the answer to the converse, Cowen and Douglas studied the jet bundle in their foundational paper. The computations in this paper for the curvature of the jet bundle are rather intricate. They have given a set of invariants to determine if two rank \(n\) Hermitian holomorphic vector bundle are equivalent. These invariants are complicated and not easy to compute. It is natural to expect that the equivalence of Hermitian holomorphic jet bundles should be easier to characterize. In fact, in the case of the Hermitian holomorphic jet bundle \({\mathcal {J}}_k({\mathcal {L}}_f)\) , we have shown that the curvature of the line bundle \({\mathcal {L}}_f\) completely determines the class of \({\mathcal {J}}_k({\mathcal {L}}_f)\) . In case of rank \(n\) Hermitian holomorphic vector bundle \(E_f\) , We have calculated the curvature of jet bundle \({\mathcal {J}}_k(E_f)\) and also obtained a trace formula for jet bundle \({\mathcal {J}}_k(E_f)\) .