Showing 1–50 of 121 results for author: Howe, S

The completed Kirillov model and local-global compatibility for functions on Igusa varieties

Authors: Sean Howe

Abstract: We describe the cuspidal functions $\mathbb{V}_b^{\mathrm{cusp}}$ on the ordinary Caraiani-Scholze Igusa variety for $\mathrm{GL}_2$ as a completion of the smooth Kirillov model for classical cuspidal modular forms, and identify a variant of Hida's ordinary $p$-adic modular forms with the coinvariants of an action of $\tildeμ_{p^\infty}$ on $\mathbb{V}_b^{\mathrm{cusp}}$. As a consequence of these… ▽ More We describe the cuspidal functions $\mathbb{V}_b^{\mathrm{cusp}}$ on the ordinary Caraiani-Scholze Igusa variety for $\mathrm{GL}_2$ as a completion of the smooth Kirillov model for classical cuspidal modular forms, and identify a variant of Hida's ordinary $p$-adic modular forms with the coinvariants of an action of $\tildeμ_{p^\infty}$ on $\mathbb{V}_b^{\mathrm{cusp}}$. As a consequence of these results, we establish a weak local-global compatibility theorem for eigenspaces in $\mathbb{V}_b^{\mathrm{cusp}}$ associated to classical cuspidal modular forms. Based on these results, we conjecture an analog of Hida theory and an associated local-global compatibility for functions on more general Caraiani-Scholze Igusa varieties, which are natural spaces of $p$-adic automorphic forms. △ Less

Submitted 30 June, 2025; originally announced June 2025.

Equidistribution and arithmetic $Λ$-distributions

Authors: Matthew Bertucci, Sean Howe

Abstract: We formulate an abstract notion of equidistribution for families of $λ$-probability spaces parameterized by admissible $\mathbb{Z}$-sets. Under the assumption of equidistribution, we show that the $σ$-moment generating functions of certain infinite sums of random variables can be computed as motivic Euler products. Combining this result with earlier generalizations of Poonen's sieve, we compute th… ▽ More We formulate an abstract notion of equidistribution for families of $λ$-probability spaces parameterized by admissible $\mathbb{Z}$-sets. Under the assumption of equidistribution, we show that the $σ$-moment generating functions of certain infinite sums of random variables can be computed as motivic Euler products. Combining this result with earlier generalizations of Poonen's sieve, we compute the asymptotic $Λ$-distributions for several natural families of function field $L$-functions and zeta functions. △ Less

Submitted 30 May, 2025; originally announced May 2025.

Comments: 32 pages, comments welcome

The negative $σ$-moment generating function

Authors: Sean Howe

Abstract: For $X$ a pre-$λ$ random variable, we show the $σ$-moment generating function of $-X$ can be obtained from the $σ$-moment generating function of $X$ by applying the composition of the standard and degree flip involutions on symmetric power series. This isometric involution is natural as it preserves the pre-$λ$ ring structure on symmetric power series with pre-$λ$ coefficients, thus this formula p… ▽ More For $X$ a pre-$λ$ random variable, we show the $σ$-moment generating function of $-X$ can be obtained from the $σ$-moment generating function of $X$ by applying the composition of the standard and degree flip involutions on symmetric power series. This isometric involution is natural as it preserves the pre-$λ$ ring structure on symmetric power series with pre-$λ$ coefficients, thus this formula provides a simple description of the $σ$-moment generating function of $-X$ whenever the $σ$-moment generating function of $X$ has a simple description using the pre-$λ$ structure. As an application we compute, in a natural range, the dimensions of orthogonal and symplectic group invariants in tensor products of exterior powers of their standard representations on $\mathbb{C}^n$. We also compute a generating function for stable traces of Frobenius related to the moment conjecture for prime-order function field Dirichlet characters. △ Less

Submitted 9 June, 2025; v1 submitted 2 May, 2025; originally announced May 2025.

Comments: Added reference to related results in Getzler-Kapranov. Added a computation of stable traces of Frobenius for prime-order characters

Transitivity of the $\mathbb{B}^+_\mathrm{dR}$-loop group action on Schubert cells

Authors: Sean Howe

Abstract: For $G$ a connected linear algebraic group over a $p$-adic field, we show that the action of $G(\mathbb{B}^+_\mathrm{dR})$ on Schubert cells in the $\mathbb{B}_\mathrm{dR}^+$-affine Grassmannian is transitive in the étale topology on affinoid perfectoids, generalizing a result in the reductive case due to Fargues and Scholze. For $G$ a connected linear algebraic group over a $p$-adic field, we show that the action of $G(\mathbb{B}^+_\mathrm{dR})$ on Schubert cells in the $\mathbb{B}_\mathrm{dR}^+$-affine Grassmannian is transitive in the étale topology on affinoid perfectoids, generalizing a result in the reductive case due to Fargues and Scholze. △ Less

Submitted 2 May, 2025; originally announced May 2025.

Comments: 6 pages

Command A: An Enterprise-Ready Large Language Model

Authors: Team Cohere, :, Aakanksha, Arash Ahmadian, Marwan Ahmed, Jay Alammar, Milad Alizadeh, Yazeed Alnumay, Sophia Althammer, Arkady Arkhangorodsky, Viraat Aryabumi, Dennis Aumiller, Raphaël Avalos, Zahara Aviv, Sammie Bae, Saurabh Baji, Alexandre Barbet, Max Bartolo, Björn Bebensee, Neeral Beladia, Walter Beller-Morales, Alexandre Bérard, Andrew Berneshawi, Anna Bialas, Phil Blunsom , et al. (205 additional authors not shown)

Abstract: In this report we describe the development of Command A, a powerful large language model purpose-built to excel at real-world enterprise use cases. Command A is an agent-optimised and multilingual-capable model, with support for 23 languages of global business, and a novel hybrid architecture balancing efficiency with top of the range performance. It offers best-in-class Retrieval Augmented Genera… ▽ More In this report we describe the development of Command A, a powerful large language model purpose-built to excel at real-world enterprise use cases. Command A is an agent-optimised and multilingual-capable model, with support for 23 languages of global business, and a novel hybrid architecture balancing efficiency with top of the range performance. It offers best-in-class Retrieval Augmented Generation (RAG) capabilities with grounding and tool use to automate sophisticated business processes. These abilities are achieved through a decentralised training approach, including self-refinement algorithms and model merging techniques. We also include results for Command R7B which shares capability and architectural similarities to Command A. Weights for both models have been released for research purposes. This technical report details our original training pipeline and presents an extensive evaluation of our models across a suite of enterprise-relevant tasks and public benchmarks, demonstrating excellent performance and efficiency. △ Less

Submitted 14 April, 2025; v1 submitted 1 April, 2025; originally announced April 2025.

Comments: 55 pages

Command R7B Arabic: A Small, Enterprise Focused, Multilingual, and Culturally Aware Arabic LLM

Authors: Yazeed Alnumay, Alexandre Barbet, Anna Bialas, William Darling, Shaan Desai, Joan Devassy, Kyle Duffy, Stephanie Howe, Olivia Lasche, Justin Lee, Anirudh Shrinivason, Jennifer Tracey

Abstract: Building high-quality large language models (LLMs) for enterprise Arabic applications remains challenging due to the limited availability of digitized Arabic data. In this work, we present a data synthesis and refinement strategy to help address this problem, namely, by leveraging synthetic data generation and human-in-the-loop annotation to expand our Arabic training corpus. We further present ou… ▽ More Building high-quality large language models (LLMs) for enterprise Arabic applications remains challenging due to the limited availability of digitized Arabic data. In this work, we present a data synthesis and refinement strategy to help address this problem, namely, by leveraging synthetic data generation and human-in-the-loop annotation to expand our Arabic training corpus. We further present our iterative post training recipe that is essential to achieving state-of-the-art performance in aligning the model with human preferences, a critical aspect to enterprise use cases. The culmination of this effort is the release of a small, 7B, open-weight model that outperforms similarly sized peers in head-to-head comparisons and on Arabic-focused benchmarks covering cultural knowledge, instruction following, RAG, and contextual faithfulness. △ Less

Submitted 18 March, 2025; originally announced March 2025.

Characterizing perfectoid covers of abelian varieties

Authors: Rebecca Bellovin, Hanlin Cai, Sean Howe, Tongmu He

Abstract: We give a simple characterization of all perfectoid profinite étale covers of abelian varieties in terms of the Hodge-Tate filtration on the $p$-adic Tate module. We also compute the geometric Sen morphism for all profinite $p$-adic Lie torsors over an abelian variety, and combine this with our characterization to prove a conjecture of Rodríguez Camargo on perfectoidness of $p$-adic Lie torsors in… ▽ More We give a simple characterization of all perfectoid profinite étale covers of abelian varieties in terms of the Hodge-Tate filtration on the $p$-adic Tate module. We also compute the geometric Sen morphism for all profinite $p$-adic Lie torsors over an abelian variety, and combine this with our characterization to prove a conjecture of Rodríguez Camargo on perfectoidness of $p$-adic Lie torsors in this case. We obtain complementary results for covers of semi-abeloid varieties, $p$-divisible rigid analytic groups, and varieties with globally generated 1-forms. Our proof of perfectoidness for covers of abelian varieties is based on results of Scholze on the canonical subgroup and holds for an arbitrary abelian variety over an algebraically closed non-archimedean extension of $\mathbb{Q}_p$. In an appendix authored by Tongmu He, an alternate proof is presented in the case of abelian varieties that can be defined over a discretely valued subfield by combining our computation of the geometric Sen morphism with previous pointwise perfectoidness and purity of perfectoidness results of He. △ Less

Submitted 7 January, 2025; originally announced January 2025.

Comments: 22 pages + two appendices and references. Comments welcome!

Random matrix statistics and zeroes of $L$-functions via probability in $λ$-rings

Authors: Sean Howe

Abstract: We introduce a theory of probability in $λ$-rings designed to efficiently describe random variables valued in multisets of complex numbers, varieties over a field, or other similar enriched settings. A key role is played by the $σ$-moment generating function based on the plethystic exponential, which allows us to describe distributions and argue with independence in a way that is as simple as clas… ▽ More We introduce a theory of probability in $λ$-rings designed to efficiently describe random variables valued in multisets of complex numbers, varieties over a field, or other similar enriched settings. A key role is played by the $σ$-moment generating function based on the plethystic exponential, which allows us to describe distributions and argue with independence in a way that is as simple as classical probability theory. As a first application, we use this theory to obtain a concise description of the asymptotic $σ$-moment generating functions describing distributions of eigenvalues of Haar random matrices in compact classical groups. Beyond the theory of probability in $λ$-rings, the proof uses only classical invariant theory. Using our description we reprove the results of Diaconis and Shahshahani on the joint distributions of traces of powers of matrices, and we also treat symmetric groups. Next, we use Poonen's sieve to establish equidistribution results for the zeroes of $L$-functions in some natural families: simple Dirichlet characters for $\mathbb{F}_q(x)$ and the vanishing cohomology of smooth hypersurface sections. We give concise descriptions of the asymptotic $σ$-moment generating functions in these families, then compare them to the associated random matrix distributions. These equidistribution results are sideways in that we fix $q$ and take the degree $d$ to infinity, as opposed to Deligne equidistribution for fixed $d$ as $q \rightarrow \infty$, and the large $d$-limits are related to explicit descriptions of stable homology with twisted coefficients. △ Less

Submitted 9 June, 2025; v1 submitted 26 December, 2024; originally announced December 2024.

Comments: v3 fixed typos and updated discussion of Bertucci-Howe, which is now available

Exotic gravity theory in loop space

Authors: P. S. Howe, U. Lindström

Abstract: An exotic linearised theory of superconformal gravity in D = 6, (4,0) superspace, proposed by C. Hull, is discussed in loop space with focus on its bosonic sector. Pursuing an analogy to the loop space version of the system of a two form B and its field strength H, we show that the exotic linearised gravitational potential C and curvature G can be reinterpreted as an ultra-local (linearised) metri… ▽ More An exotic linearised theory of superconformal gravity in D = 6, (4,0) superspace, proposed by C. Hull, is discussed in loop space with focus on its bosonic sector. Pursuing an analogy to the loop space version of the system of a two form B and its field strength H, we show that the exotic linearised gravitational potential C and curvature G can be reinterpreted as an ultra-local (linearised) metric and curvature on loop space. △ Less

Submitted 20 December, 2024; originally announced December 2024.

Comments: Dedicated to the memory of Stanley Deser

Report number: Uppsala teoretisk fysik UUITP-XX/24

Admissible pairs and $p$-adic Hodge structures I: Transcendence of the de Rham lattice

Authors: Sean Howe, Christian Klevdal

Abstract: For an algebraically closed non-archimedean extension $C/\mathbb{Q}_p$, we define a Tannakian category of $p$-adic Hodge structures over $C$ that is a local, $p$-adic analog of the global, archimedean category of $\mathbb{Q}$-Hodge structures in complex geometry. In this setting the filtrations of classical Hodge theory must be enriched to lattices over a complete discrete valuation ring, Fontaine… ▽ More For an algebraically closed non-archimedean extension $C/\mathbb{Q}_p$, we define a Tannakian category of $p$-adic Hodge structures over $C$ that is a local, $p$-adic analog of the global, archimedean category of $\mathbb{Q}$-Hodge structures in complex geometry. In this setting the filtrations of classical Hodge theory must be enriched to lattices over a complete discrete valuation ring, Fontaine's integral de Rham period ring $B^+_\mathrm{dR}$, and a pure $p$-adic Hodge structure is then a $\mathbb{Q}_p$-vector space equipped with a $B^+_\mathrm{dR}$-lattice satisfying a natural condition analogous to the transversality of the complex Hodge filtration with its conjugate. We show $p$-adic Hodge structures are equivalent to a full subcategory of basic objects in the category of admissible pairs, a toy category of cohomological motives over $C$ that is equivalent to the isogeny category of rigidified Breuil-Kisin-Fargues modules and closely related to Fontaine's $p$-adic Hodge theory over $p$-adic subfields. As an application, we characterize basic admissible pairs with complex multiplication in terms of the transcendence of $p$-adic periods. This generalizes an earlier result for one-dimensional formal groups and is an unconditional, local, $p$-adic analog of a global, archimedean characterization of CM motives over $\mathbb{C}$ conditional on the standard conjectures, the Hodge conjecture, and the Grothendieck period conjecture (known unconditionally for abelian varieties by work Cohen and Shiga and Wolfart). △ Less

Submitted 28 February, 2025; v1 submitted 21 August, 2023; originally announced August 2023.

Comments: v2 makes minor corrections and updates to notation, main results are unchanged

Admissible pairs and $p$-adic Hodge structures II: The bi-analytic Ax-Lindemann theorem

Authors: Sean Howe, Christian Klevdal

Abstract: We reinterpret and generalize the construction of local Shimura varieties and their non-minuscule analogs by viewing them as moduli spaces of admissible pairs. Our main application is a bi-analytic Ax-Lindemann theorem comparing, in the basic case, rigid analytic subvarieties for the two distinct analytic structures induced by the Hodge and Hodge-Tate period maps and their lattice refinements. The… ▽ More We reinterpret and generalize the construction of local Shimura varieties and their non-minuscule analogs by viewing them as moduli spaces of admissible pairs. Our main application is a bi-analytic Ax-Lindemann theorem comparing, in the basic case, rigid analytic subvarieties for the two distinct analytic structures induced by the Hodge and Hodge-Tate period maps and their lattice refinements. The theorem implies, in particular, that the only bi-analytic subdiamonds are special subvarieties, generalizing the bi-analytic characterization of special points given in Part I. These results suggest that there is a purely local, $p$-adic theory of bi-analytic geometry that runs in parallel to the global, archimedean theory of bi-algebraic geometry arising in the study of unlikely intersection and functional transcendence for Shimura varieties and more general period domains for variations of Hodge structure. △ Less

Submitted 28 February, 2025; v1 submitted 21 August, 2023; originally announced August 2023.

Comments: v2 features minor corrections and expanded proofs. Added section 10 to detail a comparison with other existing and possible p-adic Ax-Lindemann theorems. Section 4 is rewritten to remove an incorrect statement (Lemma 4.1.1 of v1); the main results are unaffected

The conjugate uniformization via 1-motives

Authors: Sean Howe, Jackson S. Morrow, Peter Wear

Abstract: We use the $p$-divisible group attached to a 1-motive to generalize the conjugate $p$-adic uniformization of Iovita--Morrow--Zaharescu to arbitrary $p$-adic formal semi-abelian schemes or $p$-divisible groups over the ring of integers in a $p$-adic field. This mirrors a mixed Hodge theory construction of the inverse uniformization map for complex semi-abelian varieties. We also highlight the geome… ▽ More We use the $p$-divisible group attached to a 1-motive to generalize the conjugate $p$-adic uniformization of Iovita--Morrow--Zaharescu to arbitrary $p$-adic formal semi-abelian schemes or $p$-divisible groups over the ring of integers in a $p$-adic field. This mirrors a mixed Hodge theory construction of the inverse uniformization map for complex semi-abelian varieties. We also highlight the geometric structure of the target of the conjugate uniformization map, which is an étale cover of a negative Banach--Colmez space in the sense of Fargues--Scholze. △ Less

Submitted 22 August, 2022; originally announced August 2022.

Comments: 21 pages; comments welcome!

Cohomological and motivic inclusion-exclusion

Authors: Ronno Das, Sean Howe

Abstract: We categorify the inclusion-exclusion principle for partially ordered topological spaces and schemes to a filtration on the derived category of sheaves. As a consequence, we obtain functorial spectral sequences that generalize the two spectral sequences of a stratified space and certain Vassiliev-type spectral sequences; we also obtain Euler characteristic analogs in the Grothendieck ring of varie… ▽ More We categorify the inclusion-exclusion principle for partially ordered topological spaces and schemes to a filtration on the derived category of sheaves. As a consequence, we obtain functorial spectral sequences that generalize the two spectral sequences of a stratified space and certain Vassiliev-type spectral sequences; we also obtain Euler characteristic analogs in the Grothendieck ring of varieties. As an application, we give an algebro-geometric proof of Vakil and Wood's homological stability conjecture for the space of smooth hypersurface sections of a smooth projective variety. In characteristic zero this conjecture was previously established by Aumonier via topological methods. △ Less

Submitted 8 April, 2022; originally announced April 2022.

Comments: 56 pages

Report number: CPH-GEOTOP-DNRF151 MSC Class: 14J70; 55R80; 54F05

Slope classicality via completed cohomology

Authors: Sean Howe

Abstract: We give a new proof of the slope classicality theorem in classical and higher Coleman theory for modular curves at arbitrary level using the completed cohomology classes attached to overconvergent modular forms. The latter give an embedding of the quotient of overconvergent modular forms by classical modular forms, which is the obstruction space for classicality in either cohomological degree, int… ▽ More We give a new proof of the slope classicality theorem in classical and higher Coleman theory for modular curves at arbitrary level using the completed cohomology classes attached to overconvergent modular forms. The latter give an embedding of the quotient of overconvergent modular forms by classical modular forms, which is the obstruction space for classicality in either cohomological degree, into a unitary representation of $\mathrm{GL}_2(\mathbb{Q}_p)$. The $U_p$ operator becomes a double-coset, and unitarity yields the slope vanishing. △ Less

Submitted 30 November, 2021; originally announced November 2021.

Comments: 5 pages + references. Comments welcome!

MSC Class: 11F77; 11F33

Zeta statistics and Hadamard functions

Authors: Margaret Bilu, Ronno Das, Sean Howe

Abstract: We introduce the Hadamard topology on the Witt ring of rational functions, giving a simultaneous refinement of the weight and point-counting topologies. Zeta functions of algebraic varieties over finite fields are elements of the rational Witt ring, and the Hadamard topology allows for a conjectural unification of results in arithmetic and motivic statistics: The completion of the Witt ring for th… ▽ More We introduce the Hadamard topology on the Witt ring of rational functions, giving a simultaneous refinement of the weight and point-counting topologies. Zeta functions of algebraic varieties over finite fields are elements of the rational Witt ring, and the Hadamard topology allows for a conjectural unification of results in arithmetic and motivic statistics: The completion of the Witt ring for the Hadamard topology can be identified with a space of meromorphic functions which we call Hadamard functions, and we make the meta-conjecture that any "natural" sequence of zeta functions which converges to a Hadamard function in both the weight and point-counting topologies converges also in the Hadamard topology. For statistics arising from Bertini problems, zero-cycles or the Batyrev-Manin conjecture, this yields an explicit conjectural unification of existing results in motivic and arithmetic statistics that were previously connected only by analogy. As evidence for our conjectures, we show that Hadamard convergence holds for many natural statistics arising from zero-cycles, as well as for the motivic height zeta function associated to the motivic Batyrev-Manin problem for split toric varieties. △ Less

Submitted 10 February, 2021; v1 submitted 29 December, 2020; originally announced December 2020.

Comments: Corrected proof in section 6, + minor edits. 55 pages; comments welcome!

Superconformal geometries and local twistors

Authors: P. S. Howe, U. Lindström

Abstract: Superconformal geometries in spacetime dimensions $D=3,4,{5}$ and $6$ are discussed in terms of local supertwistor bundles over standard superspace. These natually admit superconformal connections as matrix-valued one-forms. In order to make contact with the standard superspace formalism it is shown that one can always choose gauges in which the scale parts of the connection and curvature vanish,… ▽ More Superconformal geometries in spacetime dimensions $D=3,4,{5}$ and $6$ are discussed in terms of local supertwistor bundles over standard superspace. These natually admit superconformal connections as matrix-valued one-forms. In order to make contact with the standard superspace formalism it is shown that one can always choose gauges in which the scale parts of the connection and curvature vanish, in which case the conformal and $S$-supersymmetry transformations become subsumed into super-Weyl transformations. The number of component fields can be reduced to those of the minimal off-shell conformal supergravity multiplets by imposing constraints which in most cases simply consists of taking the even covariant torsion two-form to vanish. This must be supplemented by further dimension-one constraints for the maximal cases in $D=3,4$. The subject is also discussed from a minimal point of view in which only the dimension-zero torsion is introduced. Finally, we introduce a new class of supermanifolds, local super Grassmannians, which provide an alternative setting for superconformal theories. △ Less

Submitted 14 December, 2020; v1 submitted 6 December, 2020; originally announced December 2020.

Comments: 33 pages, Dedicated to this year's Nobel Laureate in Physics, Sir Roger Penrose, in appreciation of his many achievements, including the invention of twistor theory. References and minor comments added.arXiv admin note: text overlap with arXiv:2008.10302

Report number: Uppsala University Theoretical Physics: UUITP-49/20

Local supertwistors and conformal supergravity in six dimensions

Authors: P. S. Howe, U. Lindström

Abstract: The local supertwistor formalism, which involves a superconformal connection acting on the bundle of such objects over superspace, is used to investigate superconformal geometry in six dimensions. The geometry corresponding to (1, 0) and (2, 0) off-shell conformal supergravity multiplets, as well the associated finite super-Weyl transformations, are derived. The local supertwistor formalism, which involves a superconformal connection acting on the bundle of such objects over superspace, is used to investigate superconformal geometry in six dimensions. The geometry corresponding to (1, 0) and (2, 0) off-shell conformal supergravity multiplets, as well the associated finite super-Weyl transformations, are derived. △ Less

Submitted 24 August, 2020; originally announced August 2020.

Comments: 20 pages

Report number: Uppsala University: UUITP-28/20, Imperial College: Imperial-TP-2020-UL-03

Overconvergent modular forms are highest weight vectors in the Hodge-Tate weight zero part of completed cohomology

Authors: Sean Howe

Abstract: We construct a $(\mathfrak{gl}_2, B(\mathbb{Q}_p))$ and Hecke-equivariant cup product pairing between overconvergent modular forms and the local cohomology at $0$ of a sheaf on $\mathbb{P}^1$, landing in the compactly supported completed $\mathbb{C}_p$-cohomology of the modular curve. The local cohomology group is a highest-weight Verma module, and the cup product is non-trivial on a highest weigh… ▽ More We construct a $(\mathfrak{gl}_2, B(\mathbb{Q}_p))$ and Hecke-equivariant cup product pairing between overconvergent modular forms and the local cohomology at $0$ of a sheaf on $\mathbb{P}^1$, landing in the compactly supported completed $\mathbb{C}_p$-cohomology of the modular curve. The local cohomology group is a highest-weight Verma module, and the cup product is non-trivial on a highest weight vector for any overconvergent modular form of infinitesimal weight not equal to $1$. For classical weight $k\geq 2$, the Verma has an algebraic quotient $H^1(\mathbb{P}^1, \mathcal{O}(-k))$, and on classical forms the pairing factors through this quotient, giving a geometric description of "half" of the locally algebraic vectors in completed cohomology; the other half is described by a pairing with the roles of $H^1$ and $H^0$ reversed between the modular curve and $\mathbb{P}^1$. Under minor assumptions, we deduce a conjecture of Gouvea on the Hodge-Tate-Sen weights of Galois representations attached to overconvergent modular forms. Our main results are essentially a strict subset of those obtained independently by Lue Pan in arXiv:2008.07099, but the perspective here is different and the proofs are short and use simple tools: a Mayer-Vietoris cover, a cup product, and a boundary map in group cohomology. △ Less

Submitted 9 February, 2021; v1 submitted 18 August, 2020; originally announced August 2020.

Comments: 25 pages. v3 - expanded and clarified some proofs / background. Close to final journal version

MSC Class: 11F77; 11F33

A unipotent circle action on $p$-adic modular forms

Authors: Sean Howe

Abstract: Following a suggestion of Peter Scholze, we construct an action of $\hat{\mathbb{G}}_m$ on the Katz moduli problem, a profinite-étale cover of the ordinary locus of the $p$-adic modular curve whose ring of functions is Serre's space of $p$-adic modular functions. This action is a local, $p$-adic analog of a global, archimedean action of the circle group $S^1$ on the lattice-unstable locus of the m… ▽ More Following a suggestion of Peter Scholze, we construct an action of $\hat{\mathbb{G}}_m$ on the Katz moduli problem, a profinite-étale cover of the ordinary locus of the $p$-adic modular curve whose ring of functions is Serre's space of $p$-adic modular functions. This action is a local, $p$-adic analog of a global, archimedean action of the circle group $S^1$ on the lattice-unstable locus of the modular curve over $\mathbb{C}$. To construct the $\hat{\mathbb{G}}_m$-action, we descend a moduli-theoretic action of a larger group on the (big) ordinary Igusa variety of Caraiani-Scholze. We compute the action explicitly on local expansions and find it is given by a simple multiplication of the cuspidal and Serre-Tate coordinates $q$; along the way we also prove a natural generalization of Dwork's equation $τ=\log q$ for extensions of $\mathbb{Q}_p/\mathbb{Z}_p$ by $μ_{p^\infty}$ valid over a non-Artinian base. Finally, we give a direct argument (without appealing to local expansions) to show that the action of $\hat{\mathbb{G}}_m$ integrates the differential operator $θ$ coming from the Gauss-Manin connection and unit root splitting, and explain an application to Eisenstein measures and $p$-adic $L$-functions. △ Less

Submitted 18 August, 2020; v1 submitted 24 March, 2020; originally announced March 2020.

Comments: 40 pages. Close to final journal version

MSC Class: 11F33; 11F77

The Habitable Exoplanet Observatory (HabEx) Mission Concept Study Final Report

Authors: B. Scott Gaudi, Sara Seager, Bertrand Mennesson, Alina Kiessling, Keith Warfield, Kerri Cahoy, John T. Clarke, Shawn Domagal-Goldman, Lee Feinberg, Olivier Guyon, Jeremy Kasdin, Dimitri Mawet, Peter Plavchan, Tyler Robinson, Leslie Rogers, Paul Scowen, Rachel Somerville, Karl Stapelfeldt, Christopher Stark, Daniel Stern, Margaret Turnbull, Rashied Amini, Gary Kuan, Stefan Martin, Rhonda Morgan , et al. (161 additional authors not shown)

Abstract: The Habitable Exoplanet Observatory, or HabEx, has been designed to be the Great Observatory of the 2030s. For the first time in human history, technologies have matured sufficiently to enable an affordable space-based telescope mission capable of discovering and characterizing Earthlike planets orbiting nearby bright sunlike stars in order to search for signs of habitability and biosignatures. Su… ▽ More The Habitable Exoplanet Observatory, or HabEx, has been designed to be the Great Observatory of the 2030s. For the first time in human history, technologies have matured sufficiently to enable an affordable space-based telescope mission capable of discovering and characterizing Earthlike planets orbiting nearby bright sunlike stars in order to search for signs of habitability and biosignatures. Such a mission can also be equipped with instrumentation that will enable broad and exciting general astrophysics and planetary science not possible from current or planned facilities. HabEx is a space telescope with unique imaging and multi-object spectroscopic capabilities at wavelengths ranging from ultraviolet (UV) to near-IR. These capabilities allow for a broad suite of compelling science that cuts across the entire NASA astrophysics portfolio. HabEx has three primary science goals: (1) Seek out nearby worlds and explore their habitability; (2) Map out nearby planetary systems and understand the diversity of the worlds they contain; (3) Enable new explorations of astrophysical systems from our own solar system to external galaxies by extending our reach in the UV through near-IR. This Great Observatory science will be selected through a competed GO program, and will account for about 50% of the HabEx primary mission. The preferred HabEx architecture is a 4m, monolithic, off-axis telescope that is diffraction-limited at 0.4 microns and is in an L2 orbit. HabEx employs two starlight suppression systems: a coronagraph and a starshade, each with their own dedicated instrument. △ Less

Submitted 26 January, 2020; v1 submitted 18 January, 2020; originally announced January 2020.

Comments: Full report: 498 pages. Executive Summary: 14 pages. More information about HabEx can be found here: https://www.jpl.nasa.gov/habex/

Motivic Euler products in motivic statistics

Authors: Margaret Bilu, Sean Howe

Abstract: We formulate and prove an analog of Poonen's finite-field Bertini theorem with Taylor conditions that holds in the Grothendieck ring of varieties. This gives a broad generalization of the work of Vakil-Wood, who treated the case of smooth hypersurface sections. In fact, our techniques give analogs in motivic statistics of all known results in arithmetic statistics that have been proven using Poone… ▽ More We formulate and prove an analog of Poonen's finite-field Bertini theorem with Taylor conditions that holds in the Grothendieck ring of varieties. This gives a broad generalization of the work of Vakil-Wood, who treated the case of smooth hypersurface sections. In fact, our techniques give analogs in motivic statistics of all known results in arithmetic statistics that have been proven using Poonen's sieve, including work of Bucur-Kedlaya on complete intersections and Erman-Wood on semi-ample Bertini theorems. A key ingredient is the use of motivic Euler products, as introduced by the first author, to write down candidate motivic probabilities. We also formulate a conjecture on the uniform convergence of zeta functions that unifies motivic and arithmetic statistics for varieties over finite fields. △ Less

Submitted 11 October, 2019; originally announced October 2019.

Comments: 69 pages, comments welcome

Legal Area Classification: A Comparative Study of Text Classifiers on Singapore Supreme Court Judgments

Authors: Jerrold Soh Tsin Howe, Lim How Khang, Ian Ernst Chai

Abstract: This paper conducts a comparative study on the performance of various machine learning (``ML'') approaches for classifying judgments into legal areas. Using a novel dataset of 6,227 Singapore Supreme Court judgments, we investigate how state-of-the-art NLP methods compare against traditional statistical models when applied to a legal corpus that comprised few but lengthy documents. All approaches… ▽ More This paper conducts a comparative study on the performance of various machine learning (``ML'') approaches for classifying judgments into legal areas. Using a novel dataset of 6,227 Singapore Supreme Court judgments, we investigate how state-of-the-art NLP methods compare against traditional statistical models when applied to a legal corpus that comprised few but lengthy documents. All approaches tested, including topic model, word embedding, and language model-based classifiers, performed well with as little as a few hundred judgments. However, more work needs to be done to optimize state-of-the-art methods for the legal domain. △ Less

Submitted 12 April, 2019; originally announced April 2019.

Comments: Accepted to the 1st Workshop on Natural Legal Language Processing (co-located with NAACL2019)

The Habitable Exoplanet Observatory (HabEx) Mission Concept Study Interim Report

Authors: B. Scott Gaudi, Sara Seager, Bertrand Mennesson, Alina Kiessling, Keith Warfield, Gary Kuan, Kerri Cahoy, John T. Clarke, Shawn Domagal-Goldman, Lee Feinberg, Olivier Guyon, Jeremy Kasdin, Dimitri Mawet, Tyler Robinson, Leslie Rogers, Paul Scowen, Rachel Somerville, Karl Stapelfeldt, Christopher Stark, Daniel Stern, Margaret Turnbull, Stefan Martin, Oscar Alvarez-Salazar, Rashied Amini, William Arnold , et al. (57 additional authors not shown)

Abstract: For the first time in human history, technologies have matured sufficiently to enable a mission capable of discovering and characterizing habitable planets like Earth orbiting sunlike stars other than the Sun. At the same time, such a platform would enable unique science not possible from ground-based facilities. This science is broad and exciting, ranging from new investigations of our own solar… ▽ More For the first time in human history, technologies have matured sufficiently to enable a mission capable of discovering and characterizing habitable planets like Earth orbiting sunlike stars other than the Sun. At the same time, such a platform would enable unique science not possible from ground-based facilities. This science is broad and exciting, ranging from new investigations of our own solar system to a full range of astrophysics disciplines. The Habitable Exoplanet Observatory, or HabEx, is one of four studies currently being undertaken by NASA in preparation for the 2020 Astrophysics Decadal Survey. HabEx has been designed to be the Great Observatory of the 2030s, with community involvement through a competed and funded Guest Observer (GO) program. This interim report describes the HabEx baseline concept, which is a space-based 4-meter diameter telescope mission concept with ultraviolet (UV), optical, and near-infrared (near-IR) imaging and spectroscopy capabilities. More information on HabEx can be found at https://www.jpl.nasa.gov/habex △ Less

Submitted 25 September, 2018; originally announced September 2018.

Comments: 212 Pages

Some remarks on (super)-conformal Killing-Yano tensors

Authors: P. S. Howe, U. Lindström

Abstract: A Killing-Yano tensor is an antisymmetric tensor obeying a first-order differential constraint similar to that obeyed by a Killing vector. In this article we consider generalisations of such objects, focusing on the conformal case. These generalised conformal Killing-Yano tensors are of mixed symmetry type and obey the constraint that the largest irreducible representation of $o(n)$ contained in t… ▽ More A Killing-Yano tensor is an antisymmetric tensor obeying a first-order differential constraint similar to that obeyed by a Killing vector. In this article we consider generalisations of such objects, focusing on the conformal case. These generalised conformal Killing-Yano tensors are of mixed symmetry type and obey the constraint that the largest irreducible representation of $o(n)$ contained in the tensor constructed from the first-derivative applied to such an object should vanish. Such tensors appear naturally in the context of spinning particles having $N_0=1$ worldline supersymmetry and in the related problem of higher symmetries of Dirac operators. Generalisations corresponding to extended worldline supersymmetries and to spacetime supersymmetry are discussed. △ Less

Submitted 4 October, 2018; v1 submitted 1 August, 2018; originally announced August 2018.

Comments: 28 pages, Latex, Reference added, minor corrections

Report number: KCL-MTH-02 , UUITP-31/18, Imperial-TP-UL-02

The spectral $p$-adic Jacquet-Langlands correspondence and a question of Serre

Authors: Sean Howe

Abstract: We show that the completed Hecke algebra of $p$-adic modular forms is isomorphic to the completed Hecke algebra of continuous $p$-adic automorphic forms for the units of the quaternion algebra ramified at $p$ and $\infty$. This gives an affirmative answer to a question posed by Serre in a 1987 letter to Tate. The proof is geometric, and lifts a mod $p$ argument due to Serre: we evaluate modular fo… ▽ More We show that the completed Hecke algebra of $p$-adic modular forms is isomorphic to the completed Hecke algebra of continuous $p$-adic automorphic forms for the units of the quaternion algebra ramified at $p$ and $\infty$. This gives an affirmative answer to a question posed by Serre in a 1987 letter to Tate. The proof is geometric, and lifts a mod $p$ argument due to Serre: we evaluate modular forms by identifying a quaternionic double-coset with a fiber of the Hodge-Tate period map, and extend functions off of the double-coset using fake Hasse invariants. In particular, this gives a new proof, independent of the classical Jacquet-Langlands correspondence, that Galois representations can be attached to classical and $p$-adic quaternionic eigenforms. △ Less

Submitted 20 October, 2021; v1 submitted 18 June, 2018; originally announced June 2018.

Comments: 42 pages. Close to the final journal version; rewritten and reorganized. Now contains only the spectral results of the previous version (the comparison of completed Hecke algebras), with some expanded details; the results on quaternionic representations in eigenspaces that were included in the previous version will (hopefully!) appear elsewhere

MSC Class: 11R39; 11F33; 11F77

Arbitrarily Tight Bounds on a Singularly Perturbed Linear-Quadratic Optimal Control Problem

Authors: Sei Howe, Panos Parpas

Abstract: We calculate arbitrarily tight upper and lower bounds on an unconstrained control, linear-quadratic, singularly perturbed optimal control problem whose exact solution is computationally intractable. It is well known that for the aforementioned problem, an approximate solution $\bar{V}^N(ε)$ can be constructed such that it is asymptotically equivalent in $ε$ to the solution $V(ε)$ of the singularly… ▽ More We calculate arbitrarily tight upper and lower bounds on an unconstrained control, linear-quadratic, singularly perturbed optimal control problem whose exact solution is computationally intractable. It is well known that for the aforementioned problem, an approximate solution $\bar{V}^N(ε)$ can be constructed such that it is asymptotically equivalent in $ε$ to the solution $V(ε)$ of the singularly perturbed problem in the sense that $|V(ε)-\bar{V}^N(ε)| =O(ε^{N+1})$ for any integer $N\geq0$ as $ε\rightarrow 0$. For this approximation to be considered useful, the parameter $ε$ is typically restricted to be in some sufficiently small set; however, for values of $ε$ outside this set, a poor approximation can result. We improve on this approximation by incorporating a duality theory into the singularly perturbed optimal control problem and derive an upper bound $χ^N_u(ε)$ and a lower bound $χ^N_l(ε)$ of $V(ε)$ that hold for arbitrary $ε$ and, furthermore, satisfy the inequality $|χ^N_u(ε)-χ^N_l(ε)|=O(ε^{N+1})$ for any integer $N \geq 0$ as $ε\rightarrow 0$. △ Less

Submitted 16 February, 2017; v1 submitted 14 February, 2017; originally announced February 2017.

Comments: 12 pages, 2 columns, 5 figures, journal paper submitted to IEEE Transactions on Automatic Control. arXiv admin note: text overlap with arXiv:1610.06105

Patching DFT, T-duality and Gerbes

Authors: P. S. Howe, G. Papadopoulos

Abstract: We clarify the role of the dual coordinates as described from the perspectives of the Buscher T-duality rules and Double Field Theory. We show that the T-duality angular dual coordinates cannot be identified with Double Field Theory dual coordinates in any of the proposals that have been made in the literature for patching the doubled spaces. In particular, we show with explicit examples that the… ▽ More We clarify the role of the dual coordinates as described from the perspectives of the Buscher T-duality rules and Double Field Theory. We show that the T-duality angular dual coordinates cannot be identified with Double Field Theory dual coordinates in any of the proposals that have been made in the literature for patching the doubled spaces. In particular, we show with explicit examples that the T-duality angular dual coordinates can have non-trivial transition functions over a spacetime and that their identification with the Double Field Theory dual coordinates is in conflict with proposals in which the latter remain inert under the patching of the B-field. We then demonstrate that the Double Field Theory coordinates can be identified with some C-space coordinates and that the T-dual spaces of a spacetime are subspaces of the gerbe in C-space. The construction provides a description of both the local $O(d,d)$ symmetry and the T-dual spaces of spacetime. △ Less

Submitted 27 February, 2017; v1 submitted 23 December, 2016; originally announced December 2016.

Comments: minor changes, references added

Super-Laplacians and their symmetries

Authors: P. S. Howe, U. Lindström

Abstract: A super-Laplacian is a set of differential operators in superspace whose highest-dimensional component is given by the spacetime Laplacian. Symmetries of super-Laplacians are given by linear differential operators of arbitrary finite degree and are determined by superconformal Killing tensors. We investigate these operators and their symmetries in flat superspaces. The differential operators form… ▽ More A super-Laplacian is a set of differential operators in superspace whose highest-dimensional component is given by the spacetime Laplacian. Symmetries of super-Laplacians are given by linear differential operators of arbitrary finite degree and are determined by superconformal Killing tensors. We investigate these operators and their symmetries in flat superspaces. The differential operators form an algebra which can be identified in many cases with the tensor algebra of the relevant superconformal Lie algebra modulo a certain ideal, and which have applications to Higher Spin theories. △ Less

Submitted 17 March, 2017; v1 submitted 20 December, 2016; originally announced December 2016.

Comments: 25 pages, References and comments added

Report number: Kings College Math. preprint: KCL-MTH-16-10, Uppsala Theor. Phys. preprint: UUITP-35/16, Imperial College Theor. Phys. preprint: Imperial-TP-UL-2016-02

Error Bounds for Control Constrained Singularly Perturbed Linear-Quadratic Optimal Control Problems

Authors: Sei Howe, Panos Parpas

Abstract: We present a methodology for bounding the error term of an asymptotic solution to a singularly perturbed optimal control (SPOC) problem whose exact solution is known to be computationally intractable. In previous works, reduced or computationally tractable problems that are no longer dependent on the singular perturbation parameter $ε$, where $ε$ represents a small, non-negative number, have provi… ▽ More We present a methodology for bounding the error term of an asymptotic solution to a singularly perturbed optimal control (SPOC) problem whose exact solution is known to be computationally intractable. In previous works, reduced or computationally tractable problems that are no longer dependent on the singular perturbation parameter $ε$, where $ε$ represents a small, non-negative number, have provided asymptotic error bounds of the form $O(ε)$. Specifically, the optimal solution $\bar{V}$ of the reduced problem has been shown to be asymptotically equivalent in $ε$ to the optimal solution $V(ε)$ of the singularly perturbed problem in the sense that $|V(ε)-\bar{V}| =O(ε)$ as $ε\rightarrow 0$. In this paper, we improve on this result by incorporating a duality theory into the SPOC problem and derive an upper bound $χ_u(ε)$ and lower bound $χ_l(ε)$ of $V(ε)$ that hold for arbitrary $ε$ and, furthermore, satisfy the inequality $|χ_u(ε)-χ_l(ε)| \leq C ε$ for small $ε$, with the constant $C$ determined. We carry out numerical experiments to illustrate the computational savings obtained for the upper and lower bound. In particular, we generate a set of 50 random SPOC problems of a specific form and show that for $ε$ smaller than $10^{-2}$, it becomes faster, on average, to solve for the bounds rather than the SPOC problem and for $ε=10^{-5}$, the computational time for the upper and lower bounds is approximately 20 times faster, on average, than that of the SPOC problem. △ Less

Submitted 19 October, 2016; originally announced October 2016.

Comments: 32 pages, 7 figures

Motivic random variables and representation stability I: Configuration spaces

Authors: Sean Howe

Abstract: We prove a motivic stabilization result for the cohomology of the local systems on configuration spaces of varieties over $\mathbb{C}$ attached to character polynomials. Our approach interprets the stabilization as a probabilistic phenomenon based on the asymptotic independence of certain *motivic random variables*, and gives explicit universal formulas for the limits in terms of the exponents of… ▽ More We prove a motivic stabilization result for the cohomology of the local systems on configuration spaces of varieties over $\mathbb{C}$ attached to character polynomials. Our approach interprets the stabilization as a probabilistic phenomenon based on the asymptotic independence of certain *motivic random variables*, and gives explicit universal formulas for the limits in terms of the exponents of a motivic Euler product for the Kapranov zeta function. The result can be thought of as a weak but explicit version of representation stability for the cohomology of ordered configuration spaces. In the sequel we find similar stability results in spaces of smooth hypersurface sections, providing new examples to be investigated through the lens of representation stability for symmetric, symplectic and orthogonal groups. △ Less

Submitted 24 March, 2020; v1 submitted 18 October, 2016; originally announced October 2016.

Comments: 25 pages, minor updates from v1. Close to final journal version

MSC Class: 14G10; 18F30; 55R80

Journal ref: Algebr. Geom. Topol. 20 (2020) 3013-3045

Motivic random variables and representation stability II: Hypersurface sections

Authors: Sean Howe

Abstract: We prove geometric and cohomological stabilization results for the universal smooth degree $d$ hypersurface section of a fixed smooth projective variety as $d$ goes to infinity. We show that relative configuration spaces of the universal smooth hypersurface section stabilize in the completed Grothendieck ring of varieties, and deduce from this the stabilization of the Hodge Euler characteristic of… ▽ More We prove geometric and cohomological stabilization results for the universal smooth degree $d$ hypersurface section of a fixed smooth projective variety as $d$ goes to infinity. We show that relative configuration spaces of the universal smooth hypersurface section stabilize in the completed Grothendieck ring of varieties, and deduce from this the stabilization of the Hodge Euler characteristic of natural families of local systems constructed from the vanishing cohomology. We prove explicit formulas for the stable values using a probabilistic interpretation, along with the natural analogs in point counting over finite fields. We explain how these results provide new geometric examples of a weak version of representation stability for symmetric, symplectic, and orthogonal groups. This interpretation of representation stability was studied in the prequel for configuration spaces. △ Less

Submitted 24 March, 2020; v1 submitted 18 October, 2016; originally announced October 2016.

Comments: 37 pages, close to final journal version. Major update from v1: the main conjecture of v1 is the main theorem of v2

Journal ref: Advances in Mathematics, Volume 350, 9 July 2019, Pages 1267-1313

Transcendence of the Hodge-Tate filtration

Authors: Sean Howe

Abstract: For $C$ a complete algebraically closed extension of $\mathbb{Q}_p$, we show that a one-dimensional $p$-divisible group $G/ \mathcal{O}_C$ can be defined over a complete discretely valued subfield $L \subset C$ with Hodge-Tate period ratios contained in $L$ if and only if $G$ has CM, if and only if the period ratios generate an extension of $\mathbb{Q}_p$ of degree equal to the height of the conne… ▽ More For $C$ a complete algebraically closed extension of $\mathbb{Q}_p$, we show that a one-dimensional $p$-divisible group $G/ \mathcal{O}_C$ can be defined over a complete discretely valued subfield $L \subset C$ with Hodge-Tate period ratios contained in $L$ if and only if $G$ has CM, if and only if the period ratios generate an extension of $\mathbb{Q}_p$ of degree equal to the height of the connected part of $G$. This is a $p$-adic analog of a classical transcendence result of Schneider which states that for $τ$ in the complex upper half plane, $τ$ and $j(τ)$ are simultaneously algebraic over $\mathbb{Q}$ if and only if $τ$ is contained in a quadratic extension of $\mathbb{Q}$. We also briefly discuss a conjectural generalization to shtukas with one paw. △ Less

Submitted 24 March, 2020; v1 submitted 17 October, 2016; originally announced October 2016.

Comments: 8 pages, minor update from v1. Close to final journal version

MSC Class: 14L05; 14G22

Journal ref: Journal de théorie des nombres de Bordeaux, 30 no. 2 (2018), p. 671-680

Notes on Super Killing Tensors

Authors: P. S. Howe, U. Lindström

Abstract: The notion of a Killing tensor is generalised to a superspace setting. Conserved quantities associated with these are defined for superparticles and Poisson brackets are used to define a supersymmetric version of the Schouten-Nijenhuis bracket. Superconformal Killing tensors in flat superspaces are studied for spacetime dimensions 3,4,5,6 and 10. These tensors are also presented in analytic supers… ▽ More The notion of a Killing tensor is generalised to a superspace setting. Conserved quantities associated with these are defined for superparticles and Poisson brackets are used to define a supersymmetric version of the Schouten-Nijenhuis bracket. Superconformal Killing tensors in flat superspaces are studied for spacetime dimensions 3,4,5,6 and 10. These tensors are also presented in analytic superspaces and super-twistor spaces for 3,4 and 6 dimensions. Algebraic structures associated with superconformal Killing tensors are also briefly discussed △ Less

Submitted 4 March, 2016; v1 submitted 14 November, 2015; originally announced November 2015.

Comments: 34 pages, 2 figures. Clarifying comments to make the article more accessible to mathematicians added. Some new references included

Report number: KCL-MTH-15-07, UUITP-16/15, Imperial-TP-UL-2015-02

Presentations for quaternionic $S$-unit groups

Authors: Ted Chinburg, Holley Friedlander, Sean Howe, Michiel Kosters, Bhairav Singh, Matthew Stover, Ying Zhang, Paul Ziegler

Abstract: The purpose of this paper is to give presentations for projective $S$-unit groups of the Hurwitz order in Hamilton's quaternions over the rational field $\mathbb{Q}$. To our knowledge, this provides the first explicit presentations of an $S$-arithmetic lattice in a semisimple Lie group with $S$ large. In particular, we give presentations for groups acting irreducibly and cocompactly on a product o… ▽ More The purpose of this paper is to give presentations for projective $S$-unit groups of the Hurwitz order in Hamilton's quaternions over the rational field $\mathbb{Q}$. To our knowledge, this provides the first explicit presentations of an $S$-arithmetic lattice in a semisimple Lie group with $S$ large. In particular, we give presentations for groups acting irreducibly and cocompactly on a product of Bruhat--Tits trees. We also include some discussion and experimentation related to the congruence subgroup problem, which is open when $S$ contains at least two odd primes. In the appendix, we provide code that allows the reader to compute presentations for an arbitrary finite set $S$. △ Less

Submitted 24 April, 2014; originally announced April 2014.

Invariants and divergences in half-maximal supergravity theories

Authors: G. Bossard, P. S. Howe, K. S. Stelle

Abstract: The invariants in half-maximal supergravity theories in D=4,5 are discussed in detail up to dimension eight (e.g. R^4). In D=4, owing to the anomaly in the rigid SL(2,R) duality symmetry, the restrictions on divergences need careful treatment. In pure N=4 supergravity, this anomalous symmetry still implies duality invariance of candidate counterterms at three loops. Provided one makes the addition… ▽ More The invariants in half-maximal supergravity theories in D=4,5 are discussed in detail up to dimension eight (e.g. R^4). In D=4, owing to the anomaly in the rigid SL(2,R) duality symmetry, the restrictions on divergences need careful treatment. In pure N=4 supergravity, this anomalous symmetry still implies duality invariance of candidate counterterms at three loops. Provided one makes the additional assumption that there exists a full 16-supercharge off-shell formulation of the theory, counterterms at L>1 loops would also have to be writable as full-superspace integrals. At the three-loop order such a duality-invariant full-superspace integral candidate counterterm exists, but its duality invariance is marginal in the sense that the full-superspace counter-Lagrangian is not itself duality-invariant. We show that such marginal invariants are not allowable as counterterms in a 16-supercharge off-shell formalism. It is not possible to draw the same conclusion when vector multiplets are present because of the appearance of F^4 terms in the SL(2,R) anomaly. In D=5 there is no one-loop anomaly in the shift invariance of the dilaton, and we argue that this implies finiteness at two loops, again subject to the assumption that 16 supercharges can be preserved off-shell. △ Less

Submitted 29 April, 2013; originally announced April 2013.

Comments: 81 pages

Report number: CPHT-RR027.0413, KCL-MTH-13-05, Imperial/TP/13/KSS/01

Anomalies and divergences in N=4 supergravity

Authors: G. Bossard, P. S. Howe, K. S. Stelle

Abstract: The invariants in D=4, N=4 supergravity are discussed up to the three-loop order (where one expects a general R^4 structure). Because there is an anomaly in the rigid SL(2,R) symmetry of this theory, the analysis of possible restrictions on three-loop divergences due to duality needs careful treatment. We show that this anomalous symmetry is still strong enough at the three-loop order to require d… ▽ More The invariants in D=4, N=4 supergravity are discussed up to the three-loop order (where one expects a general R^4 structure). Because there is an anomaly in the rigid SL(2,R) symmetry of this theory, the analysis of possible restrictions on three-loop divergences due to duality needs careful treatment. We show that this anomalous symmetry is still strong enough at the three-loop order to require duality invariance of candidate counterterms. Provided one makes the additional assumption that there exists a full 16-supercharge off-shell formulation of the theory, counterterms at L \ge 2 loops would also have to be writable as full-superspace integrals. At the three-loop order such a duality-invariant full-superspace integral candidate counterterm exists, but its duality invariance is marginal in the sense that the full-superspace counter-Lagrangian is not itself duality invariant. We show that, subject to the assumption that a full off-shell quantisation formalism exists, such marginal invariants are not allowable as counterterms. △ Less

Submitted 28 February, 2013; v1 submitted 4 December, 2012; originally announced December 2012.

Comments: 15 pages, version published in Phys. Lett. B

Report number: CPHT-RR-005-1212, KCL-MTH-12-12, Imperial/TP/12/KSS/02

Half-maximal supergravity in three dimensions: supergeometry, differential forms and algebraic structure

Authors: J. Greitz, P. S. Howe

Abstract: The half-maximal supergravity theories in three dimensions, which have local $SO(8)\xz SO(n)$ and rigid SO(8,n) symmetries, are discussed in a superspace setting starting from the superconformal theory. The on-shell theory is obtained by imposing further constraints; it is essentially a non-linear sigma model that induces a Poincaré supergeometry. The deformations of the geometry due to gauging ar… ▽ More The half-maximal supergravity theories in three dimensions, which have local $SO(8)\xz SO(n)$ and rigid SO(8,n) symmetries, are discussed in a superspace setting starting from the superconformal theory. The on-shell theory is obtained by imposing further constraints; it is essentially a non-linear sigma model that induces a Poincaré supergeometry. The deformations of the geometry due to gauging are briefly discussed. The possible $p$-form field strengths are studied using supersymmetry and SO(8,n) symmetry. The set of such forms obeying consistent Bianchi identities constitutes a Lie super co-algebra while the demand that these identities admit solutions places a further constraint on the possible representations of SO(8,n) that the forms transform under which can be easily understood using superspace cohomology. The dual Lie superalgebra can then be identified as the positive sector of a Borcherds superalgebra that extends the Lie algebra of the duality group. In addition to the known $p=2,3,4$ forms, which we construct explicitly, there are five-forms that can be non-zero in supergravity, while all forms with $p>5$ vanish. It is shown that some six-forms can have non-trivial contributions at order $\a'$. △ Less

Submitted 28 April, 2012; v1 submitted 26 March, 2012; originally announced March 2012.

Comments: 30 pages. References added. Some clarification of the text

Asymptotics of conductors of elliptic curves over Q

Authors: Sean Howe, Kirti Joshi

Abstract: In this note we study numbers which occur as conductors of elliptic curves over Q. We show, by constructing families of elliptic curves with quadratic discriminant and invoking a theorem of Iwaniec, that this set contains infinitely many almost primes. We show, assuming a strong version of the Cohen-Lenstra heuristics, that the set of prime conductors has an explicitly bounded density in the set o… ▽ More In this note we study numbers which occur as conductors of elliptic curves over Q. We show, by constructing families of elliptic curves with quadratic discriminant and invoking a theorem of Iwaniec, that this set contains infinitely many almost primes. We show, assuming a strong version of the Cohen-Lenstra heuristics, that the set of prime conductors has an explicitly bounded density in the set of primes. Studying the Cremona and Stein-Watkins databases of elliptic curves we conjecture that the set of conductors should be of density zero in the set of natural numbers and that the set of prime conductors should be of density zero in the set of prime numbers. △ Less

Submitted 16 September, 2015; v1 submitted 22 January, 2012; originally announced January 2012.

Comments: Complete rewrite from v1. Version 2 focuses on asymptotics of the set of conductors of elliptic curves over Q instead of the non-existence of curves of explicit almost prime conductor. New results include density bounds for prime conductors using Cohen-Lenstra. Some results and tables from v1 on non-existence of curves of almost prime conductor are not included in v2, but may still be of interest

MSC Class: 11G05

The Log-Convex Density Conjecture and vertical surface area in warped products

Authors: Sean Howe

Abstract: We examine the vertical component of surface area in the warped product of a Euclidean interval and a fiber manifold with product density. We determine general conditions under which vertical fibers minimize vertical surface area among regions bounding the same volume and use these results to conclude that in many such spaces vertical fibers are isoperimetric. Our main hypothesis is that the surfa… ▽ More We examine the vertical component of surface area in the warped product of a Euclidean interval and a fiber manifold with product density. We determine general conditions under which vertical fibers minimize vertical surface area among regions bounding the same volume and use these results to conclude that in many such spaces vertical fibers are isoperimetric. Our main hypothesis is that the surface area of a fiber be a convex function of the volume it bounds. We apply our results in the specific case of $\mathbb{R}^{n}-\{0\}$ realized as the warped product $(0,\infty)\times_{r}S^{n-1}$, providing many new examples of densities where spheres about the origin are isoperimetric, including simple densities with finite volume, simple densities that at the origin are neither log-convex nor smooth, and non-simple densities. We also generalize the results of Kolesnikov and Zhdanov on large balls in $\mathbb{R}^{n}$ with increasing strictly log-convex simple density. We situate our work in relation to the Log-Convex Density Conjecture of Rosales et al. and the recent work by Morgan, Ritoré, and others on formulating a generalized log-convex density/stable spheres conjecture. △ Less

Submitted 22 December, 2014; v1 submitted 21 July, 2011; originally announced July 2011.

Comments: 18 pages, 4 figures. Final version; to appear in Advances in Geometry

The vanishing volume of D=4 superspace

Authors: G. Bossard, P. S. Howe, K. S. Stelle, P. Vanhove

Abstract: The volume of on-shell D=4, N=8 superspace is shown to vanish. Despite this, it is shown that there is a fully supersymmetric and duality-invariant candidate d^8 R^4 counterterm corresponding to an anticipated seven-loop logarithmic divergence in D=4. We construct this counterterm explicitly and also give the complete nonlinear extension of the 1/8-BPS d^6 R^4 invariant. Similar results are derive… ▽ More The volume of on-shell D=4, N=8 superspace is shown to vanish. Despite this, it is shown that there is a fully supersymmetric and duality-invariant candidate d^8 R^4 counterterm corresponding to an anticipated seven-loop logarithmic divergence in D=4. We construct this counterterm explicitly and also give the complete nonlinear extension of the 1/8-BPS d^6 R^4 invariant. Similar results are derived for N=4,5 & 6. △ Less

Submitted 25 August, 2011; v1 submitted 30 May, 2011; originally announced May 2011.

Comments: Minor clarifications and references added. Version to be published

Report number: CBPF-NF-011/11, CPHT-RR045.0511, IHES/P/11/14, Imperial/TP/11/KSS/02, IPHT-T-11/124, KCL-MTH-11-11, NSF-KITP-11-069

Ectoplasm with an Edge

Authors: P. S. Howe, T. G. Pugh, K. S. Stelle, C. Strickland-Constable

Abstract: The construction of supersymmetric invariant actions on a spacetime manifold with a boundary is carried out using the "ectoplasm" formalism for the construction of closed forms in superspace. Non-trivial actions are obtained from the pull-backs to the bosonic bodies of closed but non-exact forms in superspace; finding supersymmetric invariants thus becomes a cohomology problem. For a spacetime wit… ▽ More The construction of supersymmetric invariant actions on a spacetime manifold with a boundary is carried out using the "ectoplasm" formalism for the construction of closed forms in superspace. Non-trivial actions are obtained from the pull-backs to the bosonic bodies of closed but non-exact forms in superspace; finding supersymmetric invariants thus becomes a cohomology problem. For a spacetime with a boundary, the appropriate mathematical language changes to relative cohomology, which we use to give a general formulation of off-shell supersymmetric invariants in the presence of boundaries. We also relate this construction to the superembedding formalism for the construction of brane actions, and we give examples with bulk spacetimes of dimension 3, 4 and 5. The closed superform in the 5D example needs to be constructed as a Chern-Simons type of invariant, obtained from a closed 6-form displaying Weil triviality. △ Less

Submitted 22 April, 2011; originally announced April 2011.

Comments: 25 pages

Report number: KCL-MTH-11-09, Imperial/TP/11/KSS/01, NSF-KITP-11-054

Journal ref: JHEP 1108:081,2011

Maximal supergravity in D=10: forms, Borcherds algebras and superspace cohomology

Authors: J. Greitz, P. S. Howe

Abstract: We give a very simple derivation of the forms of $N=2,D=10$ supergravity from supersymmetry and $SL(2,\bbR)$ (for IIB). Using superspace cohomology we show that, if the Bianchi identities for the physical fields are satisfied, the (consistent) Bianchi identities for all of the higher-rank forms must be identically satisfied, and that there are no possible gauge-trivial Bianchi identities ($dF=0$)… ▽ More We give a very simple derivation of the forms of $N=2,D=10$ supergravity from supersymmetry and $SL(2,\bbR)$ (for IIB). Using superspace cohomology we show that, if the Bianchi identities for the physical fields are satisfied, the (consistent) Bianchi identities for all of the higher-rank forms must be identically satisfied, and that there are no possible gauge-trivial Bianchi identities ($dF=0$) except for exact eleven-forms. We also show that the degrees of the forms can be extended beyond the spacetime limit, and that the representations they fall into agree with those predicted from Borcherds algebras. In IIA there are even-rank RR forms, including a non-zero twelve-form, while in IIB there are non-trivial Bianchi identities for thirteen-forms even though these forms are identically zero in supergravity. It is speculated that these higher-rank forms could be non-zero when higher-order string corrections are included. △ Less

Submitted 26 April, 2012; v1 submitted 25 March, 2011; originally announced March 2011.

Comments: 15 pages. Published version. Some clarification of the text

Report number: KCL-MTH-11-08

Journal ref: JHEP 1108:146,2011

Maximal supergravity in three dimensions: supergeometry and differential forms

Authors: J. Greitz, P. S. Howe

Abstract: The maximal supergravity theory in three dimensions, which has local SO(16) and rigid $E_8$ symmetries, is discussed in a superspace setting starting from an off-shell superconformal structure. The on-shell theory is obtained by imposing further constraints. It is essentially a non-linear sigma model that induces a Poincaré supergeometry that is described in detail. The possible $p$-form field str… ▽ More The maximal supergravity theory in three dimensions, which has local SO(16) and rigid $E_8$ symmetries, is discussed in a superspace setting starting from an off-shell superconformal structure. The on-shell theory is obtained by imposing further constraints. It is essentially a non-linear sigma model that induces a Poincaré supergeometry that is described in detail. The possible $p$-form field strengths, for $p=2,3,4$, are explicitly constructed using supersymmetry and $E_8$. The gauged theory is also discussed. △ Less

Submitted 24 April, 2011; v1 submitted 14 March, 2011; originally announced March 2011.

Comments: 27 pages. Small changes to the text; added references

Report number: KCL-MTH-11-07

Journal ref: JHEP 1107:071,2011

Integral invariants in maximally supersymmetric Yang-Mills theories

Authors: G. Bossard, P. S. Howe, U. Lindstrom, K. S. Stelle, L. Wulff

Abstract: Integral invariants in maximally supersymmetric Yang-Mills theories are discussed in spacetime dimensions $4\leq D\leq 10$ for $SU(k)$ gauge groups. It is shown that, in addition to the action, there are three special invariants in all dimensions. Two of these, the single- and double-trace $F^4$ invariants, are of Chern-Simons type in $D=9,10$ and BPS type in $D\leq 8$, while the third, the double… ▽ More Integral invariants in maximally supersymmetric Yang-Mills theories are discussed in spacetime dimensions $4\leq D\leq 10$ for $SU(k)$ gauge groups. It is shown that, in addition to the action, there are three special invariants in all dimensions. Two of these, the single- and double-trace $F^4$ invariants, are of Chern-Simons type in $D=9,10$ and BPS type in $D\leq 8$, while the third, the double-trace of two derivatives acting on $F^4$, can be expressed in terms of a gauge-invariant super-$D$-form in all dimensions. We show that the super-ten-forms for $D=10$ $F^4$ invariants have interesting cohomological properties and we also discuss some features of other invariants, including the single-trace $d^2 F^4$, which has a special form in $D=10$. The implications of these results for ultra-violet divergences are discussed in the framework of algebraic renormalisation. △ Less

Submitted 14 December, 2010; originally announced December 2010.

Comments: 20 pages, 1 table

Report number: AEI-2010-142, KCL-MTH-10-09, UUITP-27/10, Imperial/TP/10/KSS/03, MIFPA-10-53

Isoperimetric problems in sectors with density

Authors: Alexander Díaz, Nate Harman, Sean Howe, David Thompson

Abstract: We consider the isoperimetric problem in planar sectors with density $r^{p}$, and with density $a>1$ inside the unit disk and $1$ outside. We characterize solutions as a function of sector angle. We also solve the isoperimetric problem in $\mathbb{R}^{n}$ with density $r^{p},\; p<0$. We consider the isoperimetric problem in planar sectors with density $r^{p}$, and with density $a>1$ inside the unit disk and $1$ outside. We characterize solutions as a function of sector angle. We also solve the isoperimetric problem in $\mathbb{R}^{n}$ with density $r^{p},\; p<0$. △ Less

Submitted 2 December, 2010; originally announced December 2010.

Comments: 29 pages

On duality symmetries of supergravity invariants

Authors: G. Bossard, P. S. Howe, K. S. Stelle

Abstract: The role of duality symmetries in the construction of counterterms for maximal supergravity theories is discussed in a field-theoretic context from different points of view. These are: dimensional reduction, the question of whether appropriate superspace measures exist and information about non-linear invariants that can be gleaned from linearised ones. The former allows us to prove that F-term co… ▽ More The role of duality symmetries in the construction of counterterms for maximal supergravity theories is discussed in a field-theoretic context from different points of view. These are: dimensional reduction, the question of whether appropriate superspace measures exist and information about non-linear invariants that can be gleaned from linearised ones. The former allows us to prove that F-term counterterms cannot be E7(7)-invariant in D=4, N=8 supergravity or E6(6)-invariant in D=5 maximal supergravity. This is confirmed by the two other methods which can also be applied to D=4 theories with fewer supersymmetries and allow us to prove that N=6 supergravity is finite at three and four loops and that N=5 supergravity is three-loop finite. △ Less

Submitted 8 November, 2010; v1 submitted 3 September, 2010; originally announced September 2010.

Comments: Clarification of arguments and their consistency with higher dimensional divergences added, e.g. we prove the 5D 4L non-renormalisation theorem. The 4L N=6 divergence is also ruled out. References added

Report number: AEI-2010-143, KCL-MTH-10-09, Imperial/TP/10/KSS/02

Journal ref: JHEP 1101:020,2011

A note on N=8 counterterms

Authors: J. M. Drummond, P. J. Heslop, P. S. Howe

Abstract: The most difficult counterterms to construct in any supersymmetric theory are those that cannot be written as full superspace integrals of gauge-invariant integrands. In $D=4$ maximal supergravity it has been known for some time that there are just three of these at the linearised level. In this article we discuss these counterterms again from the point of view of representations of the superconfo… ▽ More The most difficult counterterms to construct in any supersymmetric theory are those that cannot be written as full superspace integrals of gauge-invariant integrands. In $D=4$ maximal supergravity it has been known for some time that there are just three of these at the linearised level. In this article we discuss these counterterms again from the point of view of representations of the superconformal group. In particular, we show that the only independent invariants constructed from shortened superconformal multiplets in $D=4$ are BPS. △ Less

Submitted 29 August, 2010; originally announced August 2010.

Comments: 13 pages

Report number: KCL-MTH-10-07, IPPP/10/71, DCTP/10/142, LAPP-035/10

D=10 supersymmetric Yang-Mills theory at alpha'^4

Authors: P. S. Howe, U. Lindstrom, L. Wulff

Abstract: The $α'^2$ deformation of D=10 SYM is the natural generalisation of the $F^4$ term in the abelian Born-Infeld theory. It is shown that this deformation can be extended to $α'^4$ in a way which is consistent with supersymmetry. The latter requires the presence of higher-derivative and commutator terms as well as the symmetrised trace of the Born-Infeld $α'^4$ term. The $α'^2$ deformation of D=10 SYM is the natural generalisation of the $F^4$ term in the abelian Born-Infeld theory. It is shown that this deformation can be extended to $α'^4$ in a way which is consistent with supersymmetry. The latter requires the presence of higher-derivative and commutator terms as well as the symmetrised trace of the Born-Infeld $α'^4$ term. △ Less

Submitted 4 May, 2010; v1 submitted 20 April, 2010; originally announced April 2010.

Comments: 27 pages. Minor changes to text; references added.

Report number: KCL-TH-10-05, UUITP-13/10

Journal ref: JHEP 1007:028,2010

Covariantly constant forms on torsionful geometries from world-sheet and spacetime perspectives

Authors: P. S. Howe, George Papadopoulos, Vid Stojevic

Abstract: The symmetries of two-dimensional supersymmetric sigma models on target spaces with covariantly constant forms associated to special holonomy groups are analysed. It is shown that each pair of such forms gives rise to a new one, called a Nijenhuis form, and that there may be further reductions of the structure group. In many cases of interest there are also covariantly constant one-forms which als… ▽ More The symmetries of two-dimensional supersymmetric sigma models on target spaces with covariantly constant forms associated to special holonomy groups are analysed. It is shown that each pair of such forms gives rise to a new one, called a Nijenhuis form, and that there may be further reductions of the structure group. In many cases of interest there are also covariantly constant one-forms which also give rise to symmetries. These geometries are of interest in the context of heterotic supergravity solutions and the associated reductions are studied from a spacetime point of view via the Killing spinor equations. △ Less

Submitted 14 October, 2010; v1 submitted 16 April, 2010; originally announced April 2010.

Comments: 33 pages, minor modifications, version published in JHEP

Journal ref: JHEP 1009:100,2010

IIA/IIB Supergravity and Ten-forms

Authors: E. A. Bergshoeff, J. Hartong, P. S. Howe, T. Ortin, F. Riccioni

Abstract: We perform a careful investigation of which p-form fields can be introduced consistently with the supersymmetry algebra of IIA and/or IIB ten-dimensional supergravity. In particular the ten-forms, also known as "top-forms", require a careful analysis since in this case, as we will show, closure of the supersymmetry algebra at the linear level does not imply closure at the non-linear level. Consequ… ▽ More We perform a careful investigation of which p-form fields can be introduced consistently with the supersymmetry algebra of IIA and/or IIB ten-dimensional supergravity. In particular the ten-forms, also known as "top-forms", require a careful analysis since in this case, as we will show, closure of the supersymmetry algebra at the linear level does not imply closure at the non-linear level. Consequently, some of the (IIA and IIB) ten-form potentials introduced in earlier work of some of us are discarded. At the same time we show that new ten-form potentials, consistent with the full non-linear supersymmetry algebra can be introduced. We give a superspace explanation of our work. All of our results are precisely in line with the predictions of the E(11) algebra. △ Less

Submitted 8 April, 2010; originally announced April 2010.

Comments: 17 pages

Report number: UG-10-21, IFT-UAM/CSIC-10-17, KCL-MTH-10-03

Journal ref: JHEP 1005:061,2010