Source author record

Rupert McCallum

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.GR math.LO math.NT math.MG

Catalog footprint

Research overview

10works

4topics

2close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2021arXiv

New Large Cardinal Axioms and the Ultimate-L Program

We will consider a number of new large-cardinal properties, the $α$ -tremendous cardinals for each limit ordinal $α>0$ , the hyper-tremendous cardinals, the $α$ -enormous cardinals for each limit ordinal $α>0$ , and the hyper-enormous cardinals. For limit ordinals $α>0$ , the $α$ -tremendous cardinals and hyper-tremendous cardinals have consistency strength between I3 and I2. An $ω$ -enormous cardinal has consistency strength greater than I0, and also all the large-cardinal axioms discussed in the second part of Hugh Woodin's paper on suitable extender models, not known to be inconsistent with ZFC and of greater consistency strength than I0. Ralf Schindler and Victoria Gitman have developed the notion of a virtual large-cardinal property, and a clear sense can be given to the notion of "virtually $ω$ -enormous". A virtually $ω$ -enormous cardinal can be shown to dominate a Ramsey cardinal. It can be shown that a cardinal $κ$ which is a critical point of an elementary embedding $j:V_{λ+2} \prec V_{λ+2}$ , in a context not assuming choice, is necessarily a hyper-enormous cardinal. Building on this insight, we can obtain the result that the existence of such an elementary embedding is in fact outright inconsistent with ZF. The assertion that there is a proper class of $α$ -enormous cardinals for every limit ordinal $α>0$ can be shown to imply a version of the Ultimate-L Conjecture.

preprint2020arXiv

Brouwer fixed point theorem as a corollary of Lawvere

It is investigated in what sense the Brouwer fixed point theorem may be viewed as a corollary of the Lawvere fixed point theorem. A suitable generalisation of the Lawvere fixed point theorem is found and a means is identified by which the Brouwer fixed point theorem can be shown to be a corollary, once an appropriate continuous surjective mapping $A' \rightarrow X^{A''}$ has been constructed for each space $X$ in a certain class of "nice" spaces for each one of which the exponential topology on $X^{A''}$ exists, and here $A'$ and $A''$ have the same carrier set and the topology on $A'$ is finer than on $A''$ . It is shown that there is a certain natural way of attempting to derive Brouwer as a corollary of Lawvere which is not possible, that is there is no space $A$ for which the exponential topology on $[0,1]^{A}$ exists and there is a continuous surjection $A \rightarrow [0,1]^{A}$ . We then examine the range of contexts in which phenomena like those described in the first result occur, from a broadly model-theoretic perspective, with a view towards applications for the original motivation for the problem as a problem in decision theory for AI systems, suggested by the Machine Intelligence Research Institute.

preprint2016arXiv

A prime geodesic theorem for higher rank buildings

We prove a prime geodesic theorem for compact quotients of affine buildings and apply it to get class number asymptotics for global fields of positive characteristic.

preprint2016arXiv

Height growth on semisimple groups

A condition is given, under which a general lattice point counting function is asymptotic to the corresponding ball volume growth function. This is then used to give height asymptotics in the style of the Batyrev-Manin Conjecture for certain intrinsically defined heights on semisimple groups.

preprint2016arXiv

Twisted Poincare Series and Zeta functions on finite quotients of buildings

In the case where $G=$ SL $_{2}(F)$ for a non-archimedean local field $F$ and $Γ$ is a discrete torsion-free cocompact subgroup of $G$ , there is a known relationship between the Ihara zeta function for the quotient of the Bruhat-Tits tree of $G$ by the action of $Γ$ , and an alternating product of determinants of twisted Poincaré series for parabolic subgroups of the affine Weyl group of $G$ . We show how this can be generalised to other split simple algebraic groups of rank two over $F$ , and formulate a conjecture about how this might be generalised to groups of higher rank.

preprint2014arXiv

Free subgroups of special linear groups

We present a proof of the following claim. Suppose that $n$ is an integer such that $n>1$ and that $k$ is any field. Suppose that $g$ is an element of $\mathrm{SL}(n,k)$ of infinite order. Then the set $\{h\in\mathrm{SL}(n,k)\mid <g,h>$ is a free group of rank two $\}$ is a Zariski dense subset of $\mathrm{SL}(n,\bar{k})$ where $\bar{k}$ is an algebraic closure of $k$ .

preprint2014arXiv

Rigidity of the group topology for closed Weyl transitive groups of automorphisms of a regular locally finite building

We prove that if $G$ is a group of automorphisms of a regular locally finite building which is closed in the compact-open topology and acts Weyl transitively on the building, then $G$ admits just one Hausdorff locally compact $σ$ -compact topology compatible with the group operations.

preprint2014arXiv

Topological rigidity in totally disconnected locally compact groups

In \cite{Kramer11} Kramer proves for a large class of semisimple Lie groups that they admit just one locally compact $σ$ -compact Hausdorff topology compatible with the group operations. We present two different methods of generalising this to the group of rational points of an absolutely quasi-simple algebraic group over a non-archimedean local field (the second method only achieves this on the additional hypothesis that the group is isotropic). The first method of argument involves demonstrating that, given any topological group $G$ which is totally disconnected, locally compact, $σ$ -compact, locally topologically finitely generated, and has the property that no compact open subgroup has an infinite abelian continuous quotient, the group $G$ is topologically rigid in the previously described sense. Then the desired conclusion for the group of rational points of an absolutely quasi-simple algebraic group over a non-archimedean local field may be inferred as a special case. The other method of argument involves proving that any group of automorphisms of a regular locally finite building, which is closed in the compact-open topology and acts Weyl transitively on the building, has the topological rigidity property in question. This again yields the desired result in the case that the group is isotropic.

preprint2012arXiv

A Consistency Proof for Some Restrictions of Tait's Reflection Principles

A new large-cardinal property is introduced which enables one to give a relative consistency proof of restricted versions of the reflection principles discussed by Tait in his essay "Constructing Cardinals from Below".

preprint2012arXiv

A Local-to-Global Result for Topological Spherical Buildings

Suppose that Δ, Δ' are two buildings each arising from a semisimpe algebraic group over a field, a topological field in the former case, and that for both the buildings the Coxeter diagram has no isolated nodes. We give conditions under which a partially defined injective chamber map, whose domain is the subcomplex of Δ, generated by a nonempty open set of chambers, and whose codomain is Δ', is guaranteed to extend to a unique injective chamber map. Related to this result is a local version of the Borel-Tits theorem on abstract homomorphisms of simple algebraic groups.

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.

Rupert McCallum

Research overview

Is this your work?

10 publications

New Large Cardinal Axioms and the Ultimate-L Program

Brouwer fixed point theorem as a corollary of Lawvere

A prime geodesic theorem for higher rank buildings

Height growth on semisimple groups

Twisted Poincare Series and Zeta functions on finite quotients of buildings

Free subgroups of special linear groups

Rigidity of the group topology for closed Weyl transitive groups of automorphisms of a regular locally finite building

Topological rigidity in totally disconnected locally compact groups

A Consistency Proof for Some Restrictions of Tait's Reflection Principles

A Local-to-Global Result for Topological Spherical Buildings

See the researcher in context

Building this map preview