Search

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

Using the approach of so-called c-sequences introduced by the fifth author in his recent work, we give much simpler and shorter proofs of multivalued Perov's type results with respect to the ones presented in the recently published paper by M. Abbas et al. Our proofs improve, complement, unify and enrich the ones from the recent papers. Further, in the last section of this paper, we correct and generalize the well-known Perov's fixed point result. We show that this result is in fact equivalent to Banach's contraction principle.

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

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 aim of this paper is to study, by using the mathematical tools developed by Chałupnik, Touzé, and Van der Kallen, the effect of the Frobenius twist on $\operatorname{Ext}$-group in the category of strict polynomial functors. As an application, we obtain explicit formulas of cohomology of the orthogonal groups and symplectic ones.

In this paper, we introduce an algorithm for computing p-adic integrals on bad reduction hyperelliptic curves. For bad reduction curves, there are two notions of p-adic integration: Berkovich-Coleman integrals which can be performed locally; and abelian integrals with desirable number-theoretic properties. By covering a bad reduction hyperelliptic curve by annuli and basic wide open sets, we reduce the computation of Berkovich-Coleman integrals to the known algorithms on good reduction hyperelliptic curves. These are due to Balakrishnan, Bradshaw, and Kedlaya, and to Balakrishnan and Besser for regular and meromorphic 1-forms on good reduction curves, respectively. We then employ tropical geometric techniques due to the first-named author with Rabinoff and Zureick-Brown to convert the Berkovich-Coleman integrals into abelian integrals. We provide examples of our algorithm, verifying that certain abelian integrals between torsion points vanish., Comment: Comments Welcome! figure taken from arxiv::1606.09618; v2 minor revisions

Let R be a commutative noetherian ring. The notion of n-wide subcategories of Mod R is introduced and studied in Matsui-Nam-Takahashi-Tri-Yen in relation to the cohomological dimension of a specialization-closed subset of Spec R. In this paper, we introduce the notions of n-coherent subsets of Spec R and n-uniform subcategories of D(Mod R), and explore their interactions with n-wide subcategories of Mod R. We obtain a commutative diagram which yields filtrations of subcategories of Mod R, D(Mod R) and subsets of Spec R and complements classification theorems of subcategories due to Gabriel, Krause, Neeman, Takahashi and Angeleri Hugel-Marks-Stovicek-Takahashi-Vitoria., Comment: 17 pages, to appear in IMRN

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.

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.

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.

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

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.

This paper focuses on the spherical fixed point set of a circle action on an ALE space endowed with Kronheimer's hyperkaehler metric. The induced metric on the sphere is described by using the algebraic geometry of rational curves on algebraic surfaces, in particular the lines on a cubic., Dedicated to the memory of Michael Atiyah

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

Let R be a commutative ring with unity and let 𝒰 be a unital algebra over ℛ (or a field 𝔽). An R-linear map L : 𝒰 → 𝒰 is called a Lie derivation on 𝒰 if L([u, v]) = [L(u), v] + [u,L(v)] holds for all u, v 𝜖 𝒰. For scalar 𝜉 𝜖 𝔽, an additive map L : 𝒰 → 𝒰 is called an additive 𝜉-Lie derivation on 𝒰 if L([u, v]𝜉) = [L(u), v]𝜉 + [u,L(v)]𝜉, where [u, v]𝜉 = uv − 𝜉vu holds for all u, v 𝜖 𝒰. In the present paper, under certain assumptions imposed on 𝒰, it is shown that every Lie derivation (resp., additive 𝜉-Lie derivation) L on U is of standard form, i.e., L = δ+∅, where δ is an additive derivation on 𝒰 and ∅ is a mapping ∅ : 𝒰 → Z(𝒰) vanishing at [u, v] with uv = 0 in 𝒰. Moreover, we also characterize the additive 𝜉-Lie derivation for 𝜉 6= 1 by its action on zero product in a unital algebra over F.

In this paper we recast the Serret theorem about a characterization of palindromic continued fractions in the context of polynomial continued fractions. Then, using the relation between symmetric tridiagonal matrices and polynomial continued fractions we give a quick exposition of the mathematical aspect of the perfect quantum state transfer problem., 19 pages

In this paper, we prove contact Poincaré and Sobolev inequalities in Heisenberg groups $\mathbb{H}^{n}$, where the word ‘contact’ is meant to stress that de Rham’s exterior differential is replaced by the exterior differential of the so-called Rumin complex $(E_{0}^{\bullet },d_{c})$, which recovers the scale invariance under the group dilations associated with the stratification of the Lie algebra of $\mathbb{H}^{n}$. In addition, we construct smoothing operators for differential forms on sub-Riemannian contact manifolds with bounded geometry, which act trivially on cohomology. For instance, this allows us to replace a closed form, up to adding a controlled exact form, with a much more regular differential form.

To each automorphism of a spherical building, there is a naturally associated opposition diagram, which encodes the types of the simplices of the building that are mapped onto opposite simplices. If no chamber (that is, no maximal simplex) of the building is mapped onto an opposite chamber, then the automorphism is called domestic. In this paper, we give the complete classification of domestic automorphisms of split spherical buildings of types $\mathsf {E}_6$ , $\mathsf {F}_4$ , and $\mathsf {G}_2$ . Moreover, for all split spherical buildings of exceptional type, we classify (i) the domestic homologies, (ii) the opposition diagrams arising from elements of the standard unipotent subgroup of the Chevalley group, and (iii) the automorphisms with opposition diagrams with at most two distinguished orbits encircled. Our results provide unexpected characterizations of long root elations and products of perpendicular long root elations in long root geometries, and analogues of the density theorem for connected linear algebraic groups in the setting of Chevalley groups over arbitrary fields.

We prove an asymptotic formula for the number of representations of squares by nonsingular cubic forms in six or more variables. The main ingredients of the proof are Heath-Brown's form of the Circle Method and various exponential sum results. The depth of the exponential sum results is comparable to Hooley's work on cubic forms in nine variables, in particular we prove an analogue of Katz' bound., Comment: 29 pages. Arxiv upload of older paper. Published in Isr. J. Math

Consider the class QS of all non-degenerate planar quadratic systems and its subclass QSE of all its systems possessing an invariant ellipse. This is an interesting family because on one side it is defined by an algebraic geometric property and on the other, it is a family where limit cycles occur. Note that each quadratic differential system can be identified with a point of $${{\mathbb {R}}}^{12}$$ through its coefficients. In this paper we provide necessary and sufficient conditions for a system in QS to have at least one invariant ellipse. We give the global “bifurcation” diagram of the family QS which indicates where an ellipse is present or absent and in case it is present, the diagram indicates if the ellipse is or it is not a limit cycle. The diagram is expressed in terms of affine invariant polynomials and it is done in the 12-dimensional space of parameters. This diagram is also an algorithm for determining for any quadratic system if it possesses an invariant ellipse and whether or not this ellipse is a limit cycle.

Let χ be a Banach space of dimension n > 1 and 𝔘 ⊂ 𝔅(χ) be a standard operator algebra. In the present paper it is shown that if a mapping d : 𝔘 → 𝔘 (not necessarily linear) satisfies d ( [ [ U , V ] , W ] ) = [ [ d ( U ) , V ] , W ] + [ [ U , d ( V ) , W ] ] + [ [ U , V ] , d ( W ) ] d\left( {\left[ {\left[ {U,V} \right],W} \right]} \right) = \left[ {\left[ {d\left( U \right),V} \right],W} \right] + \left[ {\left[ {U,d\left( V \right),W} \right]} \right] + \left[ {\left[ {U,V} \right],d\left( W \right)} \right] for all U, V, W ∈ 𝔘, then d =ψ + τ, where ψ is an additive derivation of 𝔘 and τ : 𝔘 → 𝔽I vanishes at second commutator [[U, V ], W ] for all U, V, W ∈ 𝔘. Moreover, if d is linear and satisfies the above relation, then there exists an operator S ∈ 𝔘 and a linear mapping τ from 𝔘 into 𝔽I satisfying τ ([[U, V ], W ]) = 0 for all U, V, W ∈ 𝔘, such that d(U) = SU − US + τ (U) for all U ∈ 𝔘.

To compute the unique formal normal form of families of vector fields with nilpotent linear part, we choose a basis of the Lie algebra consisting of orbits under the action of the nilpotent linear part. This creates a new problem: to find explicit formulas for the structure constants in this new basis. These are well known in the 2D case, and recently expressions were found for the 3D case by ad hoc methods. The goal of the this paper is to formulate a systematic approach to this calculation. We propose to do this using a rational method for the inversion of the Clebsch–Gordan coefficients. We illustrate the method on a family of 3D vector fields and compute the unique formal normal form for the Euler family both in the 2D and 3D cases, followed by an application to the computation of the unique normal form of the Rössler equation.

We discover a rigidity phenomenon within the volume-preserving partially hyperbolic diffeomorphisms with $1$-dimensional center. In particular, for smooth, ergodic perturbations of certain algebraic systems -- including the discretized geodesic flows over hyperbolic manifolds and certain toral automorphisms with simple spectrum and exactly one eigenvalue on the unit circle, the smooth centralizer is either virtually $\mathbb Z^\ell$ or contains a smooth flow. At the heart of this work are two very different rigidity phenomena. The first was discovered in [2,3] for a class of volume-preserving partially hyperbolic systems including those studied here, the disintegration of volume along the center foliation is either equivalent to Lebesgue or atomic. The second phenomenon is the rigidity associated to several commuting partially hyperbolic diffeomorphisms with very different hyperbolic behavior transverse to a common center foliation [25]. We introduce a variety of techniques in the study of higher rank, abelian partially hyperbolic actions: most importantly, we demonstrate a novel geometric approach to building new partially hyperbolic elements in hyperbolic Weyl chambers using Pesin theory and leafwise conjugacy, while we also treat measure rigidity for circle extensions of Anosov diffeomorphisms and apply normal form theory to upgrade regularity of the centralizer., Comment: We significantly improve Theorems 1-4 in v2. The new statements now of Theorems 1&3 allow for arbitrary negatively curved surfaces, as well as much more general classes of geodesic flows in higher dimension. For Theorems 2&4, we classify the centralizer. We also eliminated the global rigidity results in the previous version. These results will appear in a forthcoming paper

We introduce a model of the hyperbolic plane which arises from Thurston's ideas on best Lipschitz maps between surfaces. More precisely, we apply Thurston's theory to the space of Euclidean triangles. We prove that the Lipschitz constant of the unique affine map between two Euclidean triangles induces a metric on the set of isometry classes of the triangles with area 1/ 2. We then prove that this space of triangles together with 2 times its natural metric is isometric to the hyperbolic plane. Our construction is simple and natural and it makes relations between several geometrical ideas. This paper will appear in the journal Expositiones Mathematicae.

The object of this paper is to derive a double integral in terms of the Hurwitz–Lerch zeta function. Almost all Hurwitz–Lerch zeta functions have an asymmetrical zero-distribution. Special cases are evaluated in terms of fundamental constants. All the results in this work are new.

For any $k\geq 1$, this paper studies the number of polynomials having $k$ irreducible factors (counted with or without multiplicities) in $\mathbf{F}_q[t]$ among different arithmetic progressions. We obtain asymptotic formulas for the difference of counting functions uniformly for $k$ in a certain range. In the generic case, the bias dissipates as the degree of the modulus or $k$ gets large, but there are cases when the bias is extreme. In contrast to the case of products of $k$ prime numbers, we show the existence of complete biases in the function field setting, that is the difference function may have constant sign. Several examples illustrate this new phenomenon., The exposition has been improved, we now present the case of the number of irreducible factors both counting and not counting multiplicities. We also add some results on the possible values of the bias

In previous work, we used an $\infty$-categorical version of ultraproducts to show that, for a fixed height $n$, the symmetric monoidal $\infty$-categories of $E_{n,p}$-local spectra are asymptotically algebraic in the prime $p$. In this paper, we prove the analogous result for the symmetric monoidal $\infty$-categories of $K_{p}(n)$-local spectra, where $K_{p}(n)$ is Morava $K$-theory at height $n$ and the prime $p$. This requires $\infty$-categorical tools suitable for working with compactly generated symmetric monoidal $\infty$-categories with non-compact unit. The equivalences that we produce here are compatible with the equivalences for the $E_{n,p}$-local $\infty$-categories., Comment: 33 pages

In this paper, we study the existence of large orbits of odd-order subgroups of a finite solvable linear group G, and present some applications on bounding the odd-order parts of the chief series of an arbitrary linear group G. We also find applications to Gluck's conjecture as well as a related question of Navarro.

We obtain estimates for the $L^{p}$-norm of the short-time Fourier transform (STFT) for functions in modulation spaces, providing information about the concentration on a given subset of $\mathbb{R}^{2}$, leading to deterministic guarantees for perfect reconstruction using convex optimization methods. More precisely, we will obtain large sieve inequalities of the Donoho-Logan type, but instead of localizing the signals in regions $T\times W$ of the time-frequency plane using the Fourier transform to intertwine time and frequency, we will localize the representation of the signals in terms of the short-time Fourier transform in sets $\Delta $ with arbitrary geometry. At the technical level, since there is no proper analogue of Beurling's extremal function in the STFT setting, we introduce a new method, which rests on a combination of an argument similar to Schur's test with an extension of Seip's local reproducing formula to general Hermite windows. When the windows are Hermite functions, we obtain local reproducing formulas for polyanalytic Fock spaces which lead to explicit large sieve constant estimates and, as a byproduct, to a reconstruction formula for $f\in L^{2}(\mathbb{R})$ from its STFT values on arbitrary discs. A discussion on optimality follows, along the lines of Donoho-Stark paper on uncertainty principles and signal recovery. We also consider the case of discrete Gabor systems, vector-valued STFT transforms and rephrase the results in terms of the polyanalytic Bargmann-Fock transforms.

In many problems appearing in applied mathematics in the nonlinear ordinary differential systems, as in physics, chemist, economics, etc., if we have a differential system on a manifold of dimension, two of them having a first integral, then its phase portrait is completely determined. While the existence of first integrals for differential systems on manifolds of a dimension higher than two allows to reduce the dimension of the space in as many dimensions as independent first integrals we have. Hence, to know first integrals is important, but the following question appears: Given a differential system, how to know if it has a first integral? The symmetries of many differential systems force the existence of first integrals. This paper has two main objectives. First, we study how to compute first integrals for polynomial differential systems using the so-called Darboux theory of integrability. Furthermore, second, we show how to use the existence of first integrals for finding limit cycles in piecewise differential systems.

Given a nonautonomous and nonlinear differential equation (0.1) x ′ = A ( t ) x + f ( t , x ) t ≥ 0 , on an arbitrary Banach space X, we formulate very general conditions for the associated linear equation x ′ = A ( t ) x and for the nonlinear term f : [ 0 , + ∞ ) × X → X under which the above system satisfies an appropriate version of the shadowing property. More precisely, we require that x ′ = A ( t ) x admits a very general type of dichotomy, which includes the classical hyperbolic behavior as a very particular case. In addition, we require that f is Lipschitz in the second variable with a sufficiently small Lipschitz constant. Our general framework enables us to treat various settings in which no shadowing result has been previously obtained. Moreover, we are able to recover and refine several known results. We also show how our main results can be applied to the study of the shadowing property for higher order differential equations. Finally, we conclude the paper by presenting discrete time versions of our results.

In this paper order estimates of the Kolmogorov widths for some weighted Sobolev classes in a weighted Lebesgue space are obtained. The weighted Sobolev classes are defined by a restriction on the weighted L p 1 -norm of the highest order derivative and the weighted L p 0 -norm of the function.

Quite recently, Bor (2021) [22] has proved two main theorems dealing with absolute Riesz summability factors of infinite series and Fourier series by using an almost increasing sequence. In this paper, we have generalized these theorems to the | A , p n | k summability method.

The classical Gauss-Green formula for the multidimensional case is generally stated for $C^{1}$ vector fields and domains with $C^{1}$ boundaries. However, motivated by the physical solutions with discontinuity/singularity for Partial Differential Equations (PDEs) and Calculus of Variations, such as nonlinear hyperbolic conservation laws and Euler-Lagrange equations, the following fundamental issue arises: Does the Gauss-Green formula still hold for vector fields with discontinuity/singularity (such as divergence-measure fields) and domains with rough boundaries? The objective of this paper is to provide an answer to this issue and to present a short historical review of the contributions by many mathematicians spanning more than two centuries, which have made the discovery of the Gauss-Green formula possible.