Compact Surfaces with Constant Gaussian Curvature in Product Spaces

We prove that the only compact surfaces of positive constant Gaussian curvature in \mathbbH²×\mathbbR{\mathbb{H}^{2}\times\mathbb{R}} (resp. positive constant Gaussian curvature greater than 1 in \mathbbS²×\mathbbR{\mathbb{S}^{2}\times\mathbb{R}}) whose boundary Γ is contained in a slice of the ambient space and such that the surface intersects this slice at a constant angle along Γ, are the pieces of a rotational complete surface. We also obtain some area estimates for surfaces of positive constant Gaussian curvature in \mathbbH²×\mathbbR{\mathbb{H}^{2}\times\mathbb{R}} and positive constant Gaussian curvature greater than 1 in \mathbbS²×\mathbbR{\mathbb{S}^{2}\times\mathbb{R}} whose boundary is contained in a slice of the ambient space. These estimates are optimal in the sense that if the bounds are attained, the surface is again a piece of a rotational complete surface.     

Quasiregularly elliptic link complements

We extend the theorem of B. Daniel about the existence and uniqueness of immersions into \mathbbSⁿ × \mathbbR or \mathbbHⁿ × \mathbbR{\mathbb{S}^{n}\,\times\,\mathbb{R}\, {\rm or}\, \mathbb{H}^{n}\,\times\,\mathbb{R}} to the Riemannian product of two space forms. More precisely, we prove the existence and uniqueness of an isometric immersion of a Riemannian manifold into the Riemannian product of two space forms.     

Compact minimal surfaces in the Berger spheres

In this article, we construct compact, arbitrary Euler characteristic, orientable and non-orientable minimal surfaces in the Berger spheres. Also, we show an interesting family of surfaces that are minimal in every Berger sphere, characterizing them by this property. Finally we construct, via the Daniel correspondence, new examples of constant mean curvature surfaces in \mathbb S² ×\mathbb R,  \mathbb H² ×\mathbb R{\mathbb S^2 \times \mathbb R,\; \mathbb H^2 \times \mathbb R} and the Heisenberg group with many symmetries.     

Isoperimetric profile comparisons and Yamabe constants

We estimate from below the isoperimetric profile of S² ×\mathbb R²{S^2 \times {\mathbb R}^2} and use this information to obtain lower bounds for the Yamabe constant of S² ×\mathbb R²{S^2 \times {\mathbb R}^2} . This provides a lower bound for the Yamabe invariants of products S ² ×  M ² for any closed Riemann surface M. Explicitly we show that Y (S ² ×  M ²) >  (2/3)Y(S ⁴).     

Metrics with nonnegative curvature on {S^2 \times \mathbb{R}^4}

We study nonnegatively curved metrics on S²×\mathbbR⁴{S^2\times\mathbb{R}^4}. First, we prove rigidity theorems for connection metrics; for example, the holonomy group of the normal bundle of the soul must lie in a maximal torus of SO(4). Next, we prove that Wilking’s almost-positively curved metric on S ² × S ³ extends to a nonnegatively curved metric on S²×\mathbbR⁴{S^2\times\mathbb{R}^4} (so that Wilking’s space becomes the distance sphere of radius 1 about the soul). We describe in detail the geometry of this extended metric.     

Characterization and Computation of Canonical Tight Windows for Gabor Frames

Let (\gnm)_{n,m ? \Zst}(\gnm)_{n,m\in\Zst} be a Gabor frame for \LtR\LtR for given window gg. We show that the window \ho = \SQI g\ho=\SQI g that generates the canonically associated tight Gabor frame minimizes ||g-h||\|g-h\| among all windows hh generating a normalized tight Gabor frame. We present and prove versions of this result in the time domain, the frequency domain, the time-frequency domain, and the Zak transform domain, where in each domain the canonical \ho\ho is expressed using functional calculus for Gabor frame operators. Furthermore, we derive a Wiener--Levy type theorem for rationally oversampled Gabor frames. Finally, a Newton-type method for a fast numerical calculation of \ho\ho is presented. We analyze the convergence behavior of this method and demonstrate the efficiency of the proposed algorithm by some numerical examples.     

Legendrian Links, Causality, and the Low Conjecture

Let (X ^m+1, g) be a globally hyperbolic spacetime with Cauchy surface diffeomorphic to an open subset of ${\mathbb{R}^{m}}Let (X ^m+1, g) be a globally hyperbolic spacetime with Cauchy surface diffeomorphic to an open subset of \mathbbR^m{\mathbb{R}^{m}} . The Legendrian Low conjecture formulated by Natário and Tod says that two events x, y ? X{x, y \in X} are causally related if and only if the Legendrian link of spheres \mathfrakS_x, \mathfrakS_y{{\mathfrak{S}_x,\,\mathfrak{S}_y}} whose points are light geodesics passing through x and y is non-trivial in the contact manifold of all light geodesics in X. The Low conjecture says that for m = 2 the events x, y are causally related if and only if \mathfrakS_x, \mathfrakS_y{{\mathfrak{S}_x,\,\mathfrak{S}_y}} is non-trivial as a topological link. We prove the Low and the Legendrian Low conjectures. We also show that similar statements hold for any globally hyperbolic (X ^m+1, g) such that a cover of its Cauchy surface is diffeomorphic to an open domain in \mathbbR^m{\mathbb{R}^{m}} .     

Some presentations of the real number field

It is proved that every two Σ-presentations of an ordered field \mathbbR \mathbb{R} of reals over \mathbbH\mathbbF ( \mathbbR ) \mathbb{H}\mathbb{F}\,\left( \mathbb{R} \right) , whose universes are subsets of \mathbbR \mathbb{R} , are mutually Σ-isomorphic. As a consequence, for a series of functions f:\mathbbR ? \mathbbR f:\mathbb{R} \to \mathbb{R} (e.g., exp, sin, cos, ln), it is stated that the structure \mathbbR \mathbb{R} = 〈R, +, ×, <, 0, 1, f〉 lacks such Σ-presentations over \mathbbH\mathbbF ( \mathbbR ) \mathbb{H}\mathbb{F}\,\left( \mathbb{R} \right) .     

Linear independence of time-frequency shifts under a generalized Schrödinger representation

Let r_\mathbbR \rho_{\mathbb{R}} be the classical Schrödinger representation of the Heisenberg group and let L \Lambda be a finite subset of \mathbbR ×\mathbbR \mathbb{R} \times \mathbb{R} . The question of when the set of functions {t ? e^{2 pi y t} f(t + x) = (r_\mathbbR(x, y, 1) f)(t) : (x, y) ? L} \{t \mapsto e^{2 \pi i y t} f(t + x) = (\rho_{\mathbb{R}}(x, y, 1) f)(t) : (x, y) \in \Lambda\} is linearly independent for all f ? L²(\mathbbR), f 1 0 f \in L^2(\mathbb{R}), f \neq 0 , arises from Gabor analysis. We investigate an analogous problem for locally compact abelian groups G. For a finite subset L \Lambda of G ×[^(G)] G \times \widehat{G} and r_G \rho_G the Schrödinger representation of the Heisenberg group associated with G, we give a necessary and in many situations also sufficient condition for the set {r_G (x, w, 1)f : (x, w) ? L} \{\rho_G (x, w, 1)f : (x, w) \in \Lambda\} to be linearly independent for all f ? L²(G), f 1 0 f \in L^2(G), f \neq 0 .     

M?bius transform, moment-angle complexes and Halperin–Carlsson conjecture

The motivation for this paper comes from the Halperin–Carlsson conjecture for (real) moment-angle complexes. We first give an algebraic combinatorics formula for the M?bius transform of an abstract simplicial complex K on [m]={1,…,m} in terms of the Betti numbers of the Stanley–Reisner face ring k(K) of K over a field k. We then employ a way of compressing K to provide the lower bound on the sum of those Betti numbers using our formula. Next we consider a class of generalized moment-angle complexes Z_K^{(\mathbb D, \mathbb S)}\mathcal{Z}_{K}^{(\underline{\mathbb{ D}}, \underline{\mathbb{ S}})}, including the moment-angle complex Z_K\mathcal{Z}_{K} and the real moment-angle complex \mathbbRZ_K\mathbb{R}\mathcal {Z}_{K} as special examples. We show that H^*(Z_K^{(\mathbb D, \mathbb S)};k)H^{*}(\mathcal{Z}_{K}^{(\underline{\mathbb{ D}}, \underline{\mathbb{ S}})};\mathbf{k}) has the same graded k-module structure as Tor  ^k[v](k(K),k). Finally we show that the Halperin–Carlsson conjecture holds for Z_K\mathcal{Z}_{K} (resp. \mathbb RZ_K\mathbb{ R}\mathcal{Z}_{K}) under the restriction of the natural T ^m -action on Z_K\mathcal{Z}_{K} (resp. (ℤ₂) ^m -action on \mathbb RZ_K\mathbb{ R}\mathcal{Z}_{K}).     

On the maximal L p -regularity of parabolic mixed-order systems

We study maximal L _p -regularity for a class of pseudodifferential mixed-order systems on a space–time cylinder \mathbbRⁿ ×\mathbbR{\mathbb{R}^n \times \mathbb{R}} or X ×\mathbbR{X \times \mathbb{R}} , where X is a closed smooth manifold. To this end, we construct a calculus of Volterra pseudodifferential operators and characterize the parabolicity of a system by the invertibility of certain associated symbols. A parabolic system is shown to induce isomorphisms between suitable L _p -Sobolev spaces of Bessel potential or Besov type. If the cross section of the space–time cylinder is compact, the inverse of a parabolic system belongs to the calculus again. As applications, we discuss time-dependent Douglis–Nirenberg systems and a linear system arising in the study of the Stefan problem with Gibbs–Thomson correction.     

The coherence of complemented ideals in the space of real analytic functions

We characterize when an ideal of the algebra ${A(\mathbb{R}^d)}We characterize when an ideal of the algebra A(\mathbbR^d){A(\mathbb{R}^d)} of real analytic functions on \mathbbR^d{\mathbb{R}^d} which is determined by the germ at \mathbb R^d{\mathbb {R}^d} of a complex analytic set V is complemented under the assumption that either V is homogeneous or V?\mathbbR^d{V\cap \mathbb{R}^d} is compact. The characterization is given in terms of properties of the real singularities of V. In particular, for an arbitrary complex analytic variety V complementedness of the corresponding ideal in A(\mathbbR^d){A(\mathbb{R}^d)} implies that the real part of V is coherent. We also describe the closed ideals of A(\mathbbR^d){A(\mathbb{R}^d)} as sections of coherent sheaves.     

Almost Periodicity of Parabolic Evolution Equations with Inhomogeneous Boundary Values

We show the existence and uniqueness of the (asymptotically) almost periodic solution to parabolic evolution equations with inhomogeneous boundary values on \mathbbR{\mathbb{R}} and \mathbbR_±\mathbb{R}_{\pm}, if the data are (asymptotically) almost periodic. We assume that the underlying homogeneous problem satisfies the ‘Acquistapace–Terreni’ conditions and has an exponential dichotomy. If there is an exponential dichotomy only on half intervals ( − ∞, − T] and [T, ∞), then we obtain a Fredholm alternative of the equation on \mathbbR{\mathbb{R}} in the space of functions being asymptotically almost periodic on \mathbbR₊{\mathbb{R}}_{+} and \mathbbR_-\mathbb{R}_{-}.     

Fujita-Liouville Type Theorem for Coupled Fourth-Order Parabolic Inequalities

This paper deals with a coupled system of fourth-order parabolic inequalities |u|t ≥ 2u + |v|q,|v|t ≥ 2v + |u|p in S = Rn × R+ with p,q > 1,n ≥ 1.A FujitaLiouville type theorem is established that the inequality system does not admit nontrivial nonnegative global solutions on S whenever n4 ≤ max(ppq+11,pqq+11).Since the general maximum-comparison principle does not hold for the fourth-order problem,the authors use the test function method to get the global non-existence of nontrivial solutions.     

On Algebraic K-theory Categorical Groups

Homotopy categorical groups of any pointed space are defined via the fundamental groupoid of iterated loop spaces. This notion allows, paralleling the group case, to introduce the notion of K-categorical groups \mathbbK_iR\mathbb{K}_iR of any ring R. We also show the existence of a fundamental categorical crossed module associated to any fibre homotopy sequence and then, \mathbbK₁R\mathbb{K}_1R and \mathbbK₂R\mathbb{K}_2R are characterized, respectively, as the homotopy cokernel and kernel of the fundamental categorical crossed module associated to the fibre homotopy sequence FR\xrightarrowd_R BGLR\xrightarrowq_R BGLR ⁺ FR\xrightarrow{{d_{R} }}BGLR\xrightarrow{{q_{R} }}BGLR^{ + } As consequence, the 3th level of the Postnikov tower of the K-theory spectrum of R is classified by this categorical crossed module.     

Constant angle surfaces in \Bbb S2×\Bbb R {\Bbb S}^2\times {\Bbb R}

In this article we study surfaces in \Bbb S²×\Bbb R {\Bbb S}^2\times {\Bbb R} for which the unit normal makes a constant angle with the \Bbb R {\Bbb R} -direction. We give a complete classification for surfaces satisfying this simple geometric condition.     

A generalisation of the Hopf construction and harmonic morphisms into {\mathbb {S}^2}

In this paper, we construct a new family of harmonic morphisms ${\varphi:V^5\to\mathbb{S}^2}In this paper, we construct a new family of harmonic morphisms j:V⁵?\mathbbS²{\varphi:V^5\to\mathbb{S}^2}, where V ⁵ is a 5-dimensional open manifold contained in an ellipsoidal hypersurface of \mathbbC⁴ = \mathbbR⁸{\mathbb{C}^4\,=\,\mathbb{R}^8}. These harmonic morphisms admit a continuous extension to the completion V^*5{{V^{\ast}}^5}, which turns out to be an explicit real algebraic variety. We work in the context of a generalization of the Hopf construction and equivariant theory.     

The L p -Solvability of the Dirichlet Problem for Planar Elliptic Equations, Sharp Results

Assume that the elliptic operator L=div (A(x)∇) is L ^p -resolutive, p>1, on the unit disc \mathbbD ì \mathbb R²\mathbb{D}\subset \mathbb {R}^{2} . This means that the Dirichlet problem