The celebrated Smith–Minkowski–Siegel mass formula expresses the mass of a quadratic lattice $(L,Q)$ as a product of local factors, called the local densities of $(L,Q)$. This mass formula is an essential tool for the classification of integral quadratic lattices. In this paper, we will describe the local density formula explicitly by observing the existence of a smooth affine group scheme $\underline{G}$ over $\mathbb{Z}_{2}$ with generic fiber $\text{Aut}_{\mathbb{Q}_{2}}(L,Q)$, which satisfies $\underline{G}(\mathbb{Z}_{2})=\text{Aut}_{\mathbb{Z}_{2}}(L,Q)$. Our method works for any unramified finite extension of $\mathbb{Q}_{2}$. Therefore, we give a long awaited proof for the local density formula of Conway and Sloane and discover its generalization to unramified finite extensions of $\mathbb{Q}_{2}$. As an example, we give the mass formula for the integral quadratic form $Q_{n}(x_{1},\dots ,x_{n})=x_{1}^{2}+\cdots +x_{n}^{2}$ associated to a number field $k$ which is totally real and such that the ideal $(2)$ is unramified over $k$.

In this paper, we study the structure of the local components of the (shallow, i.e. without $U_{p}$) Hecke algebras acting on the space of modular forms modulo $p$ of level $1$, and relate them to pseudo-deformation rings. In many cases, we prove that those local components are regular complete local algebras of dimension $2$, generalizing a recent result of Nicolas and Serre for the case $p=2$.

Let ${\rm\Gamma}(n,p)$ denote the binomial model of a random triangular group. We show that there exist constants $c,C>0$ such that if $p\leqslant c/n^{2}$, then asymptotically almost surely (a.a.s.) ${\rm\Gamma}(n,p)$ is free, and if $p\geqslant C\log n/n^{2}$, then a.a.s. ${\rm\Gamma}(n,p)$ has Kazhdan’s property (T). Furthermore, we show that there exist constants $C^{\prime },c^{\prime }>0$ such that if $C^{\prime }/n^{2}\leqslant p\leqslant c^{\prime }\log n/n^{2}$, then a.a.s. ${\rm\Gamma}(n,p)$ is neither free nor has Kazhdan’s property (T).

We generalize the work of Bertolini and Darmon on the anticyclotomic main conjecture for elliptic curves to modular forms of higher weight.

We extend to compact Kähler manifolds some classical results on linear representation of fundamental groups of complex projective manifolds. Our approach, based on an interversion lemma for fibrations with tori versus general type manifolds as fibers, gives a refinement of the classical work of Zuo. We extend to the Kähler case some general results on holomorphic convexity of coverings such as the linear Shafarevich conjecture.

We prove that, for simple modules $M$ and $N$ over a quantum affine algebra, their tensor product $M\otimes N$ has a simple head and a simple socle if $M\otimes M$ is simple. A similar result is proved for the convolution product of simple modules over quiver Hecke algebras.

Grothendieck duality theory assigns to essentially finite-type maps $f$ of noetherian schemes a pseudofunctor $f^{\times }$ right-adjoint to $\mathsf{R}f_{\ast }$, and a pseudofunctor $f^{!}$ agreeing with $f^{\times }$ when $f$ is proper, but equal to the usual inverse image $f^{\ast }$ when $f$ is étale. We define and study a canonical map from the first pseudofunctor to the second. This map behaves well with respect to flat base change, and is taken to an isomorphism by ‘compactly supported’ versions of standard derived functors. Concrete realizations are described, for instance for maps of affine schemes. Applications include proofs of reduction theorems for Hochschild homology and cohomology, and of a remarkable formula for the fundamental class of a flat map of affine schemes.

Following Jacquet, Lapid and Rogawski, we define a regularized period of an automorphic form on $\text{GL}_{n+1}\times \text{GL}_{n}$ along the diagonal subgroup $\text{GL}_{n}$ and express it in terms of the Rankin–Selberg integral of Jacquet, Piatetski-Shapiro and Shalika. This extends the theory of Rankin–Selberg integrals to all automorphic forms on $\text{GL}_{n+1}\times \text{GL}_{n}$.

We introduce support varieties for rational representations of a linear algebraic group $G$ of exponential type over an algebraically closed field $k$ of characteristic $p>0$. These varieties are closed subspaces of the space $V(G)$ of all 1-parameter subgroups of $G$. The functor $M\mapsto V(G)_{M}$ satisfies many of the standard properties of support varieties satisfied by finite groups and other finite group schemes. Furthermore, there is a close relationship between $V(G)_{M}$ and the family of support varieties $V_{r}(G)_{M}$ obtained by restricting the $G$ action to Frobenius kernels $G_{(r)}\subset G$. These support varieties seem particularly appropriate for the investigation of infinite-dimensional rational $G$-modules.

Let $p\geqslant 5$ be a prime. If an irreducible component of the spectrum of the ‘big’ ordinary Hecke algebra does not have complex multiplication, under mild assumptions, we prove that the image of its Galois representation contains, up to finite error, a principal congruence subgroup ${\rm\Gamma}(L)$ of $\text{SL}_{2}(\mathbb{Z}_{p}[[T]])$ for a principal ideal $(L)\neq 0$ of $\mathbb{Z}_{p}[[T]]$ for the canonical ‘weight’ variable $t=1+T$. If $L\notin {\rm\Lambda}^{\times }$, the power series $L$ is proven to be a factor of the Kubota–Leopoldt $p$-adic $L$-function or of the square of the anticyclotomic Katz $p$-adic $L$-function or a power of $(t^{p^{m}}-1)$.

Let $A$ be an abelian variety over a global field $K$ of characteristic $p\geqslant 0$. If $A$ has nontrivial (respectively full) $K$-rational $l$-torsion for a prime $l\neq p$, we exploit the fppf cohomological interpretation of the $l$-Selmer group $\text{Sel}_{l}\,A$ to bound $\#\text{Sel}_{l}\,A$ from below (respectively above) in terms of the cardinality of the $l$-torsion subgroup of the ideal class group of $K$. Applied over families of finite extensions of $K$, the bounds relate the growth of Selmer groups and class groups. For function fields, this technique proves the unboundedness of $l$-ranks of class groups of quadratic extensions of every $K$ containing a fixed finite field $\mathbb{F}_{p^{n}}$ (depending on $l$). For number fields, it suggests a new approach to the Iwasawa ${\it\mu}=0$ conjecture through inequalities, valid when $A(K)[l]\neq 0$, between Iwasawa invariants governing the growth of Selmer groups and class groups in a $\mathbb{Z}_{l}$-extension.

A special linear Grassmann variety $\text{SGr}(k,n)$ is the complement to the zero section of the determinant of the tautological vector bundle over $\text{Gr}(k,n)$. For an $SL$-oriented representable ring cohomology theory $A^{\ast }(-)$ with invertible stable Hopf map ${\it\eta}$, including Witt groups and $\text{MSL}_{{\it\eta}}^{\ast ,\ast }$, we have $A^{\ast }(\text{SGr}(2,2n+1))\cong A^{\ast }(pt)[e]/(e^{2n})$, and $A^{\ast }(\text{SGr}(k,n))$ is a truncated polynomial algebra over $A^{\ast }(pt)$ whenever $k(n-k)$ is even. A splitting principle for such theories is established. Using the computations for the special linear Grassmann varieties, we obtain a description of $A^{\ast }(\text{BSL}_{n})$ in terms of homogeneous power series in certain characteristic classes of tautological bundles.

We give sufficient conditions for a Frobenius category to be equivalent to the category of Gorenstein projective modules over an Iwanaga–Gorenstein ring. We then apply this result to the Frobenius category of special Cohen–Macaulay modules over a rational surface singularity, where we show that the associated stable category is triangle equivalent to the singularity category of a certain discrepant partial resolution of the given rational singularity. In particular, this produces uncountably many Iwanaga–Gorenstein rings of finite Gorenstein projective type. We also apply our method to representation theory, obtaining Auslander–Solberg and Kong type results.

We prove that on any compact manifold $M^{n}$ with boundary, there exists a conformal class $C$ such that for any Riemannian metric $g\in C$ of unit volume, the first positive eigenvalue of the Neumann Laplacian satisfies ${\it\lambda}_{1}(M^{n},g)<n\,\text{Vol}(S^{n},g_{\text{can}})^{2/n}$. We also prove a similar inequality for the first positive Steklov eigenvalue. The proof relies on a handle decomposition of the manifold. We also prove that the conformal volume of $(M,C)$ is $\text{Vol}(S^{n},g_{\text{can}})$, and that the Friedlander–Nadirashvili invariant and the Möbius volume of $M$ are equal to those of the sphere. If $M$ is a domain in a space form, $C$ is the conformal class of the canonical metric.

Let $k$ be an infinite field. Let $R$ be the semi-local ring of a finite family of closed points on a $k$-smooth affine irreducible variety, let $K$ be the fraction field of $R$, and let $G$ be a reductive simple simply connected $R$-group scheme isotropic over $R$. Our Theorem 1.1 states that for any Noetherian $k$-algebra $A$ the kernel of the map

$$\begin{eqnarray}H_{\acute{\text{e}}\text{t}}^{1}(R\otimes _{k}A,G)\rightarrow H_{\acute{\text{e}}\text{t}}^{1}(K\otimes _{k}A,G)\end{eqnarray}$$

$R$

$K$

$A=k$

$R$

We show the existence of a large family of representations supported by the orbit closure of the determinant. However, the validity of our result is based on the validity of the celebrated ‘Latin square conjecture’ due to Alon and Tarsi or, more precisely, on the validity of an equivalent ‘column Latin square conjecture’ due to Huang and Rota.