Let R be a commutative ring. One may ask when a general R-module P that satisfies $P \oplus R \cong R^n$ has a free summand of a given rank. M. Raynaud translated this question into one about sections of certain maps between Stiefel varieties: if $V_r(\mathbb {A}^n)$ denotes the variety $\operatorname {GL}(n) / \operatorname {GL}(n-r)$ over a field k, then the projection $V_r(\mathbb {A}^n) \to V_1(\mathbb {A}^n)$ has a section if and only if the following holds: any module P over any k-algebra R with the property that $P \oplus R \cong R^n$ has a free summand of rank $r-1$. Using techniques from $\mathbb {A}^1$-homotopy theory, we characterize those n for which the map $V_r(\mathbb {A}^n) \to V_1(\mathbb {A}^n)$ has a section in the cases $r=3,4$ under some assumptions on the base field.

We conclude that if $P \oplus R \cong R^{24m}$ and R contains the field of rational numbers, then P contains a free summand of rank $2$. If R contains a quadratically closed field of characteristic $0$, or the field of real numbers, then P contains a free summand of rank $3$. The analogous results hold for schemes and vector bundles over them.

Let S be a minimal irregular surface of general type, whose Albanese map induces a hyperelliptic fibration $f:\,S \to B$ of genus g. We prove a quadratic upper bound on the genus g (i.e., $g\leq h\big (\chi (\mathcal {O}_S)\big )$, where h is a quadratic function). We also construct examples showing that the quadratic upper bounds cannot be improved to linear ones. In the special case when $p_g(S)=q(S)=1$, we show that $g\leq 14$.

We prove an asymptotic formula for the second moment of central values of Dirichlet L-functions restricted to a coset. More specifically, consider a coset of the subgroup of characters modulo d inside the full group of characters modulo q. Suppose that $\nu _p(d) \geq \nu _p(q)/2$ for all primes p dividing q. In this range, we obtain an asymptotic formula with a power-saving error term; curiously, there is a secondary main term of rough size $q^{1/2}$ here which is not predicted by the integral moments conjecture of Conrey, Farmer, Keating, Rubinstein, and Snaith. The lower-order main term does not appear in the second moment of the Riemann zeta function, so this feature is not anticipated from the analogous archimedean moment problem.

We also obtain an asymptotic result for smaller d, with $\nu _p(q)/3 \leq \nu _p(d) \leq \nu _p(q)/2$, with a power-saving error term for d larger than $q^{2/5}$. In this more difficult range, the secondary main term somewhat changes its form and may have size roughly d, which is only slightly smaller than the diagonal main term.

Kontsevich ([Kir95, Problem 3.48]) conjectured that $\mathrm {BDiff}(M, \text {rel }\partial )$ has the homotopy type of a finite CW complex for all compact $3$-manifolds with nonempty boundary. Hatcher-McCullough ([HM97]) proved this conjecture when M is irreducible. We prove a homological version of Kontsevich’s conjecture. More precisely, we show that $\mathrm {BDiff}(M, \text {rel }\partial )$ has finitely many nonzero homology groups each finitely generated when M is a connected sum of irreducible $3$-manifolds that each have a nontrivial and non-spherical boundary.

Let $\mathcal {X}\to \mathbb {D}$ be a flat family of projective complex 3-folds over a disc $\mathbb {D}$ with smooth total space $\mathcal {X}$ and smooth general fibre $\mathcal {X}_t,$ and whose special fiber $\mathcal {X}_0$ has double normal crossing singularities, in particular, $\mathcal {X}_0=A\cup B$, with A, B smooth threefolds intersecting transversally along a smooth surface $R=A\cap B.$ In this paper, we first study the limit singularities of a $\delta $-nodal surface in the general fibre $S_t\subset \mathcal {X}_t$, when $S_t$ tends to the central fibre in such a way its $\delta $ nodes tend to distinct points in R. The result is that the limit surface $S_0$ is in general the union $S_0=S_A\cup S_B$, with $S_A\subset A$, $S_B\subset B$ smooth surfaces, intersecting on R along a $\delta $-nodal curve $C=S_A\cap R=S_B\cap B$. Then we prove that, under suitable conditions, a surface $S_0=S_A\cup S_B$ as above indeed deforms to a $\delta $-nodal surface in the general fibre of $\mathcal {X}\to \mathbb {D}$. As applications, we prove that there are regular irreducible components of the Severi variety of degree d surfaces with $\delta $ nodes in $\mathbb {P}^3$, for every $\delta \leqslant {d-1\choose 2}$ and of the Severi variety of complete intersection $\delta $-nodal surfaces of type $(d,h)$, with $d\geqslant h-1$ in $\mathbb {P}^4$, for every $\delta \leqslant {{d+3}\choose 3}-{{d-h+1}\choose 3}-1.$

We study the problem of the irreducibility of the Hessian variety ${\mathcal {H}}_f$ associated with a smooth cubic hypersurface $V(f)\subset {\mathbb {P}}^n$. We prove that when $n\leq 5$, ${\mathcal {H}}_f$ is normal and irreducible if and only if f is not of Thom-Sebastiani type (i.e., if one cannot separate its variables by changing coordinates). This also generalizes a result of Beniamino Segre dealing with the case of cubic surfaces. The geometric approach is based on the study of the singular locus of the Hessian variety and on infinitesimal computations arising from a particular description of these singularities.

A conjecture of Jackson from 1981 states that every d-regular oriented graph on n vertices with $n\leq 4d+1$ is Hamiltonian. We prove this conjecture for sufficiently large n. In fact we prove a more general result that for all $\alpha>0$, there exists $n_0=n_0(\alpha )$ such that every d-regular digraph on $n\geq n_0$ vertices with $d \ge \alpha n $ can be covered by at most $n/(d+1)$ vertex-disjoint cycles, and moreover that if G is an oriented graph, then at most $n/(2d+1)$ cycles suffice.

We study the generalized Ramsey–Turán function $\mathrm {RT}(n,K_s,K_t,o(n))$, which is the maximum possible number of copies of $K_s$ in an n-vertex $K_t$-free graph with independence number $o(n)$. The case when $s=2$ was settled by Erdős, Sós, Bollobás, Hajnal, and Szemerédi in the 1980s. We combinatorially resolve the general case for all $s\ge 3$, showing that the (asymptotic) extremal graphs for this problem have simple (bounded) structures. In particular, it implies that the extremal structures follow a periodic pattern when t is much larger than s. Our results disprove a conjecture of Balogh, Liu, and Sharifzadeh and show that a relaxed version does hold.

Let k be an algebraically closed field of characteristic $p>0$. Let X be a normal projective surface over k with canonical singularities whose anticanonical divisor is nef and big. We prove that X is globally F-regular except for the following cases: (1) $K_X^2=4$ and $p=2$, (2) $K_X^2=3$ and $p \in \{2, 3\}$, (3) $K_X^2=2$ and $p \in \{2, 3\}$, (4) $K_X^2=1$ and $p \in \{2, 3, 5\}$. For each degree $K_X^2$, the assumption of p is optimal.

Let X be a toric Calabi-Yau 3-fold and let $L\subset X$ be an Aganagic-Vafa outer brane. We prove two versions of open WDVV equations for the open Gromov-Witten theory of $(X,L)$. The first version of the open WDVV equation leads to the construction of a semi-simple (formal) Frobenius manifold, and the second version leads to the construction of a flat (formal) F-manifold.

We prove that the infinite half-spin representations are topologically Noetherian with respect to the infinite spin group. As a consequence, we obtain that half-spin varieties, which we introduce, are defined by the pullback of equations at a finite level. The main example for such varieties is the infinite isotropic Grassmannian in its spinor embedding, for which we explicitly determine its defining equations.

We introduce an explicit family of representations of the double affine Hecke algebra $\mathbb {H}$ acting on spaces of quasi-polynomials, defined in terms of truncated Demazure-Lusztig type operators. We show that these quasi-polynomial representations provide concrete realisations of a natural family of cyclic Y-parabolically induced $\mathbb {H}$-representations. We recover Cherednik’s well-known polynomial representation as a special case.

The quasi-polynomial representation gives rise to a family of commuting operators acting on spaces of quasi-polynomials. These generalize the Cherednik operators, which are fundamental in the study of Macdonald polynomials. We provide a detailed study of their joint eigenfunctions, which may be regarded as quasi-polynomial, multi-parametric generalisations of nonsymmetric Macdonald polynomials. We also introduce generalizations of symmetric Macdonald polynomials, which are invariant under a multi-parametric generalization of the standard Weyl group action.

We connect our results to the representation theory of metaplectic covers of reductive groups over non-archimedean local fields. We introduce root system generalizations of the metaplectic polynomials from our previous work by taking a suitable restriction and reparametrization of the quasi-polynomial generalizations of Macdonald polynomials. We show that metaplectic Iwahori-Whittaker functions can be recovered by taking the Whittaker limit of these metaplectic polynomials.

We introduce a new algebra $\mathcal {U}=\dot {\mathrm {\mathbf{U}}}_{0,N}(L\mathfrak {sl}_n)$ called the shifted $0$-affine algebra, which emerges naturally from studying coherent sheaves on n-step partial flag varieties through natural correspondences. This algebra $\mathcal {U}$ has a similar presentation to the shifted quantum affine algebra defined by Finkelberg-Tsymbaliuk. Then, we construct a categorical $\mathcal {U}$-action on a certain 2-category arising from derived categories of coherent sheaves on n-step partial flag varieties. As an application, we construct a categorical action of the affine $0$-Hecke algebra on the bounded derived category of coherent sheaves on the full flag variety.

We prove a genus zero Givental-style mirror theorem for all complete intersections in toric Deligne-Mumford stacks, which provides an explicit slice called big I-function on Givental’s Lagrangian cone for such targets. In particular, we remove a technical assumption called convexity needed in the previous mirror theorem for such complete intersections. In the realm of quasimap theory, our mirror theorem can be viewed as solving the quasimap wall-crossing conjecture for big I-function [13] for these targets. In the proof, we discover a new recursive characterization of the slice on Givental’s Lagrangian cone, which may be of self-independent interests.

We consider the critical temperature for superconductivity, defined via the linear BCS equation. We prove that at weak coupling the critical temperature for a sample confined to a quadrant in two dimensions is strictly larger than the one for a half-space, which in turn is strictly larger than the one for $\mathbb {R}^2$. Furthermore, we prove that the relative difference of the critical temperatures vanishes in the weak coupling limit.

We study the length of short cycles on uniformly random metric maps (also known as ribbon graphs) of large genus using a Teichmüller theory approach. We establish that, as the genus tends to infinity, the length spectrum converges to a Poisson point process with an explicit intensity. This result extends the work of Janson and Louf to the multi-faced case.

We prove a conjecture of Pappas and Rapoport for all Shimura varieties of abelian type with parahoric level structure when $p>2$ by showing that the Kisin–Pappas–Zhou integral models of Shimura varieties of abelian type are canonical. In particular, this shows that these models are independent of the choices made during their construction, and that they satisfy functoriality with respect to morphisms of Shimura data.

Scalar relative invariants play an important role in the theory of group actions on a manifold as their zero sets are invariant hypersurfaces. Relative invariants are central in many applications, where they often are treated locally since an invariant hypersurface may not be a locus of a single function. Our aim is to establish a global theory of relative invariants.

For a Lie algebra ${\mathfrak g}$ of holomorphic vector fields on a complex manifold M, any holomorphic ${\mathfrak g}$-invariant hypersurface is given in terms of a ${\mathfrak g}$-invariant divisor. This generalizes the classical notion of scalar relative ${\mathfrak g}$-invariant. Any ${\mathfrak g}$-invariant divisor gives rise to a ${\mathfrak g}$-equivariant line bundle, and a large part of this paper is therefore devoted to the investigation of the group $\mathrm {Pic}_{\mathfrak g}(M)$ of ${\mathfrak g}$-equivariant line bundles. We give a cohomological description of $\mathrm {Pic}_{\mathfrak g}(M)$ in terms of a double complex interpolating the Chevalley-Eilenberg complex for ${\mathfrak g}$ with the Čech complex of the sheaf of holomorphic functions on M.

We also obtain results about polynomial divisors on affine bundles and jet bundles. This has applications to the theory of differential invariants. Those were actively studied in relation to invariant differential equations, but the description of multipliers (or weights) of relative differential invariants was an open problem. We derive a characterization of them with our general theory. Examples, including projective geometry of curves and second-order ODEs, not only illustrate the developed machinery but also give another approach and rigorously justify some classical computations. At the end, we briefly discuss generalizations of this theory.