Search

It is an important problem in differential geometry to find non-naturally reductive homogeneous Einstein metrics on homogeneous manifolds. In this paper, we consider this problem for some coset spaces of compact simple Lie groups. A new method to construct invariant non-naturally reductive Einstein metrics on normal homogeneous Einstein manifolds is presented. In particular, we show that on the standard homogeneous Einstein manifolds, except for some special cases, there exist plenty of such metrics. A further interesting result of this paper is that on some compact semisimple Lie groups, there exist a large number of left invariant non-naturally reductive Einstein metrics which are not product metrics., Comment: 29 pages

In this paper we consider the Prym map for double coverings of curves of genus $g$ ramified at $r>0$ points. That is, the map associating to a double ramified covering its Prym variety. The generic Torelli theorem states that the Prym map is generically injective as soon as the dimension of the space of coverings is less or equal to the dimension of the space of polarized abelian varieties. We prove the generic injectivity of the Prym map in the cases of double coverings of curves with: (a) $g=2$, $r=6$, and (b) $g= 5$, $r=2$. In the first case the proof is constructive and can be extended to the range $r\ge \max \{6,\frac 23(g+2) \}$. For (b) we study the fibre along the locus of the intermediate Jacobians of cubic threefolds to conclude the generic injectivity. This completes the work of Marcucci and Pirola who proved this theorem for all the other cases, except for the bielliptic case $g=1$ (solved later by Marcucci and the first author), and the case $g=3, r=4$ considered previously by Nagaraj and Ramanan, and also by Bardelli, Ciliberto and Verra where the degree of the map is $3$. The paper closes with an appendix by Alessandro Verra with an independent result, the rationality of the moduli space of coverings with $g=2,r=6$, whose proof is self-contained., An inaccuracy in Proposition 2.4 has been fixed. It does not affect to the main results of the paper

We explore the relationship between Brouwer's intuitionistic mathematics and Euclidean geometry. Brouwer wrote a paper in 1949 called "The contradictority of elementary geometry". In that paper, he showed that a certain classical consequence of the parallel postulate implies Markov's principle, which he found intuitionistically unacceptable. But Euclid's geometry, having served as a beacon of clear and correct reasoning for two millenia, is not so easily discarded. Brouwer started from a "theorem" that is not in Euclid, and requires Markov's principle for its proof. That means that Brouwer's paper did not address the question whether Euclid's "Elements" really requires Markov's principle. In this paper we show that there is a coherent theory of "non-Markovian Euclidean geometry." We show in some detail that our theory is an adequate formal rendering of (at least) Euclid's Book~I, and suffices to define geometric arithmetic, thus refining the author's previous investigations (which include Markov's principle as an axiom). Philosophically, Brouwer's proof that his version of the parallel postulate implies Markov's principle could be read just as well as geometric evidence for the truth of Markov's principle, if one thinks the geometrical "intersection theorem" with which Brouwer started is geometrically evident., Comment: 61 pages, 18 figures

In this survey paper, we give an overview of our recent works on the study of the $W$-entropy for the heat equation associated with the Witten Laplacian on super-Ricci flows and the Langevin deformation on Wasserstein space over Riemannian manifolds. Inspired by Perelman's seminal work on the entropy formula for the Ricci flow, we prove the $W$-entropy formula for the heat equation associated with the Witten Laplacian on $n$-dimensional complete Riemannian manifolds with the $CD(K, m)$-condition, and the $W$-entropy formula for the heat equation associated with the time dependent Witten Laplacian on $n$-dimensional compact manifolds equipped with a $(K, m)$-super Ricci flow, where $K\in \mathbb{R}$ and $m\in [n, \infty]$. Furthermore, we prove an analogue of the $W$-entropy formula for the geodesic flow on the Wasserstein space over Riemannian manifolds. Our result recaptures an important result due to Lott and Villani on the displacement convexity of the Boltzmann-Shannon entropy on Riemannian manifolds with non-negative Ricci curvature. To better understand the similarity between above two $W$-entropy formulas, we introduce the Langevin deformation of geometric flows on the cotangent bundle over the Wasserstein space and prove an extension of the $W$-entropy formula for the Langevin deformation. Finally, we make a discussion on the $W$-entropy for the Ricci flow from the point of view of statistical mechanics and probability theory., Comment: Survey paper. Submitted to Science China Mathematics. arXiv admin note: text overlap with arXiv:1604.02596, arXiv:1706.07040

In this paper we study para-Kenmotsu manifolds. We characterize this manifolds by tensor equations and study their properties. We are devoted to a study of ?-Einstein manifolds. We show that a locally conformally flat para-Kenmotsu manifold is a space of constant negative sectional curvature -1 and we prove that if a para-Kenmotsu manifold is a space of constant ?-para-holomorphic sectional curvature H, then it is a space of constant sectional curvature and H = -1. Finally the object of the present paper is to study a 3-dimensional para-Kenmotsu manifold, satisfying certain curvature conditions. Among other, it is proved that any 3-dimensional para-Kenmotsu manifold with ?-parallel Ricci tensor is of constant scalar curvature and any 3-dimensional para-Kenmotsu manifold satisfying cyclic Ricci tensor is a manifold of constant negative sectional curvature -1.

The original formulae of Kuznetsov for $SL(2,\mathbb{Z})$ allowed one to study either a spectral average via Kloosterman sums or to study an average of Kloosterman sums via a spectral interpretation. In previous papers, we have developed the spectral Kuznetsov formulae at the minimal weights for $SL(3,\mathbb{Z}))$, and in these formulae, the big-cell Kloosterman sums occur with weight functions attached to four different integral kernels, according to the choice of signs of the indices. These correspond to the $J$- and $K$-Bessel functions in the case of $GL(2)$. In this paper, we demonstrate a linear combination of the spherical and weight one $SL(3,\mathbb{Z})$ Kuznetsov formulae that isolates one particular integral kernel, which is the spherical $GL(3)$ Whittaker function. Using the known inversion formula of Wallach, we give the first arithmetic Kuznetsov formula for $SL(3,\mathbb{Z})$ and use it to study smooth averages and the Kloosterman zeta function attached to this particular choice of signs., Comment: 12 pages, retracts the meromorphic continuation of the unweighted Kloosterman zeta function

It has been 40 years since Lawson and Osserman introduced the three minimal cones associated with Dirichlet problems in their 1977 Acta paper [13] . The first cone was shown area-minimizing by Harvey and Lawson in the celebrated paper [10] . In this paper, we confirm that the other two are also area-minimizing. In fact, we show that every Lawson–Osserman cone of type ( n , p , 2 ) constructed in [26] is area-minimizing.

In the first part of this paper, we consider, in the context of an arbitrary hyperplane arrangement, the map between compactly supported cohomology to the usual cohomology of a local system. A formula (i.e., an explicit algebraic de Rham representative) for a generalized version of this map is obtained. These results are applied in the second part to invariant theory: Schechtman and Varchenko connect invariant theoretic objects to the cohomology of local systems on complements of hyperplane arrangements. The first part of this paper is then used, following and completing arguments of Looijenga, to determine the image of invariants in cohomology. In suitable cases (e.g., corresponding to positive integral levels), the space of invariants is shown to acquire a mixed Hodge structure over a cyclotomic field. We investigate the Hodge filtration on the space of invariants, and characterize the subspace of conformal blocks in Hodge theoretic terms., Comment: 37 pages, comments are welcome

In analogy with the study of representations of $GL_{2n}(F)$ distinguished by $Sp_{2n}(F)$, where $F$ is a local field, in this paper we study representations of $U_{2n}(F)$ distinguished by $Sp_{2n}(F)$. (Only quasi-split unitary groups are considered in this paper since they are the only ones which contain $Sp_{2n}(F)$.) We prove that there are no cuspidal representations of $U_{2n}(F)$ distinguished by $Sp_{2n}(F)$ for $F$ a non-archimedean local field. We also prove the corresponding global theorem that there are no cuspidal representations of $U_{2n}({\mathbb A}_k)$ with nonzero period integral on $Sp_{2n}(k) \backslash Sp_{2n}({\mathbb A}_k)$ for $k$ any number field or a function field. We completely classify representations of quasi-split unitary group in four variables over local and global fields with nontrivial symplectic periods using methods of theta correspondence. We propose a conjectural answer for the classification of all representations of a quasi-split unitary group distinguished by $Sp_{2n}(F)$., Comment: minor changes; to appear in the Transactions of the AMS

This is our third paper in a series on the gravitational instantons. In this paper, we classify ALG and ALH gravitational instantons. In ALG case, we extend Hein's construction slightly and show that it's the only ALG gravitational instanton. In ALH case, we prove a Torelli-type theorem., Comment: In the ALG-II^*,III^*,IV^* cases, we add the classification result and a counterexample of the Torelli theorem

We construct virtual cycles on moduli spaces of perturbed gauged Witten equation over a fixed smooth r -spin curve, under the framework of [TX15]. Together with the wall-crossing formula proved in the companion paper [TX19], it completes the construction of the correlation function for the gauged linear sigma model announced in [TX16] as well as the proof of its invariance., Comment: The original version is split into two parts as requested by the journal. The proof of the wall-crossing formula is given in the companion paper [TX19]. 60 pages

We apply the local removable singularity theorem for minimal laminations and the local picture theorem on the scale of topology to obtain two descriptive results for certain possibly singular minimal laminations of $\mathbb{R}^3$. These two global structure theorems will be applied in forthcoming papers to obtain bounds on the index and the number of ends of complete, embedded minimal surfaces of fixed genus and finite topology in $\mathbb{R}^3$, and to prove that a complete, embedded minimal surface in $\mathbb{R}^3$ with finite genus and a countable number of ends is proper., Comment: 43 pages, 7 figures. Bibliography updated and reorganized the paper

This paper describes the analysis of Lagrange interpolation errors on tetrahedrons. In many textbooks, the error analysis of Lagrange interpolation is conducted under geometric assumptions such as shape regularity or the (generalized) maximum angle condition. In this paper, we present a new estimation in which the error is bounded in terms of the diameter and projected circumradius of the tetrahedron. Because we do not impose any geometric restrictions on the tetrahedron itself, our error estimation may be applied to any tetrahedralizations of domains including very thin tetrahedrons., Comment: To appear in Journal of Approximation Theory

Inspired by work of McMullen, we show that any orbit of the diagonal group in the space of lattices accumulates on the set of stable lattices. As consequences, we settle a conjecture of Ramharter concerning the asymptotic behaviour of the Mordell constant, and reduce Minkowski's conjecture on products of linear forms to a geometric question, yielding two new proofs of the conjecture in dimensions up to 7., Comment: This paper was part of the paper "On stable lattices and the diagonal group" (arXiv:1309.4025) which was split into three shorter papers (now all on arXiv) following the referee's request

Let $X,X_1,\ldots,X_n$ be independent identically distributed random variables. In this paper we study the behavior of concentration functions of weighted sums $\sum_{k=1}^{n}X_ka_k $ with respect to the arithmetic structure of coefficients $a_k$ in the context of the Littlewood--Offord problem. In recent papers of Eliseeva, G\"otze and Zaitsev, we discussed the relations between the inverse principles stated by Nguyen, Tao and Vu and similar principles formulated by Arak in his papers from the 1980's. In this paper, we will derive some more general and more precise consequences of Arak's inequalities providing new results in the context of the Littlewood-Offord problem., Comment: 23 pages. arXiv admin note: text overlap with arXiv:1506.09034

Classical settings of discrete and continuous orthogonal expansions, like those of Laguerre, Bessel and Jacobi, are associated with second order differential operators playing the role of the Laplacian. These depend on certain type parameters that are usually restricted to a half-line, or a product of half-lines if higher dimensions are considered. Following earlier research done by Hajmirzaahmad, we deal in this paper with Laplacians in the above-mentioned contexts with no restrictions on the type parameters and bring to attention naturally associated orthogonal systems that in fact involve the classical ones, but are different. This reveals new frameworks related to classical orthogonal expansions and thus new potentially rich research areas, at least from the harmonic analysis perspective. To support the last claim we focus on maximal operators of multi-dimensional Laguerre, Bessel and Jacobi semigroups, with unrestricted type parameters, and prove that they satisfy weak type (1, 1) estimates with respect to the appropriate measures. Generally, these measures are not (locally) finite, which makes a contrast with the classical situations and generates new difficulties. A significant result of the paper is a new proof of the weak type (1, 1) estimate for the classical multi-dimensional Laguerre semigroup maximal operator.

The theory of generalized Besov-Morrey spaces and generalized Triebel-Lizorkin-Morrey spaces is developed. Generalized Morrey spaces, which T. Mizuhara and E. Nakai proposed, are equipped with a parameter and a function. The trace property is one of the main focuses of the present paper, which will clarify the role of the parameter of generalized Morrey spaces. The quarkonial decomposition is obtained as an application of atomic decomposition. In the end, the relation between the function spaces dealt in the present paper and the foregoing researches is discussed., Comment: 61 pages, Published as Shohei Nakamura, Takahiro Noi and Yoshihiro Sawano, Generalized Morrey spaces and trace operator. Sci. China Math. 59 (2016), no. 2, 281-336

In this paper we consider a new kind of inequality related to fractional integration, motivated by Gressman's paper. Based on it we investigate its multilinear analogue inequalities. Combining with the Gressman's work on multilinear integral, we establish this new kind of geometric inequalities with bilinear form and multilinear form in more general settings. Moreover, in some cases we also find the best constants and optimisers for these geometric inequalities on Euclidean spaces with Lebesgue measure settings with $L^p$ bounds.

In this paper, we show that any non-arithmetic hyperbolic $2$-bridge link complement admits no hidden symmetries. As a corollary, we conclude that a hyperbolic $2$-bridge link complement cannot irregularly cover a hyperbolic $3$-manifold. By combining this corollary with the work of Boileau and Weidmann, we obtain a characterization of $3$-manifolds with non-trivial JSJ-decomposition and rank two fundamental groups. We also show that the only commensurable hyperbolic $2$-bridge link complements are the figure-eight knot complement and the $6_{2}^{2}$ link complement. Our work requires a careful analysis of the tilings of $\mathbb{R}^{2}$ that come from lifting the canonical triangulations of the cusps of hyperbolic $2$-bridge link complements., Comment: This is the final (accepted) version of this paper

Classical mechanical systems are modeled by a symplectic manifold $(M,\omega)$, and their symmetries, encoded in the action of a Lie group $G$ on $M$ by diffeomorphisms that preserves $\omega$. These actions, which are called "symplectic", have been studied in the past forty years, following the works of Atiyah, Delzant, Duistermaat, Guillemin, Heckman, Kostant, Souriau, and Sternberg in the 1970s and 1980s on symplectic actions of compact abelian Lie groups that are, in addition, of "Hamiltonian" type, i.e. they also satisfy Hamilton's equations. Since then a number of connections with combinatorics, finite dimensional integrable Hamiltonian systems, more general symplectic actions, and topology, have flourished. In this paper we review classical and recent results on Hamiltonian and non Hamiltonian symplectic group actions roughly starting from the results of these authors. The paper also serves as a quick introduction to the basics of symplectic geometry., Comment: 49 pages, 4 figures. This article supersedes arXiv:1501.06480

In this paper we give new explicit formulas for Faltings' $\delta$-invariant in terms of integrals of theta functions, and we deduce an explicit lower bound for $\delta$ only in terms of the genus and an explicit upper bound for the Arakelov-Green function in terms of $\delta$. Furthermore, we give a canonical extension of $\delta$ and the Zhang-Kawazumi invariant $\varphi$ to the moduli space of indecomposable principally polarised complex abelian varieties., Comment: 46 pages. The final publication will appear in Inventiones Mathematicae and is available at link.springer.com/article/10.1007/s00222-016-0713-1. This paper replaces the older paper arXiv:1505.04740, which only treats a special case

This paper presents sufficient conditions for Hamiltonian paths and cycles in graphs. Letting $\lambda\left( G\right) $ denote the spectral radius of the adjacency matrix of a graph $G,$ the main results of the paper are: (1) Let $k\geq1,$ $n\geq k^{3}/2+k+4,$ and let $G$ be a graph of order $n$, with minimum degree $\delta\left( G\right) \geq k.$ If \[ \lambda\left( G\right) \geq n-k-1, \] then $G$ has a Hamiltonian cycle, unless $G=K_{1}\vee(K_{n-k-1}+K_{k})$ or $G=K_{k}\vee(K_{n-2k}+\overline{K}_{k})$. (2) Let $k\geq1,$ $n\geq k^{3}/2+k^{2}/2+k+5,$ and let $G$ be a graph of order $n$, with minimum degree $\delta\left( G\right) \geq k.$ If \[ \lambda\left( G\right) \geq n-k-2, \] then $G$ has a Hamiltonian path, unless $G=K_{k}\vee(K_{n-2k-1}+\overline {K}_{k+1})$ or $G=K_{n-k-1}+K_{k+1}$ In addition, it is shown that in the above statements, the bounds on $n$ are tight within an additive term not exceeding $2$., Comment: 18 pages. This version gives tighter bounds

Piecewise affine functions on subsets of $\mathbb R^m$ were studied in \cite{Ovchinnikov:02,Aliprantis:06a,Aliprantis:07a,Aliprantis:07}. In this paper we study a more general concept of a locally piecewise affine function. We characterize locally piecewise affine functions in terms of components and regions. We prove that a positive function is locally piecewise affine iff it is the supremum of a locally finite sequence of piecewise affine functions. We prove that locally piecewise affine functions are uniformly dense in $C(\mathbb R^m)$, while piecewise affine functions are sequentially order dense in $C(\mathbb R^m)$. This paper is partially based on \cite{Adeeb:14}., Comment: 11 pages

This paper is a contribution to the study of the subgroup structure of exceptional algebraic groups over algebraically closed fields of arbitrary characteristic. Following Serre, a closed subgroup of a semisimple algebraic group $G$ is called irreducible if it lies in no proper parabolic subgroup of $G$. In this paper we complete the classification of irreducible connected subgroups of exceptional algebraic groups, providing an explicit set of representatives for the conjugacy classes of such subgroups. Many consequences of this classification are also given. These include results concerning the representations of such subgroups on various $G$-modules: for example, the conjugacy classes of irreducible connected subgroups are determined by their composition factors on the adjoint module of $G$, with one exception. A result of Liebeck and Testerman shows that each irreducible connected subgroup $X$ of $G$ has only finitely many overgroups and hence the overgroups of $X$ form a lattice. We provide tables that give representatives of each conjugacy class of overgroups within this lattice structure. We use this to prove results concerning the subgroup structure of $G$: for example, when the characteristic is 2, there exists a maximal connected subgroup of $G$ containing a conjugate of every irreducible subgroup $A_1$ of $G$., Comment: 196 pages. To appear in Mem. Amer. Math. Soc

Let $R=K[[x_1,...,x_s]]$ be the ring of formal power series with maximal ideal $\mathfrak{m}$ over a field $K$ of arbitrary characteristic. On the ring $M_{m,n}$ of $m\times n$ matrices $A$ with entries in $R$ we consider several equivalence relations given by the action on $M_{m,n}$ of a group $G$. $G$ can be the group of automorphisms of $R$, combined with the multiplication of invertible matrices from the left, from the right, or from both sides, respectively. We call $A$ finitely $G$-determined if $A$ is $G$-equivalent to any matrix $B$ with ${A-B} \in {\mathfrak{m}^k M_{m,n}}$ for some finite integer $k$, which implies in particular that $A$ is $G$--equivalent to a matrix with polynomial entries. The classical criterion for analytic or differential map germs $f:(K^s,0) \to (K^m,0)$, $K = \mathbb{R}, \mathbb{C}$, says that $f \in M_{m,1}$ is finitely determined (with respect to various group actions) iff the tangent space to the orbit of $f$ has finite codimension in $M_{m,1}$. We extend this criterion to arbitrary matrices in $M_{m,n}$ if the characteristic of K is 0 or, more general, if the orbit map is separable. In positive characteristic however, the problem is more subtle since the orbit map is in general not separable, as we show by an example. This fact had been overlooked in previous papers. Our main result is a general sufficient criterion for finite $G$-determinacy in $M_{m,n}$ in arbitrary characteristic in terms of the tangent image of the orbit map, which we introduce in this paper. This criterion provides a computable bound for the $G$-determinacy of a matrix $A$ in $M_{m,n}$, which is new even in characteristic 0., Comment: 21 pages

This paper is concerned with the scattering problem for time-harmonic electromagnetic waves, due to the presence of scatterers and of inhomogeneities in the medium. We prove a sharp stability result for the solutions to the direct electromagnetic scattering problem, with respect to variations of the scatterer and of the inhomogeneity, under minimal regularity assumptions for both of them. The stability result leads to uniform bounds on solutions to the scattering problems for an extremely general class of admissible scatterers and inhomogeneities. The uniform bounds are a key step to tackle the challenging stability issue for the corresponding inverse electromagnetic scattering problem. In this paper we establish two optimal stability results of logarithmic type for the determination of polyhedral scatterers by a minimal number of electromagnetic scattering measurements. In order to prove the stability result for the direct electromagnetic scattering problem, we study two fundamental issues in the theory of Maxwell equations: Mosco convergence for H(curl) spaces and higher integrability properties of solutions to Maxwell equations in nonsmooth domains., Comment: 48 pages. To appear in JEMS

Burq-G\'erard-Tzvetkov and Hu established $L^p$ estimates ($2\le p\le \infty$) for the restriction of eigenfunctions to submanifolds. The estimates are sharp, except for the log loss at the endpoint $L^2$ estimates for submanifolds of codimension 2. It has long been believed that the log loss at the endpoint can be removed in general, while the problem is still open. So this paper is devoted to the study of sharp endpoint restriction estimates for eigenfunctions in this case. Chen and Sogge removed the log loss for the geodesics on 3-dimensional manifolds. In this paper, we generalize their result to higher dimensions and prove that the log loss can be removed for totally geodesic submanifolds of codimension 2. Moreover, on 3-dimensional manifolds, we can remove the log loss for curves with nonvanishing geodesic curvatures, and more general finite type curves. The problem in 3D is essentially related to Hilbert transforms along curves in the plane and a class of singular oscillatory integrals studied by Phong-Stein, Ricci-Stein, Pan, Seeger, Carbery-P\'erez., Comment: 17 pages

Bavard proved a duality theorem between commutator length and quasimorphisms. Burago, Ivanov and Polterovich introduced the notion of a conjugation-invariant norm which is a generalization of commutator length. Entov and Polterovich proved that Oh-Schwarz spectral invariants are subset-controlled quasimorphisms which are geralizations of quasimorphisms. In the present paper, we prove a Bavard-type duality theorem between conjugation-invariant (pseudo-)norms and subset-controlled quasimorphisms on stable groups. %We also give an application of its generalization to symplectic geometry related to Entov-Polterovich's theory on heavy subsets. We also pose a generalization of our main theorem and prove that "stably non-displaceable subsets of symplectic manifolds are heavy" in a rough sense if that generalization holds., Comment: 11 pages, the referred paper "Conjugation-invariant norms on the commutator subgroup of infinite braid group" is accepted and so I correct the reference. I would like to congratulate on the first acceptance experience of my junior disciple, to appear in Pacific Journal of Mathematics

In his 1990 Inventiones paper, P. Jones characterized subsets of rectifiable curves in the plane via a multiscale sum of $\beta$-numbers. These $\beta$-numbers are geometric quantities measuring how far a given set deviates from a best fitting line at each scale and location. Jones' result is a quantitative way of saying that a curve is rectifiable if and only if it has a tangent at almost every point. Moreover, computing this square sum for a curve returns the length of the curve up to multiplicative constant. K. Okikiolu extended his result from subsets of the plane to subsets of Euclidean space. G. David and S. Semmes extended the discussion to include sets of (integer) dimension larger than one, under the assumption of Ahlfors regularity and using a variant of Jones' $\beta$ numbers. In this paper we give a version of P. Jones' theorem for sets of arbitrary (integer) dimension lying in Euclidean space. We estimate the $d$-dimensional Hausdorff measure of a set in terms of an analogous sum of $\beta$-type numbers. There is no assumption of Ahlfors regularity, but rather, only of a lower bound on the Hausdorff content. We adapt David and Semmes' version of Jones' $\beta$-numbers by redefining them using a Choquet integral. A key tool in the proof is G. David and T. Toro's parametrization of Reifenberg flat sets (with holes)., Comment: Corrected more typos. There are still several typos and small mistakes in the published version of the paper, so the authors will maintain an up-to-date version on their webpages as we continue to correct them

In this paper we present computational techniques to investigate the solutions of two-component, nonlinear reaction-diffusion (RD) systems on arbitrary surfaces. We build on standard techniques for linear and nonlinear analysis of RD systems, and extend them to operate on large-scale meshes for arbitrary surfaces. In particular, we use spectral techniques for a linear stability analysis to characterize and directly compose patterns emerging from homogeneities. We develop an implementation using surface finite element methods and a numerical eigenanalysis of the Laplace-Beltrami operator on surface meshes. In addition, we describe a technique to explore solutions of the nonlinear RD equations using numerical continuation. Here, we present a multiresolution approach that allows us to trace solution branches of the nonlinear equations efficiently even for large-scale meshes. Finally, we demonstrate the working of our framework for two RD systems with applications in biological pattern formation: a Brusselator model that has been used to model pattern development on growing plant tips, and a chemotactic model for the formation of skin pigmentation patterns. While these models have been used previously on simple geometries, our framework allows us to study the impact of arbitrary geometries on emerging patterns., Comment: This paper was submitted at the Journal of Mathematical Biology, Springer on 07th July 2015, in its current form (barring image references on the last page and cosmetic changes owning to rebuild for arXiv). The complete body of work presented here was included and defended as a part of my PhD thesis in Nov 2015 at the University of Bern

The category of framed correspondences $Fr_*(k)$ and framed sheaves were invented by Voevodsky in his unpublished notes [V2]. Based on the theory, framed motives are introduced and studied in [GP1]. These are Nisnivich sheaves of $S^1$-spectra and the major computational tool of [GP1]. The aim of this paper is to show the following result which is essential in proving the main theorem of [GP1]: given an infinite perfect base field $k$, any $k$-smooth scheme $X$ and any $n\geq 1$, the map of simplicial pointed Nisnevich sheaves $(-,\mathbb{A}^1//\mathbb G_m)^{\wedge n}_+\to T^n$ induces a Nisnevich local level weak equivalence of $S^1$-spectra $$M_{fr}(X\times (\mathbb{A}^1// \mathbb G_m)^{\wedge n})\to M_{fr}(X\times T^n).$$ Moreover, it is proven that the sequence of $S^1$-spectra $$M_{fr}(X \times T^n \times \mathbb G_m) \to M_{fr}(X \times T^n \times\mathbb A^1) \to M_{fr}(X \times T^{n+1})$$ is locally a homotopy cofiber sequence in the Nisnevich topology. Another important result of this paper shows that homology of framed motives is computed as linear framed motives in the sense of [GP1]. This computation is crucial for the whole machinery of framed motives [GP1]., Comment: This is the final revised version

The aim of this paper is to derive and analyze a variational model for the joint estimation of motion and reconstruction of image sequences, which is based on a time-continuous Eulerian motion model. The model can be set up in terms of the continuity equation or the brightness constancy equation. The analysis in this paper focuses on the latter for robust motion estimation on sequences of twodimensional images. We rigorously prove the existence of a minimizer in a suitable function space setting. Moreover, we discuss the numerical solution of the model based on primal-dual algorithms and investigate several examples. Finally, the benefits of our model compared to existing techniques, such as sequential image reconstruction and motion estimation, are shown., The work of the first author was also supported by the German Science Foundation DFG via EXC 1003 Cells in Motion Cluster of Excellence, M¨unster, Germany

Let G be a reductive linear algebraic group, H a reductive subgroup of G and X an affine G-variety. Let Y denote the set of fixed points of H in X, and N(H) the normalizer of H in G. In this paper we study the natural map from the quotient of Y by N(H) to the quotient of X by G induced by the inclusion of Y in X. We show that, given G and H, this map is a finite morphism for all G-varieties X if and only if H is G-completely reducible (in the sense defined by J-P. Serre); this was proved in characteristic zero by Luna in the 1970s. We discuss some applications and give a criterion for the map of quotients to be an isomorphism. We show how to extend some other results in Luna's paper to positive characteristic and also prove the following theorem. Let H and K be reductive subgroups of G; then the double coset HgK is closed for generic g in G if and only if the intersection of generic conjugates of H and K is reductive., Comment: 29 pages; some changes in Section 5; to appear in Math. Z

This paper studies Riemannian manifolds of the form $M \setminus S$, where $M^4$ is a complete four dimensional Riemannian manifold with finite volume whose metric is modeled on the complex hyperbolic plane $\mathbb{C} \mathbb{H}^2$, and $S$ is a compact totally geodesic codimension two submanifold whose induced Riemannian metric is modeled on the real hyperbolic plane $\mathbb{H}^2$. In this paper we write the metric on $\mathbb{C} \mathbb{H}^2$ in polar coordinates about $S$, compute formulas for the components of the curvature tensor in terms of arbitrary warping functions (Theorem 7.1), and prove that there exist warping functions that yield a complete finite volume Riemannian metric on $M \setminus S$ whose sectional curvature is bounded above by a negative constant (Theorem 1.1(1)). The cases of $M \setminus S$ modeled on $\mathbb{H}^n \setminus \mathbb{H}^{n-2}$ and $\mathbb{C} \mathbb{H}^n \setminus \mathbb{C} \mathbb{H}^{n-1}$ were studied by Belegradek in [Bel12] and [Bel11], respectively. One may consider this work as "part 3" to this sequence of papers., Comment: 33 pages, 1 figure. Added Remark 1.3 to discuss the references for Corollary 1.2

The purpose of this paper is to modify the notion of the Nevanlinna constant $\operatorname{Nev}(D)$, recently introduced by the first author, for an effective Cartier divisor on a projective variety $X$. The modified notion is called the birational Nevanlinna constant and is denoted by $\operatorname{Nev}_{\text{bir}}(D)$. By computing $\operatorname{Nev}_{\text{bir}}(D)$ using the filtration constructed by Autissier in 2011, we establish a general result (see the General Theorem in the Introduction), in both the arithmetic and complex cases, which extends to general divisors the 2008 results of Evertse and Ferretti and the 2009 results of the first author. The notion $\operatorname{Nev}_{\text{bir}}(D)$ is originally defined in terms of Weil functions for use in applications, and it is proved later in this paper that it can be defined in terms of local effectivity of Cartier divisors after taking a proper birational lifting. In the last two sections, we use the notion $\operatorname{Nev}_{\text{bir}}(D)$ to recover the proof of an example of Faltings from his 2002 Baker's Garden article., Comment: 56 pages; latex

The Naruse hook-length formula is a recent general formula for the number of standard Young tableaux of skew shapes, given as a positive sum over excited diagrams of products of hook-lengths. In 2015 we gave two different $q$-analogues of Naruse's formula: for the skew Schur functions, and for counting reverse plane partitions of skew shapes. In this paper we give an elementary proof of Naruse's formula based on the case of border strips. For special border strips, we obtain curious new formulas for the Euler and $q$-Euler numbers in terms of certain Dyck path summations., Comment: 33 pages, 10 figures. This is the second paper of the series "Hook formulas for skew shapes". Most of Sections 8 and 9 in this paper used to be part of arxiv:1512.08348 (v1,v2); v2 fixed several typos; v3 made precision in definition of flagged tableaux in Section 3.2 and fixed typo in Example 3.3; v4 fixed small typos in proof of Corollary 7.6

As a continuation of previous work of the first author with Ranjbar [‘A variational inequality in complete CAT(0) spaces’, J. Fixed Point Theory Appl. 17 (2015), 557–574] on a special form of variational inequalities in Hadamard spaces, in this paper we study equilibrium problems in Hadamard spaces, which extend variational inequalities and many other problems in nonlinear analysis. In this paper, first we study the existence of solutions of equilibrium problems associated with pseudo-monotone bifunctions with suitable conditions on the bifunctions in Hadamard spaces. Then, to approximate an equilibrium point, we consider the proximal point algorithm for pseudo-monotone bifunctions. We prove existence of the sequence generated by the algorithm in several cases in Hadamard spaces. Next, we introduce the resolvent of a bifunction in Hadamard spaces. We prove convergence of the resolvent to an equilibrium point. We also prove $\triangle$-convergence of the sequence generated by the proximal point algorithm to an equilibrium point of the pseudo-monotone bifunction and also the strong convergence under additional assumptions on the bifunction. Finally, we study a regularization of Halpern type and prove the strong convergence of the generated sequence to an equilibrium point without any additional assumption on the pseudo-monotone bifunction. Some examples in fixed point theory and convex minimization are also presented.

This paper concerns the worst-case complexity of cyclic coordinate descent (C-CD) for minimizing a convex quadratic function, which is equivalent to Gauss-Seidel method and can be transformed to Kaczmarz method and projection onto convex sets (POCS). We observe that the known provable complexity of C-CD can be $O(n^2)$ times slower than randomized coordinate descent (R-CD), but no example was rigorously proven to exhibit such a large gap. In this paper we show that the gap indeed exists. We prove that there exists an example for which C-CD takes at least $O(n^4 \kappa_{\text{CD}} \log\frac{1}{\epsilon})$ operations, where $\kappa_{\text{CD}}$ is related to Demmel's condition number and it determines the convergence rate of R-CD. It implies that in the worst case C-CD can indeed be $O(n^2)$ times slower than R-CD, which has complexity $O( n^2 \kappa_{\text{CD}} \log\frac{1}{\epsilon})$. Note that for this example, the gap exists for any fixed update order, not just a particular order. Based on the example, we establish several almost tight complexity bounds of C-CD for quadratic problems. One difficulty with the analysis is that the spectral radius of a non-symmetric iteration matrix does not necessarily constitute a \textit{lower bound} for the convergence rate. An immediate consequence is that for Gauss-Seidel method, Kaczmarz method and POCS, there is also an $O(n^2) $ gap between the cyclic versions and randomized versions (for solving linear systems). We also show that the classical convergence rate of POCS by Smith, Solmon and Wager [1] is always worse and sometimes can be infinitely times worse than our bound., Comment: 47 pages. Add a few tables to summarize the main convergence rates; add comparison with classical POCS bound; add discussions on another example

Let $\mathcal{G}$ be a parahoric group scheme over a complex projective curve $X$ of genus greater than one. Let $\mathrm{Bun}_{\mathcal{G}}$ denote the moduli stack of $\mathcal{G}$-torsors on $X$. We prove several results concerning the Hitchin map on $T^*\!\mathrm{Bun}_{\mathcal{G}}$. We first show that the parahoric analogue of the global nilpotent cone is isotropic and use this to prove that $\mathrm{Bun}_{\mathcal{G}}$ is "very good" in the sense of Beilinson-Drinfeld. We then prove that the parahoric Hitchin map is a Poisson map whose generic fibres are abelian varieties. Together, these results imply that the parahoric Hitchin map is a completely integrable system., Comment: The previous version of this paper has been split into two separate papers. This version is the first of the two papers and concerns complete integrability of the parahoric Hitchin system. In the forthcoming second paper, we study the base of the parahoric Hitchin map and its local counterpart

This paper starts with a biographical sketch of the life of Josef Meixner. Then his motivations to work on orthogonal polynomials and special functions are reviewed. Meixner's 1934 paper introducing the Meixner and Meixner-Pollaczek polynomials is discussed in detail. Truksa's forgotten 1931 paper, which already contains the Meixner polynomials, is mentioned. The paper ends with a survey of the reception of Meixner's 1934 paper., Comment: v4: 18 pages, generating function for Krawtchouk polynomials on p.10 corrected

In this paper, exact rate of approximation of functions by linear means of Fourier series and Fourier integrals and corresponding $K$-functionals are expressed via special moduli of smoothness. . Introduction is given in $\S 1$. In $\S2$ functions on the line $\mathbb{R}$ are studied. A typical (well-known) result is as follows: for each $2\pi$-periodic function in $L_p$ on the period, for any $p\in[1,+\infty]$ ($L_\infty=C$) and $r\in\mathbb{N}$, there is a trigonometric polynomial $\tau_{r,n}(f)$ of degree not greater than $n$ such that \big\|f-\tau_{r,n}(f)\big\|_p\asymp\omega_r\Big(f;\frac{1}{n}\Big)_p\asymp \inf\limits_{g}\Big\{\|f-g\|_p+\frac{1}{n^r}\big\|g^{(r)}\big\|_p\Big\}, where the positive constants in these bilateral inequalities depend only on $r$. In $\S 3$ we deal with functions on $\mathbb{R}^d$ ($d\geq2$), while in $\S 4$ with functions on Banach spaces. The paper is partially of survey nature. The proofs are given only for Theorems 2.2, 3.9 and those in $\S 4$. Related open problems are formulated in $\S 5$. The list of references contains 52 items., Comment: 33 pages, the paper is in Russian, with the title, abstract and key words in English

We develop the Benkhettou-Hassani-Torres fractional (noninteger order) calculus on time scales by proving two chain rules for the $\alpha$-fractional derivative and five inequalities for the $\alpha$-fractional integral. The results coincide with well-known classical results when the operators are of (integer) order $\alpha = 1$ and the time scale coincides with the set of real numbers., Comment: This is a preprint of a paper whose final and definite form is published in 'Arabian Journal of Mathematics', ISSN 2193-5343 (Print) 2193-5351 (Online). Paper submitted 25/Feb/2016; revised 24/Sept/2016; accepted 28/Nov/2016

The aim of this paper is to define the notion of lifting of a crossed module via a group morphism and give some properties of this type of the lifting. Further we obtain a criterion for a crossed module to have a lifting of crossed module. We also prove that the liftings of a certain crossed module constitute a category; and that this category is equivalent to the category of covers of that crossed module and hence to the category of group-groupoid actions of the corresponding groupoid to that crossed module., Comment: 18 pages, research paper, LaTeX2e, xypic

Several recent papers investigated unbounded versions of order and norm convergences in Banach lattices. In this paper, we study the unbounded variant of weak convergence and its relationship with other convergences. In particular, we characterize order continuous Banach lattices and reflexive Banach lattices in terms of this convergence., Comment: The last version

In 1956, Tong established an asymptotic formula for the mean square of the error term in the summatory function of the Piltz divisor function $d_3(n).$ The aim of this paper is to generalize Tong's method to a class of Dirichlet series that satisfy a functional equation. As an application, we can establish the asymptotic formulas for the mean square of the error terms for a class of functions in the well-known Selberg class. The Tong-type identity and formula established in this paper can be viewed as an analogue of the well-known Vorono\"i's formula.

In this paper, we determine the bound of the valency of Cayley graphs of Frobenius groups with respect to normal Cayley subsets which guarantees to be Ramanujan. We see that if the ratio between the orders of the Frobenius kernel and complement is not so small, then this bound coincides with the trivial one coming from the trivial estimate of the largest non-trivial eigenvalue of the graphs. Moreover, in the cases of the dihedral groups of order twice odd primes, which are special cases of the Frobenius groups, we determine the same bound for the Cayley graphs of the groups with respect to not only normal but also all Cayley subsets. As is the case of abelian groups which we have treated in the previous papers, such a bound is equal to the trivial one in the above sense or, as exceptional cases, exceeds one from it. We then clarify that the latter occurs if and only if the corresponding prime is represented by a quadratic polynomial in a finite family., Comment: 12 pages

In this paper, we give a complete description of the associated primes of every power of the edge ideal in terms of generalized ear decompositions of the graph. This result establishes a surprising relationship between two seemingly unrelated notions of Commutative Algebra and Combinatorics. It covers all previous major results in this topic and has several interesting consequences., Comment: 28 pages, 7 figures. This revision contains more comments on the methods and the results of the paper. Important terminology and notations now appear in Definition environments for the convenience of the readers. That changes the numeration of the results considerably. This paper will appear in Trans. Amer. Math. Soc

We study representations of segment type of groups Sp(n) and SO(2n+1, F) over a local non-archimedean field, which play a fundamental role in the constructions of discrete series, and obtain a complete description of the Jacquet modules of these representations. Also, we provide an alternative way for determination of Jacquet modules of strongly positive discrete series and a description of top Jacquet modules of general discrete series. In this version are corrected few typographical errors which exist in the published version of this paper (see page 5 of the paper for more details)., Comment: 41 pages

The paper consists of two parts. The first part introduces the representation ring for the family of compact unitary groups U(1), U(2),.... This novel object is a commutative graded algebra R with infinite-dimensional homogeneous components. It plays the role of the algebra of symmetric functions, which serves as the representation ring for the family of finite symmetric groups. The purpose of the first part is to elaborate on the basic definitions and prepare the ground for the construction of the second part of the paper. The second part deals with a family of Markov processes on the dual object to the infinite-dimensional unitary group U(infinity). These processes were defined in a joint work with Alexei Borodin (J. Funct. Anal. 2012; arXiv:1009.2029). The main result of the present paper consists in the derivation of an explicit expression for their infinitesimal generators. It is shown that the generators are implemented by certain second order partial differential operators with countably many variables, initially defined as operators on R., Comment: version 2: 67 pp.; minor improvements, typos fixed; version 3: minor typographical corrections, two uncited references deleted; to appear in Adv. Math

The {Farey fractions} $F_n$ of order $n$ consist of all fractions $\frac{h}{k}$ in lowest terms lying in the closed unit interval and having denominator at most $n$. This paper considers the products $F_n$ of all nonzero Farey fractions of order $n$. It studies their growth measured by $\log(F_n)$ and their divisibility properties by powers of a fixed prime, given by $ord_p(F_n)$, as a function of $n$. The growth of $\log(F_n)$ is related to the Riemann hypothesis. This paper theoretically and empirically studies the functions $ord_p(F_n)$ and formulates several unproved properties (P1)-(P4) they may have. It presents evidence raising the possibility that the Riemann hypothesis may also be encoded in $ord_p(F_n)$ for a single prime $p$. This encoding makes use of a relation of these products to the products $G_n$ of all reduced and unreduced Farey fractions of order $n$, which are connected by M\"obius inversion. It involves new arithmetic functions which mix the M\"obius function with functions of radix expansions to a fixed prime base $p$., Comment: 32 pages, 10 figures