Search

In his seminal paper, A. N. Varchenko precisely investigates the leading term of the asymptotic expansion of an oscillatory integral with real analytic phase. He expresses the order of this term by means of the geometry of the Newton polyhedron of the phase. The purpose of this paper is to generalize and improve his result. We are especially interested in the cases that the phase is smooth and that the amplitude has a zero at a critical point of the phase. In order to exactly treat the latter case, a weight function is introduced in the amplitude. Our results show that the optimal rates of decay for weighted oscillatory integrals whose phases and weights are contained in a certain class of smooth functions, including the real analytic class, can be expressed by the Newton distance and multiplicity defined in terms of geometrical relationship of the Newton polyhedra of the phase and the weight. We also compute explicit formulae of the coefficient of the leading term of the asymptotic expansion in the weighted case. Our method is based on the resolution of singularities constructed by using the theory of toric varieties, which naturally extends the resolution of Varchenko. The properties of poles of local zeta functions, which are closely related to the behavior of oscillatory integrals, are also studied under the associated situation. The investigation of this paper improves on the earlier joint work with K. Cho.

In this paper we investigate nilpotenct and probabilistically nilpotent Hopf algebras. We define nilpotency via a descending chain of commutators and give a criterion for nilpotency via a family of central invertible elements. These elements can be obtained from a commutator matrix A A which depends only on the Grothendieck ring of H . H. When H H is almost cocommutative we introduce a probabilistic method. We prove that every semisimple quasitriangular Hopf algebra is probabilistically nilpotent. In a sense we thereby answer the title of our paper Are we counting or measuring anything? by Yes, we are.

In this paper we develop the method of finding sharp estimates by using a Bellman function. In such a form the method appears in the proofs of the classical John--Nirenberg inequality and $L^p$ estimations of BMO functions. In the present paper we elaborate a method of solving the boundary value problem for the homogeneous Monge--Amp\`ere equation in a parabolic strip for sufficiently smooth boundary conditions. In such a way we have obtained an algorithm of constructing an exact Bellman function for a large class of integral functionals in the BMO space., Comment: 91 pages, 18 figures

The aim of this paper is to define the notion of the Cohen- Macaulay cone of a Noetherian local domain R R and to present its applications to the theory of Hilbert-Kunz functions. It has been shown by the second author that with a mild condition on R R , the Grothendieck group G 0 ( R ) ¯ \overline {G_0(R)} of finitely generated R R -modules modulo numerical equivalence is a finitely generated torsion-free abelian group. The Cohen-Macaulay cone of R R is the cone in G 0 ( R ) ¯ R \overline {G_0(R)}_{\mathbb R} spanned by cycles represented by maximal Cohen-Macaulay modules. We study basic properties on the Cohen-Macaulay cone in this paper. As an application, various examples of Hilbert-Kunz functions in the polynomial type will be produced. Precisely, for any given integers ϵ i = 0 , ± 1 \epsilon _i = 0, \pm 1 ( d / 2 > i > d d/2 > i > d ), we shall construct a d d -dimensional Cohen-Macaulay local ring R R (of characteristic p p ) and a maximal primary ideal I I of R R such that the function ℓ R ( R / I [ p n ] ) \ell _R(R/I^{[p^n]}) is a polynomial in p n p^n of degree d d whose coefficient of ( p n ) i (p^n)^i is the product of ϵ i \epsilon _i and a positive rational number for d / 2 > i > d d/2 > i > d . The existence of such ring is proved by using Segre products to construct a Cohen-Macaulay ring such that the Chow group of the ring is of certain simplicity and that test modules exist for it.

In this paper, we discuss the equidistribution phenomena for holomorphic endomorphisms over $\mathbb{P}^k$ in the case of bidegree $(p,p)$ with $1, Comment: Corrected an error in the statement of the main theorem and readability has been improved. This paper is based on the work in arXiv:math/0703702 and arXiv:0901.3000 by other authors; for precise estimates, we go over the proofs with modification

Riemannian symmetric spaces are fundamental objects in finite dimensional differential geometry. An important problem is the construction of symmetric spaces for generalizations of simple Lie groups, especially their closest infinite dimensional analogues, known as affine Kac-Moody groups. We solve this problem and construct affine Kac-Moody symmetric spaces in a series of several papers. This paper focuses on the algebraic side; more precisely, we introduce OSAKAs, the algebraic structures used to describe the connection between affine Kac-Moody symmetric spaces and affine Kac-Moody algebras and describe their classification.

Let G G be a compact connected Lie group. The question of when a weighted Fourier algebra on G G is completely isomorphic to an operator algebra will be investigated in this paper. We will demonstrate that the dimension of the group plays an important role in the question. More precisely, we will get a positive answer to the question when we consider a polynomial type weight coming from a length function on G G with the order of growth strictly bigger than half of the dimension of the group. The case of S U ( n ) SU(n) will be examined, focusing more on the details including negative results. The proof for the positive directions depends on a non-commutative version of the Littlewood multiplier theory, which we will develop in this paper, and the negative directions will be taken care of by restricting to a maximal torus.

In this paper, we prove that the quasihyperbolic metrics are quasiinvariant under a quasisymmetric mapping between two suitable metric spaces. Meanwhile, we also show that quasi-invariance of the quasihyperbolic metrics implies that the corresponding map is quasiconformal. At the end of this paper, as an application of above theorems, we prove that the composition of two quasisymmetric mappings in metric spaces is a quasiconformal mapping.

We correct mistakes in a 2004 paper by the second author and report on recent new developments which settle cases left open in that paper.

We compute divisors class groups of singular surfaces. Most notably we produce an exact sequence that relates the Cartier divisors and almost Cartier divisors of a surface to the those of its normalization. This generalizes Hartshorne's theor em for the cubic ruled surface in P 3 . We apply these results to limit the possible curves that can be s et-theoretic complete intersection in P 3 in characteristic zero. On a nonsingular variety, the study of divisors and linear systems is classical. In fact the entire theory of curves and surfaces is dependent on this study of codimension one subvarieties and the linear and algebraic families in which they move. This theory has been generalized in two directions: the Weil divisors on a normal variety, taking codimension one subvarieties as prime divisors; and the Cartier divisors on an arbitrary scheme, based on locally principal codimension one subschemes. Most of the literature both in algebraic geometry and commutative algebra up to now has been limited to these kinds of divisors. More recently there have been good reasons to consider divisors on non-normal varieties. Jaffe (9) introduced the notion of an almost Cartier divisor, which is locally principal off a subset of codimension two. A theory of generalized divisors was proposed on curves in (14), and extended to any dimension in (15). The latter paper gave a complete description of the generalized divisors on the ruled cubic surface in P 3 . In this paper we extend that analysis to an arbitrary integra l surface X, explaining the group APicX of linear equivalence classes of almost Cartier divisors on X in terms of the Picard group of the normalization S of X and certain local data at the singular points of X. We apply these results to give limitations on the possible curves that can b e set-theoretic compete intersections in P 3 in characteristic zero In section 2 we explain our basic set-up, comparing divisors on a variety X to its normalization S. In Section 3 we prove a local isomorphism that computes the group of almost Cartier divisors at a singular point of X in terms of the Cartier divisors along the curve of singulari ties and its inverse image in the normalization. In Section 4 we derive some global exact sequences for the groups PicX, APicX, and PicS, which generalize the results of (15, §6) to arbitrary surfaces These results are particularly transparent for surfaces wi th ordinary singularities, meaning a double curve with a finite number of pinch points and triple points.

The question of which functions acting entrywise preserve positive semidefiniteness has a long history, beginning with the Schur product theorem [Crelle 1911], which implies that absolutely monotonic functions (i.e., power series with nonnegative coefficients) preserve positivity on matrices of all dimensions. A famous result of Schoenberg and of Rudin [Duke Math. J. 1942, 1959] shows the converse: there are no other such functions. Motivated by modern applications, Guillot and Rajaratnam [Trans. Amer. Math. Soc. 2015] classified the entrywise positivity preservers in all dimensions, which act only on the off-diagonal entries. These two results are at "opposite ends", and in both cases the preservers have to be absolutely monotonic. We complete the classification of positivity preservers that act entrywise except on specified "diagonal/principal blocks", in every case other than the two above. (In fact we achieve this in a more general framework.) This yields the first examples of dimension-free entrywise positivity preservers - with certain forbidden principal blocks - that are not absolutely monotonic., Minor edits in exposition, 19 pages. The paper now uses the style file of Trans. AMS (to appear)

This paper is concerned with the study of solutions to discrete parabolic equations in divergence form with random coefficients and their convergence to solutions of a homogenized equation. It has previously been shown that if the random environment is translational invariant and ergodic, then solutions of the random equation converge under diffusive scaling to solutions of a homogenized parabolic PDE. In this paper point-wise estimates are obtained on the difference between the averaged solution to the random equation and the solution to the homogenized equation for certain random environments which are strongly mixing.

In a previous paper, we applied Alexandrov geometry methods to study infinite semiplanar graphs with nonnegative combinatorial curvature. We proved the weak relative volume comparison and the Poincaré inequality on these graphs to obtain a dimension estimate for polynomial growth harmonic functions which is asymptotically quadratic in the growth rate. In the present paper, instead of using volume comparison on the graph, we translate the problem to a polygonal surface by filling polygons into the graph with edge lengths 1. This polygonal surface then is an Alexandrov space of nonnegative curvature. From a harmonic function on the graph, we construct a function on the polygonal surface that is not necessarily harmonic, but satisfies crucial estimates. Using the arguments on the polygonal surface, we obtain the optimal dimension estimate for polynomial growth harmonic functions on the graph which is linear in the growth rate.

A universal geometric cluster algebra over an exchange matrix B is a universal object in the category of geometric cluster algebras over B related by coefficient specializations. (Following an earlier paper on universal geometric cluster algebras, we broaden the definition of geometric cluster algebras relative to the definition originally given Fomin and Zelevinsky.) The universal objects are closely related to a fan F_B called the mutation fan for B. In this paper, we consider universal geometric cluster algebras and mutation fans for cluster algebras arising from marked surfaces. We identify two crucial properties of marked surfaces: The Curve Separation Property and the Null Tangle Property. The latter property implies the former. We prove the Curve Separation Property for all marked surfaces except once-punctured surfaces without boundary components, and as a result we obtain a construction of the rational part of F_B for these surfaces. We prove the Null Tangle Property for a smaller family of surfaces, and use it to construct universal geometric coefficients for these surfaces., Comment: 39 pages, 24 figures. Version 2: Stated explicitly several results that are implicit in the earlier version. Also minor expository changes. Version3: Expository changes (including additional figures) and changes to correct an error from arXiv:1209.3987 (see comments to arXiv:1209.3987v3)

For 2 g − 2 + n > 0 2g-2+n>0 , the Teichmüller modular group Γ g , n \Gamma _{g,n} of a compact Riemann surface of genus g g with n n points removed, S g , n S_{g,n} is the group of homotopy classes of diffeomorphisms of S g , n S_{g,n} which preserve the orientation of S g , n S_{g,n} and a given order of its punctures. Let Π g , n \Pi _{g,n} be the fundamental group of S g , n S_{g,n} , with a given base point, and Π ^ g , n \hat {\Pi }_{g,n} its profinite completion. There is then a natural faithful representation Γ g , n ↪ O u t ( Π ^ g , n ) \Gamma _{g,n}\hookrightarrow \mathrm {Out}(\hat {\Pi }_{g,n}) . The procongruence Teichmüller group Γ ˇ g , n \check {\Gamma }_{g,n} is defined to be the closure of the Teichmüller group Γ g , n \Gamma _{g,n} inside the profinite group O u t ( Π ^ g , n ) \mathrm {Out}(\hat {\Pi }_{g,n}) . In this paper, we begin a systematic study of the procongruence completion Γ ˇ g , n \check {\Gamma }_{g,n} . The set of profinite Dehn twists of Γ ˇ g , n \check {\Gamma }_{g,n} is the closure, inside this group, of the set of Dehn twists of Γ g , n \Gamma _{g,n} . The main technical result of the paper is a parametrization of the set of profinite Dehn twists of Γ ˇ g , n \check {\Gamma }_{g,n} and the subsequent description of their centralizers (Sections 5 and 6). This is the basis for the Grothendieck-Teichmüller Lego with procongruence Teichmüller groups as building blocks. As an application, in Section 7, we prove that some Galois representations associated to hyperbolic curves over number fields and their moduli spaces are faithful.

We prove that knots obtained by attaching a band to a split link satisfy the cabling conjecture. We also give new proofs that unknotting number one knots are prime and that genus is superadditive under band sum. Additionally, we prove a collection of results comparing two 2-handle additions to a genus two boundary component of a compact, orientable 3-manifold. These results give a near complete solution to a conjecture of Scharlemann and provide evidence for a conjecture of Scharlemann and Wu. The proofs make use of a new theorem concerning the effects of attaching a 2-handle to a suture in the boundary of a sutured manifold., Paper completely rewritten. Main sutured manifold theory results have been moved to a separate paper

The primary theorem of this paper concerns the Poincaré (Hilbert) series for the cohomology ring of a finite group G G with coefficients in a prime field of characteristic p p . This theorem is proved using the ideas of equivariant cohomology whereby one considers more generally the cohomology ring of the Borel construction H ∗ ( E G × G X ) H^*(EG \times _G X) , where X X is a manifold on which G G acts. This work results in a formula that computes the “degree” of the Poincaré series in terms of corresponding degrees of certain subgroups of the group G G . In this paper, we discuss the theorem and the method of proof.

In this paper the stochastic version of the Evans-Aronsson problem is studied. Both for the mechanical case and two dimensional problems we prove the existence of smooth solutions. We establish that the corresponding effective Lagrangian and Hamiltonian are smooth. We study the limiting behavior and the convergence of the effective Lagrangian and Hamiltonian, Mather measures and minimizers. We end the paper with applications to stationary mean-field games.

This paper concerns homotopically stratified spaces. These were defined by Frank Quinn in his paper Homotopically Stratified Sets. His definition of stratified space is very general and relates strata by “homotopy rather than geometric conditions”. This makes homotopically stratified spaces the ideal class of stratified spaces on which to define and study stratified homotopy theory. We will define stratified analogues of the usual definitions of maps, homotopies and homotopy equivalences. Then we will provide an elementary criterion for deciding when a strongly stratified map is a stratified homotopy equivalence. This criterion states that a strongly stratified map is a stratified homotopy equivalence if and only if the induced maps on strata and holink spaces are homotopy equivalences. Using this criterion we will prove that any homotopically stratified space is stratified homotopy equivalent to a homotopically stratified space where neighborhoods of strata are mapping cylinders. Finally, we will develop categorical descriptions of the class of homotopically stratified spaces up to stratified homotopy.

Let $\Omega$ be either $\mathbb{R}^n$ or a strongly Lipschitz domain of $\mathbb{R}^n$, and $\omega\in A_{\infty}(\mathbb{R}^n)$ (the class of Muckenhoupt weights). Let $L$ be a second order divergence form elliptic operator on $L^2 (\Omega)$ with the Dirichlet or Neumann boundary condition, and assume that the heat semigroup generated by $L$ has the Gaussian property $(G_1)$ with the regularity of their kernels measured by $\mu\in(0,1]$. Let $\Phi$ be a continuous, strictly increasing, subadditive, positive and concave function on $(0,\infty)$ of critical lower type index $p_{\Phi}^-\in(0,1]$. In this paper, the authors introduce the "geometrical" weighted local Orlicz-Hardy spaces $h^{\Phi}_{\omega,\,r}(\Omega)$ and $h^{\Phi}_{\omega,\,z}(\Omega)$ via the weighted local Orlicz-Hardy spaces $h^{\Phi}_{\omega}(\mathbb{R}^n)$, and obtain their two equivalent characterizations in terms of the nontangential maximal function and the Lusin area function associated with the heat semigroup generated by $L$ when $p_{\Phi}^-\in(n/(n+\mu),1]$. As applications, the authors prove that the operators $\nabla^2{\mathbb G}_D$ are bounded from $h^{\Phi}_{\omega,\,r}(\Omega)$ to the weighted Orlicz space $L^{\Phi}_{\omega}(\Omega)$, and from $h^{\Phi}_{\omega,\,r}(\Omega)$ to itself when $\Omega$ is a bounded semiconvex domain in $\mathbb{R}^n$ and $p_{\Phi}^-\in(\frac{n}{n+1},1]$, and the operators $\nabla^2{\mathbb G}_N$ are bounded from $h^{\Phi}_{\omega,\,z}(\Omega)$ to $L^{\Phi}_{\omega}(\Omega)$, and from $h^{\Phi}_{\omega,\,z}(\Omega)$ to $h^{\Phi}_{\omega,\,r}(\Omega)$ when $\Omega$ is a bounded convex domain in $\mathbb{R}^n$ and $p_{\Phi}^-\in(\frac{n}{n+1},1]$, where ${\mathbb G}_D$ and ${\mathbb G}_N$ denote, respectively, the Dirichlet Green operator and the Neumann Green operator., Comment: This paper has been withdrawn by the authors

Let k be an infinite perfect field and let X = SpecR, where R is the localization of a k-algebra B of finite type with respect to a regular prime ideal p ∈ SpecB. LetD be a divisor onX with a decompositionD = ∪i=1Di into its irreducible components Di such that each Di is nonsingular and they intersect transversally. Consider Y = X − D, a deleted neighbourhood of the closed point x0 of X . Let E be a vector bundle on Y . In this set up, E is trivial in the following cases : (i) dim(X) ≤ 3 (Gabber [Ga1]) ; (ii) t = 1 (Bhatwadekar-Rao [BR]) ; (iii) rankE ≥ min{[dimR 2 ], t} (Rao [Ra1]). The above exposition is borrowed from a paper of Nisnevich [Ni], which contains some beautiful applications of these ‘purity theorems’. In the same set up, now let y ∈ Y be a closed point and let my be the corresponding maximal ideal of OY,y. It is natural to ask whether my is a complete intersection. Observing that the conormal bundle my/my is trivial, we consider a more general situation : Let I be the defining ideal of a closed subscheme Z of Y such that the conormal bundle I/I2 (defined on Z) is trivial. Is I a complete intersection? The questions we are addressing in this paper are a little stronger in nature : Can a given basis of I/I2 be lifted to a minimal set of generators of I? We remark that with the hypothesis on X , each component Di is defined by a single equation fi which vanishes at the closed point x0 of X . Let m be the maximal ideal at x0. The condition of transversality of intersection of Di’s is equivalent to saying that the images of f1, · · · , ft in the A/m-vector space m/m2 are linearly independent. Keeping this discussion in mind, we now give an excerpt of our main results in commutative algebraic terms (see 4.2, 4.3, 4.4).

We consider in this paper a general reaction-diffusion equation of the KPP (Kolmogorov, Petrovskii, Piskunov) type, posed on an infinite cylinder. Such a model will have a family of pulsating waves of constant speed, larger than a critical speed c∗. The family of all supercritical waves attract a large class of initial data, and we try to understand how. We describe in this paper the fate of an initial datum trapped between two supercritical waves of the same velocity: the solution will converge to a whole set of translates of the same wave, and we identify the convergence dynamics as that of an effective drift, around which an effective diffusion process occurs. In several nontrivial particular cases, we are able to describe the dynamics by an effective equation.

Iterated function systems have been most extensively studied when the functions are affine transformations of Euclidean space and, more recently, projective transformations on real projective space. This paper investigates iterated function systems consisting of Möbius transformations on the extended complex plane or, equivalently, on the Riemann sphere. The main result is a characterization, in terms of topological, geometric, and dynamical properties, of Möbius iterated function systems that possess an attractor. The paper also includes results on the duality between the attractor and repeller of a Möbius iterated function system.

This paper is inspired by the work of Nagel and Stein in which the L p L^p ( 1 > p > ∞ ) (1>p>\infty ) theory has been developed in the setting of the product Carnot-Carathéodory spaces M ~ = M 1 × ⋯ × M n \widetilde {M}=M_1\times \cdots \times M_n formed by vector fields satisfying Hörmander’s finite rank condition. The main purpose of this paper is to provide a unified approach to develop the multiparameter Hardy space theory on product spaces of homogeneous type. This theory includes the product Hardy space, its dual, the product B M O BMO space, the boundedness of singular integral operators and Calderón-Zygmund decomposition and interpolation of operators. As a consequence, we obtain the endpoint estimates for those singular integral operators considered by Nagel and Stein (2004). In fact, we will develop most of our theory in the framework of product spaces of homogeneous type which only satisfy the doubling condition and some regularity assumption on the metric. All of our results are established by introducing certain Banach spaces of test functions and distributions, developing discrete Calderón identity and discrete Littlewood-Paley-Stein theory. Our methods do not rely on the Journé-type covering lemma which was the main tool to prove the boundedness of singular integrals on the classical product Hardy spaces.

The topic of this paper is the Mackey Cocycle Theorem: every Borel almost cocycle is equivalent to a Borel strict cocycle. This is a theorem about locally compact groups which is not true for arbitrary Polish groups. We discuss the theorem, the open question of whether the theorem generalizes to some nonlocally compact Polish groups, the generalization to non-Borel cocycles, and other subjects associated with the theorem. Traditionally, the subject of cocycles and related matters has been considered in the context of standard Borel G G -spaces. It is now known that a standard Borel G G -space has a topological realization as a Polish G G -space. This makes it possible to consider the subject from a topological point of view. The main theorem of this paper is that the conclusion of the Mackey Cocycle Theorem is equivalent to continuity properties of the almost cocycle. Even in the locally compact case, this continuity is a new result.

This is the first paper in a series of three where we take on the unified theory of non-Archimedean group actions, length functions and infinite words. Our main goal is to show that group actions on Zn-trees give one a powerful tool to study groups. All finitely generated groups acting freely on R-trees also act freely on some Zn-trees, but the latter ones form a much larger class. The natural effectiveness of all constructions for Zn-actions (which is not the case for R-trees) comes along with a robust algorithmic theory. In this paper we describe the algebraic structure of finitely generated groups acting freely and regularly on Zn-trees and give necessary and sufficient conditions for such actions.

A special case of a fundamental result of Loewner and Horn [Trans. Amer. Math. Soc. 1969] says that given an integer $n \geq 1$, if the entrywise application of a smooth function $f : (0,\infty) \to \mathbb{R}$ preserves the set of $n \times n$ positive semidefinite matrices with positive entries, then $f$ and its first $n-1$ derivatives are non-negative on $(0,\infty)$. In a recent joint work with Belton-Guillot-Putinar [J. Eur. Math. Soc., in press], we proved a stronger version, and used it to strengthen the Schoenberg-Rudin characterization of dimension-free positivity preservers [Duke Math. J. 1942, 1959]. In recent works with Belton-Guillot-Putinar [Adv. Math. 2016] and with Tao [Amer. J. Math., in press] we used local, real-analytic versions at the origin of the Horn-Loewner condition, and discovered unexpected connections between entrywise polynomials preserving positivity and Schur polynomials. In this paper, we unify these two stories via a Master Theorem (Theorem A) which (i) simultaneously unifies and extends all of the aforementioned variants; and (ii) proves the positivity of the first $n$ nonzero Taylor coefficients at individual points rather than on all of $(0,\infty)$. A key step in the proof is a new determinantal / symmetric function calculation (Theorem B), which shows that Schur polynomials arise naturally from considering arbitrary entrywise maps that are sufficiently differentiable. Of independent interest may be the following application to symmetric function theory: we extend the Schur function expansion of Cauchy's (1841) determinant (whose matrix entries are geometric series $1 / (1 - u_j v_k)$), as well as of a determinant of Frobenius [J. reine angew. Math. 1882] (whose matrix entries are a sum of two geometric series), to arbitrary power series, and over all commutative rings., Comment: Final version, to appear in Transactions of the American Mathematical Society. 19 pages, no figures