Class A spacetimes

We introduce class A spacetimes, i.e. compact vicious spacetimes (M, g) such that the Abelian cover ${(\overline{M}, \overline{g})}$ is globally hyperbolic. We study the main properties of class A spacetimes using methods similar to those introduced in Sullivan (Invent Math 36:225?C255, 1976) and Burago (Adv Sov Math 9:205?C210, 1992). As a consequence we are able to characterize manifolds admitting class A metrics completely as mapping tori. Further we show that the notion of class A spacetime is equivalent to that of SCTP (spacially compact time-periodic) spacetimes as introduced in Galloway (Comm Math Phys 96:423?C429, 1984). The set of class A spacetimes is shown to be open in the C ⁰-topology on the set of Lorentzian metrics. As an application we prove a coarse Lipschitz property for the time separation of the Abelian cover. This coarse Lipschitz property is an essential part in the study of Aubry-Mather theory in Lorentzian geometry.     

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.     

Gradient Estimates for the Porous Medium Equations on Riemannian Manifolds

In this paper we study gradient estimates for the positive solutions of the porous medium equation: $$u_t=\Delta u^m$$ where m>1, which is a nonlinear version of the heat equation. We derive local gradient estimates of the Li–Yau type for positive solutions of porous medium equations on Riemannian manifolds with Ricci curvature bounded from below. As applications, several parabolic Harnack inequalities are obtained. In particular, our results improve the ones of Lu, Ni, Vázquez, and Villani (in J. Math. Pures Appl. 91:1–19, 2009). Moreover, our results recover the ones of Davies (in Cambridge Tracts Math vol. 92, 1989), Hamilton (in Comm. Anal. Geom. 1:113–125, 1993) and Li and Xu (in Adv. Math. 226:4456–4491, 2011).     

An existence result for a class of quasilinear elliptic eigenvalue problems in unbounded domains

We consider a nonlinear eigenvalue problem under Robin boundary conditions in a domain with (possibly noncompact) smooth boundary. The problem involves a weighted p–Laplacian operator and subcritical nonlinearities satisfying Ambrosetti–Rabinowitz type conditions. Using Morse theory and a cohomological local splitting as in Degiovanni et al. (Commun Contemp Math 12:475–486, 2010), we prove the existence of a nontrivial weak solution for all (real) values of the eigenvalue parameter. Our result is new even in the semilinear case p = 2 and complements some recent results obtained in Autuori et al. (Adv Anal Equ 18:1–48, 2013).     

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

Regularity of Lorentzian Busemann Functions

A general theory of regularity for Lorentzian Busemann functions in future timelike geodesically complete spacetimes is presented. This treatment simplifies and extends the local regularity developed by Eschenburg, Galloway and Newman to prove the Lorentzian splitting theorem. Criteria for global regularity are obtained and used to improve results in the literature pertaining to a conjecture of Bartnik.

     

Explicit Polynomial Generators for the Ring of Quasisymmetric Functions over the Integers

In (Hazewinkel in Adv. Math. 164:283–300, 2001, and CWI preprint, 2001) it has been proved that the ring of quasisymmetric functions over the integers is free polynomial. This is a matter that has been of great interest since 1972; for instance because of the role this statement plays in a classification theory for noncommutative formal groups that has been in development since then, see (Ditters in Invent. Math. 17:1–20, 1972; in Scholtens’ Thesis, Free Univ. of Amsterdam, 1996) and the references in the latter. Meanwhile quasisymmetric functions have found many more applications (see Gel’fand et al. in Adv. Math. 112:218–348, 1995). However, the proofs of the author in the aforementioned papers do not give explicit polynomial generators for QSymm over the integers. In this note I give a (really quite simple) set of polynomial generators for QSymm over the integers.     

The Translation Invariant Massive Nelson Model: II. The Continuous Spectrum below the Two-Boson Threshold

In this paper we continue the study of the energy-momentum spectrum of a class of translation invariant, linearly coupled, and massive Hamiltonians from non-relativistic quantum field theory. The class contains the Hamiltonians of E. Nelson (J Math Phys 5:1190–1197, 1964) and H. Fröhlich (Adv Phys 3:325–362, 1954). In Møller (Ann Henri Poincaré 6:1091–1135, 2005; Rev Math Phys 18:485–517, 2006) one of us previously investigated the structure of the ground state mass shell and the bottom of the continuous energy-momentum spectrum. Here we study the continuous energy-momentum spectrum itself up to the two-boson threshold, the threshold for energetic support of two-boson scattering states. We prove that non-threshold embedded mass shells have finite multiplicity and can accumulate only at thresholds. We furthermore establish the non-existence of singular continuous energy-momentum spectrum. Our results hold true for all values of the particle-field coupling strength but only below the two-boson threshold. The proof revolves around the construction of a certain relative velocity vector field used to construct a conjugate operator in the sense of Mourre.     

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.     

Sharp spectral gap and Li–Yau’s estimate on Alexandrov spaces

In the previous work (Zhang and Zhu in J Differ Geom, http://arxiv.org/pdf/1012.4233v3, 2012), the second and third authors established a Bochner type formula on Alexandrov spaces. The purpose of this paper is to give some applications of the Bochner type formula. Firstly, we extend the sharp lower bound estimates of spectral gap, due to Chen and Wang (Sci Sin (A) 37:1–14, 1994), Chen and Wang (Sci Sin (A) 40:384–394, 1997) and Bakry–Qian (Adv Math 155:98–153, 2000), from smooth Riemannian manifolds to Alexandrov spaces. As an application, we get an Obata type theorem for Alexandrov spaces. Secondly, we obtain (sharp) Li–Yau’s estimate for positve solutions of heat equations on Alexandrov spaces.     

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

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 .     

Optimal Transport, Convection, Magnetic Relaxation and Generalized Boussinesq Equations

We establish a connection between optimal transport theory (see Villani in Topics in optimal transportation. Graduate studies in mathematics, vol. 58, AMS, Providence, 2003, for instance) and classical convection theory for geophysical flows (Pedlosky, in Geophysical fluid dynamics, Springer, New York, 1979). Our starting point is the model designed few years ago by Angenent, Haker, and Tannenbaum (SIAM J. Math. Anal. 35:61–97, 2003) to solve some optimal transport problems. This model can be seen as a generalization of the Darcy–Boussinesq equations, which is a degenerate version of the Navier–Stokes–Boussinesq (NSB) equations. In a unified framework, we relate different variants of the NSB equations (in particular what we call the generalized hydrostatic-Boussinesq equations) to various models involving optimal transport (and the related Monge–Ampère equation, Brenier in Commun. Pure Appl. Math. 64:375–417, 1991; Caffarelli in Commun. Pure Appl. Math. 45:1141–1151, 1992). This includes the 2D semi-geostrophic equations (Hoskins in Annual review of fluid mechanics, vol. 14, pp. 131–151, Palo Alto, 1982; Cullen et al. in SIAM J. Appl. Math. 51:20–31, 1991, Arch. Ration. Mech. Anal. 185:341–363, 2007; Benamou and Brenier in SIAM J. Appl. Math. 58:1450–1461, 1998; Loeper in SIAM J. Math. Anal. 38:795–823, 2006) and some fully nonlinear versions of the so-called high-field limit of the Vlasov–Poisson system (Nieto et al. in Arch. Ration. Mech. Anal. 158:29–59, 2001) and of the Keller–Segel for Chemotaxis (Keller and Segel in J. Theor. Biol. 30:225–234, 1971; Jäger and Luckhaus in Trans. Am. Math. Soc. 329:819–824, 1992; Chalub et al. in Mon. Math. 142:123–141, 2004). Mathematically speaking, we establish some existence theorems for local smooth, global smooth or global weak solutions of the different models. We also justify that the inertia terms can be rigorously neglected under appropriate scaling assumptions in the generalized Navier–Stokes–Boussinesq equations. Finally, we show how a “stringy” generalization of the AHT model can be related to the magnetic relaxation model studied by Arnold and Moffatt to obtain stationary solutions of the Euler equations with prescribed topology (see Arnold and Khesin in Topological methods in hydrodynamics. Applied mathematical sciences, vol. 125, Springer, Berlin, 1998; Moffatt in J. Fluid Mech. 159:359–378, 1985, Topological aspects of the dynamics of fluids and plasmas. NATO adv. sci. inst. ser. E, appl. sci., vol. 218, Kluwer, Dordrecht, 1992; Schonbek in Theory of the Navier–Stokes equations, Ser. adv. math. appl. sci., vol. 47, pp. 179–184, World Sci., Singapore, 1998; Vladimirov et al. in J. Fluid Mech. 390:127–150, 1999; Nishiyama in Bull. Inst. Math. Acad. Sin. (N.S.) 2:139–154, 2007).     

Combinatorial Hopf algebra of superclass functions of type D

We provide a Hopf algebra structure on the space of superclass functions on the unipotent upper triangular group of type D over a finite field based on a supercharacter theory constructed by André and Neto in J. Algebra 305, 394–429 (2006) and 322 (2009). Also, we make further comments with respect to types B and C. Type A was explored by M. Aguiar et al. in Adv. Math. 229 (2012); thus this paper is a contribution to understand combinatorially the supercharacter theory of the other classical Lie types.     

On a problem of T. Szostok on functions with monotonic differences

We solve a problem posed by Szostok (Aequat Math 73:172–200, 2007).     

Normalized Ricci flows and conformally compact Einstein metrics

In this paper, we investigate the behavior of the normalized Ricci flow on asymptotically hyperbolic manifolds. We show that the normalized Ricci flow exists globally and converges to an Einstein metric when starting from a non-degenerate and sufficiently Ricci pinched metric. More importantly we use maximum principles to establish the regularity of conformal compactness along the normalized Ricci flow including that of the limit metric at time infinity. Therefore we are able to recover the existence results in Graham and Lee (Adv Math 87:186–255, 1991), Lee (Fredholm Operators and Einstein Metrics on Conformally Compact Manifolds, 2006), and Biquard (Surveys in Differential Geometry: Essays on Einstein Manifolds, 1999) of conformally compact Einstein metrics with conformal infinities which are perturbations of that of given non-degenerate conformally compact Einstein metrics.     

Completion by Derived Double Centralizer

Let A be a commutative ring, and let $\mathfrak{a}$ be a weakly proregular ideal in A. (If A is noetherian then any ideal in it is weakly proregular.) Suppose M is a compact generator of the category of cohomologically $\mathfrak{a}$ -torsion complexes. We prove that the derived double centralizer of M is isomorphic to the $\mathfrak{a}$ -adic completion of A. The proof relies on the MGM equivalence from Porta et al. (Algebr Represent Theor, 2013) and on derived Morita equivalence. Our result extends earlier work of Dwyer et al. (Adv Math 200:357–402, 2006) and Efimov (2010).     

Derived equivalence for quantum symplectic resolutions

Using techniques from the homotopy theory of derived categories and noncommutative algebraic geometry, we establish a general theory of derived microlocalization for quantum symplectic resolutions. In particular, our results yield a new proof of derived Beilinson–Bernstein localization and a derived version of the more recent microlocalization theorems of Gordon–Stafford (Gordon and Stafford in Adv Math 198(1):222–274, 2005; Duke Math J 132(1):73–135, 2006) and Kashiwara–Rouquier (Kashiwara and Rouquier in Duke Math J 144(3):525–573, 2008) as special cases. We also deduce a new derived microlocalization result linking cyclotomic rational Cherednik algebras with quantized Hilbert schemes of points on minimal resolutions of cyclic quotient singularities.     

A Note on the Volume Growth Criterion for Stochastic Completeness of Weighted Graphs

This paper gives complementary results of Folz (Trans Am Math Soc, 2013). We first generalize the weak Omori–Yau maximum principle to the setting of strongly local Dirichlet forms. As an application, we obtain an analytic approach to compare the stochastic completeness of a weighted graph with that of an associated metric graph. This comparison result played an essential role in the volume growth criterion of Folz (Trans Am Math Soc, 2013), who first proved it via a probabilistic approach. We also give an alternative analytic proof based on a criterion in Fukushima et al. (1994).