Search

We study Harper operators and the closely related discrete magnetic Laplacians (DML) on a graph with a free action of a discrete group, as defined by Sunada. The spectral density function of the DML is defined using the von Neumann trace associated with the free action of a discrete group on a graph. The main result in this paper states that when the group is amenable, the spectral density function is equal to the integrated density of states of the DML that is defined using either Dirichlet or Neumann boundary conditions. This establishes the main conjecture in a paper by Mathai and Yates. The result is generalized to other self adjoint operators with finite propagation., LaTeX2e, 7 pages

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.

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 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 investigate weighted Sobolev spaces on metric measure spaces $(X,d,m)$. Denoting by $\rho$ the weight function, we compare the space $W^{1,p}(X,d,\rho m)$ (which always concides with the closure $H^{1,p}(X,d,\rho m)$ of Lipschitz functions) with the weighted Sobolev spaces $W^{1,p}_\rho(X,d,m)$ and $H^{1,p}_\rho(X,d,m)$ defined as in the Euclidean theory of weighted Sobolev spaces. Under mild assumptions on the metric measure structure and on the weight we show that $W^{1,p}(X,d,\rho m)=H^{1,p}_\rho(X,d, m)$. We also adapt results by Muckenhoupt and recent work by Zhikov to the metric measure setting, considering appropriate conditions on $\rho$ that ensure the equality $W^{1,p}_\rho(X,d,m)=H^{1,p}_\rho(X,d,m)$., Comment: 26 pages. Removed Proposition 5.2 which was incorrect in previous versions of the paper; this does not affect any other part of the paper

We present an abstract multiscale analysis scheme for matrix functions $(H_{\varepsilon}(m,n))_{m,n\in \mathfrak{T}}$, where $\mathfrak{T}$ is an Abelian group equipped with a distance $|\cdot|$. This is an extension of the scheme developed by Damanik and Goldstein for the special case $\mathfrak{T} = \mathbb{Z}^\nu$. Our main motivation for working out this extension comes from an application to matrix functions which are dual to certain Hill operators. These operators take the form $H_{\tilde\omega}=-\frac{d^2}{dx^2} + \varepsilon U(\tilde\omega x)$, where $U$ is a real smooth function on the torus $\mathbb{T}^\nu$, $\tilde\omega\in \mathbb{R}^\nu$ is a vector with rational components, and $\varepsilon$ is a small parameter. The group in this particular case is the quotient $\mathfrak{T} = \mathbb{Z}^\nu/\{m\in\mathbb{Z}^\nu:m\tilde\omega=0\}$. We show that the general theory indeed applies to this special case, provided that the rational frequency vector $\tilde\omega$ obeys a suitable Diophantine condition in a large box of modes. Despite the fact that in this setting the orbits $k + m\omega$, $k \in \mathbb{R}$, $m\in\mathbb{Z}^\nu$ are not dense, the dual eigenfunctions are exponentially localized and the eigenvalues of the operators can be described as $E(k+m\omega)$ with $E(k)$ being a "nice" monotonic function of the impulse $k \ge 0$. This enables us to derive a description of the Floquet solutions and the band-gap structure of the spectrum, which we will use in a companion paper to develop a complete inverse spectral theory for the Sturm-Liouville equation with small quasi-periodic potential via periodic approximation of the frequency. The analysis of the gaps in the range of the function $E(k)$ plays a crucial role in this approach., Comment: 53 pages. This paper generalizes the results from arXiv:1209.4331 to general Abelian groups

Let L be the even unimodular lattice of signature (2,10), In the paper [FS] we considered the subgroup O(L)^+ of index two in the orthogonal group. It acts biholomorphically on a ten dimensional tube domain H_{10}. We found a 715 dimensional space of modular forms with respect to the principal congruence subgroup of level two O^+(L)[2]. It defines an everywhere regular birational embedding of the related modular variety into the 714 dimensional projective space. In this paper, we prove that this space of orthogonal modular forms is related to a space of theta series. The main tool is a modular embedding of H_{10} into the Siegel half space of degree 16. As a consequence the modular forms in the 715 dimensional space can be obtained as restrictions of the simplest among all theta series.

A spacetime is a connected 4-dimensional semi-Riemannian manifold endowed with a metric $g$ with signature $(- + + +)$. The geometry of a spacetime is described by the metric tensor $g$ and the Ricci tensor $S$ of type $(0, 2)$ whereas the energy momentum tensor of type $(0,2)$ describes the physical contents of the spacetime. Einstein's field equations relate $g$, $S$ and the energy momentum tensor and describe the geometry and physical contents of the spacetime. By solving Einstein's field equations for empty spacetime (i.e. $S = 0$) for a non-static spacetime metric, one can obtain the interior black hole solution, known as the interior black hole spacetime which infers that a remarkable change occurs in the nature of the spacetime, namely, the external spatial radial and temporal coordinates exchange their characters to temporal and spatial coordinates, respectively, and hence the interior black hole spacetime is a non-static one as the metric coefficients are time dependent. For the sake of mathematical generalizations, in the literature, there are many rigorous geometric structures constructed by imposing the restrictions to the curvature tensor of the space involving first order and second order covariant differentials of the curvature tensor. Hence a natural question arises that which geometric structures are admitted by the interior black hole metric. The main aim of this paper is to provide the answer of this question so that the geometric structures admitting by such a metric can be interpreted physically., Comment: The paper contains 33 pages

This paper deals with the spectra of the Laplace and stability operators of a constant mean curvature surface in the hyperbolic space. In a preceding work, the author described the essential spectra of these operators, assuming that the surface is of finite total curvature. In this paper, we prove that these two operators have a finite number of eigenvalues below their essential spectra.

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.

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 prove a local exponential synchronization for Markovian random iterations of homeomorphisms of the circle $S^{1}$ , providing a new result on stochastic circle dynamics even for $C^1$ -diffeomorphisms. This result is obtained by combining an invariance principle for stationary random iterations of homeomorphisms of the circle with a Krylov–Bogolyubov-type result for homogeneous Markov chains.

Every simply connected and connected solvable Lie group $G$ admits a simply transitive action on a nilpotent Lie group $H$ via affine transformations. Although the existence is guaranteed, not much is known about which Lie groups $G$ can act simply transitive on which Lie groups $H$. So far the focus was mainly on the case where $G$ is also nilpotent, leading to a characterization depending only on the corresponding Lie algebras and related to the notion of post-Lie algebra structures. This paper studies two different aspects of this problem. First, we give a method to check whether a given action $\rho: G \to \operatorname{Aff}(H)$ is simply transitive by looking only at the induced morphism $\varphi: \mathfrak{g} \to \operatorname{aff}(\mathfrak{h})$ between the corresponding Lie algebras. Secondly, we show how to check whether a given solvable Lie group $G$ acts simply transitive on a given nilpotent Lie group $H$, again by studying properties of the corresponding Lie algebras. The main tool for both methods is the semisimple splitting of a solvable Lie algebra and its relation to the algebraic hull, which we also define on the level of Lie algebras. As an application, we give a full description of the possibilities for simply transitive actions up to dimension $4$., Comment: 22 pages, 8 tables. Comments are welcome

We prove duality results for residual intersections that unify and complete results of van Straten, Huneke–Ulrich and Ulrich, and settle conjectures of van Straten and Warmt. Suppose that I is an ideal of codimension g in a Gorenstein ring, and J ⊂ I {J\subset I} is an ideal with s = g + t {s=g+t} generators such that K := J : I {K:=J:I} has codimension s. Let I ¯ {{\overline{I}}} be the image of I in R ¯ := R / K {{\overline{R}}:=R/K} . In the first part of the paper we prove, among other things, that under suitable hypotheses on I, the truncated Rees ring R ¯ ⊕ I ¯ ⊕ ⋯ ⊕ I ¯ t + 1 {{\overline{R}}\oplus{\overline{I}}\oplus\cdots\oplus{\overline{I}}{}^{t+1}} is a Gorenstein ring, and that the modules I ¯ u {{\overline{I}}{}^{u}} and I ¯ t + 1 - u {{\overline{I}}{}^{t+1-u}} are dual to one another via the multiplication pairing into I ¯ ≅ t + 1 ω R ¯ {{{\overline{I}}{}^{t+1}}\cong{\omega_{\overline{R}}}} . In the second part of the paper we study the analogue of residue theory, and prove that, when R / K {R/K} is a finite-dimensional algebra over a field of characteristic 0 and certain other hypotheses are satisfied, the socle of I t + 1 / J ⁢ I t ≅ ω R / K {I^{t+1}/JI^{t}\cong{\omega_{R/K}}} is generated by a Jacobian determinant.

This paper is a sequel to [BKR], where we studied the derived affine scheme DRep_n(A) of the classical representation scheme Rep_n(A) for an associative k-algebra A. In [BKR], we have constructed canonical trace maps Tr_n(A): HC(A) -> H[DRep_n(A)]^GL extending the usual characters of representations to higher cyclic homology. This raises a question whether a well known theorem of Procesi [P] holds in the derived setting: namely, is the algebra homomorphism Sym[Tr_n(A)]: Sym[HC(A)] -> H[DRep_n(A)]^GL defined by Tr_n(A) surjective ? In the present paper, we answer this question for augmented algebras. Given such an algebra, we construct a canonical dense DG subalgebra DRep_\infty(A)^Tr of the topological DG algebra DRep_\infty(A)^{GL_\infty}. It turns out that on passing to the inverse limit (as n -> \infty), the family of maps Sym[Tr_n(A)] "stabilizes" to an isomorphism Sym[\bar{HC}(A)] = H[DRep_\infty(A)^Tr]. The derived version of Procesi's theorem does therefore hold in the limit. However, for a fixed (finite) n, there exist homological obstructions to the surjectivity of Sym[Tr_n(A)], and we show on simple examples that these obstructions do not vanish in general. We compare our result with the classical theorem of Loday-Quillen and Tsygan on stable homology of matrix Lie algebras. We show that the relative Chevalley-Eilenberg complex C(gl_\infty(A), gl_\infty(k); k) equipped with the natural coalgebra structure is Koszul dual to the DG algebra DRep_\infty(A)^Tr. We also extend our main results to bigraded DG algebras, in which case we show that DRep_{\infty}(A)^Tr = DRep_{\infty}(A)^GL_{\infty}. As an application, we compute the (bigraded) Euler characteristics of DRep_\infty(A)^GL_{\infty} and \bar{HC}(A) and derive some interesting combinatorial identities., 34 pages. To appear in Journal fur die reine und angewandte Mathematik (Crelle's journal)

The theory of integral, or Fourier-Mukai, transforms between derived categories of sheaves is a well established tool in noncommutative algebraic geometry. General "representation theorems" identify all reasonable linear functors between categories of perfect complexes (or their "large" version, quasi-coherent sheaves) on schemes and stacks over some fixed base with integral kernels in the form of sheaves (of the same nature) on the fiber product. However, for many applications in mirror symmetry and geometric representation theory one is interested instead in the bounded derived category of coherent sheaves (or its "large" version, ind-coherent sheaves), which differs from perfect complexes (and quasi-coherent sheaves) once the underlying variety is singular. In this paper, we give general representation theorems for linear functors between categories of coherent sheaves over a base in terms of integral kernels on the fiber product. Namely, we identify coherent kernels with functors taking perfect complexes to coherent sheaves, and kernels which are coherent relative to the source with functors taking all coherent sheaves to coherent sheaves. The proofs rely on key aspects of the "functional analysis" of derived categories, namely the distinction between small and large categories and its measurement using $t$-structures. These are used in particular to correct the failure of integral transforms on Ind-coherent sheaves to correspond to such sheaves on a fiber product. The results are applied in a companion paper to the representation theory of the affine Hecke category, identifying affine character sheaves with the spectral geometric Langlands category in genus one., Comment: 36 pages

In a previous paper we constructed rank and support variety theories for "quantum elementary abelian groups," that is, tensor products of copies of Taft algebras. In this paper we use both variety theories to classify the thick tensor ideals in the stable module category, and to prove a tensor product property for the support varieties., Comment: 15 pages, minor corrections to Section 4, to appear in Proceedings of the American Mathematical Society

sp-Groups form an interesting and informative class of Abelian mixed groups. In this paper, we systematically study self-small sp-groups of finite rank and their endomorphism rings.

The paper contains both known and new results on automorphism-invariant modules, automorphism-coinvariant modules and modules which are invariant or coinvariant with respect to idempotent endomorphisms of its hull and its cover, respectively. The main results are given with proofs.

In this paper we characterize, in terms of their conjugacy classes, linear groups G such that $$G/\zeta _k(G)$$ G / ζ k ( G ) belongs to a certain group class $$\mathfrak {X}$$ X for several natural choices of $$\mathfrak {X}$$ X . Moreover, a description is given of linear groups with restrictions on layers.

In this paper, we apply our previous estimates in Chen and Cheng [On the constant scalar curvature Kähler metrics (I): a priori estimates, Preprint] to study the existence of cscK metrics on compact Kähler manifolds. First we prove that the properness ofKK-energy in terms ofL1L^1geodesic distanced1d_1in the space of Kähler potentials implies the existence of cscK metrics. We also show that the weak minimizers of theKK-energy in(E1,d1)(\mathcal {E}^1, d_1)are smooth cscK potentials. Finally we show that the non-existence of cscK metric implies the existence of a destabilizedL1L^1geodesic ray where theKK-energy is non-increasing, which is a weak version of a conjecture by Donaldson. The continuity path proposed by Xiuxiong Chen [Ann. Math. Qué. 42 (2018), pp. 69–189] is instrumental in the above proofs.

In this paper, we derive apriori estimates for constant scalar curvature Kähler metrics on a compact Kähler manifold. We show that higher order derivatives can be estimated in terms of aC0C^0bound for the Kähler potential.

In this paper, we describe the technique of extremely monotonic functions in the theory of computable linear orders. The basic definitions of extremely monotonic functions and their generalizations are given, and a number of their basic properties and applications are presented.

A Birkhoff billiard is a system describing the inertial motion of a point mass inside a strictly convex planar domain, with elastic reflections at the boundary. The study of the associated dynamics is profoundly intertwined with the geometric properties of the domain: while it is evident how the shape determines the dynamics, a more subtle and difficult question is the extent to which the knowledge of the dynamics allows one to reconstruct the shape of the domain. This translates into many intriguing inverse problems and unanswered rigidity questions, which have been the focus of very active research in recent decades. In this paper we describe some of these questions, along with their connection to other problems in analysis and geometry, with particular emphasis on recent results obtained by the authors and their collaborators.

We consider products of an independent and identically distributed sequence in a set $\{f_1,\ldots ,f_m\}$ of orientation-preserving diffeomorphisms of the circle. We can naturally associate a Lyapunov exponent $\lambda $ . Under few assumptions, it is known that $\lambda \leq 0$ and that the equality holds if and only if $f_1,\ldots ,f_m$ are simultaneously conjugated to rotations. In this paper, we state a quantitative version of this fact in the case where $f_1,\ldots ,f_m$ are $C^k$ perturbations of rotations with rotation numbers $\rho (f_1),\ldots ,\rho (f_m)$ satisfying a simultaneous diophantine condition in the sense of Moser [On commuting circle mappings and simultaneous diophantine approximations. Math. Z.205(1) (1990), 105–121]: we give a precise estimate of $\lambda $ (Taylor expansion) and we prove that there exist a diffeomorphism g and rotations $r_i$ such that $\mbox {dist}(gf_ig^{-1},r_i)\ll |\lambda |^{{1}/{2}}$ for $i=1,\ldots , m$ . We also state analogous results for random products of $2\times 2$ matrices, without any diophantine condition.

The categoricity spectrum of a computable structure S is the set of all Turing degrees capable of computing isomorphisms among arbitrary computable presentations of S. The degree of categoricity of S is the least degree in the categoricity spectrum of S. This paper is a survey of results on categoricity spectra and degrees of categoricity for computable structures. We focus on the results about degrees of categoricity for linear orders and Boolean algebras. We construct a new series of examples of degrees of categoricity for linear orders.

In this paper, we introduce two algorithms for finding a common solution of the monotone inclusion problem and the fixed point problem for a relatively nonexpansive mapping in reflexive Banach spaces. The weak convergence results for both algorithms are established without the prior knowledge of the Lipschitz constant of the mapping. An application to the variational inequality problem is considered. Finally, some numerical experiments of the proposed algorithms including comparisons with other algorithms are provided.

The aim of this paper is to study the controllability of fractional systems involving the Atangana–Baleanu fractional derivative using the Caputo approach. In the first step, the solution of a linear fractional system is obtained. Then, based on the obtained solution, some necessary and sufficient conditions for the controllability of such a system will be presented. Afterwards, the controllability of a nonlinear fractional system will be analyzed, based on these results. Our tool for the presentation of the sufficient conditions of controllability in this part is Schauder fixed point theorem. In the last step, the analytical results are illustrated by numerical examples.

This paper focuses on the Dysthe equation which is a higher order approximation of the water waves system in the modulation (Schrodinger) regime and in the infinite depth case. We first review the derivation of the Dysthe and related equations. Then we study the initial-value problem. We prove a small data global well-posedness and scattering result in the critical space L 2 ( R 2 ) . This result is sharp in view of the fact that the flow map cannot be C 3 continuous below L 2 ( R 2 ) . Our analysis relies on linear and bilinear Strichartz estimates in the context of the Fourier restriction norm method. Moreover, since we are at a critical level, we need to work in the framework of the atomic space U S 2 and its dual V S 2 of square bounded variation functions. We also prove that the initial-value problem is locally well-posed in H s ( R 2 ) , s > 0 . Our results extend to the finite depth version of the Dysthe equation.

The paper characterizes linear operators converting column majorization into weak, directional, and strong majorizations. An example of a linear converter from weak, directional, and strong majorizations to column majorization preserving none of these majorizations is provided.

In this paper, the length of the group algebra of a dihedral group in the modular case is computed under the assumption that the order of the group is a power of two. Various methods for studying the length of a group algebra in the modular case are considered. It is proved that the length of the group algebra of a dihedral group of order 2k+1 over an arbitrary field of characteristic 2 is equal to 2k.

The paper presents a matrix representation of filter banks corresponding to spline wavelets with shifted supports. The matrix form of the decomposition and reconstruction filters simplifies the representation of nonuniform nonstationary wavelet transforms built on nonuniform grids on a finite interval. Such a representation of filters is used, for example, in constructing error-correcting codes.

The paper considers parallel preconditioned iterative methods in Krylov subspaces for solving systems of linear algebraic equations with large sparse symmetric positive-definite matrices resulting from grid approximations of multidimensional problems. For preconditioning, generalized block algorithms of symmetric successive over-relaxation or incomplete factorization type with matching row sums are used. Preconditioners are based on variable-triangular matrix factors with multiple alternations in triangular structure. For three-dimensional grid algebraic systems, methods are based on nested factorizations, as well as on two-level iterative processes. Successive approximations in Krylov subspaces are computed by applying a family of conjugate direction algorithms with various orthogonality and variational properties, including preconditioned conjugate gradient, conjugate residual, and minimal error methods.

A finite computational process using arithmetic operations only is called a rational algorithm. Presently, no rational algorithm for checking the congruence of arbitrary complex matrices A and B is known. The situation can be different if both A and B belong to a special matrix class. For instance, there exist rational algorithms for the cases where both matrices are Hermitian, unitary, or accretive. This paper proposes a rational algorithm for checking whether two involutive matrices A and B are congruent.

In this paper we investigate the Margulis–Ruelle inequality for general Riemannian manifolds (possibly non-compact and with a boundary) and show that it always holds under an integrable condition.

We study the Gnedin–Kingman graph, which corresponds to Pieri’s rule for the monomial basis {Mλ} in the algebra QSym of quasisymmetric functions. The paper contains a detailed announcement of results concerning the classification of indecomposable semifinite harmonic functions on the Gnedin–Kingman graph. For these functions, we also establish a multiplicativity property, which is an analog of the Vershik–Kerov ring theorem.

The following general variant of deterministic “Hats” game is analyzed. Several sages wearing colored hats occupy the vertices of a graph, the kth sage can have hats of one of h(k) colors. Each sage tries to guess the color of his own hat merely on the basis of observing the hats of his neighbors without exchanging any information. A predetermined guessing strategy is winning if it guarantees at least one correct individual guess for every assignment of colors. For complete graphs and cycles, the problem of describing the function h(k) for which the sages win is solved in the present paper. A “theory of constructors,” i.e., a collection of theorems demonstrating how one can construct new graphs for which the sages win is developed. A new game “Rook check ” equivalent to the Hats game on a 4-cycle is introduced and completely analyzed.

The goal of the paper is to study vertices of degree 6 of minimal and contraction critical 6-connected graph, i.e., a 6-connected graph that looses 6-connectivity both upon removal and upon contraction of any edge. It is proved that if x and z are adjacent vertices of degree 6, then x and z have at least 4 common neighbors. In addition, a detailed description of the neighborhood of the set {x, z} is given. An infinite series of examples of minimal and contraction critical 6-connected graphs for which the fraction of vertices of degree 6 equals $$ \frac{11}{17} $$ is constructed.

For modules over group rings we introduce the following numerical parameter. We say that a module A over a ring R has finite r-generator property if each f.g. (finitely generated) R-submodule of A can be generated exactly by r elements and there exists a f.g. R-submodule D of A, which has a minimal generating subset, consisting exactly of r elements. Let FG be the group algebra of a finite group G over a field F. In the present paper modules over the algebra FG having finite generator property are described.

In this paper, we examine the solvability of a new class of nonclassical direct problems for multidimensional loaded parabolic equations with Cauchy data. We obtain sufficient conditions for the solvability of the problem; the proof is based on the method of weak approximation. By an example, we demonstrate the application of the theorem proved to the study of inverse problems for multidimensional parabolic equations with Cauchy data.

In this paper, we consider a loaded parabolic equation of a special form in an unbounded domain with Cauchy data. The equation is one-dimensional and its right-hand side depends on the unknown function u(t, x) and traces of this function and its derivatives by the spatial variable at a finite number of different points of space. Such equations appear after the reduction of some identification problems for coefficients of one-dimensional parabolic equations with Cauchy data to auxiliary direct problems. We obtain sufficient conditions of the global solvability and sufficient conditions of the solvability of the problem considered in a small time interval. We search for solutions in the class of sufficiently smooth bounded functions. We examine the uniqueness of the classical solution found and prove the corresponding sufficient conditions. We also obtain an a priori estimate of a solution that guarantees the continuous dependence of the solution on the right-hand side of the equation and the initial conditions.

In this paper, we attain the multifractal Hewitt–Stromberg dimension functions of Moran measures associated with homogeneous Moran fractals and show that the multifractal Hewitt–Stromberg measures are mutually singular for which the multifractal functions do not necessarily coincide. In particular, we give a positive answer to questions posed in Attia and Selmi (J Geom Anal 31:825-862, 2021) and discuss some interesting examples.

Let 𝕍 {{\mathbb{V}}} be a polarized variation of integral Hodge structure on a smooth complex quasi-projective variety S. In this paper, we show that the union of the non-factor special subvarieties for ( S , 𝕍 ) {(S,{\mathbb{V}})} , which are of Shimura type with dominant period maps, is a finite union of special subvarieties of S. This generalizes previous results of Clozel and Ullmo (2005) and Ullmo (2007) on the distribution of the non-factor (in particular, strongly) special subvarieties in a Shimura variety to the non-classical setting and also answers positively the geometric part of a conjecture of Klingler on the André–Oort conjecture for variations of Hodge structures.

The class of differential equations describing pseudospherical surfaces enjoys important integrability properties which manifest themselves by the existence of infinite hierarchies of conservation laws (both local and nonlocal) and the presence of associated linear problems. It thus contains many important known examples of integrable equations, like the sine-Gordon, Liouville, KdV, mKdV, Camassa–Holm and Degasperis–Procesi equations, and is also home to many new families of integrable equations. Our paper is concerned with the question of the local isometric immersion in E3 of the pseudospherical surfaces defined by the solutions of equations belonging to the class introduced by Chern and Tenenblat [Pseudospherical surfaces and evolution equations, Stud. Appl. Math. 74 (1986) 55–83]. In the case of the sine-Gordon equation, it is a classical result that the second fundamental form of the immersion depends only on a jet of finite order of the solution of the partial differential equation. A natural question is therefore to know if this remarkable property extends to equations other than the sine-Gordon equation within the class of differential equations describing pseudospherical surfaces. In a pair of earlier papers [N. Kahouadji, N. Kamran and K. Tenenblat, Second-order equations and local isometric immersions of pseudo-spherical surfaces, to appear in Comm. Anal. Geom., arXiv: 1308.6545; Local isometric immersions of pseudo-spherical surfaces and evolution equations, in Hamiltonian Partial Differential Equations and Applications, eds. P. Guyenne, D. Nichols and C. Sulem, Fields Institute Communications, Vol. 75 (Springer-Verlag, 2015), pp. 369–381], it was shown that this property fails to hold for all [Formula: see text]th-order evolution equations [Formula: see text] and all other second-order equations of the form [Formula: see text], except for the sine-Gordon equation and a special class of equations for which the coefficients of the second fundamental form are universal, that is functions of [Formula: see text] and [Formula: see text] which are independent of the choice of solution [Formula: see text]. In this paper, we consider third-order equations of the form [Formula: see text], [Formula: see text], which describe pseudospherical surfaces with the Riemannian metric given in [T. Castro Silva and K. Tenenblat, Third order differential equations describing pseudospherical surfaces, J. Differential Equations 259 (2015) 4897–4923]. This class contains the Camassa–Holm and Degasperis–Procesi equations as special cases. We show that whenever there exists a local isometric immersion in E3 for which the coefficients of the second fundamental form depend on a jet of finite order of [Formula: see text], then these coefficients are universal in the sense of being independent on the choice of solution [Formula: see text]. This result further underscores the special place that the sine-Gordon equations seem to occupy amongst integrable partial differential equations in one space variable.

This paper concerns the link between the dynamical behaviour of a dynamical system and the dynamical behaviour of its numerical simulations. Here, we model numerical truncation as a spatial discretization of the system. Some previous works on well chosen examples show that the dynamical behaviours of dynamical systems and of their discretizations can be quite different. In this paper we are interested in generic homeomorphisms of compact manifolds. So our aim is to tackle the following question: can the dynamical properties of a generic homeomorphism be detected on the spatial discretizations of this homeomorphism? We study both conservative and dissipative homeomorphisms (i.e. with or without the assumption that the homeomorphism preserves a given measure). We will prove that the dynamics of a single discretization of a generic conservative homeomorphism does not depend on the homeomorphism itself, but rather on the grid used for the discretization. Therefore, dynamical properties of a given generic conservative homeomorphism cannot be detected using a single discretization. Nevertheless, we will also prove that some dynamical features of a generic conservative homeomorphism (such as the set of the periods of all periodic points) can be read on a sequence of finer and finer discretizations. The dissipative case is somehow opposite: we will see that the dynamics of a generic dissipative homeomorphism is well-approximated by the dynamics of any fine enough discretization of this homeomorphism., Comment: 43 pages

Let $k$ be a number field and $X$ a smooth integral affine variety equipped with a morphism $f : X \to A^1_k$ to the affine line. Assume that all fibres of $f$ are split, for instance that they are geometrically integral. Assume that the generic fibre of $f$ is a homogeneous space of a simply connected, almost simple, semisimple group $G/k(t)$, and that the geometric stabilizers are connected reductive groups. Let $v$ be a place of $k$ such that the fibration $f$ acquires a rational section over the completion $k_v$ at $v$. Assume moreover that at almost all points $x \in A^1(k_v)$ the specialized group $G_x$ is isotropic over $k_v$. If the Brauer group of $X$ is reduced to the Brauer group of $k$, then strong approximation holds for $X$ away from the place $v$., Comment: (July 16th, 2013) The summary is correct, but as Dasheng Wei pointed out to us, there was a mistake in a proof in the previous versions of the paper. Section 3 has been rewritten. Alongside with a technique from earlier papers by the second named author, a new technical tool is Proposition 3.4, which combines strong approximation with a specific proof of Hilbert's irreducibility theorem

We introduce techniques for turning estimates on the infinitesimal behavior of solutions to nonlinear equations (statements concerning tangent cones and blow ups) into more effective control. In the present paper, we focus on proving regularity theorems for stationary and minimizing harmonic maps and minimal currents. There are several aspects to our improvements of known estimates. First, we replace known estimates on the Hausdorff dimension of singular sets by estimates on their Minkowski r-content, or equivalently, on the volumes of their r-tubular neighborhoods. Second, we give improved regularity control with respect to the number of derivatives bounded and/or on the norm in which the derivatives are bounded. As an example of the former, our results for minimizing harmonic maps f : M->N between riemannian manifolds include a priori bounds in W^{1,p}\cap W^{2,p} for all p < 3. These are the first such bounds involving second derivatives in general dimensions. Finally, the quantity we control is actually provides much stronger information than follows from a bound on the L^p norm of derivatives. Namely, we obtain L^p bounds for the inverse of the regularity scale r_f(x)=max{r:sup_{B_r(x)}(r|\nabla f|+r^2|\nabla^2 f|)\leq 1}. Applications to minimal hypersufaces include a priori L^p bounds for the second fundamental form A for all p < 7. Previously known bounds were for p < 2+��(n). Again, the full theorem is much stronger and yields Lp bounds for the corresponding regularity scale r_A(x)=max{r:sup_{B_r(x)}rA\leq 1}. In outline, our discussion follows that of an earlier paper in which we proved analogous estimates in the context of noncollapsed riemannian manifolds with a lower bound on Ricci curvature. These were applied to Einstein manifolds. A key point in all of these arguments is to establish the relevant quantitative differentiation theorem., 24 pages

This paper explains the recent developments on the symplectic theory of Hamiltonian completely integrable systems on symplectic 4-manifolds, compact or not. One fundamental ingredient of these developments has been the understanding of singular affine structures. These developments make use of results obtained by many authors in the second half of the twentieth century, notably Arnold, Duistermaat and Eliasson, of which we also give a concise survey. As a motivation, we present a collection of remarkable results proven in the early and mid 1980s in the theory of Hamiltonian Lie group actions by Atiyah, Guillemin-Sternberg and Delzant among others, and which inspired many people, including the authors, to work on more general Hamiltonian systems. The paper concludes discussing a spectral conjecture for quantum integrable systems., 40 pages

Using the discriminant modular form and the Noether formula it is possible to write the admissible self-intersection of the relative dualising sheaf of a semistable hyperelliptic curve over a number field or function field as a sum, over all places, of a certain adelic invariant. We provide a simple geometric interpretation for this invariant, based on the arithmetic of symmetric roots. We propose the conjecture that the invariant introduced in this paper coincides with an invariant introduced in a recent paper by S.-W. Zhang., 21 pages

This is the second of four papers that study algebraic and analytic structures associated with the Lerch zeta function. In this paper we analytically continue it as a function of three complex variables. We that it is well defined as a multivalued function on the manifold M equal to C^3 with the hyperplanes corresponding to integer values of the two variables a and c removed. We show that it becomes single valued on the maximal abelian cover of M. We compute the monodromy functions describing the multivalued nature of this function on M, and determine various of their properties., Comment: 29 pages, 3 figures; v2 notation changes, homotopy action on left