Rigidity and the Lower Bound Theorem for Doubly Cohen–Macaulay Complexes

We prove that for d≥3, the 1-skeleton of any (d?1)-dimensional doubly Cohen–Macaulay (abbreviated 2-CM) complex is generically d-rigid. This implies that Barnette’s lower bound inequalities for boundary complexes of simplicial polytopes (Barnette, D. Isr. J. Math. 10:121–125, 1971; Barnette, D. Pac. J. Math. 46:349–354, 1973) hold for every 2-CM complex of dimension ≥2 (see Kalai, G. Invent. Math. 88:125–151, 1987). Moreover, the initial part (g ₀,g ₁,g ₂) of the g-vector of a 2-CM complex (of dimension ≥3) is an M-sequence. It was conjectured by Björner and Swartz (J. Comb. Theory Ser. A 113:1305–1320, 2006) that the entire g-vector of a 2-CM complex is an M-sequence.     

Group-Theoretic Dimension of Stationary Symmetric α-Stable Random Fields

The growth rate of the partial maximum of a stationary stable process was first studied in the works of Samorodnitsky (Ann. Probab. 32:1438–1468, 2004; Adv. Appl. Probab. 36:805–823, 2004), where it was established, based on the seminal works of Rosiński (Ann. Probab. 23:1163–1187, 1995; 28:1797–1813, 2000), that the growth rate is connected to the ergodic-theoretic properties of the flow that generates the process. The results were generalized to the case of stable random fields indexed by ? ^d in Roy and Samorodnitsky (J. Theor. Probab. 21:212–233, 2008), where properties of the group of nonsingular transformations generating the stable process were studied as an attempt to understand the growth rate of the partial maximum process. This work generalizes this connection between stable random fields and group theory to the continuous parameter case, that is, to fields indexed by ? ^d .     

Balanced Metrics and Chow Stability of Projective Bundles over Kähler Manifolds II

In the previous article (Seyyedali, Duke Math. J. 153(3):573–605, 2010), we proved that slope stability of a holomorphic vector bundle E over a polarized manifold (X,L) implies Chow stability of $(\mathbb{P}E^{*},\mathcal{O}_{\mathbb{P}E^{*}}(1)\otimes\pi^{*} L^{k})$ for k?0 if the base manifold has no nontrivial holomorphic vector field and admits a constant scalar curvature metric in the class of 2πc ₁(L). In this article, using asymptotic expansions of the Bergman kernel on Sym ^d E, we generalize the main theorem of Seyyedali (Duke Math. J. 153(3):573–605, 2010) to polarizations $(\mathbb{P}E^{*},\mathcal {O}_{\mathbb{P}E^{*}}(d)\otimes\pi^{*} L^{k})$ for k?0, where d is a positive integer.     

Estimating upper bounds on the limit points of majorizing sequences for Newton’s method

We present new sufficient conditions for the semilocal convergence of Newton’s method to a locally unique solution of an equation in a Banach space setting. Upper bounds on the limit points of majorizing sequences are also given. Numerical examples are provided, where our new results compare favorably to earlier ones such as Argyros (J Math Anal Appl 298:374–397, 2004), Argyros and Hilout (J Comput Appl Math 234:2993-3006, 2010, 2011), Ortega and Rheinboldt (1970) and Potra and Pták (1984).     

On the Stochastic Strichartz Estimates and the Stochastic Nonlinear Schrödinger Equation on a Compact Riemannian Manifold

We prove the existence and the uniqueness of a solution to the stochastic NSLEs on a two-dimensional compact riemannian manifold. Thus we generalize (and improve) a recent work by Burq et al. (J Nonlinear Math Phys 10(1):12–27, 2003) and a series of papers by de Bouard and Debussche, see e.g. de Bouard and Debussche (Commun Math Phys 205(1):161–181, 1999 and Stoch Anal Appl 21(1):97–126, 2003) who have examined similar questions in the case of the flat euclidean space. We prove the existence and the uniqueness of a local maximal solution to stochastic nonlinear Schrödinger equations with multiplicative noise on a compact d-dimensional riemannian manifold. Under more regularity on the noise, we prove that the solution is global when the nonlinearity is of defocusing or of focusing type, d?=?2 and the initial data belongs to the finite energy space. Our proof is based on improved stochastic Strichartz inequalities.     

The homotopy type of the cobordism category

The embedded cobordism category under study in this paper generalizes the category of conformal surfaces, introduced by G. Segal in [S2] in order to formalize the concept of field theories. Our main result identifies the homotopy type of the classifying space of the embedded d-dimensional cobordism category for all d. For d = 2, our results lead to a new proof of the generalized Mumford conjecture, somewhat different in spirit from the original one, presented in [MW].     

An improved local convergence analysis for a two-step Steffensen-type method

We study a class of Steffensen-type algorithm for solving nonsmooth variational inclusions in Banach spaces. We provide a local convergence analysis under ω-conditioned divided difference, and the Aubin continuity property. This work on the one hand extends the results on local convergence of Steffensen’s method related to the resolution of nonlinear equations (see Amat and Busquier in Comput. Math. Appl. 49:13–22, 2005; J. Math. Anal. Appl. 324:1084–1092, 2006; Argyros in Southwest J. Pure Appl. Math. 1:23–29, 1997; Nonlinear Anal. 62:179–194, 2005; J. Math. Anal. Appl. 322:146–157, 2006; Rev. Colomb. Math. 40:65–73, 2006; Computational Theory of Iterative Methods, 2007). On the other hand our approach improves the ratio of convergence and enlarges the convergence ball under weaker hypotheses than one given in Hilout (Commun. Appl. Nonlinear Anal. 14:27–34, 2007).     

Directional Lipschitzness of Minimal Time Functions in Hausdorff Topological Vector Spaces

In a general Hausdorff topological vector space E, we associate to a given nonempty closed set S???E and a bounded closed set Ω???E, the minimal time function T _S,Ω defined by $T_{S,\Omega}(x):= \inf \{ t> 0: S\cap (x+t\Omega)\not = \emptyset\}$ . The study of this function has been the subject of various recent works (see Bounkhel (2012, submitted, 2013, accepted); Colombo and Wolenski (J Global Optim 28:269–282, 2004, J Convex Anal 11:335–361, 2004); He and Ng (J Math Anal Appl 321:896–910, 2006); Jiang and He (J Math Anal Appl 358:410–418, 2009); Mordukhovich and Nam (J Global Optim 46(4):615–633, 2010) and the references therein). The main objective of this work is in this vein. We characterize, for a given Ω, the class of all closed sets S in E for which T _S,Ω is directionally Lipschitz in the sense of Rockafellar (Proc Lond Math Soc 39:331–355, 1979). Those sets S are called Ω-epi-Lipschitz. This class of sets covers three important classes of sets: epi-Lipschitz sets introduced in Rockafellar (Proc Lond Math Soc 39:331–355, 1979), compactly epi-Lipschitz sets introduced in Borwein and Strojwas (Part I: Theory, Canad J Math No. 2:431–452, 1986), and K-directional Lipschitz sets introduced recently in Correa et al. (SIAM J Optim 20(4):1766–1785, 2010). Various characterizations of this class have been established. In particular, we characterize the Ω-epi-Lipschitz sets by the nonemptiness of a new tangent cone, called Ω-hypertangent cone. As for epi-Lipschitz sets in Rockafellar (Canad J Math 39:257–280, 1980) we characterize the new class of Ω-epi-Lipschitz sets with the help of other cones. The spacial case of closed convex sets is also studied. Our main results extend various existing results proved in Borwein et al. (J Convex Anal 7:375–393, 2000), Correa et al. (SIAM J Optim 20(4):1766–1785, 2010) from Banach spaces and normed spaces to Hausdorff topological vector spaces.     

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).     

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).     

The strong convergence of a three-step algorithm for the split feasibility problem

Based on the very recent work by Dang and Gao (Invers Probl 27:1–9, 2011) and Wang and Xu (J Inequal Appl, doi:10.1155/2010/102085, 2010), and inspired by Yao (Appl Math Comput 186:1551–1558, 2007), Noor (J Math Anal Appl 251:217–229, 2000), and Xu (Invers Probl 22:2021–2034, 2006), we suggest a three-step KM-CQ-like method for solving the split common fixed-point problems in Hilbert spaces. Our results improve and develop previously discussed feasibility problem and related algorithms.     

The Local Langlands Correspondence for GL n over p-adic fields

We extend our methods from Scholze (Invent. Math. 2012, doi:10.1007/s00222-012-0419-y) to reprove the Local Langlands Correspondence for GL _n over p-adic fields as well as the existence of ?-adic Galois representations attached to (most) regular algebraic conjugate self-dual cuspidal automorphic representations, for which we prove a local-global compatibility statement as in the book of Harris-Taylor (The Geometry and Cohomology of Some Simple Shimura Varieties, 2001). In contrast to the proofs of the Local Langlands Correspondence given by Henniart (Invent. Math. 139(2), 439–455, 2000), and Harris-Taylor (The Geometry and Cohomology of Some Simple Shimura Varieties, 2001), our proof completely by-passes the numerical Local Langlands Correspondence of Henniart (Ann. Sci. Éc. Norm. Super. 21(4), 497–544, 1988). Instead, we make use of a previous result from Scholze (Invent. Math. 2012, doi:10.1007/s00222-012-0419-y) describing the inertia-invariant nearby cycles in certain regular situations.     

Derivation of the Cubic NLS and Gross–Pitaevskii Hierarchy from Manybody Dynamics in d = 3 Based on Spacetime Norms

We derive the defocusing cubic Gross–Pitaevskii (GP) hierarchy in dimension d = 3, from an N-body Schrödinger equation describing a gas of interacting bosons in the GP scaling, in the limit N → ∞. The main result of this paper is the proof of convergence of the corresponding BBGKY hierarchy to a GP hierarchy in the spaces introduced in our previous work on the well-posedness of the Cauchy problem for GP hierarchies (Chen and Pavlovi? in Discr Contin Dyn Syst 27(2):715–739, 2010; http://arxiv.org/abs/0906.2984; Proc Am Math Soc 141:279–293, 2013), which are inspired by the solution spaces based on space-time norms introduced by Klainerman and Machedon (Comm Math Phys 279(1):169–185, 2008). We note that in d = 3, this has been a well-known open problem in the field. While our results do not assume factorization of the solutions, consideration of factorized solutions yields a new derivation of the cubic, defocusing nonlinear Schrödinger equation (NLS) in d = 3.     

Upper Bounds on the First Eigenvalue for a Diffusion Operator via Bakry–Émery Ricci Curvature II

Let ${L=\Delta-\nabla\varphi\cdot\nabla}$ be a symmetric diffusion operator with an invariant measure ${d\mu=e^{-\varphi}dx}$ on a complete Riemannian manifold. In this paper we prove Li–Yau gradient estimates for weighted elliptic equations on the complete manifold with ${|\nabla \varphi| \leq \theta}$ and ∞-dimensional Bakry–Émery Ricci curvature bounded below by some negative constant. Based on this, we give an upper bound on the first eigenvalue of the diffusion operator L on this kind manifold, and thereby generalize a Cheng’s result on the Laplacian case (Math Z, 143:289–297, 1975).     

General two-function topological minimax theorems

Using the level set method of Joó (Acta Math Hung 54(1–2):163–172, 1989), a general two-function topological minimax theorem are proved. The theorem improves and generalizes the known results shown by Cheng and Lin (Acta Math Hung 73(1–2):65–69, 1996), Lin and Cheng (Acta Math Hung 100(3):177–186, 2003), and Frenk and Kassay (Math Program Ser A 105(1):145–155, 2006).     

Period- and mirror-maps for the quartic K3

We study in detail mirror symmetry for the quartic K3 surface in ${\mathbb{P}^3}$ and the mirror family obtained by the orbifold construction. As explained by Aspinwall and Morrison (Mirror symmetry II, 1997), mirror symmetry for K3 surfaces can be entirely described in terms of Hodge structures. (1) We give an explicit computation of the Hodge structures and period maps for these families of K3 surfaces. (2) We identify a mirror map, i.e. an isomorphism between the complex and symplectic deformation parameters and explicit isomorphisms between the Hodge structures at these points. (3) We show compatibility of our mirror map with the one defined by Morrison (Essays on mirror manifolds, 1992) near the point of maximal unipotent monodromy. Our results rely on earlier work by Narumiyah–Shiga (Proceedings on Moonshine and related topics, 2001), Dolgachev (J. Math. Sci., 1996) and Nagura–Sugiyama (Int. J. Mod. Phys. A, 1995).     

A Global version of Grozman’s theorem

Let $X$ be a manifold. The classification of all equivariant bilinear maps between tensor density modules over $X$ has been investigated by Grozman (Funct Anal Appl 14(2):58–59, 1980), who has provided a full classification for those which are differential operators. Here we investigate the same question without the hypothesis that the maps are differential operators. In our paper, the geometric context is algebraic geometry and the manifold $X$ is the circle $\text{ Spec}\, \mathbb{C }[z,z^{-1}]$ . Our main motivation comes from the fact that such a classification is required to complete the proof of the main result of Iohara and Mathieu (Proc Lond Math Soc, 2012, in press). Indeed it requires to also include the case of deformations of tensor density modules.     

3-Nets realizing a group in a projective plane

In a projective plane $\mathit{PG}(2,\mathbb{K})$ defined over an algebraically closed field $\mathbb{K}$ of characteristic 0, we give a complete classification of 3-nets realizing a finite group. An infinite family, due to Yuzvinsky (Compos. Math. 140:1614–1624, 2004), arises from plane cubics and comprises 3-nets realizing cyclic and direct products of two cyclic groups. Another known infinite family, due to Pereira and Yuzvinsky (Adv. Math. 219:672–688, 2008), comprises 3-nets realizing dihedral groups. We prove that there is no further infinite family. Urzúa’s 3-nets (Adv. Geom. 10:287–310, 2010) realizing the quaternion group of order 8 are the unique sporadic examples. If p is larger than the order of the group, the above classification holds in characteristic p>0 apart from three possible exceptions $\rm{Alt}_{4}$ , $\rm{Sym}_{4}$ , and $\rm{Alt}_{5}$ . Motivation for the study of finite 3-nets in the complex plane comes from the study of complex line arrangements and from resonance theory; see (Falk and Yuzvinsky in Compos. Math. 143:1069–1088, 2007; Miguel and Buzunáriz in Graphs Comb. 25:469–488, 2009; Pereira and Yuzvinsky in Adv. Math. 219:672–688, 2008; Yuzvinsky in Compos. Math. 140:1614–1624, 2004; Yuzvinsky in Proc. Am. Math. Soc. 137:1641–1648, 2009).