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

Satisfiability of Boolean circuits is among the most known and important problems in theoretical computer science. This problem is NP-complete in general but becomes polynomial time when restricted either to monotone gates or linear gates. We go outside Boolean realm and consider circuits built of any fixed set of gates on an arbitrary large finite domain. From the complexity point of view this is strictly connected with the problems of solving equations (or systems of equations) over finite algebras. The research reported in this work was motivated by a desire to know for which finite algebras $\mathbf A$ there is a polynomial time algorithm that decides if an equation over $\mathbf A$ has a solution. We are also looking for polynomial time algorithms that decide if two circuits over a finite algebra compute the same function. Although we have not managed to solve these problems in the most general setting we have obtained such a characterization for a very broad class of algebras from congruence modular varieties. This class includes most known and well-studied algebras such as groups, rings, modules (and their generalizations like quasigroups, loops, near-rings, nonassociative rings, Lie algebras), lattices (and their extensions like Boolean algebras, Heyting algebras or other algebras connected with multi-valued logics including MV-algebras). This paper seems to be the first systematic study of the computational complexity of satisfiability of non-Boolean circuits and solving equations over finite algebras. The characterization results provided by the paper is given in terms of nice structural properties of algebras for which the problems are solvable in polynomial time., 50 pages

In a previous paper, we obtained several "compact versions" of Rubio de Francia's weighted extrapolation theorem, which allowed us to extrapolate the compactness of linear operators from just one space to the full range of weighted Lebesgue spaces, where these operators are bounded. In this paper, we study the extrapolation of compactness for bilinear operators in terms of bilinear Muckenhoupt weights. As applications, we easily recover and improve earlier results on the weighted compactness of commutators of bilinear Calder\'{o}n-Zygmund operators, bilinear fractional integrals and bilinear Fourier multipliers. More general versions of these results are recently due to Cao, Olivo and Yabuta (arXiv:2011.13191), whose approach depends on developing weighted versions of the Fr\'echet--Kolmogorov criterion of compactness, whereas we avoid this by relying on "softer" tools, which might have an independent interest in view of further extensions of the method., Comment: v3: final version, incorporated referee comments, to appear in Indagationes Mathematicae, 27 pages

Although planar quadratic differential systems and their applications have been studied in more than one thousand papers, we still have no complete understanding of these systems. In this paper we have two objectives. First we provide a brief bibliographical survey on the main results about quadratic systems. Here we do not consider the applications of these systems to many areas as in Physics, Chemist, Economics, Biology, … Second we characterize the new class of planar separable quadratic polynomial differential systems. For such class of systems we provide the normal forms which contain one parameter, and using the Poincare compactification and the blow up technique, we prove that there exist 10 non-equivalent topological phase portraits in the Poincare disc for the separable quadratic polynomial differential systems.

The aim of this paper is to generalize results known for the symplectic involutions on K3 surfaces to the order 3 symplectic automorphisms on K3 surfaces. In particular, we will explicitly describe the action induced on the lattice $\Lambda_{K3}$, isometric to the second cohomology group of a K3 surface, by a symplectic automorphism of order 3; we exhibit the maps $\pi_*$ and $\pi^*$ induced in cohomology by the rational quotient map $\pi:X\dashrightarrow Y$, where $X$ is a K3 surface admitting an order 3 symplectic automorphism $\sigma$ and $Y$ is the minimal resolution of the quotient $X/\sigma$; we deduce the relation between the N\'eron--Severi group of $X$ and the one of $Y$. Applying these results we describe explicit geometric examples and generalize the Shioda--Inose structures, relating Abelian surfaces admitting order 3 endomorphisms with certain specific K3 surfaces admitting particular order 3 symplectic automorphisms., Comment: 28 pages. Version 2: this is the published version of the paper. The last section of the previous version (v1) was erased (the results are only stated) and it is now contained in arXiv:2209.10141

A question of Conca, Rossi, and Valla asks whether every quadratic Gorenstein ring $R$ of regularity three is Koszul. In a previous paper, we use idealization to answer their question, proving that in nine or more variables there exist quadratic Gorenstein rings of regularity three which are not Koszul. In this paper, we study the analog of the Conca-Rossi-Valla question when the regularity of $R$ is four or more. Let $R$ be a quadratic Gorenstein ring having $\mathrm{codim}\, R = c$ and $\mathrm{reg}\, R = r \ge 4$. We prove that if $c = r+1$ then $R$ is always Koszul, and for every $c \geq r+2$, we construct quadratic Gorenstein rings that are not Koszul, answering questions of Matsuda and Migliore-Nagel concerning the $h$-vectors of quadratic Gorenstein rings., Comment: v2 - Minor changes based on referee comments

Given a formal flat meromorphic connection over an excellent scheme over a field of characteristic zero, in a previous paper we established existence of good formal structures and a good Deligne-Malgrange lattice after suitably blowing up. In this paper, we reinterpret and refine these results by introducing some related structures. We consider the turning locus, which is the set of points at which one cannot achieve a good formal structure without blowing up. We show that when the polar divisor has normal crossings, the turning locus is of pure codimension 1 within the polar divisor, and hence of pure codimension 2 within the full space; this had been previously established by Andre in the case of a smooth polar divisor. We also construct an irregularity sheaf and its associated b-divisor, which measure irregularity along divisors on blowups of the original space; this generalizes another result of Andre on the semicontinuity of irregularity in a curve fibration. One concrete consequence of these refinements is a process for resolution of turning points which is functorial with respect to regular morphisms of excellent schemes; this allows us to transfer the result from schemes to formal schemes, complex analytic varieties, and nonarchimedean analytic varieties., 27 pages; v4: refereed version; some technical edits in 2.2

Generalizing wavelets by adding desired redundancy and flexibility, framelets (i.e., wavelet frames) are of interest and importance in many applications such as image processing and numerical algorithms. Several key properties of framelets are high vanishing moments for sparse multiscale representation, fast framelet transforms for numerical efficiency, and redundancy for robustness. However, it is a challenging problem to study and construct multivariate nonseparable framelets, mainly due to their intrinsic connections to factorization and syzygy modules of multivariate polynomial matrices. Moreover, all the known multivariate tight framelets derived from spline refinable scalar functions have only one vanishing moment, and framelets derived from refinable vector functions are barely studied yet in the literature. In this paper, we circumvent the above difficulties through the approach of quasi-tight framelets, which behave almost identically to tight framelets. Employing the popular oblique extension principle (OEP), from an arbitrary compactly supported M-refinable vector function ϕ with multiplicity greater than one, we prove that we can always derive from ϕ a compactly supported multivariate quasi-tight framelet such that: (i) all the framelet generators have the highest possible order of vanishing moments; (ii) its associated fast framelet transform has the highest balancing order and is compact. For a refinable scalar function ϕ (i.e., its multiplicity is one), the above item (ii) often cannot be achieved intrinsically but we show that we can always construct a compactly supported OEP-based multivariate quasi-tight framelet derived from ϕ satisfying item (i). We point out that constructing OEP-based quasi-tight framelets is closely related to the generalized spectral factorization of Hermitian trigonometric polynomial matrices. Our proof is critically built on a newly developed result on the normal form of a matrix-valued filter, which is of interest and importance in itself for greatly facilitating the study of refinable vector functions and multiwavelets/multiframelets. This paper provides a comprehensive investigation on OEP-based multivariate quasi-tight multiframelets and their associated framelet transforms with high balancing orders. This deepens our theoretical understanding of multivariate quasi-tight multiframelets and their associated fast multiframelet transforms.

The singular value decomposition of a complex matrix is a fundamental concept in linear algebra and has proved extremely useful in many subjects. It is less clear what the situation is over a finite field. In this paper, we classify the orbits of GU m ( q ) × GU n ( q ) on M m × n ( q 2 ) (which is the analog of the singular value decomposition). The proof involves Kronecker’s theory of pencils and the Lang–Steinberg theorem for algebraic groups. Besides the motivation mentioned above, this problem came up in a recent paper of Guralnick et al. (2020) where a concept of character level for the complex irreducible characters of finite, general or special, linear and unitary groups was studied and bounds on the number of orbits was needed. A consequence of this work determines possible pairs of Jordan forms for nilpotent matrices of the form A A ∗ and A ∗ A over a finite field and A A ⊤ and A ⊤ A over arbitrary fields.

The discriminant group of a minimal equicontinuous action of a group $G$ on a Cantor set $X$ is the subgroup of the closure of the action in the group of homeomorphisms of $X$, consisting of homeomorphisms which fix a given point. The stabilizer and the centralizer groups associated to the action are obtained as direct limits of sequences of subgroups of the discriminant group with certain properties. Minimal equicontinuous group actions on Cantor sets admit a classification by the properties of the stabilizer and centralizer direct limit groups. In this paper, we construct new families of examples of minimal equicontinuous actions on Cantor sets, which illustrate certain aspects of this classification. These examples are constructed as actions on rooted trees. The acting groups are countable subgroups of the product or of the wreath product of groups. We discuss applications of our results to the study of attractors of dynamical systems and of minimal sets of foliations., 20 pages, 1 figure. The condition of finite generation in Thm 1.9 was replaced by countability. The proof of Thm 1.9 has been simplified. The notation used in 5 has been modified. Several minor corrections across the paper

We express the Masur-Veech volume and the area Siegel-Veech constant of the moduli space $\mathcal{Q}_{g,n}$ of genus $g$ meromorphic quadratic differentials with $n$ simple poles as polynomials in the intersection numbers of $\psi$-classes with explicit rational coefficients. The formulae obtained in this article result from lattice point counts involving the Kontsevich volume polynomials that also appear in Mirzakhani's recursion for the Weil-Petersson volumes of the moduli spaces of bordered hyperbolic surfaces with geodesic boundaries. A similar formula for the Masur-Veech volume (though without explicit evaluation) was obtained earlier by Mirzakhani via completely different approach. Furthermore, we prove that the density of the mapping class group orbit of any simple closed multicurve $\gamma$ inside the ambient set of integral measured laminations computed by Mirzakhani coincides with the density of square-tiled surfaces having horizontal cylinder decomposition associated to $\gamma$ among all square-tiled surfaces in $\mathcal{Q}_{g,n}$. We study the resulting densities (or, equivalently, volume contributions) in more detail in the special case $n=0$. In particular, we compute the asymptotic frequencies of separating and non-separating simple closed geodesics on a closed hyperbolic surface of genus $g$ for small $g$ and we show that for large genera the separating closed geodesics are $\sqrt{\frac{2}{3\pi g}}\cdot\frac{1}{4^g}$ times less frequent., Comment: The current paper (as well as the companion paper arXiv:2007.04740) has grown from arxiv:1908.08611. The conjectures stated in arXiv:1908.08611 are proved by A. Aggarwal in arXiv:2004.05042

This paper is a follow-up to the recent paper of Pillichshammer and Sonnleitner (2020) [12] . We show that the isotropic discrepancy of a lattice point set is at most d 2 2 ( d + 1 ) times its spectral test, thereby correcting the dependence on the dimension d and an inaccuracy in the proof of the upper bound in Theorem 2 of the mentioned paper. The major task is to bound the volume of the neighbourhood of the boundary of a convex set contained in the unit cube. Further, we characterize averages of the distance to a lattice point set in terms of the spectral test. As an application, we infer that the spectral test – and with it the isotropic discrepancy – is crucial for the suitability of the lattice point set for the approximation of Sobolev functions.

A concept of emergence was recently introduced in the paper [Berger] in order to quantify the richness of possible statistical behaviors of orbits of a given dynamical system. In this paper, we develop this concept and provide several new definitions, results, and examples. We introduce the notion of topological emergence of a dynamical system, which essentially evaluates how big the set of all its ergodic probability measures is. On the other hand, the metric emergence of a particular reference measure (usually Lebesgue) quantifies how non-ergodic this measure is. We prove fundamental properties of these two emergences, relating them with classical concepts such as Kolmogorov's $\epsilon$-entropy of metric spaces and quantization of measures. We also relate the two types of emergences by means of a variational principle. Furthermore, we provide several examples of dynamics with high emergence. First, we show that the topological emergence of some standard classes of hyperbolic dynamical systems is essentially the maximal one allowed by the ambient. Secondly, we construct examples of smooth area-preserving diffeomorphisms that are extremely non-ergodic in the sense that the metric emergence of the Lebesgue measure is essentially maximal. These examples confirm that super-polynomial emergence indeed exists, as conjectured in the paper [Berger]. Finally, we prove that such examples are locally generic among smooth diffeomorphisms., Comment: v3: Final version; to appear in Advances in Mathematics

The Rosenau–Korteweg-deVries–Kawahara equation describes the dynamics of dense discrete systems or small-amplitude gravity capillary waves on water of a finite depth. In this paper, we prove the well-posedness of the classical solutions for the Cauchy problem.

Given a finite poset $\mathcal P$, we call a family $\mathcal F$ of subsets of $[n]$ $\mathcal P$-saturated if $\mathcal F$ does not contain an induced copy of $\mathcal P$, but adding any other set to $\mathcal F$ creates an induced copy of $\mathcal P$. The induced saturated number of $\mathcal P$, denoted by $\text{sat}^*(n,\mathcal P)$, is the size of the smallest $\mathcal P$-saturated family with ground set $[n]$. In this paper we are mainly interested in the four-point poset called the butterfly. Ferrara, Kay, Kramer, Martin, Reiniger, Smith and Sullivan showed that the saturation number for the butterfly lies between $\log_2{n}$ and $n^2$. We give a linear lower bound of $n+1$. We also prove some other results about the butterfly and the poset $\mathcal N$., Comment: 13 pages

This paper presents a curvature-free version of the Log ( 2 k − 1 ) \text {Log}(2k-1) Theorem of Anderson, Canary, Culler, and Shalen [J. Differential Geometry 44 (1996), pp. 738–782]. It generalizes a result by Hou [J. Differential Geometry 57 (2001), no. 1, pp. 173–193] and its proof is rather straightforward once we know the work by Lim [Trans. Amer. Math. Soc. 360 (2008), no. 10, pp. 5089–5100] on volume entropy for graphs. As a byproduct we obtain a curvature-free version of the Collar Lemma in all dimensions.

In this paper, we give a short proof of the Lorentz estimates for gradients of very weak solutions to the linear parabolic equations with the Muckenhoupt class A q -weights u t − div ( A ( x , t ) ∇ u ) = div ( F ) , in a bounded domain Ω × ( 0 , T ) ⊂ R N + 1 , where A has a small mean oscillation, and Ω is a Lipchistz domain with a small Lipschitz constant.

In this paper, we consider a class of nonlocal equations where the convolution kernel is given by a Bessel potential symbol of order $\alpha$ for $\alpha > 1$. Based on the properties of the convolution operator, we apply a global bifurcation technique to show the existence of a highest, even, $2\pi$-periodic traveling-wave solution. The regularity of this wave is proved to be exactly Lipschitz., Comment: 22 pages. arXiv admin note: text overlap with arXiv:1810.00248 by other authors

The paper is devoted to a comprehensive study of composite models in variational analysis and optimization the importance of which for numerous theoretical, algorithmic, and applied issues of operations research is difficult to overstate. The underlying theme of our study is a systematical replacement of conventional metric regularity and related requirements by much weaker metric subregulatity ones that lead us to significantly stronger and completely new results of first-order and second-order variational analysis and optimization. In this way, we develop extended calculus rules for first-order and second-order generalized differential constructions while paying the main attention in second-order variational theory to the new and rather large class of fully subamenable compositions. Applications to optimization include deriving enhanced no-gap second-order optimality conditions in constrained composite models, complete characterizations of the uniqueness of Lagrange multipliers, strong metric subregularity of Karush-Kuhn-Tucker systems in parametric optimization, and so on.

For the M/M/1+M model at the law-of-large-numbers scale, the long-run reneging count per unit time does not depend on the individual (i.e., per customer) reneging rate. This paradoxical statement has a simple proof. Less obvious is a large deviations analogue of this fact, stated as follows: the decay rate of the probability that the long-run reneging count per unit time is atypically large or atypically small does not depend on the individual reneging rate. In this paper, the sample path large deviations principle for the model is proved and the rate function is computed. Next, large time asymptotics for the reneging rate are studied for the case when the arrival rate exceeds the service rate. The key ingredient is a calculus of variations analysis of the variational problem associated with atypical reneging. A characterization of the aforementioned decay rate, given explicitly in terms of the arrival and service rate parameters of the model, is provided yielding a precise mathematical description of this paradoxical behavior.

In this paper, by using variational methods, we study the existence and concentration of ground state solutions for the following fractional Schrödinger equation ( − Δ ) α u + V ( x ) u = A ( ϵ x ) f ( u ) , x ∈ R N , where α ∈ ( 0 , 1 ), ϵ is a positive parameter, N > 2 α, ( − Δ ) α stands for the fractional Laplacian, f is a continuous function with subcritical growth, V ∈ C ( R N , R ) is a Z N -periodic function and A ∈ C ( R N , R ) satisfies some appropriate assumptions.

Let f be a polynomial in n variables over some number field and Z a subscheme of affine n-space. The notion of motivic oscillation index of f at Z was initiated by Cluckers in [7] and Cluckers-Mustaţǎ-Nguyen in [12] . In this paper we elaborate on this notion and raise several questions. The first one is stability under base field extension; this question is linked to a deep understanding of the density of non-archimedean local fields over which Igusa's local zeta function of f has a pole with given real part. The second one is around Igusa's conjecture for exponential sums with bounds in terms of the motivic oscillation index. Thirdly, we wonder if the above questions only depend on the analytic isomorphism class of singularities. By using various techniques as the GAGA theorem, resolution of singularities and model theory, we can answer the third question up to a base field extension. Next, by using a transfer principle between non-archimedean local fields of characteristic zero and positive characteristic, we can link all three questions with a conjecture on weights of l-adic cohomology groups of Artin-Schreier sheaves associated to jet polynomials. This way, we can answer all questions positively if f is a polynomial ‘of Thom-Sebastiani type’ with non-rational singularities. As a consequence, we prove Igusa's conjecture for arbitrary polynomials in three variables and polynomials with singularities of A − D − E type. In an appendix, we answer affirmatively a recent question of Cluckers-Mustaţǎ-Nguyen in [12] on poles of maximal order of twisted Igusa's local zeta functions.

O'Grady constructed a 6-dimensional irreducible holomorphic symplectic variety by taking a crepant resolution of some moduli space of stable sheaves on an abelian surface. In this paper, we naturally extend O'Grady's construction to fields of positive characteristic p greater than 2, called OG6 varieties. We show that a supersingular OG6 variety is unirational, its rational cohomology group is generated by algebraic classes, and its rational Chow motive is of Tate type. These results confirm in this case the generalized Artin--Shioda conjecture, the supersingular Tate conjecture and the supersingular Bloch conjecture proposed in our previous work, in analogy with the theory of supersingular K3 surfaces., Comment: Final version. To appear in I.M.R.N

The goal of this paper is to provide a categorical framework that leads to the definition of shtukas a la Drinfeld and of excursion operators a la V. Lafforgue. We take as the point of departure the Hecke action of Rep ( G ˇ ) on the category Shv ( Bun G ) of sheaves on Bun G , and also the endofunctor of the latter category, given by the action of the geometric Frobenius. The shtuka construction will be obtained by applying (various versions of) categorical trace.

The aim of this paper is to describe the structure of the finitely generated subgroups of a family of branch groups, which includes the first Grigorchuk group and the Gupta-Sidki 3-group. This description is made via the notion of block subgroup. We then use this to show that all groups in the above family are subgroup separable (LERF). These results are obtained as a corollary of a more general structural statement on subdirect products of just infinite groups., 22 pages, 2 figures; V3: Final version, to appear in Izvestiya: Mathematics

Let ℛ be a semiprime ring with unity e and ϕ, φ be automorphisms of ℛ. In this paper it is shown that if ℛ satisfies 2 𝒟 ( x n ) = 𝒟 ( x n - 1 ) φ ( x ) + ϕ ( x n - 1 ) 𝒟 ( x ) + 𝒟 ( x ) φ ( x n - 1 ) + ϕ ( x ) 𝒟 ( x n - 1 ) 2\mathcal{D}\left( {{x^n}} \right) = \mathcal{D}\left( {{x^{n - 1}}} \right)\phi \left( x \right) + \varphi \left( {{x^{n - 1}}} \right)\mathcal{D}\left( x \right) + \mathcal{D}\left( x \right)\phi \left( {{x^{n - 1}}} \right) + \varphi \left( x \right)\mathcal{D}\left( {{x^{n - 1}}} \right) for all x ∈ ℛ and some fixed integer n ≥ 2, then 𝒟 is an (ϕ, φ)-derivation. Moreover, this result makes it possible to prove that if ℛ admits an additive mappings 𝒟, 𝒢 : ℛ → ℛ satisfying the relations 2 𝒟 ( x n ) = 𝒟 ( x n - 1 ) φ ( x ) + ϕ ( x n - 1 ) 𝒟 ( x ) + 𝒟 ( x ) φ ( x n - 1 ) + ϕ ( x ) 𝒟 ( x n - 1 ) 2\mathcal{D}\left( {{x^n}} \right) = \mathcal{D}\left( {{x^{n - 1}}} \right)\phi \left( x \right) + \varphi \left( {{x^{n - 1}}} \right)\mathcal{D}\left( x \right) + \mathcal{D}\left( x \right)\phi \left( {{x^{n - 1}}} \right) + \varphi \left( x \right)\mathcal{D}\left( {{x^{n - 1}}} \right) 2 𝒢 ( x n ) = 𝒢 ( x n - 1 ) φ ( x ) + ϕ ( x n - 1 ) D ( x ) + 𝒟 ( x ) φ ( x n - 1 ) + ϕ ( x ) 𝒟 ( x n - 1 ) , 2\mathcal{G}\left( {{x^n}} \right) = \mathcal{G}\left( {{x^{n - 1}}} \right)\phi \left( x \right) + \varphi \left( {{x^{n - 1}}} \right)\mathcal{D}\left( x \right) + \mathcal{D}\left( x \right)\phi \left( {{x^{n - 1}}} \right) + \varphi \left( x \right)\mathcal{D}\left( {{x^{n - 1}}} \right), for all x ∈ ℛ and some fixed integer n ≥ 2, then 𝒟 and 𝒢 are (ϕ, φ)--derivations under some torsion restriction. Finally, we apply these purely ring theoretic results to semi-simple Banach algebras.

In this paper we investigate Ramanujan’s inequality concerning the prime counting function, asserting that π ( x 2 ) < e x log x π ( x e ) \pi \left( {{x^2}} \right) < {{ex} \over {\log x}}\pi \left( {{x \over e}} \right) for x sufficiently large. First, we study its sharpness by giving full asymptotic expansions of its left and right hand sides expressions. Then, we discuss the structure of Ramanujan’s inequality, by replacing the factor x log x {x \over {\log x}} on its right hand side by the factor x log x - h {x \over {\log x - h}} for a given h, and by replacing the numerical factor e by a given positive α. Finally, we introduce and study inequalities analogous to Ramanujan’s inequality.

For $$(m,p,q)\in (1,\infty )\times {\mathbb {R}}\times {\mathbb {R}}$$ , this paper establishes a sharp Liouville principle for the weak solutions to the quasilinear elliptic inequality of second order $$\Delta _m u+u^p|\nabla u|^q\le 0$$ on the geodesically complete noncompact Riemannian manifolds, which is new even for the Euclidean spaces.

The Donaldson-Fujiki K\"ahler reduction of the space of compatible almost complex structures, leading to the interpretation of the scalar curvature of K\"ahler metrics as a moment map, can be lifted canonically to a hyperk\"ahler reduction. Donaldson proposed to consider the corresponding vanishing moment map conditions as (fully nonlinear) analogues of Hitchin's equations, for which the underlying bundle is replaced by a polarised manifold. However this construction is well understood only in the case of complex curves. In this paper we study Donaldson's hyperk\"ahler reduction on abelian varieties and toric manifolds. We obtain a decoupling result, a variational characterisation, a relation to $K$-stability in the toric case, and prove existence and uniqueness under suitable assumptions on the ``Higgs tensor''. We also discuss some aspects of the analogy with Higgs bundles., Comment: 43 pages. Accepted version. Upgraded the previous results to consider uniform toric K-stability

We set out some general criteria to prove the K-property, refining the assumptions used in an earlier paper for the flow case, and introducing the analogous discrete-time result. We also introduce one-sided $\lambda $ -decompositions, as well as multiple techniques for checking the pressure gap required to show the K-property. We apply our results to the family of Mañé diffeomorphisms and the Katok map. Our argument builds on the orbit decomposition theory of Climenhaga and Thompson.

This paper defines two new extrinsic curvature quantities on the corner of a four-dimensional Riemannian manifold with corner. One of these is a pointwise conformal invariant, and the conformal transformation of the other is governed by a new linear second-order pointwise conformally invariant partial differential operator. The Gauss-Bonnet theorem is then stated in terms of these quantities., 14 pages

In this paper we generalize an equation studied by Mossino and Temam, to the fully nonlinear case. This equation arises in plasma physics as an approximation to Grad equations, which were introduced by Harold Grad, to model the behavior of plasma confined in a toroidal vessel. We prove existence of a $W^{2,p}$-viscosity solution and regularity up to $C^{1,\alpha}(\overline{\Omega})$ for any $\alpha

The growth of a finitely generated group is an important geometric invariant which has been studied for decades. It can be either polynomial, for a well-understood class of groups, or exponential, for most groups studied by geometers, or intermediate, that is between polynomial and exponential. Despite recent spectacular progresses, the class of groups with intermediate growth remains largely mysterious. Many examples of such groups are constructed using Mealy automata. The aim of this paper is to give an algorithmic procedure to study the growth of such automaton groups, and more precisely to provide numerical upper bounds on their exponents. Our functions retrieve known optimal bounds on the famous first Grigorchuk group. They also improve known upper bounds on other automaton groups and permitted us to discover several new examples of automaton groups of intermediate growth. All the algorithms described are implemented in GAP, a language dedicated to computational group theory.

The first part of this paper is a generalization of the Feix-Kaledin theorem on the existence of a hyperkahler metric on a neighbourhood of the zero section of the cotangent bundle of a Kahler manifold. We show that the problem of constructing a hyperkahler structure on a neighbourhood of a complex Lagrangian submanifold in a holomorphic symplectic manifold reduces to the existence of certain deformations of holomorphic symplectic structures. The Feix-Kaledin structure is recovered from the twisted cotangent bundle. We then show that every holomorphic symplectic groupoid over a compact holomorphic Poisson surface of Kahler type has a hyperkahler structure on a neighbourhood of its identity section. More generally, we reduce the existence of a hyperkahler structure on a symplectic realization of a holomorphic Poisson manifold of any dimension to the existence of certain deformations of holomorphic Poisson structures adapted from Hitchin's unobstructedness theorem., 20 pages. To appear in Journal fur die reine und angewandte Mathematik (Crelle's Journal)

We revisit the $k$-Hessian eigenvalue problem on a smooth, bounded, $(k-1)$-convex domain in $\mathbb R^n$. First, we obtain a spectral characterization of the $k$-Hessian eigenvalue as the infimum of the first eigenvalues of linear second-order elliptic operators whose coefficients belong to the dual of the corresponding G\r{a}rding cone. Second, we introduce a non-degenerate inverse iterative scheme to solve the eigenvalue problem for the $k$-Hessian operator. We show that the scheme converges, with a rate, to the $k$-Hessian eigenvalue for all $k$. When $2\leq k\leq n$, we also prove a local $L^1$ convergence of the Hessian of solutions of the scheme. Hyperbolic polynomials play an important role in our analysis., Comment: v3: final version incorporating suggestions from the referee reports; to be published in Rev. Mat. Iberoam. This paper supersedes arXiv:2006.06564

We consider a special class of unipotent periods for automorphic forms on a finite cover of a reductive adelic group $$\mathbf {G}(\mathbb {A}_\mathbb {K})$$ G ( A K ) , which we refer to as Fourier coefficients associated to the data of a ‘Whittaker pair’. We describe a quasi-order on Fourier coefficients, and an algorithm that gives an explicit formula for any coefficient in terms of integrals and sums involving higher coefficients. The maximal elements for the quasi-order are ‘Levi-distinguished’ Fourier coefficients, which correspond to taking the constant term along the unipotent radical of a parabolic subgroup, and then further taking a Fourier coefficient with respect to a $${\mathbb K}$$ K -distinguished nilpotent orbit in the Levi quotient. Thus one can express any Fourier coefficient, including the form itself, in terms of higher Levi-distinguished coefficients. In companion papers we use this result to determine explicit Fourier expansions of minimal and next-to-minimal automorphic forms on split simply-laced reductive groups, and to obtain Euler product decompositions of certain Fourier coefficients.

When studying a graded module $M$ over the Cox ring of a smooth projective toric variety $X$, there are two standard types of resolutions commonly used to glean information: free resolutions of $M$ and vector bundle resolutions of its sheafification. Each approach comes with its own challenges. There is geometric information that free resolutions fail to encode, while vector bundle resolutions can resist study using algebraic and combinatorial techniques. Recently, Berkesch, Erman, and Smith introduced virtual resolutions, which capture desirable geometric information and are also amenable to algebraic and combinatorial study. The theory of virtual resolutions includes a notion of a virtually Cohen--Macaulay property, though tools for assessing which modules are virtually Cohen--Macaulay have only recently started to be developed. In this paper, we continue this research program in two related ways. The first is that, when $X$ is a product of projective spaces, we produce a large new class of virtually Cohen--Macaulay Stanley--Reisner rings, which we show to be virtually Cohen--Macaulay via explicit constructions of appropriate virtual resolutions reflecting the underlying combinatorial structure. The second is that, for an arbitrary smooth projective toric variety $X$, we develop homological tools for assessing the virtual Cohen--Macaulay property. Some of these tools give exclusionary criteria, and others are constructive methods for producing suitably short virtual resolutions. We also use these tools to establish relationships among the arithmetically, geometrically, and virtually Cohen--Macaulay properties., Accepted to Transactions of the London Mathematical Society

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

UDC 517.9 We study the uniqueness problems of certain types of differential-difference polynomials sharing a small function.In this paper, we not only solve the open problem occurred in [A. Banerjee, S. Majumder, On the uniqueness of certain types of differential-difference polynomials, Anal. Math., 43, № 3, 415-444 (2017)], but also present our main results in a more generalized way.

UDC 517.9 This paper deals with the problem of stability of nonlinear differential equations with perturbations. Sufficient conditions for global uniform asymptotic stability in terms of Lyapunov-like functions and integral inequality are obtained. The asymptotic behavior is studied in the sense that the trajectories converge to a small ball centered at the origin. Furthermore, an illustrative example in the plane is given to verify the effectiveness of the theoretical results.

We prove local uniformization of Abhyankar valuations of an algebraic function field K over a ground field k. Our result generalizes the proof of this result, with the additional assumption that the residue field of the valuation ring is separable over k, by Hagen Knaf and Franz-Viktor Kuhlmann. The proof in this paper uses different methods, being inspired by the approach of Zariski and Abhyankar., Comment: 28 pages. Final Final version

In the present paper, we construct a cusped hyperbolic $4$-manifold with all cusp sections homeomorphic to the Hantzsche-Wendt manifold, which is a rational homology sphere. By a result of Gol\'enia and Moroianu, the Laplacian on $2$-forms on such a manifold has purely discrete spectrum. This shows that one of the main results of Mazzeo and Phillips from 1990 cannot hold without additional assumptions on the homology of the cusps. This also answers a question by Gol\'enia and Moroianu from 2012. We also correct and refine the incomplete classification of compact orientable flat $3$-manifolds arising from cube colourings provided earlier by the last two authors., Comment: 15 pages, 1 figure, 1 table; SageMath worksheets available at https://github.com/sashakolpakov/24-cell-colouring

In this paper, we consider the m-Hessian equation S m [ D 2 u ] = b ( x ) f ( u ) > 0 in Ω, subject to the singular boundary condition u = ∞ on ∂ Ω. We give estimates of the asymptotic behavior of such solutions near ∂ Ω when the nonlinear term f satisfies a new structure condition.

In the paper we begin to explore relation between the question of unitarizability of classical p-adic groups, and Arthur packets., Comment: 35 pages

We put forward a new method for obtaining quantitative lower bounds on the top Lyapunov exponent of stochastic differential equations (SDEs). Our method combines (i) an (apparently new) identity connecting the top Lyapunov exponent to a Fisher information-like functional of the stationary density of the Markov process tracking tangent directions with (ii) a novel, quantitative version of H\"ormander's hypoelliptic regularity theory in an $L^1$ framework which estimates this (degenerate) Fisher information from below by a $W^{s,1}_{\mathrm{loc}}$ Sobolev norm. This method is applicable to a wide range of systems beyond the reach of currently existing mathematically rigorous methods. As an initial application, we prove the positivity of the top Lyapunov exponent for a class of weakly-dissipative, weakly forced SDE; in this paper we prove that this class includes the Lorenz 96 model in any dimension, provided the additive stochastic driving is applied to any consecutive pair of modes., Comment: 62 pages, updated intro and appendix

In this paper we prove a strengthening of the generic vanishing result in characteristic $p>0$ given in [HP16]. As a consequence of this result, we show that irreducible $\Theta$ divisors are strongly F-regular and we prove a related result for pluri-theta divisors., Comment: Comments are more than welcome

A gap mapping is a discontinuous interval mapping with two strictly increasing branches that have a gap between their ranges. They are one-dimensional dynamical systems, which arise in the study of certain higher dimensional flows, for example the Lorenz flow and the Cherry flow. In this paper, we prove hyperbolicity of renormalization acting on $C^3$ dissipative gap mappings, and show that the topological conjugacy classes of infinitely renormalizable gap mappings are $C^1$ manifolds.

In this paper, we generalize the arithmetic functions τ and τ e in algebraic number fields and we find some properties of these functions.

A partial flag variety P K of a Kac–Moody group G has a natural stratification into projected Richardson varieties. When G is a connected reductive group, a Bruhat atlas for P K was constructed in He et al. (2013): P K is locally modelled with Schubert varieties in some Kac–Moody flag variety as stratified spaces. The existence of Bruhat atlases implies some nice combinatorial and geometric properties on the partial flag varieties and the decomposition into projected Richardson varieties. A Bruhat atlas does not exist for partial flag varieties of an arbitrary Kac–Moody group due to combinatorial and geometric reasons. To overcome obstructions, we introduce the notion of Birkhoff–Bruhat atlas. Instead of the Schubert varieties used in a Bruhat atlas, we use the J -Schubert varieties for a Birkhoff–Bruhat atlas. The notion of the J -Schubert varieties interpolates Birkhoff decomposition and Bruhat decomposition of the full flag variety (of a larger Kac–Moody group). The main result of this paper is the construction of a Birkhoff–Bruhat atlas for any partial flag variety P K of a Kac–Moody group. We also construct a combinatorial atlas for the index set Q K of the projected Richardson varieties in P K . As a consequence, we show that Q K has some nice combinatorial properties. This gives a new proof and generalizes the work of Williams (2007) in the case where the group G is a connected reductive group.