In this article we define and study a notion of asymptotic rank for metric spaces and show in our main theorem that for a large class of spaces, the asymptotic rank is characterized by the growth of the higher filling functions. For a proper, cocompact, simplyconnected geodesic metric space of non-curvature in the sense of Alexandrov the asymptotic rank equals its Euclidean rank.

Abstract. Let L be a lattice and M a bounded distributive lattice. Let ConL denote the congruence lattice of L, P (M) the Priestley dual space of M , and L (M) the lattice of continuous order-preserving maps from P (M) to L with the discrete topology. It is shown that Con(L ) ∼= (ConL) P (ConM) Λ , the lattice of continuous order-preserving maps from P (ConM) to ConL with the Lawson topology. V...

This paper focuses on the relationships between stratified $L$-conver-gence spaces, stratified strong $L$-convergence spaces and stratifiedlevelwise  $L$-convergence spaces. It has been known that: (1) astratified $L$-convergence space is precisely a left-continuousstratified levelwise $L$-convergence space; and (2) a  stratifiedstrong $L$-convergence space is naturally a stratified $L$-converg...

A topology on a lattice L or more generally on a partially ordered set P is called an intrinsic topology if it is de ned directly from the order Early ex amples of such topologies were the interval topology of O Frink Fr and the order topology introduced by G Birkho Bi The early intrinsic topolo gies were typically symmetric i e the topology de ned on L agreed with the topology de ned on L the ...

A classical result of A. D. Alexandrov states that a connected compact smooth n-dimensional manifold without boundary, embedded in Rn+1, and such that its mean curvature is constant, is a sphere. Here we study the problem of symmetry of M in a hyperplane Xn+1 = const in case M satisfies: for any two points (X, Xn+1), (X , X̂n+1) on M , with Xn+1 > X̂n+1, the mean curvature at the first is not gre...

In Alexandrov spaces of curvature bounded either above (CBA) or below (CBB), we obtain extrinsic curvature bounds on subspaces associated with semiconcave functions. For CBA spaces, we obtain new intrinsic curvature bounds on subspaces. For CBB spaces whose boundary is extrinsically curved, we strengthen Perelman’s concavity theorem for distance from the boundary, deriving corollaries on sharp ...

We prove that, if a geodesic metric space has Markov type 2 with constant 1, then it is an Alexandrov space of nonnegative curvature. The same technique provides a lower bound of the Markov type 2 constant of a space containing a tripod or a branching point.

L. Lambán et al. () ACL2 and Algebraic Topology 1 / 23 Introduction Kenzo symbolic computation system: a Common Lisp program devoted to Algebraic (Simplicial) Topology. ◮ A research tool: used to obtain relevant results in the field, neither confirmed nor refuted by any other means. The following question makes sense: Is it Kenzo correct? Our goal: we want to formally prove correcteness propert...