Homotopy groups of moduli spaces of representations

We calculate certain homotopy groups of the moduli spaces for representations of a compact oriented surface in the Lie groups and . Our approach relies on the interpretation of these representations in terms of Higgs bundles and uses Bott-Morse theory on the corresponding moduli spaces.     

The orientable genus of some joins of complete graphs with large edgeless graphs

In an earlier paper the authors showed that with one exception the nonorientable genus of the graph with m≥n−1, the join of a complete graph with a large edgeless graph, is the same as the nonorientable genus of the spanning subgraph . The orientable genus problem for with m≥n−1 seems to be more difficult, but in this paper we find the orientable genus of some of these graphs. In particular, we determine the genus of when n is even and m≥n, the genus of when n=2^p+2 for p≥3 and m≥n−1, and the genus of when n=2^p+1 for p≥3 and m≥n+1. In all of these cases the genus is the same as the genus of K_m,n, namely ⌈(m−2)(n−2)/4⌉.     

On the Ricci and Einstein equations on the pseudo-euclidean and hyperbolic spaces

We consider tensors T=fg on the pseudo-euclidean space Rn and on the hyperbolic space Hn, where n?3, g is the standard metric and f is a differentiable function. For such tensors, we consider, in both spaces, the problems of existence of a Riemannian metric , conformal to g, such that , and the existence of such a metric which satisfies , where is the scalar curvature of . We find the restrictions on the Ricci candidate for solvability and we construct the solutions when they exist. We show that these metrics are unique up to homothety, we characterize those globally defined and we determine the singularities for those which are not globally defined. None of the non-homothetic metrics , defined on Rn or Hn, are complete. As a consequence of these results, we get positive solutions for the equation , where g is the pseudo-euclidean metric.     

On approximation of functions from Sobolev spaces on metric graphs

Some results on the approximation of functions from the Sobolev spaces on metric graphs by step functions are obtained. In particular, we show that the approximation numbers a_n of the embedding operator of the Sobolev space on a graph G of finite length |G| into the space , where μ is an arbitrary finite Borel measure on G, satisfy the inequality

     

Approximation of quantum tori by finite quantum tori for the quantum Gromov-Hausdorff distance

We establish that, given a compact Abelian group G endowed with a continuous length function l and a sequence (H_n)_n∈N of closed subgroups of G converging to G for the Hausdorff distance induced by l, then is the quantum Gromov-Hausdorff limit of any sequence for the natural quantum metric structures and when the lifts of σ_n to converge pointwise to σ. This allows us in particular to approximate the quantum tori by finite-dimensional C^*-algebras for the quantum Gromov-Hausdorff distance. Moreover, we also establish that if the length function l is allowed to vary, we can collapse quantum metric spaces to various quotient quantum metric spaces.     

The Laplacian spectral radius of some bipartite graphs

In this paper, we study the largest Laplacian spectral radius of the bipartite graphs with n vertices and k cut edges and the bicyclic bipartite graphs, respectively. Identifying the center of a star K_1,k and one vertex of degree n of K_m,n, we denote by the resulting graph. We show that the graph (1?k?n-4) is the unique graph with the largest Laplacian spectral radius among the bipartite graphs with n vertices and k cut edges, and (n?7) is the unique graph with the largest Laplacian spectral radius among all the bicyclic bipartite graphs.     

Pointwise characterizations of Besov and Triebel–Lizorkin spaces and quasiconformal mappings

In this paper, the authors characterize, in terms of pointwise inequalities, the classical Besov spaces and Triebel–Lizorkin spaces for all s∈(0,1) and p,q∈(n/(n+s),∞], both in Rn and in the metric measure spaces enjoying the doubling and reverse doubling properties. Applying this characterization, the authors prove that quasiconformal mappings preserve on Rn for all s∈(0,1) and q∈(n/(n+s),∞]. A metric measure space version of the above morphism property is also established.     

A characterization of Haj?asz-Sobolev and Triebel-Lizorkin spaces via grand Littlewood-Paley functions

In this paper, we establish the equivalence between the Haj?asz-Sobolev spaces or classical Triebel-Lizorkin spaces and a class of grand Triebel-Lizorkin spaces on Euclidean spaces and also on metric spaces that are both doubling and reverse doubling. In particular, when p∈(n/(n+1),∞), we give a new characterization of the Haj?asz-Sobolev spaces via a grand Littlewood-Paley function.     

Universal moduli spaces of surfaces with flat bundles and cobordism theory

For a compact, connected Lie group G, we study the moduli of pairs (Σ,E), where Σ is a genus g Riemann surface and E→Σ is a flat G-bundle. Varying both the Riemann surface Σ and the flat bundle leads to a moduli space , parametrizing families Riemann surfaces with flat G-bundles. We show that there is a stable range in which the homology of is independent of g. The stable range depends on the genus of the surface. We then identify the homology of this moduli space in the stable range, in terms of the homology of an explicit infinite loop space. Rationally, the stable cohomology of this moduli space is generated by the Mumford-Morita-Miller κ-classes, and the ring of characteristic classes of principal G-bundles, H^∗(BG). Equivalently, our theorem calculates the homology of the moduli space of semi-stable holomorphic bundles on Riemann surfaces.We then identify the homotopy type of the category of one-manifolds and surface cobordisms, each equipped with a flat G-bundle. Our methods combine the classical techniques of Atiyah and Bott, with the new techniques coming out of Madsen and Weiss's proof of Mumford's conjecture on the stable cohomology of the moduli space of Riemann surfaces.     

The coarse shape groups

The (pointed) coarse shape category Sh^* (), having (pointed) topological spaces as objects and having the (pointed) shape category as a subcategory, was recently constructed. Its isomorphisms classify (pointed) topological spaces strictly coarser than the (pointed) shape type classification. In this paper we introduce a new algebraic coarse shape invariant which is an invariant of shape and homotopy, as well. For every pointed space (X,?) and for every k∈N₀, the coarse shape group , having the standard shape group for its subgroup, is defined. Furthermore, a functor is constructed. The coarse shape and shape groups already differ on the class of polyhedra. An explicit formula for computing coarse shape groups of polyhedra is given. The coarse shape groups give us more information than the shape groups. Generally, does not imply (e.g. for solenoids), but from pro-πk(X,?)=0 follows . Moreover, for pointed metric compacta (X,?), the n-shape connectedness is characterized by , for every k?n.     

Globalization of the partial isometries of metric spaces and local approximation of the group of isometries of Urysohn space

We prove the equivalence of the two important facts about finite metric spaces and universal Urysohn metric spaces U, namely Theorems A and G: Theorem A (Approximation): The group of isometry ISO(U) contains everywhere dense locally finite subgroup; Theorem G (Globalization): For each finite metric space F there exists another finite metric space and isometric imbedding j of F to such that isometry j induces the imbedding of the group monomorphism of the group of isometries of the space F to the group of isometries of space and each partial isometry of F can be extended up to global isometry in . The fact that Theorem G, is true was announced in 2005 by author without proof, and was proved by S. Solecki in [S. Solecki, Extending partial isometries, Israel J. Math. 150 (2005) 315-332] (see also [V. Pestov, The isometry group of the Urysohn space as a Lévy group, Topology Appl. 154 (10) (2007) 2173-2184; V. Pestov, A theorem of Hrushevski-Solecki-Vershik applied to uniform and coarse embeddings of the Urysohn metric space, math/0702207]) based on the previous complicate results of other authors. The theorem is generalization of the Hrushevski's theorem about the globalization of the partial isomorphisms of finite graphs. We intend to give a constructive proof in the same spirit for metric spaces elsewhere. We also give the strengthening of homogeneity of Urysohn space and in the last paragraph we gave a short survey of the various constructions of Urysohn space including the new proof of the construction of shift invariant universal distance matrix from [P. Cameron, A. Vershik, Some isometry groups of Urysohn spaces, Ann. Pure Appl. Logic 143 (1-3) (2006) 70-78].     

Moduli spaces and multiple polylogarithm motives

In this paper, we give a natural construction of mixed Tate motives whose periods are a class of iterated integrals which include the multiple polylogarithm functions. Given such an iterated integral, we construct two divisors A and B in the moduli spaces of n-pointed stable curves of genus 0, and prove that the cohomology of the pair is a framed mixed Tate motive whose period is that integral. It generalizes the results of A. Goncharov and Yu. Manin for multiple ζ-values. Then we apply our construction to the dilogarithm and calculate the period matrix which turns out to be same with the canonical one of Deligne.     

Further results on the least eigenvalue of connected graphs

In this paper, we identify within connected graphs of order n and size n+k (with and ) the graphs whose least eigenvalue is minimal. It is also observed that the same graphs have the largest spectral spread if n is large enough.     

Extending homeomorphisms from punctured surfaces to handlebodies

Let Hg be a genus g handlebody and MCG2n(Tg) be the group of the isotopy classes of orientation preserving homeomorphisms of Tg=∂Hg, fixing a given set of 2n points. In this paper we find a finite set of generators for , the subgroup of MCG2n(Tg) consisting of the isotopy classes of homeomorphisms of Tg admitting an extension to the handlebody and keeping fixed the union of n disjoint properly embedded trivial arcs. This result generalizes a previous one obtained by the authors for n=1. The subgroup turns out to be important for the study of knots and links in closed 3-manifolds via (g,n)-decompositions. In fact, the links represented by the isotopy classes belonging to the same left cosets of in MCG2n(Tg) are equivalent.     

The transitivity of induced maps

For a metric continuum X, we consider the hyperspaces X² and C(X) of the closed and nonempty subsets of X and of subcontinua of X, respectively, both with the Hausdorff metric. For a given map we investigate the transitivity of the induced maps and . Among other results, we show that if X is a dendrite or a continuum of type λ and is a map, then C(f) is not transitive. However, if X is the Hilbert cube, then there exists a transitive map such that f² and C(f) are transitive.     

Some relations between rank of a graph and its complement

Let G be a graph of order n and rank(G) denotes the rank of its adjacency matrix. Clearly, . In this paper we characterize all graphs G such that or n + 2. Also for every integer n ? 5 and any k, 0 ? k ? n, we construct a graph G of order n, such that .     

On the range of a covering function

Let be a finite system of residue classes with the moduli n₁,…,n_k distinct. By means of algebraic integers we show that the range of the covering function is not contained in any residue class with modulus greater one. In particular, the values of w(x) cannot have the same parity.