Regulator constants of integral representations of finite groups

Let G be a finite group and p be a prime. We investigate isomorphism invariants of $\mathbb{Z}_{p}[G]$-lattices whose extension of scalars to $\mathbb{Q}_p$ is self-dual, called regulator constants. These were originally introduced by Dokchitser--Dokchitser in the context of elliptic curves. Regulator constants canonically yield a pairing between the space of Brauer relations for G and the subspace of the representation ring for which regulator constants are defined. For all G, we show that this pairing is never identically zero. For formal reasons, this pairing will, in general, have non-trivial kernel. But, if G has cyclic Sylow p-subgroups and we restrict to considering permutation lattices, then we show that the pairing is non-degenerate modulo the formal kernel. Using this we can show that, for certain groups, including dihedral groups of order 2p for p odd, the isomorphism class of any $\mathbb{Z}_p[G]$-lattice whose extension of scalars to $\mathbb{Q}_p$ is self-dual, is determined by its regulator constants, its extension of scalars to $\mathbb{Q}_p$, and a cohomological invariant of Yakovlev.Comment: 43 pages. Restated the main theorem (Thm 6.8) in terms of $\mathbb{Z}_p$-lattices as opposed to $\mathbb{Z}_{(p)}$-lattices and added Section 6.3 providing criteria for the theorem to apply. To appear in Math. Proc. Cambridge Philos. So

P versus NP and geometry

I describe three geometric approaches to resolving variants of P v. NP, present several results that illustrate the role of group actions in complexity theory, and make a first step towards completely geometric definitions of complexity classes.Comment: 20 pages, to appear in special issue of J. Symbolic. Comp. dedicated to MEGA 200

Exceptional zero formulae and a conjecture of Perrin-Riou

Let $A/\mathbb{Q}$ be an elliptic curve with split multiplicative reduction at a prime $p$. We prove (an analogue of) a conjecture of Perrin-Riou, relating $p$-adic Beilinson$-$Kato elements to Heegner points in $A(\mathbb{Q})$, and a large part of the rank-one case of the Mazur$-$Tate$-$Teitelbaum exceptional zero conjecture for the cyclotomic $p$-adic $L$-function of $A$. More generally, let $f$ be the weight-two newform associated with $A$, let $f_{\infty}$ be the Hida family of $f$, and let $L_{p}(f_{\infty},k,s)$ be the Mazur$-$Kitagawa two-variable $p$-adic $L$-function attached to $f_{\infty}$. We prove a $p$-adic Gross$-$Zagier formula, expressing the quadratic term of the Taylor expansion of $L_{p}(f_{\infty},k,s)$ at $(k,s)=(2,1)$ as a non-zero rational multiple of the extended height-weight of a Heegner point in $A(\mathbb{Q})$

First-order limits, an analytical perspective

In this paper we present a novel approach to graph (and structural) limits based on model theory and analysis. The role of Stone and Gelfand dualities is displayed prominently and leads to a general theory, which we believe is naturally emerging. This approach covers all the particular examples of structural convergence and it put the whole in new context. As an application, it leads to new intermediate examples of structural convergence and to a "grand conjecture" dealing with sparse graphs. We survey the recent developments