Addition and subspace theorems for asymptotic large inductive dimension

Taras Radul

DOI: https://doi.org/10.48550/arXiv.math/0507242

2005-07-13

Abstract:We prove addition and subspace theorems for asymptotic large inductive dimension. We investigate a transfinite extension of this dimension and show that it is trivial.

General Topology,Geometric Topology

What problem does this paper attempt to address?

A metric space with transfinite asymptotic dimension $2ω$

Taras Radul

DOI: https://doi.org/10.48550/arXiv.2002.01928

2020-02-05

Abstract:We build an example of a metric space with transfinite asymptotic dimension $2\omega$.

General Topology
Arithmetic subtrees in large subsets of products of trees

Kamil Bulinski,Alexander Fish

DOI: https://doi.org/10.48550/arXiv.2111.01452

2021-11-02

Abstract:Furstenberg-Weiss have extended Szemerédi's theorem on arithmetic progressions to trees by showing that a large subset of the tree contains arbitrarily long arithmetic subtrees. We study higher dimensional versions that analogously extend the multidimensional Szemerédi theorem by demonstrating the existence of certain arithmetic structures in large subsets of a cartesian product of trees.

Combinatorics,Dynamical Systems
On a quasi-additivity formula for the capacity on Ahlfors-regular spaces

Michelangelo Cavina

2023-12-14

Abstract:In this work we prove formulas of quasi-additivity for the capacity associated to kernels of radial type in the setting of the boundary of a tree structure and in the setting of compact Ahlfors-regular spaces. We also define a notion of harmonic extension, to one additional variable, of a function defined over a compact Ahlfors-regular space, and we prove a result of tangential convergence of the harmonic extension to the values at the boundary.

Functional Analysis
Lattice of intermediate subalgebras

Keshab Chandra Bakshi,Ved Prakash Gupta

DOI: https://doi.org/10.1112/jlms.12492

2020-05-10

Abstract:Analogous to subfactor theory, employing Watatani's notions of index and $C^*$-basic construction of certain inclusions of $C^*$-algebras, (a) we develop a Fourier theory (consisting of Fourier transforms, rotation maps and shift operators) on the relative commutants of any inclusion of simple unital $C^*$-algebras with finite Watatani index, and (b) we introduce the notions of interior and exterior angles between intermediate $C^*$-subalgebras of any inclusion of unital $C^*$-algebras admitting a finite index conditional expectation. Then, on the lines of [2], we apply these concepts to obtain a bound for the cardinality of the lattice of intermediate $C^*$-subalgebras of any irreducible inclusion as in (a), and improve Longo's bound for the cardinality of intermediate subfactors of an inclusion of type $III$ factors with finite index. Moreover, we also show that for a fairly large class of inclusions of finite von Neumann algebras, the lattice of intermediate von Neumann subalgebras is always finite.

Operator Algebras,Functional Analysis
Dimension and depth inequalities over complete intersections

Petter Andreas Bergh,David A. Jorgensen,Peder Thompson

2024-06-25

Abstract:For a pair of finitely generated modules $M$ and $N$ over a codimension $c$ complete intersection ring $R$ with $\ell(M\otimes_RN)$ finite, we pay special attention to the inequality $\dim M+\dim N \leq \dim R +c$. In particular, we develop an extension of Hochster's theta invariant whose nonvanishing detects equality. In addition, we consider a parallel theory where dimension and codimension are replaced by depth and complexity, respectively.

Commutative Algebra
Asymptotic dimension for covers with controlled growth

David Hume,John M. Mackay,Romain Tessera

2023-03-03

Abstract:We prove various obstructions to the existence of regular maps (or coarse embeddings) between commonly studied spaces. For instance, there is no regular map (or coarse embedding) $\mathbb H^n\to\mathbb H^{n-1}\times Y$ for $n\geq 3$, or $(T_3)^n \to (T_3)^{n-1}\times Y$ whenever $Y$ is a bounded degree graph with subexponential growth, where $T_3$ is the $3$-regular tree. We also resolve a question of Benjamini-Schramm-Timár, proving that there is no regular map $\mathbb H^2 \to T_3 \times Y$ whenever $Y$ is a bounded degree graph with at most polynomial growth, and no quasi-isometric embedding whenever $Y$ has subexponential growth. Finally, we show that there is no regular map $F^n\to \mathbb Z\wr F^{n-1}$ where $F$ is the free group on two generators. To prove these results, we introduce and study generalizations of asymptotic dimension which allow unbounded covers with controlled growth. For bounded degree graphs, these invariants are monotone with respect to regular maps (hence coarse embeddings).

Metric Geometry
Admissible extensions of subtheories of second order arithmetic

Gerhard Jäger,Michael Rathjen

DOI: https://doi.org/10.1016/j.apal.2024.103425

IF: 0.776

2024-03-30

Annals of Pure and Applied Logic

Abstract:In this paper we study admissible extensions of several theories T of reverse mathematics. The idea is that in such an extension the structure M=(N,S,∈) of the natural numbers and collection of sets of natural numbers S has to obey the axioms of T while simultaneously one also has a set-theoretic world with transfinite levels erected on top of M governed by the axioms of Kripke-Platek set theory, KP . In some respects, the admissible extension of T can be viewed as a proof-theoretic analog of Barwise's admissible cover of an arbitrary model of set theory; see [2] . However, by contrast, the admissible extension of T is usually not a conservative extension of T . Owing to the interplay of T and KP , either theory's axioms may force new sets of natural to exists which in turn may engender yet new sets of naturals on account of the axioms of the other. The paper discerns a general pattern though. It turns out that for many familiar theories T , the second order part of the admissible cover of T equates to T augmented by transfinite induction over all initial segments of the Bachmann-Howard ordinal. Technically, the paper uses a novel type of ordinal analysis, expanding that for KP to the higher set-theoretic universe while at the same time treating the world of subsets of N as an unanalyzed class-sized urelement structure. Among the systems of reverse mathematics, for which we determine the admissible extension, are Π11-CA0 and ATR0 as well as the theory of bar induction, BI .

mathematics, applied,logic
On metric spaces with given transfinite asymptotic dimensions

Yan Wu,Jingming Zhu,Taras Radul

DOI: https://doi.org/10.1016/j.topol.2022.108135

IF: 0.583

2022-06-01

Topology and its Applications

Abstract:For every countable ordinal number ξ, we construct a metric space Xξ whose transfinite asymptotic dimension and complementary-finite asymptotic dimension are both ξ.

mathematics, applied
Extension theorems for large scale spaces via coarse neighbourhoods

Jerzy Dydak,Thomas Weighill

DOI: https://doi.org/10.48550/arXiv.1609.01647

2018-10-23

Abstract:We introduce the notion of (hybrid) large scale normal space and prove coarse geometric analogues of Urysohn's Lemma and the Tietze Extension Theorem for these spaces, where continuous maps are replaced by (continuous and) slowly oscillating maps. To do so, we first prove a general form of each of these results in the context of a set equipped with a neighbourhood operator satisfying certain axioms, from which we obtain both the classical topological results and the (hybrid) large scale results as corollaries. We prove that all metric spaces are hybrid large scale normal, and characterize those locally compact abelian groups which (as hybrid large scale spaces) are hybrid large scale normal. Finally, we look at some properties of the Higson compactifications and coronas of hybrid large scale normal spaces.

Metric Geometry,General Topology
Extremal affine subspaces and Khintchine-Jarník type theorems

Jing-Jing Huang

2024-02-03

Abstract:We prove a conjecture of Kleinbock which gives a clear-cut classification of all extremal affine subspaces of $\mathbb{R}^n$. We also give an essentially complete classification of all Khintchine type affine subspaces, except for some boundary cases within two logarithmic scales. More general Jarník type theorems are proved as well, sometimes without the monotonicity of the approximation function. These results follow as consequences of our novel estimates for the number of rational points close to an affine subspace in terms of diophantine properties of its defining matrix. Our main tool is the multidimensional large sieve inequality and its dual form.

Number Theory
An improvement of a theorem of Heinrich, Mankiewicz, Sims, and Yost

Trond A. Abrahamsen

DOI: https://doi.org/10.48550/arXiv.1411.0425

2014-11-03

Functional Analysis

Abstract:Heinrich, Mankiewicz, Sims, and Yost proved that every separable subspace of a Banach space $Y$ is contained in a separable ideal in $Y$. We improve this result by replacing the term "ideal" with the term "almost isometric ideal". As a consequence of this we obtain, in terms of subspaces, characterizations of diameter 2 properties, the Daugavet property along with the properties of being an almost square space and an octahedral space.
Asymptotics in infinite monoidal categories

Abel Lacabanne,Daniel Tubbenhauer,Pedro Vaz

2024-04-15

Abstract:We discuss formulas for the asymptotic growth rate of the number of summands in tensor powers in certain (finite or infinite) monoidal categories. Our focus is on monoidal categories with infinitely many indecomposable objects, with our main tools being generalized Perron-Frobenius theory alongside techniques from random walks.

Category Theory,Combinatorics,Representation Theory
Bounded $t$-structures, finitistic dimensions, and singularity categories of triangulated categories

Rudradip Biswas,Hongxing Chen,Kabeer Manali Rahul,Chris J. Parker,Junhua Zheng

2024-07-26

Abstract:Recently, Amnon Neeman settled a bold conjecture by Antieau, Gepner, and Heller regarding the relationship between the regularity of finite-dimensional noetherian schemes and the existence of bounded $t$-structures on their derived categories of perfect complexes. In this paper, using different methods, we prove some very general results about the existence of bounded $t$-structures on (not necessarily algebraic or topological) triangulated categories and their invariance under completion. We show that if the opposite category of an essentially small triangulated category has finite finitistic dimension in our sense, then the existence of a bounded t-structure on it forces it to be equal to its completion. We also prove a parallel result regarding the equivalence of all bounded t-structures on any intermediate triangulated category between the starting category and its completion. Our general treatment, when specialized to the case of schemes, immediately gives us Neeman's theorem as an application and significantly generalizes another remarkable theorem by Neeman about the equivalence of bounded $t$-structures on the bounded derived categories of coherent sheaves. When specialized to other cases like associative rings, nonpositive DG-rings, connective $\mathbb{E}_1$-rings, triangulated categories without models, etc., we get many other applications. Under mild finiteness assumptions, these results not only give a categorical obstruction (the singularity category in our sense) to the existence of bounded $t$-structures on a triangulated category, but also provide plenty of triangulated categories on which all bounded $t$-structures are equivalent. The strategy used in our treatment is introducing a new concept of finitistic dimension for triangulated categories and lifting $t$-structures along completions of triangulated categories.

Rings and Algebras,Algebraic Geometry,Category Theory,Representation Theory
Topological asymptotic dimension

Massoud Amini

2024-04-16

Abstract:We initiate a study of asymptotic dimension for locally compact groups. This notion extends the existing invariant for discrete groups and is shown to be finite for a large class of residually compact groups. Along the way, the notion of Hirsch length is extended to topological groups and classical results of Hirsch and Malcev are extended using a topological version of the Poincaré lemma. We show that polycyclic-by-compact groups and compactly generated, topologically virtually nilpotent groups are residually compact, and that compactly generated nilpotent groups are polycyclic-by-compact. We prove that for compactly generated, solvable-by-compact groups the asymptotic dimension is majorized by the Hirsch length, and equality holds for polycyclic-by-compact groups. We extend the class of elementary amenable groups beyond the discrete case and show that topologically elementary amenable groups with finite Hirsch length have finite asymptotic dimension. We prove that a topologically elementary amenable group of finite Hirsch length with no nontrivial locally elliptic normal closed subgroup is solvable-by-compact. Finally, we show that a totally disconnected, locally compact, second countable [SIN]-group has finite asymptotic dimension, if all of its discrete quotients are so.

Dynamical Systems
A multidimensional Tauberian theorem for Laplace transforms of ultradistributions

Lenny Neyt,Jasson Vindas

DOI: https://doi.org/10.1080/10652469.2019.1699556

2019-12-09

Abstract:We obtain a multidimensional Tauberian theorem for Laplace transforms of Gelfand-Shilov ultradistributions. The result is derived from a Laplace transform characterization of bounded sets in spaces of ultradistributions with supports in a convex acute cone of $\mathbb{R}^{n}$, also established here.

Functional Analysis
A higher-dimensional version of Fáry's theorem

Karim Adiprasito,Zuzana Patáková

2024-04-27

Abstract:We prove a generalization of Istvan Fáry's celebrated theorem to higher dimension.

Geometric Topology,Combinatorics
Intermediate dimensions of infinitely generated attractors

Amlan Banaji,Jonathan M. Fraser

DOI: https://doi.org/10.1090/tran/8766

2021-05-01

Abstract:We study the dimension theory of limit sets of iterated function systems consisting of a countably infinite number of contractions. Our primary focus is on the intermediate dimensions: a family of dimensions depending on a parameter $\theta \in [0,1]$ which interpolate between the Hausdorff and box dimensions. Our main results are in the case when all the contractions are conformal. Under a natural separation condition we prove that the intermediate dimensions of the limit set are the maximum of the Hausdorff dimension of the limit set and the intermediate dimensions of the set of fixed points of the contractions. This builds on work of Mauldin and Urba\'nski concerning the Hausdorff and upper box dimension. We give several (often counter-intuitive) applications of our work to dimensions of projections, fractional Brownian images, and general H\"older images. These applications apply to well-studied examples such as sets of numbers which have real or complex continued fraction expansions with restricted entries. We also obtain several results without assuming conformality or any separation conditions. We prove general upper bounds for the Hausdorff, box and intermediate dimensions of infinitely generated attractors in terms of a topological pressure function. We also show that the limit set of a 'generic' infinite iterated function system has box and intermediate dimensions equal to the ambient spatial dimension, where 'generic' can mean either 'full measure' or 'comeagre.'

Dynamical Systems,Classical Analysis and ODEs,Metric Geometry
On the structures of subset sums in higher dimension

Norbert Hegyvári,Máté Pálfy,Erfei Yue

2024-06-06

Abstract:A given subset $A$ of natural numbers is said to be complete if every element of $\N$ is the sum of distinct terms taken from $A$. This topic is strongly connected to the knapsack problem which is known to be NP complete. The main goal of the paper is to study the structure of subset sums in a higher dimension. We show 'dense' sets and generalized arithmetic progrssions in subset sums of certain sets.

Combinatorics,Number Theory
On the interplay between notions of additive and multiplicative largeness and its combinatorial applications

Vitaly Bergelson,Daniel Glasscock

DOI: https://doi.org/10.1016/j.jcta.2019.105203

2024-09-11

Abstract:Many natural notions of additive and multiplicative largeness arise from results in Ramsey theory. In this paper, we explain the relationships between these notions for subsets of $\mathbb{N}$ and in more general ring-theoretic structures. We show that multiplicative largeness begets additive largeness in three ways and give a collection of examples demonstrating the optimality of these results. We also give a variety of applications arising from the connection between additive and multiplicative largeness. For example, we show that given any $n, k \in \mathbb{N}$, any finite set with fewer than $n$ elements in a sufficiently large finite field can be translated so that each of its elements becomes a non-zero $k^{\text{th}}$ power. We also prove a theorem concerning Diophantine approximation along multiplicatively syndetic subsets of $\mathbb{N}$ and a theorem showing that subsets of positive upper Banach density in certain multiplicative sub-semigroups of $\mathbb{N}$ of zero density contain arbitrarily long arithmetic progressions. Along the way, we develop a new characterization of upper Banach density in a wide class of amenable semigroups and make explicit the uniformity in recurrence theorems from measure theoretic and topological dynamics. This in turn leads to strengthened forms of classical theorems of Szemerédi and van der Waerden on arithmetic progressions.

Combinatorics,Dynamical Systems

Addition and subspace theorems for asymptotic large inductive dimension

A metric space with transfinite asymptotic dimension $2ω$

Arithmetic subtrees in large subsets of products of trees

On a quasi-additivity formula for the capacity on Ahlfors-regular spaces

Lattice of intermediate subalgebras

Dimension and depth inequalities over complete intersections

Asymptotic dimension for covers with controlled growth

Admissible extensions of subtheories of second order arithmetic

On metric spaces with given transfinite asymptotic dimensions

Extension theorems for large scale spaces via coarse neighbourhoods

Extremal affine subspaces and Khintchine-Jarník type theorems

An improvement of a theorem of Heinrich, Mankiewicz, Sims, and Yost

Asymptotics in infinite monoidal categories

Bounded $t$-structures, finitistic dimensions, and singularity categories of triangulated categories

Topological asymptotic dimension

A multidimensional Tauberian theorem for Laplace transforms of ultradistributions

A higher-dimensional version of Fáry's theorem

Intermediate dimensions of infinitely generated attractors

On the structures of subset sums in higher dimension

On the interplay between notions of additive and multiplicative largeness and its combinatorial applications