Search

I regret to announce that there is a serious error in my paper in these Transactions, volume 84, pp. 430-443. The error was discovered by Louis Kokoris who found that on line 8 of page 434 the expression given as 4[g(bz)](az) should have been 4[g(az)](bz). As a consequence the computation of P(z, g, az, b) yields nothing, the proof of formula (30) is not valid, and the important Lemma 9 is not proved. Thus the paper does not give a proof of its major result stated as Theorem 1. Nevertheless, the theorems of the paper are all correct and we shall provide a revision of the proof here. This revised proof has been checked by Louis Kokoris to whom the author wishes to express his great thanks. We observe first that the equation

The purpose of this note is to present a new proof of a generalized form of Day's fixed point theorem. The proof we give is suggested by the work of T. Mitchell in his paper, Function algebras, means, and fixed points, [2]. The version of Day's theorem which we present here has not appeared explicitly in the literature before, and seems especially well suited for application to questions concerning fixed point properties of topological semigroups. 1. Preliminaries. We adopt the terminology and notation of [2] except where otherwise specified. New terminology will be introduced as needed. Let y be a convex compactum (compact convex set in a real locally convex linear topological space E), and let A( Y) denote the Banach space of all (real) continuous affine functions on Y under the supremum norm. Observe that A(Y) contains every function of the form h=f\Y + r where fe E* and r is real; thus A(Y) separates points of Y.

Part of the work was done while the authors were visiting the South China University of Science and Technology (SUSTech), Shenzhen, in 2018, and we are grateful (in particular to Professor Cai Heng Li) for the hospitality that we received.The authors would like to thank the Isaac Newton Institute for Mathematical Sciences, Cambridge, for support and hospitality during the programme Groups, representations and applications: new perspectives (supported by EPSRC grant no.EP/R014604/1), where further work on this paper was undertaken. In particular we acknowledge a Simons Fellowship (Cameron) and a Kirk Distinguished Visiting Fellowship (Praeger) during this programme. Schneider thanks the Centre for the Mathematics of Symmetry and Computation of The University of Western Australia and Australian Research Council Discovery Grant DP160102323 for hosting his visit in 2017 and acknowledges the support of the CNPq projects Produtividade em Pesquisa (project no.: 308212/2019-3) and Universal (project no.:421624/2018-3). Diagonal groups are one of the classes of finite primitive permutation groups occurring in the conclusion of the O'Nan-Scott theorem. Several of the other classes have been described as the automorphism groups of geometric or combinatorial structures such as affine spaces or Cartesian decompositions, but such structures for diagonal groups have not been studied in general. The main purpose of this paper is to describe and characterise such structures, which we call diagonal semilattices. Unlike the diagonal groups in the O'Nan-Scott theorem, which are defined over finite characteristically simple groups, our construction works over arbitrary groups, finite or infinite. A diagonal semilattice depends on a dimension m and a group T. For m=2, it is a Latin square, the Cayley table of T, though in fact any Latin square satisfies our combinatorial axioms. However, for m≥3, the group T emerges naturally and uniquely from the axioms. (The situation somewhat resembles projective geometry, where projective planes exist in great profusion but higher-dimensional structures are coordinatised by an algebraic object, a division ring.) A diagonal semilattice is contained in the partition lattice on a set Ω, and we provide an introduction to the calculus of partitions. Many of the concepts and constructions come from experimental design in statistics. We also determine when a diagonal group can be primitive, or quasiprimitive (these conditions turn out to be equivalent for diagonal groups). Associated with the diagonal semilattice is a graph, the diagonal graph, which has the same automorphism group as the diagonal semilattice except in four small cases with m

We continue our exploration of various approaches to integration of representations from a Lie algebra $\mbox{Lie} (G)$ to an algebraic group $G$ in positive characteristic. In the present paper we concentrate on an approach exploiting exponentials. This approach works well for over-restricted representations, introduced in this paper, and takes no note of $G$-stability., Accepted by Transactions of the AMS. This paper is split off the earlier versions (1, 2 and 3) of arXiv:1708.06620. Some of the statements in these versions of arXiv:1708.06620 contain mistakes corrected here. Version 2 of this paper: close to the accepted version by the journal, minor improvements, compared to Version 1

In this paper, we study a problem posed by Furstenberg on intersections between × 2 , × 3 \times 2, \times 3 invariant sets. We present here a direct geometrical counting argument to revisit a theorem of Wu and Shmerkin. This argument can be used to obtain further improvements. For example, we show that if A 2 , A 3 ⊂ [ 0 , 1 ] A_2,A_3\subset [0,1] are closed and × 2 , × 3 \times 2, \times 3 invariant respectively, assuming that dim ⁡ A 2 + dim ⁡ A 3 > 1 \dim A_2+\dim A_3>1 then A 2 ∩ ( u A 3 + v ) A_2\cap (uA_3+v) is sparse (defined in this paper) and has box dimension zero uniformly with respect to the real parameters u , v u,v such that u u and u − 1 u^{-1} are both bounded away from 0 0 .

This is the first of two papers in which we investigate the properties of the displacement functions of automorphisms of free groups (more generally, free products) on Culler-Vogtmann Outer space and its simplicial bordification - the free splitting complex - with respect to the Lipschitz metric. The theory for irreducible automorphisms being well-developed, we concentrate on the reducible case. Since we deal with the bordification, we develop all the needed tools in the more general setting of deformation spaces, and their associated free splitting complexes. In the present paper we study the local properties of the displacement function. In particular, we study its convexity properties and the behaviour at bordification points, by geometrically characterising its continuity-points. We prove that the global-simplex-displacement spectrum of $Aut(F_n)$ is a well-ordered subset of $\mathbb R$, this being helpful for algorithmic purposes. We introduce a weaker notion of train tracks, which we call {\em partial train tracks} (which coincides with the usual one for irreducible automorphisms) and we prove that, for any automorphism, points of minimal displacement - minpoints - coincide with the marked metric graphs that support partial train tracks. We show that any automorphism, reducible or not, has a partial train track (hence a minpoint) either in the outer space or its bordification. We show that, given an automorphism, any of its invariant free factors is seen in a partial train track map. In a subsequent paper we will prove that level sets of the displacement functions are connected, and we will apply that result to solve certain decision problems., 50 pages. Originally part of arXiv:1703.09945 . We decided to split that paper following the recommendations of a referee. Updated subsequent to acceptance by Transactions of the American Mathematical Society

Star configurations of points are configurations with known (and conjectured) extremal behaviors among all configurations of points in $\mathbb P_k^n$; additional interest come from their rich structure, which allows them to be studied using tools from algebraic geometry, combinatorics, commutative algebra and representation theory. In the present paper we investigate the more general problem of determining the structure of symbolic powers of a wide generalization of star configurations of points (introduced by Geramita, Harbourne, Migliore and Nagel) called star configurations of hypersurfaces in $\mathbb P_k^n$. Here (1) we provide explicit minimal generating sets of the symbolic powers $I^{(m)}$ of these ideals $I$, (2) we introduce a notion of $\delta$-c.i. quotients, which generalize ideals with linear quotients, and show that $I^{(m)}$ have $\delta$-c.i. quotients, (3) we show that the shape of the Betti tables of these symbolic powers is determined by certain "Koszul" strands and we prove that a little bit more than the bottom half of the Betti table has a regular, almost hypnotic, pattern, and (4) we provide a closed formula for all the graded Betti numbers in these strands. As a special case of (2) we deduce that symbolic powers of ideals of star configurations of points have linear quotients. We also improve and extend results by Galetto, Geramita, Shin and Van Tuyl, and provide explicit new general formulas for the minimal number of generators and the symbolic defects of star configurations. Finally, inspired by Young tableaux, we introduce a technical tool which may be of independent interest: it is a "canonical" way of writing any monomial in any given set of polynomials. Our methods are characteristic--free., Comment: Final revision (original paper was accepted for publication in Trans. Amer. Math. Soc.)

A Cohen-Macaulay local ring $R$ satisfies trivial vanishing if $\operatorname{Tor}_i^R(M,N)=0$ for all large $i$ implies $M$ or $N$ has finite projective dimension. If $R$ satisfies trivial vanishing then we also have that $\operatorname{Ext}^i_R(M,N)=0$ for all large $i$ implies $M$ has finite projective dimension or $N$ has finite injective dimension. In this paper, we establish obstructions for the failure of trivial vanishing in terms of the asymptotic growth of the Betti and Bass numbers of the modules involved. These, together with a result of Gasharov and Peeva, provide sufficient conditions for $R$ to satisfy trivial vanishing; we provide sharpened conditions when $R$ is generalized Golod. Our methods allow us to settle the Auslander-Reiten conjecture in several new cases. In the last part of the paper, we provide criteria for the Gorenstein property based on consecutive vanishing of Ext. The latter results improve similar statements due to Ulrich, Hanes-Huneke, and Jorgensen-Leuschke., to appear in Trans. Amer. Math. Soc

We correct a mistake that appeared in the first section of the original article, which appeared in Tran. Amer. Math. Soc. 370 (2018), 99–130. Namely, Corollary 1.16 was false as stated and was subsequently used in later proofs in the paper. In this note it is argued that all the relevant statements after Corollary 1.16 can be saved with at most minor modifications. In particular, all the main results of the original paper remain valid as stated, but some intermediate claims are slightly modified or proved more directly without Corollary 1.16.

In this paper, a G-shift of finite type (G-SFT) is a shift of finite type together with a free continuous shift-commuting action by a finite group G. We reduce the classification of G-SFTs up to equivariant flow equivalence to an algebraic classification of a class of poset-blocked matrices over the integral group ring of G. For a special case of two irreducible components with G$=\mathbb Z_2$, we compute explicit complete invariants. We relate our matrix structures to the Adler-Kitchens-Marcus group actions approach. We give examples of G-SFT applications, including a new connection to involutions of cellular automata., The paper has been augmented considerably and the second version is now 81 pages long. This version has been accepted for publication in Transactions of the American Mathematical Society

Let $L$ be a fixed branch -- that is, an irreducible germ of curve -- on a normal surface singularity $X$. If $A,B$ are two other branches, define $u_L(A,B) := \dfrac{(L \cdot A) \: (L \cdot B)}{A \cdot B}$, where $A \cdot B$ denotes the intersection number of $A$ and $B$. Call $X$ arborescent if all the dual graphs of its resolutions are trees. In a previous paper, the first three authors extended a 1985 theorem of P{\l}oski by proving that whenever $X$ is arborescent, the function $u_L$ is an ultrametric on the set of branches on $X$ different from $L$. In the present paper we prove that, conversely, if $u_L$ is an ultrametric, then $X$ is arborescent. We also show that for any normal surface singularity, one may find arbitrarily large sets of branches on $X$, characterized uniquely in terms of the topology of the resolutions of their sum, in restriction to which $u_L$ is still an ultrametric. Moreover, we describe the associated tree in terms of the dual graphs of such resolutions. Then we extend our setting by allowing $L$ to be an arbitrary semivaluation on $X$ and by defining $u_L$ on a suitable space of semivaluations. We prove that any such function is again an ultrametric if and only if $X$ is arborescent, and without any restriction on $X$ we exhibit special subspaces of the space of semivaluations in restriction to which $u_L$ is still an ultrametric., Comment: 50 pages, 14 figures. Final version

For a finite involutive non-degenerate solution $(X,r)$ of the Yang--Baxter equation it is known that the structure monoid $M(X,r)$ is a monoid of I-type, and the structure algebra $K[M(X,r)]$ over a field $K$ share many properties with commutative polynomial algebras, in particular, it is a Noetherian PI-domain that has finite Gelfand--Kirillov dimension. In this paper we deal with arbitrary finite (left) non-degenerate solutions. Although the structure of both the monoid $M(X,r)$ and the algebra $K[M(X,r)]$ is much more complicated than in the involutive case, we provide some deep insights. In this general context, using a realization of Lebed and Vendramin of $M(X,r)$ as a regular submonoid in the semidirect product $A(X,r)\rtimes\mathrm{Sym}(X)$, where $A(X,r)$ is the structure monoid of the rack solution associated to $(X,r)$, we prove that $K[M(X,r)]$ is a module finite normal extension of a commutative affine subalgebra. In particular, $K[M(X,r)]$ is a Noetherian PI-algebra of finite Gelfand--Kirillov dimension bounded by $|X|$. We also characterize, in ring-theoretical terms of $K[M(X,r)]$, when $(X,r)$ is an involutive solution. This characterization provides, in particular, a positive answer to the Gateva-Ivanova conjecture concerning cancellativity of $M(X,r)$. These results allow us to control the prime spectrum of the algebra $K[M(X,r)]$ and to describe the Jacobson radical and prime radical of $K[M(X,r)]$. Finally, we give a matrix-type representation of the algebra $K[M(X,r)]/P$ for each prime ideal $P$ of $K[M(X,r)]$. As a consequence, we show that if $K[M(X,r)]$ is semiprime then there exist finitely many finitely generated abelian-by-finite groups, $G_1,\dotsc,G_m$, each being the group of quotients of a cancellative subsemigroup of $M(X,r)$ such that the algebra $K[M(X,r)]$ embeds into $\mathrm{M}_{v_1}(K[G_1])\times\dotsb\times \mathrm{M}_{v_m}(K[G_m])$., A subtle mistake in the proof of Theorem 4.4 has been corrected (will appear in a corrigendum et addendum, TAMS). In the latter paper we also strengthen some of the results by removing the "square free'' condition in Section 5 and in this paper we also prove new homological equivalences in Theorem 4.4

In the present paper, we define a notion of good coverings of Alexandrov spaces with curvature bounded below, and prove that every Alexandrov space admits such a good covering and that it has the same homotopy type as the nerve of the good covering. We also prove the stability of the isomorphism classes of the nerves of good coverings in the non-collapsing case. In the proof, we need a version of Perelman's fibration theorem, which is also proved in this paper., Minor change basically on the proof of Theorem 1.2 in Section 5

We derive a Ray–Knight type theorem for the local time process (in the space variable) of a skew Brownian motion up to an independent exponential time. It is known that the local time seen as a density of the occupation measure and taken with respect to the Lebesgue measure has a discontinuity at the skew point (in our case at zero), but the local time taken with respect to the speed measure is continuous. In this paper we discuss this discrepancy by characterizing the dynamics of the local time process in both of these cases. The Ray–Knight type theorem is applied to study integral functionals of the local time process of the skew Brownian motion. In particular, we determine the distribution of the maximum of the local time process up to a fixed time, which can be seen as the main new result of the paper.

In this paper, we consider Sjamaar's holomorphic slice theorem, the birational equivalence theorem of Guillemin and Sternberg, and a number of important standard constructions that work for Hamiltonian circle actions in both the symplectic category and the K\"ahler category: reduction, cutting, and blow-up. In each case, we show that the theory extends to Hamiltonian circle actions on complex manifolds with tamed symplectic forms. (At least, the theory extends if the fixed points are isolated.) Our main motivation for this paper is that the first author needs the machinery that we develop here to construct a non-Hamiltonian symplectic circle action on a closed, connected six-dimensional symplectic manifold with exactly 32 fixed points; this answers an open question in symplectic geometry. However, we also believe that the setting we work in is intrinsically interesting, and elucidates the key role played by the following fact: the moment image of $e^t \cdot x$ increases as $t \in \mathbb{R}$ increases., Comment: 25 pages

The classical Hartman-Grobman Theorem states that a smooth diffeomorphism F ( x ) F(x) near its hyperbolic fixed point x ¯ \bar x is topological conjugate to its linear part D F ( x ¯ ) DF(\bar x) by a local homeomorphism Φ ( x ) \Phi (x) . In general, this local homeomorphism is not smooth, not even Lipschitz continuous no matter how smooth F ( x ) F(x) is. A question is: Is this local homeomorphism differentiable at the fixed point? In a 2003 paper by Guysinsky, Hasselblatt and Rayskin, it is shown that for a C ∞ C^\infty diffeomorphism F ( x ) F(x) , the local homeomorphism indeed is differentiable at the fixed point. In this paper, we prove for a C 1 C^1 diffeomorphism F ( x ) F(x) with D F ( x ) DF(x) being α \alpha -Hölder continuous at the fixed point that the local homeomorphism Φ ( x ) \Phi (x) is differentiable at the fixed point. Here, α > 0 \alpha >0 depends on the bands of the spectrum of F ′ ( x ¯ ) F’(\bar x) for a diffeomorphism in a Banach space. We also give a counterexample showing that the regularity condition on F ( x ) F(x) cannot be lowered to C 1 C^1 .

In this paper we discuss a simple relation, which was previously missed, between the high co-dimensional isoperimetric problem of finding a filling with small volume to a given cycle and extinction estimates for singular, high co-dimensional, mean curvature flow. The utility of this viewpoint is first exemplified by two results which, once casted in the light of this relation, are almost self-evident. The first is a genuine, 5-line proof, for the isoperimetric inequality for k k -cycles in R n \mathbb {R}^n , with a constant differing from the optimal constant by a factor of only k \sqrt {k} , as opposed to a factor of k k k^k produced by all of the other soft methods. The second is a 3-line proof of a lower bound for extinction for arbitrary co-dimensional, singular, mean curvature flows starting from cycles, generalizing the main result of Giga and Yama-uchi (1993). We then turn to use the above-mentioned relation to prove a bound on the parabolic Hausdorff measure of the space-time track of high co-dimensional, singular, mean curvature flow starting from a cycle, in terms of the mass of that cycle. This bound is also reminiscent of a Michael-Simon isoperimetric inequality. To prove it, we are led to study the geometric measure theory of Euclidean rectifiable sets in parabolic space and prove a co-area formula in that setting. This formula, the proof of which occupies most of this paper, may be of independent interest.

The study of the global structure of ultrafilters on the natural numbers with respect to the quasi-orders of Rudin-Keisler and Rudin-Blass reducibility was initiated in the 1970s by Blass, Keisler, Kunen, and Rudin. In a 1973 paper Blass studied the special class of P-points under the quasi-ordering of Rudin-Keisler reducibility. He asked what partially ordered sets can be embedded into the P-points when the P-points are equipped with this ordering. This question is of most interest under some hypothesis that guarantees the existence of many P-points, such as Martin’s axiom for σ \sigma -centered posets. In his 1973 paper he showed under this assumption that both ω 1 {\omega }_{1} and the reals can be embedded. Analogous results were obtained later for the coarser notion of Tukey reducibility. We prove in this paper that Martin’s axiom for σ \sigma -centered posets implies that the Boolean algebra P ( ω ) / FIN \mathcal {P}(\omega ) / \operatorname {FIN} equipped with its natural partial order can be embedded into the P-points both under Rudin-Keisler and Tukey reducibility. Consequently, the continuum hypothesis implies that every partial order of size at most continuum embeds into the P-points under both notions of reducibility.

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

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

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

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.

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.

In the late 1970s Mumford established Chow stability of smooth unpointed genus g curves embedded by complete linear systems of degree d ≥ 2g + 1, and at about the same time Gieseker established asymptotic Hilbert stability (that is, stability of m th Hilbert points for some large values of m) under the same hypotheses. Both of them then use an indirect argument to show that nodal Deligne-Mumford stable curves are GIT stable. The case of marked points lay untouched until 2006, when Elizabeth Baldwin proved that pointed Deligne-Mumford stable curves are asymptotically Hilbert stable. (Actually, she proved this for stable maps, which includes stable curves as a special case.) Her argument is a delicate induction on g and the number of marked points n; elliptic tails are glued to the marked points one by one, ultimately relating stability of an n-pointed genus g curve to Gieseker’s result for genus g + n unpointed curves. There are three ways one might wish to improve upon Baldwin’s results. First, one might wish to construct moduli spaces of weighted pointed curves or maps; it appears that Baldwin’s proof can accommodate some, but not all, sets of weights. Second, one might wish to study Hilbert stability for small values of m; since Baldwin’s proof uses Gieseker’s proof as the base case, it is not easy to see how it could be modified to yield an approach for small m. Finally, the Minimal Model Program for moduli spaces of curves has generated interest in GIT for 2, 3, or 4-canonical linear systems; due to its use of elliptic tails, Baldwin’s proof cannot be used to study these, as elliptic tails are known to be GIT unstable in these cases. In this paper I give a direct proof that smooth curves with distinct weighted marked points are asymptotically Hilbert stable with respect to a wide range of parameter spaces and linearizations. Some of these yield the (coarse) moduli space of Deligne-Mumford stable pointed curves M g,n and Hassett’s moduli spaces of weighted pointed curves M g,A, while other linearizations may give other quotients which are birational to these and which may admit interpretations as moduli spaces. The full construction of the moduli spaces is not contained in this paper, only the proof that smooth curves with distinct weighted marked points are stable, which is the key new result needed for the construction. For this I follow Gieseker’s approach to reduce to the GIT problem to a combinatorial problem, though the solution is very different.

As a first goal, it is explained why Goodwillie-Weiss calculus of embeddings offers new information about the Euclidean embedding dimension of P^m only for m < 16. Concrete scenarios are described in these low-dimensional cases, pinpointing where to look for potential, but critical, high-order obstructions in the corresponding Taylor towers. For m > 15, the relation TC^S(P^m) > n-1 is translated into the triviality of a certain cohomotopy Euler class which, in turn, becomes the only Taylor obstruction to producing an n-dimensional Euclidean embedding of P^m. A speculative bordism-type form of this primary obstruction is proposed as an analogue of Davis' BP-approach to the immersion problem of P^m. A form of the Euler class viewpoint is applied to show TC^S(P^3) = 5, as well as to suggest a few higher dimensional projective spaces for which the method could produce new information. As a second goal, the paper extends Farber's work on the motion planning problem in order to develop the notion of a symmetric motion planner for a mechanical system S. Following Farber's lead, this concept is connected to the symmetric topological complexity of the state space of S. The paper ends by sketching the construction of a concrete 5-local-rules symmetric motion planner for P^3., updated, final version to appear in Transactions of the American Mathematical Society

We improve some of the results in our 1999 paper concerning weighted norm estimates for homogeneous singular integrals with rough kernels. Using a representation of such integrals in terms of averages over starlike sets, we prove a two-weight L p L^{p} inequality for 1 > p > 2 1 > p > 2 which we were previously able to obtain only for p ≥ 2 p \geq 2 . We also construct examples of weights that satisfy conditions which were shown in our earlier paper to be sufficient for one-weight inequalities when 1 > p > ∞ 1>p>\infty .

In the prequel to this paper, we showed how results of Mason involving a new combinatorial formula for polynomials that are now known as Demazure atoms (characters of quotients of Demazure modules, called standard bases by Lascoux and Schutzenberger) could be used to dene a new basis for the ring of quasisymmetric functions we call \Quasisymmetric Schur functions" (QS functions for short). In this paper we develop the combinatorics of these polynomials futher, by showing that the product of a Schur function and a Demazure atom has a positive expansion in terms of Demazure atoms. We use these techniques, together with the fact that both a QS function and a Demazure character have explicit expressions as a positive sum of atoms, to obtain the expansion of a product of a Schur function with a QS function (Demazure character) as a positive sum of QS functions (Demazure characters). Our formula for the coecients in the expansion of a product of a Demazure character and a Schur function into Demazure characters is similar to known results and includes in particular the famous Littlewood-Richardson rule for the expansion of a product of Schur functions in terms of the Schur basis. A composition (weak composition) with n parts is a sequence of n positive (nonnegative) integers, respectively. A partition is a composition whose parts are monotone nonincreasing. If is a weak composition, composition, or partition, we let '( ) denote the number of parts of . Throughout this article is a weak composition with '( ) = n while and denote compositions and partitions, respectively, with '( ) n, '( ) n. The polynomials in this paper (Schur functions, Demazure atoms and characters, QS functions) depend on a

Let Ω C ℝ N be a compact imbedded Riemannian manifold of dimension d > 1 and define the (d + 1)-dimensional Riemannian manifold M := {(x, r(x)w): x ∈ ℝ, ω ∈ Ω} with r > 0 and smooth, and the natural metric ds 2 = (1 + r'(x) 2 )dx 2 + r 2 (x)ds 2 Ω . We require that M has conical ends: r(x) = |x| + O(x -1 ) as x → ±∞. The Hamiltonian flow on such manifolds always exhibits trapping. Dispersive estimates for the Schrodinger evolution e itΔ M and the wave evolution e it √ -Δ M are obtained for data of the form f (x, ω) = y n (ω)u(x), where Y n are eigenfunctions of -Δ Ω with eigenvalues u 2 n . In this paper we discuss all cases d + n > 1. If n ≠ 0 there is the following accelerated local decay estimate: with 0 1, ∥ω σ e itΔM Y n f ∥ L ∞ (M) ≤ C (n, M, σ) t - d+1 / 2 -σ ∥w -1 σ f ∥ L 1 (M) , where w σ (x) = 〈x〉 -σ , and similarly for the wave evolution. Our method combines two main ingredients: (A) A detailed scattering analysis of Schrodinger operators of the form -∂ 2 ξ + (v 2 - 1 / 4 )〈ξ〉 -2 + U(ξ) on the line where U is real-valued and smooth with U (l) (ξ) = 0( ξ-3-l ) for all l ≥ 0 as ξ → ±∞ and v > 0. In particular, we introduce the notion of a zero energy resonance for this class and derive an asymptotic expansion of the Wronskian between the outgoing Jost solutions as the energy tends to zero. In particular, the division into Part I and Part II can be explained by the former being resonant at zero energy, where the present paper deals with the nonresonant case. (B) Estimation of oscillatory integrals by (non)stationary phase.

In this paper, using thermodynamic formalism for the sub-additive potential, upper bounds for the Hausdorff dimension and the box dimension of non-conformal repellers are obtained as the sub-additive Bowen equation. The map f only needs to be C 1 , without additional conditions. We also prove that all the upper bounds for the Hausdorff dimension obtained in earlier papers coincide. This unifies their results. Furthermore we define an average conformal repeller and prove that the dimension of an average conformal repeller equals the unique root of the sub-additive Bowen equation.

We develop a natural generalization of vector-valued frame theory, we term operator-valued frame theory, using operator-algebraic methods. This extends work of the second author and D. Han which can be viewed as the mul- tiplicity one case and extends to higher multiplicity their dilation approach. We prove several results for operator-valued frames concerning duality, dis- jointeness, complementarity , and composition of operator valued frames and the relationship between the two types of similarity (left and right) of such frames. A key technical tool is the parametrization of Parseval operator val- ued frames in terms of a class of partial isometries in the Hilbert space of the analysis operator. We apply these notions to an analysis of multiframe gener- ators for the action of a discrete group G on a Hilbert space. One of the main results of the Han-Larson work was the parametrization of the Parseval frame generators in terms of the unitary operators in the von Neumann algebra gen- erated by the group representation, and the resulting norm path-connectedness of the set of frame generators due to the connectedness of the group of unitary operators of an arbitrary von Neumann algebra. In this paper we general- ize this multiplicity one result to operator-valued frames. However, both the parameterization and the proof of norm path-connectedness turn out to be necessarily more complicated, and this is at least in part the rationale for this paper. Our parameterization involves a class of partial isometries of a different von Neumann algebra. These partial isometries are not path-connected in the norm topology, but only in the strong operator topology. We prove that the set of operator frame generators is norm pathwise-connected precisely when the von Neumann algebra generated by the right representation of the group has no minimal projections. As in the multiplicity one theory there are analogous results for general (non-Parseval) frames.

We study the transverse Lusternik-Schnirelmann category theory of a Riemannian foliation F on a closed manifold M. The essential transverse category cat e (M, F) is introduced in this paper, and we prove that cat e (M, F) is always finite for a Riemannian foliation. Necessary and sufficient conditions are derived for when the usual transverse category cat (M, F) is finite, and thus cat e (M, F) = cat(M, F) holds. A fundamental point of this paper is to use properties of Riemannian submersions and the Molino Structure Theory for Riemannian foliations to transform the calculation of cat e (M, F) into a standard problem about O(q)-equivariant LS category theory. A main result, Theorem 1.6, states that for an associated O(q)-manifold W, we have that cat e (M, F) = cat O(q) (Ŵ). Hence, the traditional techniques developed for the study of smooth compact Lie group actions can be effectively employed for the study of the LS category of Riemannian foliations. A generalization of the Lusternik-Schnirelmann theorem is derived: given a C 1 -function f: M → R which is constant along the leaves of a Riemannian foliation F, the essential transverse category cat e (M, F) is a lower bound for the number of critical leaf closures of f.

In previous joint work, a theory introduced earlier by Tagare was developed for establishing certain kinds of correspondences, termed bimorphisms, between simple closed regular plane curves of differentiability class at least C 2 C^2 . A class of objective functionals was introduced on the space of bimorphisms between two fixed curves C 1 C_1 and C 2 C_2 , and it was proposed that one define a “best non-rigid match” between C 1 C_1 and C 2 C_2 by minimizing such a functional. In this paper we prove several theorems concerning the nature of the shape-space of plane curves and of spaces of bimorphisms as infinite-dimensional manifolds. In particular, for 2 ≤ j > ∞ 2\leq j>\infty , the space of parametrized bimorphisms is a differentiable Banach manifold, but the space of unparametrized bimorphisms is not. Only for C ∞ C^\infty curves is the space of bimorphisms an infinite-dimensional manifold, and then only a Fréchet manifold, not a Banach manifold. This paper lays the groundwork for a companion paper in which we use the Nash Inverse Function Theorem and our results on C ∞ C^\infty curves and bimorphisms to show that if Γ \Gamma is strongly convex, if C 1 C_1 and C 2 C_2 are C ∞ C^\infty curves whose shapes are not too dissimilar ( C j C^j -close for a certain finite j j ) and if neither curve is a perfect circle, then the minimum of a regularized objective functional exists and is locally unique.

By the celebrated Weierstrass Theorem the set of algebraic polynomials is dense in the space of continuous functions on a compact set in R d . In this paper we study the following question: does the density hold if we approximate only by homogeneous polynomials? Since the set of homogeneous polynomials is nonlinear this leads to a nontrivial problem. It is easy to see that: 1) density may hold only on star-like 0-symmetric surfaces; 2) at least 2 homogeneous polynomials are needed for approximation. The most interesting special case of a star-like surface is a convex surface. It has been conjectured by the second author that functions continuous on 0-symmetric convex surfaces in R d can be approximated by a pair of homogeneous polynomials. This conjecture is not resolved yet but we make substantial progress towards its positive settlement. In particular, it is shown in the present paper that the above conjecture holds for 1) d = 2, 2) convex surfaces in R d with C 1+ǫ boundary.

We use the notion of rank defined in an earlier paper (2007) to introduce and study two correspondences between small irreducible unitary representations of the split real simple Lie groups of types E n , where n ∈ {6, 7}, and two reductive classical groups. We show that these correspondences classify all of the unitary representations of rank two (in the sense of our earlier paper) of these exceptional groups. We study our correspondences for a specific family of degenerate principal series representations in detail.

"For a connected linear semisimple Lie group G, this paper considers those nonzero limits of discrete series representations having infinitesimal character~0, calling them ""totally degenerate"". Such representations exist if and only if G has a compact Cartan subgroup, is quasisplit, and is acceptable in the sense of Harish-Chandra. Totally degenerate limits of discrete series are natural objects of study in the theory of automorphic forms: in fact, those automorphic representations of adelic groups that have totally degenerate limits of discrete series as archimedean components correspond conjecturally to complex continuous representations of Galois groups of number fields. The automorphic representations in question have important arithmetic significance, but very little has been proved up to now toward establishing this part of the Langlands conjectures. There is some hope of making progress in this area, and for that one needs to know in detail the representations of G under consideration. The aim of this paper is to determine the classification parameters of all totally degenerate limits of discrete series in the Knapp-Zuckerman classification of irreducible tempered representations, i.e., to express these representations as induced representations with ""nondegenerate data"". The paper uses a general argument, based on the finite abelian reducibility group R attached to a specific unitary principal series representation of G. First an easy result gives the aggregate of the classification parameters. Then a harder result uses the easy result to match the classification parameters with the representations of G under consideration in representation-by-representation fashion. The paper includes tables of the classification parameters for all such groups G."

We classify all homomorphisms between Weyl modules for SL3(k) when k is an algebraically closed field of characteristic at least three, and show that the Hom-spaces are all at most one-dimensional. As a corollary we obtain all homomorphisms between Specht modules for the symmetric group when the labelling partitions have at most three parts and the prime is at least three. We conclude by showing how a result of Fayers and Lyle on Hom-spaces for Specht modules is related to earlier work of Donkin for algebraic groups. Let G be a reductive algebraic group over an algebraically closed field of characteristic p > 0. An important class of modules for such a group are the Weyl modules �(λ), labelled by dominant weights; these can be constructed (relatively) explicitly, and their heads provide a full set of simple modules for G. (Equivalently one can study the duals of these modules, denoted ∇(λ) which have the advantage of being induced from one-dimensional modules for a Borel subgroup). In determining the structure of such modules, or indeed their cohomology, the calculation of Hom- spaces between them is a useful tool. Relatively little is known in general about such Hom-spaces. In type A, when λ andare related by a (suitable) single reflection, explicit non-zero homomorphisms from �(λ) to �(� ) were constructed (with some restrictions) by Carter and Lusztig (3), and (more generally) by Carter and Payne (4). The corresponding cases in other types were considered by Franklin (14). While it is clear that there should be a hierarchy of families of homomorphisms corresponding to different powers of p, the only case where the above results provide a complete classification is when G is SL2, where it is relatively easy to determine all Hom-spaces exactly (6). The only other general results in this area, by Andersen (1) and Koppinen (18), concern homo- morphisms between modules labelled by weights which are 'close together'. Typically such results show that certain Hom-spaces are non-zero, or in some cases one-dimensional. For weights which are far apart and not related by a single reflection almost nothing is known. In this paper we will determine all homomorphisms between Weyl modules for SL3 when p ≥ 3, and provide a recursive procedure for determining the composition factors arising in the image (or kernel) of such maps in most cases. From these results we will also classify all homomorphisms between Specht modules for the symmetric groups corresponding to three part partitions, when p ≥ 3. After a section of preliminaries, we review the SL3 data concerning p-filtrations that we will need from (21). This describes certain filtrations of induced modules which will allow us to proceed by induction, together with the set of p-good homomorphisms which will be fundamental in our later constructions. We also recall a theorem of Carter and Payne (4) on the existence of certain homomorphisms. These will be the two key sets of data which we need to determine all possible homomorphisms. With the notation developed up to that point in place, in Section 4 we can give the strategy to be followed in the remainder of the paper, and in particular the translation functor arguments

This paper continues previous work in which we developed the Galois theory of strongly normal extensions using differential schemes. In the present paper we derive two main results. First, we show that an extension is strongly normal if and only if a certain differential scheme splits, i.e. is obtained by base extension of a scheme over constants. This gives a geometric characterization to the notion of strongly normal. Second, we show that Picard-Vessiot extensions are characterized by their Galois group being affine. Our proofs are elementary and do not use "group chunks" or cohomology. We end by recalling some important results about strongly normal extensions with the hope of spurring future research.

Let ( R , m ) (R,\mathfrak {m}) be an n n -dimensional regular local ring, essentially of finite type over a field of characteristic zero. Given an m \mathfrak {m} -primary ideal a \mathfrak {a} of R R , the relationship between the singularities of the scheme defined by a \mathfrak {a} and those defined by the multiplier ideals J ( a c ) \mathcal {J}(\mathfrak {a}^c) , with c c varying in Q + \mathbb {Q}_+ , are quantified in this paper by showing that the Samuel multiplicity of a \mathfrak {a} satisfies e ( a ) ≥ ( n + k ) n / c n e(\mathfrak {a}) \ge (n+k)^n/c^n whenever J ( a c ) ⊆ m k + 1 \mathcal {J}(\mathfrak {a}^c) \subseteq \mathfrak {m}^{k+1} . This formula generalizes an inequality on log canonical thresholds previously obtained by Ein, Mustaţǎ and the author of this paper. A refined inequality is also shown to hold for small dimensions, and similar results valid for a generalization of test ideals in positive characteristics are presented.

The aim of this study is to understand to what extent a 1-convex domain with Levi-flat boundary is capable of holomorphic functions with slow growth. This paper discusses a typical example of such domain, the space of all the geodesic segments on a hyperbolic compact Riemann surface. Our main finding is an integral formula that produces holomorphic functions on the domain from holomorphic differentials on the Riemann surface. This construction can be seen as a non-trivial example of $L^2$ jet extension of holomorphic functions with optimal constant. As its corollary, it is shown that the weighted Bergman spaces of the domain is infinite dimensional for any weight order greater than $-1$ in spite of the fact that the domain does not admit any non-constant bounded holomorphic functions., The title was changed from "Weighted Bergman spaces of domains with Levi-flat boundary: geodesic segments on compact Riemann surfaces". 25 pages, final version, to appear in Transactions of the American Mathematical Society

Let X X be a separable infinite dimensional (real or complex) Banach space. Hájek and Smith, in 2010, constructed a linear bounded operator T T on X X such that A T ≔ { x ∈ X : ‖ T n x ‖ → ∞ } A_T≔\{x\in X:~ \|T^nx\|\to \infty \} is not dense and has nonempty interior, whenever X X admits a symmetric basis. Augé, in 2012, extended the previous construction to each separable Banach space, introducing the notion of wild operators. This work is divided in two parts. In the first part we define and explore the notion of asymptotically separated sets on Banach spaces, giving several examples whenever the ambient space has either finite or infinite dimension. We show how these sets can be used to construct operators with non-intuitive dynamics. Specifically, operators T : X → X T:X\rightarrow X for which the set A T A_T and the set of recurrent points form a partition of the space. Secondly, we investigate geometric and spectral properties of operators with wild dynamic and we provide a wild operator whose spectrum is equal to the closed unit disk. We end this paper giving some comments about the norm closure of the set of wild operators.