-
p-adic functionals on finite-rank torsion-free abelian groups
Authors:
Gregory R. Maloney
Abstract:
Let p be a prime and G be a torsion-free abelian group. A homomorphism from G to the p-adic integers is called a p-adic functional on G. If G has finite rank, then G can be represented as an inductive limit of an inductive sequence of free abelian groups of the same rank, and the group of all p-adic functionals on G is described in terms of this inductive sequence. If this inductive sequence is st…
▽ More
Let p be a prime and G be a torsion-free abelian group. A homomorphism from G to the p-adic integers is called a p-adic functional on G. If G has finite rank, then G can be represented as an inductive limit of an inductive sequence of free abelian groups of the same rank, and the group of all p-adic functionals on G is described in terms of this inductive sequence. If this inductive sequence is stationary--i.e., if the homomorphism is the same at every stage--then the group of p-adic functionals is described in particularly simple terms, as a right-submodule that is invariant under the module homomorphism that this group homomorphism induces. It is shown that the class consisting of all such stationary inductive limits is closed under quasi-isomorphism; this strengthens a previous classification result of Dugas.
△ Less
Submitted 8 August, 2016;
originally announced August 2016.
-
p-adic functionals on torsion-free abelian groups
Authors:
Gregory R. Maloney
Abstract:
Let p be a prime. A p-adic functional on a torsion-free abelian group G is a group homomorphism from G to the p-adic integers. The group of all such p-adic functionals is viewed as a p-adic dual group of G, and is studied from the point of view of functional analysis. An analogue of the Hahn--Banach Theorem is proved; this result shows that there are sufficiently many p-adic functionals to be inte…
▽ More
Let p be a prime. A p-adic functional on a torsion-free abelian group G is a group homomorphism from G to the p-adic integers. The group of all such p-adic functionals is viewed as a p-adic dual group of G, and is studied from the point of view of functional analysis. An analogue of the Hahn--Banach Theorem is proved; this result shows that there are sufficiently many p-adic functionals to be interesting.
There is a natural homomorphism from G to its p-adic double dual, and one main result that is proved is that the image of G in this double dual is dense in an appropriate topology. This is used to prove the second main result, which says that the p-adic double dual of G is the same as the pro-p completion of G.
The theory of p-adic functionals can then be used to produce a matrix description of G if G has finite rank. This matrix description is related to another matrix description due to Malcev.
△ Less
Submitted 9 August, 2016; v1 submitted 15 July, 2016;
originally announced July 2016.
-
Beyond primitivity for one-dimensional substitution subshifts and tiling spaces
Authors:
Gregory R. Maloney,
Dan Rust
Abstract:
We study the topology and dynamics of subshifts and tiling spaces associated to non-primitive substitutions in one dimension. We identify a property of a substitution, which we call tameness, in the presence of which most of the possible pathological behaviours of non-minimal substitutions cannot occur. We find a characterization of tameness, and use this to prove a slightly stronger version of a…
▽ More
We study the topology and dynamics of subshifts and tiling spaces associated to non-primitive substitutions in one dimension. We identify a property of a substitution, which we call tameness, in the presence of which most of the possible pathological behaviours of non-minimal substitutions cannot occur. We find a characterization of tameness, and use this to prove a slightly stronger version of a result of Durand, which says that the subshift of a minimal substitution is topologically conjugate to the subshift of a primitive substitution.
We then extend to the non-minimal setting a result obtained by Anderson and Putnam for primitive substitutions, which says that a substitution tiling space is homeomorphic to an inverse limit of a certain finite graphx under a self-map induced by the substitution. We use this result to explore the structure of the lattice of closed invariant subspaces and quotients of a substitution tiling space, for which we compute cohomological invariants that are stronger that the Čech cohomology of the tiling space alone.
△ Less
Submitted 17 July, 2017; v1 submitted 5 April, 2016;
originally announced April 2016.
-
Simple dimension groups that are isomorphic to stationary inductive limits
Authors:
Gregory R. Maloney
Abstract:
A dimension group is an ordered abelian group that is an inductive limit of a sequence of simplicial groups, and a stationary dimension group is such an inductive limit in which the homomorphism is the same at every stage. If a simple dimension group is stationary then up to scalar multiplication it admits a unique trace (positive real-valued homomorphism), but the short exact sequence associated…
▽ More
A dimension group is an ordered abelian group that is an inductive limit of a sequence of simplicial groups, and a stationary dimension group is such an inductive limit in which the homomorphism is the same at every stage. If a simple dimension group is stationary then up to scalar multiplication it admits a unique trace (positive real-valued homomorphism), but the short exact sequence associated to this trace need not split. In an earlier paper, Handelman described these ordered groups concretely in the case when the trace has trivial kernel---i.e., the group is totally ordered---and in the case when the group is free. The main result here is a concrete description of how a stationary simple dimension group is built from the kernel and image of its trace. Specifically, every stationary simple dimension group contains the direct sum of the kernel of its trace with a copy of the image, and is generated by that direct sum and finitely many extra elements. Moreover, any ordered abelian group of this description is stationary.
The following interesting fact is proved along the way to the main result: given any positive integer m and any square integer matrix B, there are two distinct integer powers of B, the difference of which has all entries divisible by m.
△ Less
Submitted 12 July, 2015;
originally announced July 2015.
-
On substitution tilings of the plane with n-fold rotational symmetry
Authors:
Gregory R. Maloney
Abstract:
A method is described for constructing, with computer assistance, planar substitution tilings that have n-fold rotational symmetry. This method uses as prototiles the set of rhombs with angles that are integer multiples of pi/n, and includes various special cases that have already been constructed by hand for low values of n. An example constructed by this method for n = 11 is exhibited; this is t…
▽ More
A method is described for constructing, with computer assistance, planar substitution tilings that have n-fold rotational symmetry. This method uses as prototiles the set of rhombs with angles that are integer multiples of pi/n, and includes various special cases that have already been constructed by hand for low values of n. An example constructed by this method for n = 11 is exhibited; this is the first substitution tiling with 11-fold symmetry appearing in the literature.
△ Less
Submitted 29 August, 2014;
originally announced September 2014.
-
The ultrasimplicial property for simple dimension groups with unique state, the image of which has rank one
Authors:
Gregory R. Maloney
Abstract:
Let $G$ be an ordered group that is a direct sum of a rank-one torsion-free abelian group and a finite-rank torsion-free abelian group, with order structure arising from the natural order on the first summand. A necessary condition and a sufficient condition are given for $G$ to have an ordered-group inductive limit representation using injective maps.
Let $G$ be an ordered group that is a direct sum of a rank-one torsion-free abelian group and a finite-rank torsion-free abelian group, with order structure arising from the natural order on the first summand. A necessary condition and a sufficient condition are given for $G$ to have an ordered-group inductive limit representation using injective maps.
△ Less
Submitted 17 June, 2014;
originally announced June 2014.
-
A computer search for planar substitution tilings with n-fold rotational symmetry
Authors:
Franz Gähler,
Eugene E. Kwan,
Gregory R. Maloney
Abstract:
We describe a computer algorithm that searches for substitution rules on a set of triangles, the angles of which are all integer multiples of π/n. We find new substitution rules admitting 7-fold rotational symmetry at many different inflation factors.
We describe a computer algorithm that searches for substitution rules on a set of triangles, the angles of which are all integer multiples of π/n. We find new substitution rules admitting 7-fold rotational symmetry at many different inflation factors.
△ Less
Submitted 18 April, 2014;
originally announced April 2014.
-
Cohomology of One-dimensional Mixed Substitution Tiling Spaces
Authors:
Franz Gähler,
Gregory R. Maloney
Abstract:
We compute the Cech cohomology with integer coefficients of one-dimensional tiling spaces arising from not just one, but several different substitutions, all acting on the same set of tiles. These calculations involve the introduction of a universal version of the Anderson-Putnam complex. We show that, under a certain condition on the substitutions, the projective limit of this universal Anderson-…
▽ More
We compute the Cech cohomology with integer coefficients of one-dimensional tiling spaces arising from not just one, but several different substitutions, all acting on the same set of tiles. These calculations involve the introduction of a universal version of the Anderson-Putnam complex. We show that, under a certain condition on the substitutions, the projective limit of this universal Anderson-Putnam complex is isomorphic to the tiling space, and we introduce a simplified universal Anderson-Putnam complex that can be used to compute Cech cohomology. We then use this simplified complex to place bounds on the rank of the first cohomology group of a one-dimensional substitution tiling space in terms of the number of tiles.
△ Less
Submitted 5 March, 2012; v1 submitted 7 December, 2011;
originally announced December 2011.
-
A classification of finite rank dimension groups by their representations in ordered real vector spaces
Authors:
Greg Maloney,
Aaron Tikuisis
Abstract:
This paper systematically studies finite rank dimension groups, as well as finite dimensional ordered real vector spaces with Riesz interpolation. We provide an explicit description and classification of finite rank dimension groups, in the following sense. We show that for each n, there are (up to isomorphism) finitely many ordered real vector spaces of dimension n that have Riesz interpolation,…
▽ More
This paper systematically studies finite rank dimension groups, as well as finite dimensional ordered real vector spaces with Riesz interpolation. We provide an explicit description and classification of finite rank dimension groups, in the following sense. We show that for each n, there are (up to isomorphism) finitely many ordered real vector spaces of dimension n that have Riesz interpolation, and we give an explicit model for each of them in terms of combinatorial data. We show that every finite rank dimension group can be realized as a subgroup of a finite dimensional ordered real vector space with Riesz interpolation via a canonical embedding. We then characterize which of the subgroups of a finite dimensional ordered real vector space have Riesz interpolation (and are therefore dimension groups).
△ Less
Submitted 1 October, 2010;
originally announced October 2010.
-
Computing arithmetic invariants for hyperbolic reflection groups
Authors:
Omar Antolin-Camarena,
Gregory R. Maloney,
Roland K. W. Roeder
Abstract:
We describe a collection of computer scripts written in PARI/GP to compute, for reflection groups determined by finite-volume polyhedra in $\mathbb{H}^3$, the commensurability invariants known as the invariant trace field and invariant quaternion algebra. Our scripts also allow one to determine arithmeticity of such groups and the isomorphism class of the invariant quaternion algebra by analyzin…
▽ More
We describe a collection of computer scripts written in PARI/GP to compute, for reflection groups determined by finite-volume polyhedra in $\mathbb{H}^3$, the commensurability invariants known as the invariant trace field and invariant quaternion algebra. Our scripts also allow one to determine arithmeticity of such groups and the isomorphism class of the invariant quaternion algebra by analyzing its ramification.
We present many computed examples of these invariants. This is enough to show that most of the groups that we consider are pairwise incommensurable. For pairs of groups with identical invariants, not all is lost: when both groups are arithmetic, having identical invariants guarantees commensurability. We discover many ``unexpected'' commensurable pairs this way. We also present a non-arithmetic pair with identical invariants for which we cannot determine commensurability.
△ Less
Submitted 15 August, 2007;
originally announced August 2007.
