Search

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

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

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 introduce and develop a theory of limits for sequences of sparse graphs based on $L^p$ graphons, which generalizes both the existing $L^\infty$ theory of dense graph limits and its extension by Bollob\'as and Riordan to sparse graphs without dense spots. In doing so, we replace the no dense spots hypothesis with weaker assumptions, which allow us to analyze graphs with power law degree distributions. This gives the first broadly applicable limit theory for sparse graphs with unbounded average degrees. In this paper, we lay the foundations of the $L^p$ theory of graphons, characterize convergence, and develop corresponding random graph models, while we prove the equivalence of several alternative metrics in a companion paper., Comment: 44 pages

The main purpose of this paper is to explore the structure of local and regular Dirichlet forms associated with symmetric one-dimensional diffusions, which are also called symmetric linear diffusions. Let ( E , F ) (\mathcal {E},\mathcal {F}) be a regular and local Dirichlet form on L 2 ( I , m ) L^2(I,m) , where I I is an interval and m m is a fully supported Radon measure on I I . We shall first present a complete representation for ( E , F ) (\mathcal {E},\mathcal {F}) , which shows that ( E , F ) (\mathcal {E},\mathcal {F}) lives on at most countable disjoint “effective" intervals with an “adapted" scale function on each interval, and any point outside these intervals is a trap of the one-dimensional diffusion. Furthermore, we shall give a necessary and sufficient condition for C c ∞ ( I ) C_c^\infty (I) being a special standard core of ( E , F ) (\mathcal {E},\mathcal {F}) and shall identify the closure of C c ∞ ( I ) C_c^\infty (I) in ( E , F ) (\mathcal {E},\mathcal {F}) when C c ∞ ( I ) C_c^\infty (I) is contained but not necessarily dense in F \mathcal {F} relative to the E 1 1 / 2 \mathcal {E}_1^{1/2} -norm. This paper is partly motivated by a result of Hamza’s that was stated in a theorem of Fukushima, Oshima, and Takeda’s and that provides a different point of view to this theorem. To illustrate our results, many examples are provided.

This paper is the first in a series of two dedicated to the study of period relations of the type L ( 1 2 + k , Π ) ∈ ( 2 π i ) d ⋅ k Ω ( − 1 ) k \bf Q ( Π ) , 1 2 + k critical , \begin{equation*} L\Big (\frac {1}{2}+k,\Pi \Big )\;\in \;(2\pi i)^{d\cdot k}\Omega _{(-1)^k}\textrm {\bf Q}(\Pi ),\quad \frac {1}{2}+k\;\text {critical}, \end{equation*} for certain automorphic representations Π \Pi of a reductive group G . G. In this paper we discuss the case G = G L ( n + 1 ) × G L ( n ) . G=\mathrm {GL}(n+1)\times \mathrm {GL}(n). The case G = G L ( 2 n ) G=\mathrm {GL}(2n) is discussed in part two. Our method is representation theoretic and relies on the author’s recent results on global rational structures on automorphic representations. We show that the above period relations are intimately related to the field of definition of the global representation Π \Pi under consideration. The new period relations we prove are in accordance with Deligne’s Conjecture on special values of L L -functions, and the author expects this method to apply to other cases as well.

In this paper it is shown that the wave front set of a direct integral of singular, irreducible representations of a real, reductive algebraic group is contained in the singular set. Combining this result with the results of the first paper in this series, the author obtains asymptotic results on the occurrence of tempered representations in induction and restriction problems for real, reductive algebraic groups., Accepted to Transactions of the American Mathematical Society

In this paper we study the global geometry of the Kobayashi metric on domains in complex Euclidean space. We are particularly interested in developing necessary and sufficient conditions for the Kobayashi metric to be Gromov hyperbolic. For general domains, it has been suggested that a non-trivial complex affine disk in the boundary is an obstruction to Gromov hyperbolicity. This is known to be the case when the set in question is convex. In this paper we first extend this result to $\mathbb{C}$-convex sets with $C^1$-smooth boundary. We will then show that some boundary regularity is necessary by producing in any dimension examples of open bounded $\mathbb{C}$-convex sets where the Kobayashi metric is Gromov hyperbolic but whose boundary contains a complex affine ball of complex codimension one.

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.

The present paper is devoted to the study of stability, uniqueness and recurrence of generalized traveling waves of reaction-diffusion equations in time heterogeneous media of ignition type, whose existence has been proven by the authors of the present paper in a previous work. It is first shown that generalized traveling waves exponentially attract wave-like initial data. Next, properties of generalized traveling waves, such as space monotonicity and exponential decay ahead of interface, are obtained. Uniqueness up to space translations of generalized traveling waves is then proven. Finally, it is shown that the wave profile of the unique generalized traveling wave is of the same recurrence as the media. In particular, if the media is time almost periodic, then so is the wave profile of the unique generalized traveling wave.

This is the third in a series of papers in which we prove a conjecture of Boston and Shalev that the proportion of derangements (fixed point free elements) is bounded away from zero for transitive actions of finite simple groups on a set of size greater than one. This paper treats the case of primitive subspace actions. It is also shown that if the dimension and codimension of the subspace go to infinity, then the proportion of derangements goes to one. Similar results are proved for elements in finite classical groups in cosets of the simple group. The results in this paper have applications to probabilistic generation of finite simple groups and maps between varieties over finite fields.

Let $A$ be an expanding matrix on ${\Bbb R}^s$ with integral entries. A fundamental question in the fractal tiling theory is to understand the structure of the digit set ${\mathcal D}\subset{\Bbb Z}^s$ so that the integral self-affine set $T(A,\mathcal D)$ is a translational tile on ${\Bbb R}^s$. In our previous paper, we classified such tile digit sets ${\mathcal D}\subset{\Bbb Z}$ by expressing the mask polynomial $P_{\mathcal D}$ into product of cyclotomic polynomials. In this paper, we first show that a tile digit set in ${\Bbb Z}^s$ must be an integer tile (i.e. ${\mathcal D}\oplus{\mathcal L} = {\Bbb Z}^s$ for some discrete set ${\mathcal L}$). This allows us to combine the technique of Coven and Meyerowitz on integer tiling on ${\Bbb R}^1$ together with our previous results to characterize explicitly all tile digit sets ${\mathcal D}\subset {\Bbb Z}$ with $A = p^{\alpha}q$ ($p, q$ distinct primes) as {\it modulo product-form} of some order, an advance of the previously known results for $A = p^\alpha$ and $pq$.

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)

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.

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 this paper we develop a method to transfer density results for primitive automatic sequences to logarithmic-density results for general automatic sequences. As an application we show that the logarithmic densities of any automatic sequence along squares $(n^2)_{n\geq 0}$ and primes $(p_n)_{n\geq 1}$ exist and are computable. Furthermore, we give for these subsequences a criterion to decide whether the densities exist, in which case they are also computable. In particular in the prime case these densities are all rational. We also deduce from a recent result of the third author and Lema\'nczyk that all subshifts generated by automatic sequences are orthogonal to any bounded multiplicative aperiodic function., Comment: 35 pages. We added an Appendix concerning upper densities of subsequences of automatic sequences

A graph $X$ is defined inductively to be $(a_0,\dots,a_{n-1})$-regular if $X$ is $a_0$-regular and for every vertex $v$ of $X$, the sphere of radius $1$ around $v$ is an $(a_1,\dots,a_{n-1})$-regular graph. Such a graph $X$ is said to be highly regular (HR) of level $n$ if $a_{n-1}\neq 0$. Chapman, Linial and Peled studied HR-graphs of level 2 and provided several methods to construct families of graphs which are expanders "globally and locally". They ask whether such HR-graphs of level 3 exist. In this paper we show how the theory of Coxeter groups, and abstract regular polytopes and their generalisations, can lead to such graphs. Given a Coxeter system $(W,S)$ and a subset $M$ of $S$, we construct highly regular quotients of the 1-skeleton of the associated Wythoffian polytope $\mathcal{P}_{W,M}$, which form an infinite family of expander graphs when $(W,S)$ is indefinite and $\mathcal{P}_{W,M}$ has finite vertex links. The regularity of the graphs in this family can be deduced from the Coxeter diagram of $(W,S)$. The expansion stems from applying superapproximation to the congruence subgroups of the linear group $W$. This machinery gives a rich collection of families of HR-graphs, with various interesting properties, and in particular answers affirmatively the question asked by Chapman, Linial and Peled., Comment: 22 pages, 2 tables. Dedicated to the memory of John Conway and Ernest Vinberg

Let F ^ \hat {F} be a free pro- p p non-abelian group, and let Δ \Delta be a commutative Noetherian complete local ring with a maximal ideal I I such that c h a r ( Δ / I ) = p > 0 \mathrm {char}(\Delta /I)=p>0 . Zubkov [Sibirsk. Mat. Zh. 28 (1987), pp. 64–69] showed that when p ≠ 2 p\neq 2 , the pro- p p congruence subgroup \[ G L 2 1 ( Δ ) = ker ⁡ ( G L 2 ( Δ ) ⟶ Δ → Δ / I G L 2 ( Δ / I ) ) GL_{2}^{1}(\Delta )=\ker (GL_{2}(\Delta )\overset {\Delta \to \Delta /I}{\longrightarrow }GL_{2}(\Delta /I)) \] admits a pro- p p identity, i.e., there exists an element 1 ≠ w ∈ F ^ 1\neq w\in \hat {F} that vanishes under any continuous homomorphism F ^ → G L 2 1 ( Δ ) \hat {F}\to GL_{2}^{1}(\Delta ) . In this paper we investigate the case p = 2 p=2 . The main result is that when c h a r ( Δ ) = 2 \mathrm {char}(\Delta )=2 , the pro- 2 2 group G L 2 1 ( Δ ) GL_{2}^{1}(\Delta ) admits a pro- 2 2 identity. This result was obtained by the use of trace identities that originate in PI-theory.

Let $X$ be a K\"ahler manifold which is fibered over a complex manifold $Y$ such that every fiber is a Calabi-Yau manifold. Let $\omega$ be a fixed K\"ahler form on $X$. By Yau's theorem, there exists a unique Ricci-flat K\"ahler form $\rho\vert_{X_y}$ for each fiber, which is cohomologous to $\omega\vert_{X_y}$. This family of Ricci-flat K\"ahler forms $\rho\vert_{X_y}$ induces a smooth $(1,1)$-form $\rho$ on $X$ with a normalization condition. In this paper, we prove that the direct image of $\rho^{n+1}$ is positive on the base $Y$. We also discuss several byproducts, among them the local triviality of families of Calabi-Yau manifolds., Comment: 25 pages. Minor changes

In this paper, we develop a lower bound for the double slice genus of a knot using Casson-Gordon invariants. As an application, we show that the double slice genus can be arbitrarily larger than twice the slice genus. As an analogue to the double slice genus, we also define the superslice genus of a knot, and give both an upper bound and a lower bound in the topological category., 18 pages, 6 figures, to appear in Trans. Amer. Math. Soc

Given a coarse space $(X,\mathcal{E})$, one can define a $\mathrm{C}^*$-algebra $\mathrm{C}^*_u(X)$ called the uniform Roe algebra of $(X,\mathcal{E})$. It has been proved by J. \v{S}pakula and R. Willett that if the uniform Roe algebras of two uniformly locally finite metric spaces with property A are isomorphic, then the metric spaces are coarsely equivalent to each other. In this paper, we look at the problem of generalizing this result for general coarse spaces and on weakening the hypothesis of the spaces having property A.

We consider the 1D nonlinear Schrödinger equation with focusing point nonlinearity. “Point” means that the pure-power nonlinearity has an inhomogeneous potential and the potential is the delta function supported at the origin. This equation is used to model a Kerr-type medium with a narrow strip in the optic fibre. There are several mathematical studies on this equation and the local/global existence of a solution, blow-up occurrence, and blow-up profile have been investigated. In this paper we focus on the asymptotic behavior of the global solution, i.e., we show that the global solution scatters as t → ± ∞ t\to \pm \infty in the L 2 L^2 supercritical case. The main argument we use is due to Kenig-Merle, but it is required to make use of an appropriate function space (not Strichartz space) according to the smoothing properties of the associated integral equation.

The paper is devoted to sharp uncertainty principles (Heisenberg-Pauli-Weyl, Caffarelli-Kohn-Nirenberg and Hardy inequalities) on forward complete Finsler manifolds endowed with an arbitrary measure. Under mild assumptions, the existence of extremals corresponding to the sharp constants in the Heisenberg-Pauli-Weyl and Caffarelli-Kohn-Nirenberg inequalities fully characterizes the nature of the Finsler manifold in terms of three non-Riemannian quantities, namely, its reversibility and the vanishing of the flag curvature and $S$-curvature induced by the measure, respectively. It turns out in particular that the Busemann-Hausdorff measure is the optimal one in the study of sharp uncertainty principles on Finsler manifolds. The optimality of our results are supported by Randers-type Finslerian examples originating from the Zermelo navigation problem., 29 pages; some references have been added; to appear in Trans. Amer. Math. Soc

Let $S_n$ be a polynomial ring with $n$ variables over a field and $\{I_n\}_{n \geq 1}$ a chain of ideals such that each $I_n$ is a monomial ideal of $S_n$ fixed by permutations of the variables. In this paper, we present a way to determine all nonzero positions of Betti tables of $I_n$ for all large intergers $n$ from the $\mathbb Z^m$-graded Betti table of $I_m$ for some integer $m$. Our main result shows that the projective dimension and the regularity of $I_n$ eventually become linear functions on $n$, confirming a special case of conjectures posed by Le, Nagel, Nguyen and R\"omer., Comment: 20 pages

In a companion paper, we gave a detailed account of the well-posedness theory for singular vortex patches. Here, we discuss the long-time dynamics of some of the classes of vortex patches we showed to be globally well-posed in the companion work. In particular, we give examples of time-periodic behavior, cusp formation in infinite time at an exponential rate, and spiral formation in infinite time., Comment: 17 pages, 6 figures

In this paper we obtain a new fully explicit constant for the Pólya-Vinogradov inequality for squarefree modulus. Given a primitive character χ \chi to squarefree modulus q q , we prove the following upper bound: | ∑ 1 ⩽ n ⩽ N χ ( n ) | ⩽ c q log ⁡ q , \begin{align*} \left | \sum _{1 \leqslant n\leqslant N} \chi (n) \right |\leqslant c \sqrt {q} \log q, \end{align*} where c = 1 / ( 2 π 2 ) + o ( 1 ) c=1/(2\pi ^2)+o(1) for even characters and c = 1 / ( 4 π ) + o ( 1 ) c=1/(4\pi )+o(1) for odd characters, with an explicit o ( 1 ) o(1) term. This improves a result of Frolenkov and Soundararajan for large q q . We proceed via partial Gaussian sums rather than the usual Montgomery and Vaughan approach of exponential sums with multiplicative coefficients. This allows a power saving on the minor arcs rather than a factor of log ⁡ q \log {q} as in previous approaches and is an important factor for fully explicit bounds.

In this paper we consider the problem of finding entrance laws at the origin for self-similar Markov processes in R d \mathbb {R}^d , killed upon hitting the origin. Under suitable assumptions, we show the existence of an entrance law and the convergence to this law when the process is started close to the origin. We obtain an explicit description of the process started from the origin as the time reversal of the original self-similar Markov process conditioned to hit the origin.

We study the distribution of the sandpile group of random d-regular graphs. For the directed model, we prove that it follows the Cohen-Lenstra heuristics, that is, the limiting probability that the $p$-Sylow subgroup of the sandpile group is a given $p$-group $P$, is proportional to $|Aut(P)|^{-1}$. For finitely many primes, these events get independent in the limit. Similar results hold for undirected random regular graphs, where for odd primes the limiting distributions are the ones given by Clancy, Leake and Payne. This answers an open question of Frieze and Vu whether the adjacency matrix of a random regular graph is invertible with high probability. Note that for directed graphs this was recently proved by Huang. It also gives an alternate proof of a theorem of Backhausz and Szegedy., Comment: We improved the presentation of the paper. More details are given in several proofs

In this paper the dual Orlicz–Minkowski problem, a generalization of the L p L_p dual Minkowski problem, is studied. By studying a flow involving the Gauss curvature and support function, we obtain a new existence result of solutions to this problem for smooth measures.

Given a collection λ _ = { λ 1 \underline {\lambda }=\{\lambda _1 , … \dots , λ n } \lambda _n\} of real numbers, there is a canonical probability distribution on the set of real symmetric or complex Hermitian matrices with eigenvalues λ 1 , … , λ n \lambda _1, \ldots , \lambda _n . In this paper, we study various features of random matrices with this distribution. Our main results show that under mild conditions, when n n is large, linear functionals of the entries of such random matrices have approximately Gaussian joint distributions. The results take the form of upper bounds on distances between multivariate distributions, which allows us also to consider the case when the number of linear functionals grows with n n . In the context of quantum mechanics, these results can be viewed as describing the joint probability distribution of the expectation values of a family of observables on a quantum system in a random mixed state. Other applications are given to spectral distributions of submatrices, the classical invariant ensembles, and to a probabilistic counterpart of the Schur–Horn theorem, relating eigenvalues and diagonal entries of Hermitian matrices.

We investigate the Hermitian curvature flow (HCF) of left-invariant metrics on complex unimodular Lie groups. We show that in this setting the flow is governed by the Ricci-flow type equation $\partial_tg_{t}=-{\rm Ric}^{1,1} (g_t)$. The solution $g_t$ always exist for all positive times, and $(1 + t)^{-1}g_t$ converges as $t\to \infty$ in Cheeger-Gromov sense to a non-flat left-invariant soliton $(\bar G, \bar g)$. Moreover, up to homotheties on each of these groups there exists at most one left-invariant soliton solution, which is a static Hermitian metric if and only if the group is semisimple. In particular, compact quotients of complex semisimple Lie groups yield examples of compact non-K\"ahler manifolds with static Hermitian metrics. We also investigate the existence of static metrics on nilpotent Lie groups and we generalize a result in \cite{EFV} for the pluriclosed flow. In the last part of the paper we study HCF on Lie groups with abelian complex structures., Comment: 25 pages. Revised version. To appear in TAMS

Let $\Gamma$ be a lattice of a semisimple Lie group $L$. Suppose that one parameter Ad-diagonalizable subgroup $\{g_t\}$ of $L$ acts ergodically on $L/\Gamma$ with respect to the probability Haar measure $\mu$. For certain proper subgroup $U$ of the unstable horospherical subgroup of $\{g_t\}$ we show that given $x\in L/\Gamma$ for almost every $u\in U$ the trajectory $\{g_tux: 0\le t\le T\}$ is uniformly distributed with respect to $\mu$ as $T\to \infty$., Comment: The detailed proof is modified a lot to make the paper easy to read

In this paper, we find a composition series of GKZ-systems with semisimple successive quotients. We also study the composition series of the corresponding perverse sheaves and compare these two composition series under the Riemann-Hilbert correspondence., 32 pages, appear to Transactions of AMS

This paper is mainly devoted to the study of time decay estimates of the higher-order Schrödinger-type operator H = ( − Δ ) m + V ( x ) H=(-\Delta )^{m}+V(x) in R n \mathbf {R}^{n} for n > 2 m n>2m and m ∈ N m\in \mathbf {N} . For certain decay potentials V ( x ) V(x) , we first derive the asymptotic expansions of resolvent R V ( z ) R_{V}(z) near zero threshold with the presence of zero resonance or zero eigenvalue, as well as identify the resonance space for each kind of zero resonance which displays different effects on time decay rate. Then we establish Kato-Jensen-type estimates and local decay estimates for higher-order Schrödinger propagator e − i t H e^{-itH} in the presence of zero resonance or zero eigenvalue. As a consequence, the endpoint Strichartz estimate and L p L^{p} -decay estimates can also be obtained. Finally, by a virial argument, a criterion on the absence of positive embedding eigenvalues is given for ( − Δ ) m + V ( x ) (-\Delta )^{m}+V(x) with a repulsive potential.

Let $B^{\sigma}_{2, \infty}$ denote the Besov space defined on a compact set $K \subset {\Bbb R}^d$ which is equipped with an $\alpha$-regular measure $\mu$. The {\it critical exponent} $\sigma^*$ is the supremum of the $\sigma$ such that $B^{\sigma}_{2, \infty} \cap C(K)$ is dense in $C(K)$. It is well-known that for many standard self-similar sets $K$, $B^{\sigma^*}_{2, \infty}$ are the domain of some local regular Dirichlet forms. In this paper, we explore new situations that the underlying fractal sets admit inhomogeneous resistance scalings, which yield two types of critical exponents. We will restrict our consideration on the p.c.f. sets. We first develop a technique of quotient networks to study the general theory of these critical exponents. We then construct two asymmetric p.c.f. sets, and use them to illustrate the theory and examine the function properties of the associated Besov spaces at the critical exponents; the various Dirichlet forms on these fractals will also be studied., Comment: 34 pages,15 figures

In this paper we study the dimension spectrum of continued fractions with coefficients restricted to infinite subsets of natural numbers. We prove that if E E is any arithmetic progression, the set of primes, or the set of squares { n 2 } n ∈ N \{n^2\}_{n \in \mathbb {N}} , then the continued fractions whose digits lie in E E have full dimension spectrum, which we denote by D S ( C F E ) DS(\mathcal {CF}_E) . Moreover we prove that if E E is an infinite set of consecutive powers, then the dimension spectrum D S ( C F E ) DS(\mathcal {CF}_E) always contains a non-trivial interval. We also show that there exists some E ⊂ N E \subset \mathbb {N} and two non-trivial intervals I 1 , I 2 I_1, I_2 , such that D S ( C F E ) ∩ I 1 = I 1 DS(\mathcal {CF}_E) \cap I_1=I_1 and D S ( C F E ) ∩ I 2 DS(\mathcal {CF}_E) \cap I_2 is a Cantor set. On the way we employ the computational approach of Falk and Nussbaum in order to obtain rigorous effective estimates for the Hausdorff dimension of continued fractions whose entries are restricted to infinite sets.

In this paper, motivated by recent works due to Frank-Lewin-Lieb-Seiringer and Frank-Sabin, we study the Strichartz inequality on torus with the orthonormal system input and obtain sharp estimates in a certain sense. In particular, we will reveal the tradeoff relation between Sobolev regularity and Schatten exponent gain where the 1 / p 1/p derivative-loss Strichartz inequality plays an important role as in the context on compact manifold due to Burq-Gérard-Tzvetkov. An application of the inequality shows the local well-posedness to the periodic Hartree equation describing the infinitely many quantum particles interacting with the power type potential.

The core entropy of polynomials, recently introduced by W. Thurston, is a dynamical invariant extending topological entropy for real maps to complex polynomials, whence providing a new tool to study the parameter space of polynomials. The base is a combinatorial algorithm allowing for the computation of the core entropy given by Thurston but without supplying a proof. In this paper, we will describe his algorithm and prove its validity.

Motivated by the relationship between numerical Grothendieck groups induced by the embedding of a smooth anticanonical elliptic curve into a del Pezzo surface, we define the notion of a quasi del Pezzo homomorphism between pseudolattices and establish its basic properties. The primary aim of the paper is then to prove a classification theorem for quasi del Pezzo homomorphisms, using a pseudolattice variant of the minimal model program. Finally, this result is applied to the classification of a certain class of genus one Lefschetz fibrations over discs., Comment: v2: Minor revisions at the request of the referee. Remark 3.24 is new, as is the discussion of the noncommutative setting in the final section

Let M M be a 3 × 3 3\times 3 integer matrix each of whose eigenvalues is greater than 1 1 in modulus and let D ⊂ Z 3 \mathcal {D}\subset \mathbb {Z}^3 be a set with | D | = | det M | |\mathcal {D}|=|\det M| , called a digit set. The set equation M T = T + D MT = T+\mathcal {D} uniquely defines a nonempty compact set T ⊂ R 3 T\subset \mathbb {R}^3 . If T T has positive Lebesgue measure it is called a 3 3 -dimensional self-affine tile. In the present paper we study topological properties of 3 3 -dimensional self-affine tiles with collinear digit set, i.e., with a digit set of the form D = { 0 , v , 2 v , … , ( | det M | − 1 ) v } \mathcal {D}=\{0,v,2v,\ldots , (|\det M|-1)v\} for some v ∈ Z 3 ∖ { 0 } v\in \mathbb {Z}^3\setminus \{0\} . We prove that the boundary of such a tile T T is homeomorphic to a 2 2 -sphere whenever its set of neighbors in a lattice tiling which is induced by T T in a natural way contains 14 14 elements. The combinatorics of this lattice tiling is then the same as the one of the bitruncated cubic honeycomb, a body-centered cubic lattice tiling by truncated octahedra. We give a characterization of 3 3 -dimensional self-affine tiles with collinear digit set having 14 14 neighbors in terms of the coefficients of the characteristic polynomial of M M . In our proofs we use results of R. H. Bing on the topological characterization of spheres.

Let G G be a connected, linear, real reductive Lie group with compact centre. Let K > G K>G be compact. Under a condition on K K , which holds in particular if K K is maximal compact, we give a geometric expression for the multiplicities of the K K -types of any tempered representation (in fact, any standard representation) π \pi of G G . This expression is in the spirit of Kirillov’s orbit method and the quantisation commutes with reduction principle. It is based on the geometric realisation of π | K \pi |_K obtained in an earlier paper. This expression was obtained for the discrete series by Paradan, and for tempered representations with regular parameters by Duflo and Vergne. We obtain consequences for the support of the multiplicity function, and a criterion for multiplicity-free restrictions that applies to general admissible representations. As examples, we show that admissible representations of SU ( p , 1 ) \textrm {SU}(p,1) , SO 0 ( p , 1 ) \textrm {SO}_0(p,1) , and SO 0 ( 2 , 2 ) \textrm {SO}_0(2,2) restrict multiplicity freely to maximal compact subgroups.