arXiv Science⌕ Search

arXiv subjects

David Geraghty

Publications and source records attributed to David Geraghty.

18 recordsLinked to original sources
arXiv2026

LogAct: Enabling Agentic Reliability via Shared Logs

Agents are LLM-driven components that can mutate environments in powerful, arbitrary ways. Extracting guarantees for the execution of agents in production environments can be challenging due to asynchrony and failures. In this paper, we propose a new abstraction called LogAct, where each agent is a deconstructed state machine playing a shared log. In LogAct, agentic actions are visible in the shared log before they are executed; can be stopped prior to execution by pluggable, decoupled voters; and recovered consistently in the case of agent or environment failure. LogAct enables agentic introspection, allowing the agent to analyze its own execution history using LLM inference, which in turn enables semantic variants of recovery, health check, and optimization. In our evaluation, LogAct agents recover efficiently and correctly from failures; debug their own performance; optimize token usage in swarms; and stop all unwanted actions for a target model on a representative benchmark with just a 3% drop in benign utility.

cs.DC↗
arXiv2020

Reducing Drift in Structure From Motion Using Extended Features

Low-frequency long-range errors (drift) are an endemic problem in 3D structure from motion, and can often hamper reasonable reconstructions of the scene. In this paper, we present a method to dramatically reduce scale and positional drift by using extended structural features such as planes and vanishing points. Unlike traditional feature matches, our extended features are able to span non-overlapping input images, and hence provide long-range constraints on the scale and shape of the reconstruction. We add these features as additional constraints to a state-of-the-art global structure from motion algorithm and demonstrate that the added constraints enable the reconstruction of particularly drift-prone sequences such as long, low field-of-view videos without inertial measurements. Additionally, we provide an analysis of the drift-reducing capabilities of these constraints by evaluating on a synthetic dataset. Our structural features are able to significantly reduce drift for scenes that contain long-spanning man-made structures, such as aligned rows of windows or planar building facades.

cs.CV↗
arXiv2016

Patching and the p-adic Langlands program for GL(2, Q_p)

We present a new construction of the p-adic local Langlands correspondence for GL(2, Q_p) via the patching method of Taylor--Wiles and Kisin. This construction sheds light on the relationship between the various other approaches to both the local and global aspects of the p-adic Langlands program; in particular, it gives a new proof of many cases of the second author's local-global compatibility theorem, and relaxes a hypothesis on the local mod p representation in that theorem.

math.NT↗
arXiv2014

Serre Weights for U(n)

We study the weight part of (a generalisation of) Serre's conjecture for mod l Galois representations associated to automorphic representations on unitary groups of rank n for odd primes l. Given a modular Galois representation, we use automorphy lifting theorems to prove that it is modular in many other weights. We make no assumptions on the ramification or inertial degrees of l. We give an explicit strengthened result when n = 3 and l splits completely in the underlying CM field.

math.NT↗
arXiv2013

Potential automorphy and change of weight

We prove a new automorphy lifting theorem for l-adic representations where we impose a new condition at l, which we call `potential diagonalizability'. This result allows for `change of weight' and seems to be substantially more flexible than previous theorems along the same lines. We derive several applications. For instance we show that any irreducible, odd, essentially self-dual, regular, weakly compatible system of l-adic representations of the absolute Galois group of a totally real field is potentially automorphic, and hence is pure and its L-function has meromorphic continuation to the whole complex plane and satisfies the expected functional equation.

math.NT↗
arXiv2013

Patching and the p-adic local Langlands correspondence

We use the patching method of Taylor--Wiles and Kisin to construct a candidate for the p-adic local Langlands correspondence for GL_n(F), F a finite extension of Q_p. We use our construction to prove many new cases of the Breuil--Schneider conjecture.

math.NT↗
arXiv2013

The Breuil--Mezard conjecture for quaternion algebras

We formulate a version of the Breuil--Mezard conjecture for quaternion algebras, and show that it follows from the Breuil--Mezard conjecture for GL_2. In the course of the proof we establish a mod p analogue of the Jacquet--Langlands correspondence for representations of GL_2(k), k a finite field of characteristic p.

math.NT↗
arXiv2012

Modularity Lifting Theorems beyond the Taylor-Wiles Method. II

In a previous paper [CG], we showed how one could generalize Taylor-Wiles modularity lifting theorems [Wil95, TW95] to contexts beyond those in which the automorphic forms in question arose from the middle degree cohomology of Shimura varieties, in particular, to contexts in which the relevant automorphic forms contributed to cohomology in exactly two degrees. In this sequel, we extend our method to the general case in which Galois representations are expected to occur in cohomology, contingent on the (as yet unproven) existence of certain Galois representations with the expected properties. As an application, we prove the following result (conditional on the conjectures mentioned above): If E is an elliptic curve over an arbitrary number field, then E is potentially modular, and the Sato-Tate conjecture holds for E.

math.NT↗
arXiv2012

Modularity Lifting beyond the Taylor-Wiles Method

We prove new modularity lifting theorems for p-adic Galois representations in situations where the methods of Wiles and Taylor--Wiles do not apply. Previous generalizations of these methods have been restricted to situations where the automorphic forms in question contribute to a single degree of cohomology. In practice, this imposes several restrictions -- one must be in a Shimura variety setting and the automorphic forms must be of regular weight at infinity. In this paper, we essentially show how to remove these restrictions. Our most general result is a modularity lifting theorem which, on the automorphic side applies to automorphic forms on the group GL(n) over a general number field; it is contingent on a conjecture which, in particular, predicts the existence of Galois representations associated to torsion classes in the cohomology of the associated locally symmetric space. We show that if this conjecture holds, then our main theorem implies the following: if E is an elliptic curve over an arbitrary number field, then E is potentially automorphic and satisfies the Sato--Tate conjecture. In addition, we also prove some unconditional results. For example, in the setting of GL(2) over Q, we identify certain minimal global deformation rings with the Hecke algebras acting on spaces of p-adic Katz modular forms of weight one. Such algebras may well contain p-torsion. Moreover, we also completely solved the problem (for p odd) of determining the multiplicity of an irreducible modular representation rhobar in the Jacobian J_1(N), where N is the minimal level such that rhobar arises in weight two.

math.NT↗
arXiv2011

Serre weights for rank two unitary groups

We study the weight part of (a generalisation of) Serre's conjecture for mod l Galois representations associated to automorphic representations on rank two unitary groups for odd primes l. We propose a conjectural set of Serre weights, agreeing with all conjectures in the literature, and under a mild assumption on the image of the mod l Galois representation we are able to show that any modular representation is modular of each conjectured weight. We make no assumptions on the ramification or inertial degrees of l. Our main innovation is to make use of the lifting techniques introduced in our recent papers.

math.NT↗
arXiv2011

Local-global compatibility for l=p, I

We prove the compatibility of the local and global Langlands correspondences at places dividing l for the l-adic Galois representations associated to regular algebraic conjugate self-dual cuspidal automorphic representations of GL_n over an imaginary CM field, under the assumption that the automorphic representations have Iwahori-fixed vectors at places dividing l and have Shin-regular weight.

math.NT↗
arXiv2011

Local-global compatibility for l=p, II

We prove the compatibility at places dividing l of the local and global Langlands correspondences for the l-adic Galois representations associated to regular algebraic essentially (conjugate) self-dual cuspidal automorphic representations of GL_n over an imaginary CM or totally real field. We prove this compatibility up to semisimplification in all cases, and up to Frobenius semisimplification in the case of Shin-regular weight.

math.NT↗
arXiv2010

The Sato-Tate conjecture for Hilbert modular forms

We prove the Sato-Tate conjecture for Hilbert modular forms. More precisely, we prove the natural generalisation of the Sato-Tate conjecture for regular algebraic cuspidal automorphic representations of $\GL_2(\A_F)$, $F$ a totally real field, which are not of CM type. The argument is based on the potential automorphy techniques developed by Taylor et. al., but makes use of automorphy lifting theorems over ramified fields, together with a 'topological' argument with local deformation rings. In particular, we give a new proof of the conjecture for modular forms, which does not make use of potential automorphy theorems for non-ordinary $n$-dimensional Galois representations.

math.NT↗
arXiv2010

Congruences between Hilbert modular forms: constructing ordinary lifts

Under mild hypotheses, we prove that if F is a totally real field, k is the algebraic closure of the finite field with l elements and r : G_F --> GL_2(k) is irreducible and modular, then there is a finite solvable totally real extension F'/F such that r|_{G_F'} has a modular lift which is ordinary at each place dividing l. We deduce a similar result for r itself, under the assumption that at places v|l the representation r|_{G_F_v} is reducible. This allows us to deduce improvements to results in the literature on modularity lifting theorems for potentially Barsotti-Tate representations and the Buzzard-Diamond-Jarvis conjecture. The proof makes use of a novel lifting technique, going via rank 4 unitary groups.

math.NT↗
arXiv2010

Companion forms for unitary and symplectic groups

We prove a companion forms theorem for ordinary n-dimensional automorphic Galois representations, by use of automorphy lifting theorems developed by the second author, and a technique for deducing companion forms theorems due to the first author. We deduce results about the possible Serre weights of mod l Galois representations corresponding to automorphic representations on unitary groups. We then use functoriality to prove similar results for automorphic representations of GSp4 over totally real fields.

math.NT↗