Source author record

Alexander Ivanov

Alexander Ivanov appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

17works
13topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

17 published item(s)

preprint2022arXiv

Gromov-Hausdorff Distance and Borsuk Number

The aim of this paper is to demonstrate relations between Gromov-Hausdorff distance properties and the Borsuk Conjecture. The Borsuk number of a given bounded metric space $X$ is the infimum of cardinal numbers $n$ such that $X$ can be partitioned into $n$ smaller parts (in the sense of diameter). An exact formula for the Gromov-Hausdorff distance between bounded metric spaces is obtained under the assumptions that the diameter and the cardinality of one space is less than the diameter and the Borsuk number of the other one, respectively. Using Bacon equivalence results between Lusternik-Schnirelmann and Borsuk Problems several corollaries are obtained.

preprint2016arXiv

Gromov--Hausdorff Distance, Irreducible Correspondences, Steiner Problem, and Minimal Fillings

We introduce irreducible correspondences that enables us to calculate the Gromov--Hausdorff distances effectively. By means of these correspondences, we show that the set of all metric spaces each consisting of no more than $3$ points is isometric to a polyhedral cone in the space $R^3$ endowed with the maximum norm. We prove that for any $3$-point metric space such that all the triangle inequalities are strict in it, there exists a neighborhood such that the Steiner minimal trees (in Gromov-Hausdorff space) with boundaries from this neighborhood are minimal fillings, i.e., it is impossible to decrease the lengths of these trees by isometrically embedding their boundaries into any other ambient metric space. On the other hand, we construct an example of $3$-point boundary whose points are $3$-point metric spaces such that its Steiner minimal tree in the Gromov-Hausdorff space is not a minimal filling. The latter proves that the Steiner subratio of the Gromov-Hausdorff space is less than 1. The irreducible correspondences enabled us to create a quick algorithm for calculating the Gromov-Hausdorff distance between finite metric spaces. We carried out a numerical experiment and obtained more precise upper estimate on the Steiner subratio: we have shown that it is less than $0.857$.

preprint2016arXiv

Local Structure of Gromov-Hausdorff Space, and Isometric Embeddings of Finite Metric Spaces into this Space

We investigate the geometry of the family $\cal M$ of isometry classes of compact metric spaces, endowed with the Gromov-Hausdorff metric. We show that sufficiently small neighborhoods of generic finite spaces in the subspace of all finite metric spaces with the same number of points are isometric to some neighborhoods in the space ${\mathbb R}^N_{\infty}$, i.e., in the space ${\mathbb R}^N$ with the norm $\|(x_1,\ldots,x_N)\|=\max_i|x_i|$. As a corollary, we get that each finite metric space can be isometrically embedded into $\cal M$ in such a way that its image belongs to a subspace consisting of all finite metric spaces with the same number $k$ of points. If the initial space has $n$ points, then one can take $k$ as the least possible integer with $n\le k(k-1)/2$.

preprint2016arXiv

Realizations of Gromov-Hausdorff Distance

It is shown that for any two compact metric spaces there exists an "optimal" correspondence which the Gromov-Hausdorff distance is attained at. Each such correspondence generates isometric embeddings of these spaces into a compact metric space such that the Gromov-Hausdorff distance between the initial spaces is equal to the Hausdorff distance between their images. Also, the optimal correspondences could be used for constructing the shortest curves in the Gromov-Hausdorff space in exactly the same way as it was done by Alexander Ivanov, Nadezhda Nikolaeva, and Alexey Tuzhilin in arXiv:1504.03830, where it is proved that the Gromov-Hausdorff space is geodesic. Notice that all proofs in the present paper are elementary and use no more than the idea of compactness.

preprint2016arXiv

Steiner Ratio and Steiner-Gromov Ratio of Gromov-Hausdorff Space

In the present paper we investigate the metric space $\cal M$ consisting of isometry classes of compact metric spaces, endowed with the Gromov-Hausdorff metric. We show that for any finite subset $M$ from a sufficiently small neighborhood of a generic finite metric space, providing $M$ consists of finite metric spaces with the same number of points, each Steiner minimal tree in $\cal M$ connecting $M$ is a minimal filling for $M$. As a consequence, we prove that the both Steiner ratio and Gromov-Steiner ratio of $\cal M$ are equal to $1/2$.

preprint2015arXiv

Affine Deligne-Lusztig varieties of higher level and the local Langlands correspondence for $GL_2$

In the present article we define coverings of affine Deligne-Lusztig varieties attached to a connected reductive group over a local field of characteristic $p > 0$. In the case of $\GL_2$, the unramified part of the local Langlands correspondence is realized in the $\ell$-adic cohomology of these varieties. We show this by giving a detailed comparison with the realization of local Langlands via cuspidal types by Bushnell-Henniart. All proofs are purely local.

preprint2015arXiv

On a mechanical lens

In this paper, we consider the dynamics of a heavy homogeneous ball moving under the influence of dry friction on a fixed horizontal plane. We assume the ball to slide without rolling. We demonstrate that the plane may be divided into two regions, each characterized by a distinct coefficient of friction, so that balls with equal initial linear and angular velocity will converge upon the same point from different initial locations along a certain segment. We construct the boundary between the two regions explicitly and discuss possible applications to real physical systems.

preprint2015arXiv

Reconstructing decomposition subgroups in arithmetic fundamental groups using regulators

Our main goal in the present article is to explain how one can reconstruct the decomposition subgroups and norms of points on an arithmetic curve inside its fundamental group if the following data are given: the fundamental group, a part of the cyclotomic character and the family of the regulators of the fields corresponding to the generic points of all étale covers of the given curve. The approach is inspired by that of Tamagawa for curves over finite fields but uses Tsfasman-Vlăduţ theorem instead of Lefschetz trace formula. To the authors' knowledge, this is a new technique in the anabelian geometry of arithmetic curves. It is conditional and depends on still unknown properties of arithmetic fundamental groups. We also give a new approach via Iwasawa theory to the local correspondence at the boundary.

preprint2015arXiv

Stable sets of primes in number fields

We define a new class of sets -- stable sets -- of primes in number fields. For example, Chebotarev sets $P_{M/K}(σ)$, with $M/K$ Galois and $σ\in \Gal(M/K)$, are very often stable. These sets have positive (but arbitrary small) Dirichlet density and generalize sets with density 1 in the sense that arithmetic theorems like certain Hasse principles, the Grunwald-Wang theorem, the Riemann's existence theorem, etc. hold for them. Geometrically this allows to give examples of infinite sets $S$ with arbitrary small positive density such that $\Spec \mathcal{O}_{K,S}$ is algebraic $K(π,1)$ (for all $p$ simultaneous).

preprint2014arXiv

Densities of primes and realization of local extensions

In this paper we introduce new densities on the set of primes of a number field. If $K/K_0$ is a Galois extension of number fields, we associate to any element $x \in {\rm Gal}_{K/K_0}$ a density $δ_{K/K_0,x}$ on primes of $K$. In particular, the density associated to $x = 1$ is the usual Dirichlet density on $K$. After establishing some properties of these densities, we use them to show that the maximal solvable extension of a number field unramified outside an almost Chebotarev set realize the maximal local extension at each prime lying outside this set.

preprint2013arXiv

On a generalization of the Neukirch-Uchida theorem

In this paper we generalize a part of Neukirch-Uchida theorem for number fields from the birational case to the case of curves $\Spec \caO_{K,S}$ with $S$ a stable set of primes of a number field $K$. In particular, such sets can have arbitrarily small (positive) Dirichlet density. The proof consists of two parts: first one establishes a local correspondence at the boundary $S$, which works as in the original proof of Neukirch. But then, in contrast to Neukirchs proof, a direct conclusion via Chebotarev density theorem is not possible, since stable sets are in general too small, and one has to use further arguments.

preprint2013arXiv

On some anabelian properties of arithmetic curves

In this paper we generalize an argument of Neukirch from birational anabelian geometry to the case of arithmetic curves. In contrast to the function field case, it seems to be more complicate to describe the position of decomposition groups of points at the boundary of the scheme $\Spec \caO_{K,S}$, where $K$ is a number field and $S$ a set of primes of $K$, intrinsically in terms of the fundamental group. We prove that it is equivalent to give the following pieces of information additionally with the fundamental group $π_1(\Spec \caO_{K,S})$: the location of decomposition groups of boundary points inside it, the $p$-part of the cyclotomic character, the number of points on the boundary of all finite etale covers, etc. Under certain finiteness hypothesis on Tate-Shafarevich groups with divisible coefficients, one can reconstruct all this quantities from the fundamental group alone.