The Mixed Curvatures on C N

The aim of the present paper is devoted to the investigation of some geometrical properties on the middle envelope in terms of the invariants of the third quadratic form of the normal line congruence C_N . The mixed middle curvature and mixed curvature on C_N are obtained in tenus of the Mean and Gauss curvatures of the surface of reference. Our study is considered as a continuation to Stephanidis ([1], [2], [3], [4], [5]). The technique adapted here is based on the methods of moving frames and their related exteriour forms [6] and [7].     

New examples of Willmore submanifolds in the unit sphere via isoparametric functions, II

This paper is a continuation and wide extension of (Ann. Glob. Anal. Geom., doi:10.1007/s10455-012-9319-z, 2012). In the first part of the present paper, we give a unified geometric proof that both focal submanifolds of every isoparametric hypersurface in spheres with four distinct principal curvatures are Willmore. In the second part, we completely determine which focal submanifolds are Einstein except one case.     

More about λ-support iterations of (<λ)-complete forcing notions

This article continues Ros?anowski and Shelah (Int J Math Math Sci 28:63–82, 2001; Quaderni di Matematica 17:195–239, 2006; Israel J Math 159:109–174, 2007; 2011; Notre Dame J Formal Logic 52:113–147, 2011) and we introduce here a new property of (<λ)-strategically complete forcing notions which implies that their λ-support iterations do not collapse λ ⁺ (for a strongly inaccessible cardinal λ).     

Weakly Convex Biharmonic Hypersurfaces in Nonpositive Curvature Space Forms are Minimal

A submanifold M ^m of a Euclidean space R ^m+p is said to have harmonic mean curvature vector field if ${\Delta \vec{H}=0}$ , where ${\vec{H}}$ is the mean curvature vector field of ${M\hookrightarrow R^{m+p}}$ and Δ is the rough Laplacian on M. There is a famous conjecture named after Bangyen Chen which states that submanifolds of Euclidean spaces with harmonic mean curvature vector fields are minimal. In this paper we prove that weakly convex hypersurfaces (i.e. hypersurfaces whose principle curvatures are nonnegative) with harmonic mean curvature vector fields in Euclidean spaces are minimal. Furthermore we prove that weakly convex biharmonic hypersurfaces in nonpositively curved space forms are minimal.     

Classroom-based interventions in mathematics education: relevance, significance, and applicability

This special issue discusses various pedagogical innovations and myriad of significant findings. This commentary is not a synthesis of these contributions, but a summary of my own reflections on selected aspects of the nine papers comprising the special issue. Four themes subsume these reflections: (1) Gestural Communication (Alibali, Nathan, Church, Wolfgram, Kim and Knuth 2013); (2) Development of Ways of Thinking (Jahnke and Wambach 2013; Lehrer, Kobiela and Weinberg 2013; Mariotti 2013; Roberts and A. Stylianides 2013; Shilling-Traina and G. Stylianides 2013; Tabach, Hershkowitz and Dreyfus 2013); (3) Learning Mathematics through Representation (Saxe, Diakow and Gearhart 2013); and (4) Challenges in Dialogic Teaching (Ruthven and Hofmann 2013).     

On rigidity of hypersurfaces with constant curvature functions in warped product manifolds

In this paper, we first investigate several rigidity problems for hypersurfaces in the warped product manifolds with constant linear combinations of higher order mean curvatures as well as “weighted” mean curvatures, which extend the work (Brendle in Publ Math Inst Hautes Études Sci 117:247–269, 2013; Brendle and Eichmair in J Differ Geom 94(94):387–407, 2013; Montiel in Indiana Univ Math J 48:711–748, 1999) considering constant mean curvature functions. Secondly, we obtain the rigidity results for hypersurfaces in the space forms with constant linear combinations of intrinsic Gauss–Bonnet curvatures $L_k$ . To achieve this, we develop some new kind of Newton–Maclaurin type inequalities on $L_k$ which may have independent interest.     

Constructive finite free resolutions

Northcott’s book Finite Free Resolutions (1976), as well as the paper (J. Reine Angew. Math. 262/263:205–219, 1973), present some key results of Buchsbaum and Eisenbud (J. Algebra 25:259–268, 1973; Adv. Math. 12: 84–139, 1974) both in a simplified way and without Noetherian hypotheses, using the notion of latent nonzero divisor introduced by Hochster. The goal of this paper is to simplify further the proofs of these results, which become now elementary in a logical sense (no use of prime ideals, or minimal prime ideals) and, we hope, more perspicuous. Some formulations are new and more general than in the references (J. Algebra 25:259–268, 1973; Adv. Math. 12: 84–139, 1974; Finite Free Resolutions 1976) (Theorem 7.2, Lemma 8.2 and Corollary 8.5).     

Eigenvalues of the Laplacian and extrinsic geometry

We extend the results given by Colbois, Dryden and El Soufi on the relationships between the eigenvalues of the Laplacian and an extrinsic invariant called intersection index, in two directions. First, we replace this intersection index by invariants of the same nature which are stable under small perturbations. Second, we consider complex submanifolds of the complex projective space $\mathbb C P^N$ instead of submanifolds of $\mathbb R ^N$ and we obtain an eigenvalue upper bound depending only on the dimension of the submanifold which is sharp for the first non-zero eigenvalue.     

Rigidity around Poisson submanifolds

We prove a rigidity theorem in Poisson geometry around compact Poisson submanifolds, using the Nash–Moser fast convergence method. In the case of one-point submanifolds (fixed points), this implies a stronger version of Conn’s linearization theorem [2], also proving that Conn’s theorem is a manifestation of a rigidity phenomenon; similarly, in the case of arbitrary symplectic leaves, it gives a stronger version of the local normal form theorem [7]. We can also use the rigidity theorem to compute the Poisson moduli space of the sphere in the dual of a compact semisimple Lie algebra [17].     

Improved Sobolev embeddings,profile decomposition,and concentration-compactness for fractional Sobolev spaces

We obtain an improved Sobolev inequality in \(\dot{H}^s\) spaces involving Morrey norms. This refinement yields a direct proof of the existence of optimizers and the compactness up to symmetry of optimizing sequences for the usual Sobolev embedding. More generally, it allows to derive an alternative, more transparent proof of the profile decomposition in \(\dot{H}^s\) obtained in Gérard (ESAIM Control Optim Calc Var 3:213–233, 1998) using the abstract approach of dislocation spaces developed in Tintarev and Fieseler (Concentration compactness. Functional-analytic grounds and applications. Imperial College Press, London, 2007). We also analyze directly the local defect of compactness of the Sobolev embedding in terms of measures in the spirit of Lions (Rev Mat Iberoamericana 1:145–201, 1985, Rev Mat Iberoamericana 1:45–121, 1985). As a model application, we study the asymptotic limit of a family of subcritical problems, obtaining concentration results for the corresponding optimizers which are well known when \(s\) is an integer (Rey in Manuscr Math 65:19–37, 1989, Han in Ann Inst Henri Poincaré Anal Non Linéaire 8:159–174, 1991, Chou and Geng in Differ Integral Equ 13:921–940, 2000).     

Blow up for the critical generalized Korteweg–de Vries equation. I: Dynamics near the soliton

We consider the quintic generalized Korteweg–de Vries equation (gKdV) $$u_t + (u_{xx} + u^5)_x =0,$$ which is a canonical mass critical problem, for initial data in H ¹ close to the soliton. In earlier works on this problem, finite- or infinite-time blow up was proved for non-positive energy solutions, and the solitary wave was shown to be the universal blow-up profile, see [16], [26] and [20]. For well-localized initial data, finite-time blow up with an upper bound on blow-up rate was obtained in [18]. In this paper, we fully revisit the analysis close to the soliton for gKdV in light of the recent progress on the study of critical dispersive blow-up problems (see [31], [39], [32] and [33], for example). For a class of initial data close to the soliton, we prove that three scenarios only can occur: (i) the solution leaves any small neighborhood of the modulated family of solitons in the scale invariant L ² norm; (ii) the solution is global and converges to a soliton as t → ∞; (iii) the solution blows up in finite time T with speed $$\|u_x(t)\|_{L^2} \sim \frac{C(u_0)}{T-t} \quad {\rm as}\, t\to T.$$ Moreover, the regimes (i) and (iii) are stable. We also show that non-positive energy yields blow up in finite time, and obtain the characterization of the solitary wave at the zero-energy level as was done for the mass critical non-linear Schrödinger equation in [31].     

L p -theory for second-order elliptic operators with unbounded coefficients

Second-order elliptic operators with unbounded coefficients of the form ${Au := -{\rm div}(a\nabla u) + F . \nabla u + Vu}$ in ${L^{p}(\mathbb{R}^{N}) (N \in \mathbb{N}, 1 < p < \infty)}$ are considered, which are the same as in recent papers Metafune et?al. (Z Anal Anwendungen 24:497–521, 2005), Arendt et?al. (J Operator Theory 55:185–211, 2006; J Math Anal Appl 338: 505–517, 2008) and Metafune et?al. (Forum Math 22:583–601, 2010). A new criterion for the m-accretivity and m-sectoriality of A in ${L^{p}(\mathbb{R}^{N})}$ is presented via a certain identity that behaves like a sesquilinear form over L ^p ×?L ^p'. It partially improves the results in (Metafune et?al. in Z Anal Anwendungen 24:497–521, 2005) and (Metafune et?al. in Forum Math 22:583–601, 2010) with a different approach. The result naturally extends Kato’s criterion in (Kato in Math Stud 55:253–266, 1981) for the nonnegative selfadjointness to the case of p ≠?2. The simplicity is illustrated with the typical example ${Au = -u\hspace{1pt}'' + x^{3}u\hspace{1pt}' + c |x|^{\gamma}u}$ in ${L^p(\mathbb{R})}$ which is dealt with in (Arendt et?al. in J Operator Theory 55:185–211, 2006; Arendt et?al. in J Math Anal Appl 338: 505–517, 2008).     

Cyclic group blocking polyhedra

Gomory (Linear Algebra Appl 2:451–558, 1969) gave a subadditive characterization of the facets of the group polyhedron. Although there are exponentially many facets (see Gomory and Johnson in Math Program 3:359–389, 1972, Example 4.6) and exponentially many vertices for the group polyhedron for the master cyclic group problem, Gomory’s characterization of the non-trivial facets has polynomially many subadditive inequalities, in fact of order |G|² for a finite Abelian group G. We reduce this subadditive inequality system to its minimal representation by a triple system of the same order and show the dimensionality of the polytope of non-trivial facets. The system of all triples corresponds to all solution vectors of length three into which every solution vector can be decomposed. Our minimal representation leads to a characterization of the vertices of length three. Gomory et al. (Math Program 96:321–339, 2003) introduced a shooting experiment involving solving the shooting linear program repeatedly to find important facets. We develop a topological network flow model of the dual problem of the shooting linear program in a reverse procedure from the decomposition of solution vectors into triples. Hunsaker (2003) gave a knapsack shooting experiment, which we use to find a simple pattern for the most hit knapsack facets.     

Immersed Solutions of Plateau’s Problem for Piecewise Smooth Boundary Curves with Small Total Curvature

We provide a new proof of the classical result that any closed rectifiable Jordan curve ${\Gamma \subset \mathbb{R}^3}$ being piecewise of class C ² bounds at least one immersed minimal surface of disc-type, under the additional assumption that the total curvature of Γ is smaller than 6π. In contrast to the methods due to Osserman (Ann Math 91(2):550–569, 1970), Gulliver (Ann Math 97(2):275–305, 1973) and Alt (Math Z 127:333–362, 1972, Math Ann 201:33–35, 1973), our proof relies on a polygonal approximation technique, using the existence of immersed solutions of Plateau’s problem for polygonal boundary curves, provided by the first author’s accomplishment (The Plateau problem, Fuchsian equations and the Riemann–Hilbert problem. Mémoires de la Soc. Math. Fr. (to appear) arXiv: 1003.0978) of Garnier’s ideas in (Annales scientifiques de l’É.N.S. 45:53–144, 1928).     

Knots in Riemannian manifolds

In this paper we study submanifolds with nonpositive extrinsic curvature in a positively curved manifold. Among other things we prove that, if ${K\subset (S^n, g)}$ is a totally geodesic submanifold of codimension 2 in a Riemannian sphere with positive sectional curvature where n ≥ 5, then K is homeomorphic to S ^n–2 and the fundamental group of the knot complement ${\pi _1(S^n-K)\cong \mathbb{Z}}$ .     

On submanifolds whose tubular hypersurfaces have constant higher order mean curvatures

Motivated by the theory of isoparametric hypersurfaces,we study submanifolds whose tubular hypersurfaces have some constant higher order mean curvatures.Here a k-th order mean curvature Q_k~v(k ≥ 1) of a submanifold M~n-is defined as the k-th power sum of the principal curvatures,or equivalently,of the shape operator with respect to the unit normal vector v.We show that if all nearby tubular hypersurfaces of M have some constant higher order mean curvatures,then the submanifold M itself has some constant higher order mean curvatures Q_k~v independent of the choice of v.Many identities involving higher order mean curvatures and Jacobi operators on such submanifolds are also obtained.In particular,we generalize several classical results in isoparametric theory given by E.Cartan,K.Nomizu,H.F.Miinzner,Q.M.Wang,et al.As an application,we finally get a geometrical filtration for the focal submanifolds of isoparametric functions on a complete Riemannian manifold.     

Convexity of Reduced Energy and Mass Angular Momentum Inequalities

In this paper, we extend the work in Chru?ciel and Costa (Class. Quant. Grav. 26:235013, 2009), Chru?ciel et al. (Ann. Phy. 323:2591–2613, 2008), Costa (J. Math. Theor. 43:285202, 2010), Dain (J. Diff. Geom. 79:33–67, 2008). We weaken the asymptotic conditions on the second fundamental form, and we also give an L ⁶?norm bound for the difference between general data and Extreme Kerr data or Extreme Kerr–Newman data by proving convexity of the renormalized Dirichlet energy when the target has non-positive curvature. In particular, we give the first proof of the strict mass/angular momentum/charge inequality for axisymmetric Einstein/Maxwell data which is not identical with the extreme Kerr–Newman solution.     

Foulkes characters, Eulerian idempotents, and an amazing matrix

John Holte (Am. Math. Mon. 104:138?C149, 1997) introduced a family of ??amazing matrices?? which give the transition probabilities of ??carries?? when adding a list of numbers. It was subsequently shown that these same matrices arise in the combinatorics of the Veronese embedding of commutative algebra (Brenti and Welker, Adv. Appl. Math. 42:545?C556, 2009; Diaconis and Fulman, Am. Math. Mon. 116:788?C803, 2009; Adv. Appl. Math. 43:176?C196, 2009) and in the analysis of riffle shuffling (Diaconis and Fulman, Am. Math. Mon. 116:788?C803, 2009; Adv. Appl. Math. 43:176?C196, 2009). We find that the left eigenvectors of these matrices form the Foulkes character table of the symmetric group and the right eigenvectors are the Eulerian idempotents introduced by Loday (Cyclic Homology, 1992) in work on Hochschild homology. The connections give new closed formulae for Foulkes characters and allow explicit computation of natural correlation functions in the original carries problem.     

L p -theory for second-order elliptic operators with unbounded coefficients in an endpoint class

The m-accretivity and m-sectoriality of the minimal and maximal realizations of second-order elliptic operators of the form ${Au=-{\rm div}(a \nabla u)+F\cdot \nabla u +Vu}$ in ${L^p(\mathbb{R}^N)}$ are shown, where the coefficients a, F and V are unbounded. The result may be regarded as an endpoint assertion of the previous result in Sobajima (J Evol Equ 12:957–971, 2012) and an improvement of that in Metafune et al. (Forum Math 22:583–601, 2010). Moreover, an L ^p -generalization of Kato’s self-adjoint problem in Kato (1981, Appendix 2) is discussed. The proof is based on Sobajima (J Evol Equ 12:957–971, 2012). As examples, the operators ${-\Delta \pm |x|^{\beta-1}x \cdot \nabla +c|x|^{\gamma}}$ are also dealt with, which are mentioned in Metafune et al. (Forum Math 22:583–601, 2010).     

Some Recent Developments on Hopf��s Holomorphic Form

Hopf??s theorem on surfaces in ${\mathbb{R}^3}$ with constant mean curvature (Hopf in Math Nach 4:232?C249, 1950-51) was a turning point in the study of such surfaces. In recent years, Hopf-type theorems appeared in various ambient spaces, (Abresch and Rosenberg in Acta Math 193:141?C174, 2004 and Abresch and Rosenberg in Mat Contemp Sociedade Bras Mat 28:283-298, 2005). The simplest case is the study of surfaces with parallel mean curvature vector in ${M_k^n \times \mathbb{R}, n \ge 2}$ , where ${M_k^n}$ is a complete, simply-connected Riemannian manifold with constant sectional curvature k ?? 0. The case n?=?2 was solved in Abresch and Rosenberg 2004. Here we describe some new results for arbitrary n.