A Composite Order Generalization of Modular Moonshine

We introduce a generalization of Brauer character to allow arbitrary finite length modules over discrete valuation rings. We show that the generalized super Brauer character of Tate cohomology is a linear combination of trace functions. Using this result, we find a counterexample to a conjecture of Borcherds about vanishing of Tate cohomology for Fricke elements of the Monster.

K-theory of valuation rings

We prove several results showing that the algebraic $K$ -theory of valuation rings behaves as though such rings were regular Noetherian, in particular an analogue of the Geisser–Levine theorem. We also give some new proofs of known results concerning cdh descent of algebraic $K$ -theory.

Non-acyclic SL2-representations of Twist Knots, -3-Dehn Surgeries, and L-functions

We study irreducible $\mathop{\textrm{SL}}\nolimits _2$-representations of twist knots. We first determine all non-acyclic $\mathop{\textrm{SL}}\nolimits _2({\mathbb{C}})$-representations, which turn out to lie on a line denoted as $x=y$ in ${\mathbb{R}}^2$. Our main tools are character variety, Reidemeister torsion, and Chebyshev polynomials. We also verify a certain common tangent property, which yields a result on $L$-functions, that is, the orders of the knot modules associated to the universal deformations. Secondly, we prove that a representation is on the line $x=y$ if and only if it factors through the $-3$-Dehn surgery, and is non-acyclic if and only if the image of a certain element is of order 3. Finally, we study absolutely irreducible non-acyclic representations $\overline{\rho }$ over a finite field with characteristic $p>2$, to concretely determine all non-trivial $L$-functions $L_{{\boldsymbol{\rho }}}$ of the universal deformations over complete discrete valuation rings. We show among other things that $L_{{\boldsymbol{\rho }}}$ $\dot{=}$ $k_n(x)^2$ holds for a certain series $k_n(x)$ of polynomials.

Truncations of ordered abelian groups

We give axioms for a class of ordered structures, called truncated ordered abelian groups (TOAG’s) carrying an addition. TOAG’s come naturally from ordered abelian groups with a 0 and a $$+$$ + , but the addition of a TOAG is not necessarily even a cancellative semigroup. The main examples are initial segments $$[0, \tau ]$$ [ 0 , τ ] of an ordered abelian group, with a truncation of the addition. We prove that any model of these axioms (i.e. a truncated ordered abelian group) is an initial segment of an ordered abelian group. We define Presburger TOAG’s, and give a criterion for a TOAG to be a Presburger TOAG, and for two Presburger TOAG’s to be elementarily equivalent, proving analogues of classical results on Presburger arithmetic. Their main interest for us comes from the model theory of certain local rings which are quotients of valuation rings valued in a truncation [0, a] of the ordered group $${\mathbb {Z}}$$ Z or more general ordered abelian groups, via a study of these truncations without reference to the ambient ordered abelian group. The results are used essentially in a forthcoming paper (D’Aquino and Macintyre, The model theory of residue rings of models of Peano Arithmetic: The prime power case, 2021, arXiv:2102.00295) in the solution of a problem of Zilber about the logical complexity of quotient rings, by principal ideals, of nonstandard models of Peano arithmetic.

Weighted Homology of Bi-Structures over Certain Discrete Valuation Rings

An RNA bi-structure is a pair of RNA secondary structures that are considered as arc-diagrams. We present a novel weighted homology theory for RNA bi-structures, which was obtained through the intersections of loops. The weighted homology of the intersection complex X features a new boundary operator and is formulated over a discrete valuation ring, R. We establish basic properties of the weighted complex and show how to deform it in order to eliminate any 3-simplices. We connect the simplicial homology, Hi(X), and weighted homology, Hi,R(X), in two ways: first, via chain maps, and second, via the relative homology. We compute H0,R(X) by means of a recursive contraction procedure on a weighted spanning tree and H1,R(X) via an inflation map, by which the simplicial homology of the 1-skeleton allows us to determine the weighted homology H1,R(X). The homology module H2,R(X) is naturally obtained from H2(X) via chain maps. Furthermore, we show that all weighted homology modules Hi,R(X) are trivial for i>2. The invariant factors of our structure theorems, as well as the weighted Whitehead moves facilitating the removal of filled tetrahedra, are given a combinatorial interpretation. The weighted homology of bi-structures augments the simplicial counterpart by introducing novel torsion submodules and preserving the free submodules that appear in the simplicial homology.