We study a Hermitian form $h$ over a quaternion division algebra $Q$ over a field ($h$ is supposed to be alternating if the characteristic of the field is two). For generic $h$ and $Q$, for any integer $i\in [1,\;n/2]$, where $n:=\dim _{Q}h$, we show that the variety of $i$-dimensional (over $Q$) totally isotropic right subspaces of $h$ is $2$-incompressible. The proof is based on a computation of the Chow ring for the classifying space of a certain parabolic subgroup in a split simple adjoint affine algebraic group of type $C_{n}$. As an application, we determine the smallest value of the $J$-invariant of a non-degenerate quadratic form divisible by a $2$-fold Pfister form; we also determine the biggest values of the canonical dimensions of the orthogonal Grassmannians associated to such quadratic forms.

We prove formulas for the number of Jordan blocks of the maximal size for local monodromies of one-parameter degenerations of complex algebraic varieties where the bound of the size comes from the monodromy theorem. In the case when the general fibers are smooth and compact, the proof calculates some part of the weight spectral sequence of the limit mixed Hodge structure of Steenbrink. In the singular case, we can prove a similar formula for the monodromy on the cohomology with compact supports, but not on the usual cohomology. We also show that the number can really depend on the position of singular points in the embedded resolution, even in the isolated singularity case, and hence there are no simple combinatorial formulas using the embedded resolution in general.

We construct new indecomposable elements in the higher Chow group $CH^2(A,1)$ of a principally polarized Abelian surface over a $p$-adic local field, which generalize an element constructed by Collino [Griffiths’ infinitesimal invariant and higher K-theory on hyperelliptic Jacobians, J. Algebraic Geom. 6 (1997), 393–415]. These elements are constructed using a generalization, due to Birkenhake and Wilhelm [Humbert surfaces and the Kummer plane, Trans. Amer. Math. Soc. 355 (2003), 1819–1841 (electronic)], of a classical construction of Humbert. They can be used to prove a non-Archimedean analogue of the Hodge-${\mathcal{D}}$-conjecture – namely, the surjectivity of the boundary map in the localization sequence – in the case where the Abelian surface has good and ordinary reduction.

We show that the bar version of the $\text{Pin}(2)$-monopole Floer homology of a three-manifold $Y$ equipped with a self-conjugate spin$^{c}$ structure $\mathfrak{s}$ is determined by the triple cup product of $Y$ together with the Rokhlin invariants of the spin structures inducing $\mathfrak{s}$. This is a manifestation of mod $2$ index theory and can be interpreted as a three-dimensional counterpart of Atiyah’s classical results regarding spin structures on Riemann surfaces.

Investigating a conjecture of Zannier, we study irreducible subvarieties of abelian schemes that dominate the base and contain a Zariski dense set of torsion points that lie on pairwise isogenous fibers. If everything is defined over the algebraic numbers and the abelian scheme has maximal variation, we prove that the geometric generic fiber of such a subvariety is a union of torsion cosets. We go on to prove fully or partially explicit versions of this result in fibered powers of the Legendre family of elliptic curves. Finally, we apply a recent result of Galateau and Martínez to obtain uniform bounds on the number of maximal torsion cosets in the Manin–Mumford problem across a given isogeny class. For the proofs, we adapt the strategy, due to Lang, Serre, Tate, and Hindry, of using Galois automorphisms that act on the torsion as homotheties to the family setting.

We show that the only summands of the theta divisor on Jacobians of curves and on intermediate Jacobians of cubic threefolds are the powers of the curve and the Fano surface of lines on the threefold. The proof only uses the decomposition theorem for perverse sheaves, some representation theory and the notion of characteristic cycles.

Let $p\gt 2$ be prime, and let $F$ be a totally real field in which $p$ is unramified. We give a sufficient criterion for a $\mathrm{mod} \hspace{0.167em} p$ Galois representation to arise from a $\mathrm{mod} \hspace{0.167em} p$ Hilbert modular form of parallel weight one, by proving a ‘companion forms’ theorem in this case. The techniques used are a mixture of modularity lifting theorems and geometric methods. As an application, we show that Serre’s conjecture for $F$ implies Artin’s conjecture for totally odd two-dimensional representations over $F$.

The Hamiltonian shape invariant of a domain $X \subset \mathbb {R}^4$, as a subset of $\mathbb {R}^2$, describes the product Lagrangian tori which may be embedded in $X$. We provide necessary and sufficient conditions to determine whether or not a path in the shape invariant can lift, that is, be realized as a smooth family of embedded Lagrangian tori, when $X$ is a basic $4$-dimensional toric domain such as a ball $B^4(R)$, an ellipsoid $E(a,b)$ with ${b}/{a} \in \mathbb {N}_{\geq ~2}$, or a polydisk $P(c,d)$. As applications, via the path lifting, we can detect knotted embeddings of product Lagrangian tori in many toric $X$. We also obtain novel obstructions to symplectic embeddings between domains that are more general than toric concave or toric convex.

We study the torsion in the Mordell-Weil group of the Jacobian of the Fermat curve of exponent $p$ over the cyclotomic field obtained by adjoining a primitive $p$-th root of 1 to $Q$. We show that for all (except possibly one) proper subfields of this cyclotomic field, the torsion parts of the corresponding Mordell-Weil groups are elementary abelian $p$-groups.

Let k be a local field with residue characteristic p. Let n be a prime-to-p integer. Consider a smooth, irreducible k-curve X. In this article, we study the subgroup of H3(k(X), μn[otimes]2) consisting of classes which are unramified on X. It is known to be isomorphic to H0(XZar, R3π*μn[otimes]2), where π: Xét → XZar is the canonical map. A purely topological description of this group is given, using the Berkovich analytification Xan of X. More precisely, denote by Y a smooth and irreducible Berkovich-analytic k-curve, by Ytop the underlying topological space, by Yét the étale-analytic site and by πan the canonical map Yét → Ytop. Let Δ be the skeleton of Y (it is a closed subset defined by Berkovich which is locally a finite graph). Then we show (th. 42) that H0(Ytop, R3πan*μn[otimes]2) is naturally isomorphic (through sort of a pointwise evaluation of cohomology classes) to the group of harmonic cochains defined on Δ with values in $Bbb Z$/n. Now, if X is a smooth algebraic k-curve the natural map H0(XZar, R3π*μn[otimes]2) → H0(Xantop, R3πan*μn[otimes]2) is shown to be an isomorphism (th. 5.2). It is a new formulation (for the case where X is proper) and a generalization (to open curves) of a result which was due to Kato. Moreover we use here some steps of Kato's proof, but not his whole result. So our method gives, for projective curves, a (partially) new proof of Kato's theorem.

We single out a large class of groups ${\rm {\boldsymbol {\mathscr {M}}}}$ for which the following unique prime factorization result holds: if $\Gamma _1,\ldots,\Gamma _n\in {\rm {\boldsymbol {\mathscr {M}}}}$ and $\Gamma _1\times \cdots \times \Gamma _n$ is measure equivalent to a product $\Lambda _1\times \cdots \times \Lambda _m$ of infinite icc groups, then $n \ge m$, and if $n = m$, then, after permutation of the indices, $\Gamma _i$ is measure equivalent to $\Lambda _i$, for all $1\leq i\leq n$. This provides an analogue of Monod and Shalom's theorem [Orbit equivalence rigidity and bounded cohomology, Ann. of Math. 164 (2006), 825–878] for groups that belong to ${\rm {\boldsymbol {\mathscr {M}}}}$. Class ${\rm {\boldsymbol {\mathscr {M}}}}$ is constructed using groups whose von Neumann algebras admit an s-malleable deformation in the sense of Sorin Popa and it contains all icc non-amenable groups $\Gamma$ for which either (i) $\Gamma$ is an arbitrary wreath product group with amenable base or (ii) $\Gamma$ admits an unbounded 1-cocycle into its left regular representation. Consequently, we derive several orbit equivalence rigidity results for actions of product groups that belong to ${\rm {\boldsymbol {\mathscr {M}}}}$. Finally, for groups $\Gamma$ satisfying condition (ii), we show that all embeddings of group von Neumann algebras of non-amenable inner amenable groups into $L(\Gamma )$ are ‘rigid’. In particular, we provide an alternative solution to a question of Popa that was recently answered by Ding, Kunnawalkam Elayavalli, and Peterson [Properly Proximal von Neumann Algebras, Preprint (2022), arXiv:2204.00517].

For an extension R [rarrhk] A of commutative Noetherian rings the behavior of the associated morphism of topological spaces Spec A → Spec R is often measured by its behavior on each of its fibers. Specifically, one studies the ’splitting‘ (or ’branching‘) and the ’ramification‘ that occurs in each fiber. In the classical constructions of faithfully flat analytic extensions (e.g., completion or Henselization) of excellent local rings the splitting and ramification properties are fairly well understood; see EGA IV [6, 18.10], Nagata [13, Sect. 37] or Raynaud [15, Ch. IX]. The strongest results are usually achieved for fibers over a ’normal point‘ of Spec R, that is, over p ∈ Spec R such that R/p is a normal domain [e.g., the property of a normal prime p in a local ring to be ’unibranched‘, i.e., the Henselization of R/p is a (normal) domain].

We present a quantitative isolation property of the lifts of properly immersed geodesic planes in the frame bundle of a geometrically finite hyperbolic $3$-manifold. Our estimates are polynomials in the tight areas and Bowen–Margulis–Sullivan densities of geodesic planes, with degree given by the modified critical exponents.

We correct an error in our paper ‘Connected components of affine Deligne–Lusztig varieties in mixed characteristic’.

Let π : X [xlarr ] Y be a good quotient of a smooth variety X by a reductive algebraic group G and 1[les ]k≤ dim (Y) an integer. We prove that if, locally, any invariant horizontal differential k-form on X (resp. any regular differential k-form on Y) is a Kähler differential form on Y then codim(Ysing)>k+1. We also prove that the dualizing sheaf on Y is the sheaf of invariant horizontal dim(Y)-forms.