要約:
In this paper, we introduce ribbon TQFTs via Edge Contraction/Construction Axioms of colored ribbon graphs as an extension of the 2D TQFT axioms for ribbon graphs formulated in arXiv:1508.05922. We investigate nearly Frobenius structures and Almost TQFTs defined in arXiv:1907.05470 together with ribbon TQFTs. We give a classification result for ribbon TQFTs that extends the one obtained for Frobenius algebras in arXiv:1508.05922. In particular, the Edge Contraction/Construction Axioms of colored ribbon graphs in this work become equivalent to the functorial Axioms of TQFTs governed by the sewing principle of Atiyah and Segal discussed in arXiv:2510.03128 and arXiv:1907.05470. As an application, we obtain that the recursion of generalized Catalan numbers can be twisted by Almost TQFT for co-unital nearly Frobenius algebra.
要約:
We prove that, under certaing geometric conditions, that only \(m-1\) different honest $(m+2)$-secants plus one degenerate $(m+2)$-secant to the Kummer variety implies the existence of a curve of $(m+2)$-secants to the Kummer variety. This is done by constructing a set of equations in terms of theta functions from the germ of a curve on the described points. The relation between those equations allows to proceed by induction to get the entire desired curve since the first of them is equivalent to the hypothesis that we ask.
要約:
The Tate conjecture predicts that Galois-invariant classes in $\ell$-adic cohomology, and Frobenius-invariant classes in crystalline cohomology, arise from algebraic cycles. We prove an unconditional p-adic analogue of this principle in the 1-motivic range. Our starting point is a full-faithfulness theorem for Deligne 1-motives: after p-adic scalar extension, the Barsotti-Tate crystal functor identifies Hom-groups of 1-motives with Hom-groups in the category of filtered Dieudonne modules. Using the equivalence between the derived category of 1-motives up to isogeny and the 1-motivic part of Voevodsky's triangulated category of effective motives with rational coefficients, we extend this full-faithfulness result to the entire 1-motivic thick subcategory. More precisely, over a finite field $k = F_q$, we show that every Frobenius-compatible morphism between Barsotti-Tate crystalline realizations is induced by a unique 1-motivic morphism. Consequently, the Frobenius-invariant classes that occur in this range are already motivic and therefore algebraic. This yields an explicit linear-algebraic description of motivic morphisms and extension classes in level at most 1 in terms of Frobenius-equivariant maps preserving the Hodge filtration, giving a crystalline analogue of the principle that Tate classes are algebraic without invoking cycle conjectures in codimension at least 2.
要約:
We describe the mapping class group action on the cohomology of the twisted $\mathrm{SL}_n$-character variety of a surface $\Sigma_g$ of genus $g$. Our main tool is a relative version of the endoscopic decomposition of Maulik-Shen; this allows us to reduce the problem to the mapping class group action on the cohomology of a canonical finite cover of $\Sigma_g$, which was studied by Looijenga.
要約:
For a stable real bundle $E$ of rank $2$ and degree $1$ on a real genus $2$ curve, we describe the action of the real structure of the curve on the set of $4$ maximal line subbundles of degree $0$ of $E$. This describes the Galois action on the set of lines through a real point in the moduli space of such bundles, and is a real algebraic extension of classical work of Newstead. Our proof is an application of techniques of Atiyah from the 1950's. We prove also results on real line subbundles in higher genus using work of Lange-Narasimhan.
要約:
We show how the computer algebra system OSCAR can be used to obtain topologically correct or visually pleasing drawings of real plane algebraic curves.
要約:
Let $p$ be a prime number. We investigate a refined version of the Iwasawa main conjectures for rational elliptic curves (and more general Galois representations) over anticyclotomic $\mathbb Z_p$-extensions of imaginary quadratic fields, both in the definite and in the indefinite settings. In order to do this, we describe (under mild arithmetic assumptions) all the higher Fitting ideals of Pontryagin duals of Selmer and Shafarevich-Tate groups over anticyclotomic $\mathbb Z_p$-extensions in terms of the bipartite Euler systems introduced by Bertolini and Darmon. As an application of our work on Fitting ideals, we offer new results on the structure of (Pontryagin duals of) anticyclotomic Selmer and Shafarevich-Tate groups of elliptic curves.
要約:
We determine properties of two-dimensional normal affine semigroup rings, and in particular of weighted Veronese rings, including determinantal presentation, Gr\"obner basis, graded Hilbert series and graded Betti numbers, the structure of their associated graded rings, and their Koszul property. We give examples in higher dimensions illustrating that the first and last properties may fail. Our approach leverages convex monomial ideals as introduced in Herzog-Qureshi-Saem(2019), which give rise to convex semigroups.
要約:
We consider the problem of lifting a regular cluster structure on a quasi-affine variety to the ambient affine space and a similar problem of defining a regular pullback of a regular cluster structure under a dominant rational map between affine spaces. We provide sufficient conditions for the existence of the corresponding object, called an almost-cluster structure, study its combinatorics, compatible Poisson bracket and the corresponding upper cluster algebra.
要約:
Fargues-Scholze developed a framework for the geometric Langlands program on the Fargues-Fontaine curve. In particular, they proved the geometric Satake equivalence on the moduli space of closed Cartier divisors on the curve. We prove the derived version of this equivalence with one leg. Namely, we show that the derived category of etale sheaves on the local Hecke stack is equivalent to the category of L-group-equivariant perfect complexes over the symmetric algebra of the shifted and (-1)-Tate-twisted Lie algebra.
要約:
Let $k$ be an algebraically closed field and $G$ a connected reductive group over $k((t))$ satisfying some conditions. We define a stratification by conjugacy classes of twisted Levi subgroups of $G$ on each Moy-Prasad quotient $\mathfrak{k}_{x,r}/\mathfrak{k}_{x,r+}$ of $G$. We then calculate the strata in terms of the associated twisted Levi subgroups. This calculation is necessary for several followup papers on the local geometric Langlands program.
要約:
We introduce jacobian graphs, which are explicit families of regular graphs that are spectrally indistinguishable from random graphs, but whose local structure is very different from that of random graphs. The construction relies on the geometric properties of generalized jacobians of curves and on general equidistribution theorems for character sums over finite fields.
要約:
In this note, we reduce various conjectures in birational geometry, including Shokurov conjecture on singularities of the base of log Calabi-Yau fibrations of Fano type and boundedness conjecture for rationally connected Calabi-Yau varieties, to a conjecture on multiplicities of fibers of Fano fibrations over curves.
要約:
In this note, we prove two results regarding the variation of K-moduli. The first one reveals the relationship between the chamber decomposition for K-semistable domains and the variation of GIT. The second one presents the relationship between the K-moduli generically parametrizing K-semistable smooth Fano complete intersections of the form $S_1\cap...\cap S_k$ and the K-moduli generically parametrizing K-semistable log Fano manifolds of the form $(\mathbb{P}^n, \sum_{j=1}^kx_jS_j)$, where $x_j\in (0,1)\cap \mathbb{Q}$ and $S_j\subset \mathbb{P}^n$ is a hypersurface of degree $d_j$ for each $1\leq j\leq k$.
要約:
Let $(f,g): (S,s) \to (\mathbb{C}^2, 0)$ be a finite morphism from a germ of normal complex analytic surface to the germ of $\mathbb{C}^2$ at the origin. We show that the affine algebraic curve in $\mathbb{C}^2$ defined by the initial Newton polynomial of a defining series of the discriminant germ of $(f,g)$ depends up to toric automorphisms only on the germs of curves defined by $f$ and $g$. This result generalizes a theorem of Gryszka, Gwo\'zdziewicz and Parusi\'nski, which is the special case in which $(S,s)$ is smooth. Our proof uses a common generalization of formulas of L\^e, Casas-Alvero and N\'emethi for the intersection number of the discriminant with a germ of plane curve. It uses also a theorem of Delgado and Maugendre characterizing the special members of pencils of curves on normal surface singularities. We apply it to the pencils generated by all pairs $(f^b, g^a)$, for varying positive integral exponents $a, b$, following a strategy initiated by Gwo\'zdziewicz and by Delgado and Maugendre. This is similar to the Eudoxian method of comparison of magnitudes by comparing the sizes of their positive integral multiples.
要約:
We compute the $S_n$-equivariant topological Euler characteristic of the Kontsevich moduli space $\overline{\mathcal{M}}_{1, n}(\mathbb{P}^r, d)$. Letting $\overline{\mathcal{M}}_{1, n}^{\mathrm{nrt}}(\mathbb{P}^r, d) \subset \overline{\mathcal{M}}_{1, n}(\P^r, d)$ denote the subspace of maps from curves without rational tails, we solve for the motive of $\overline{\mathcal{M}}_{1, n}(\mathbb{P}^r, d)$ in terms of $\overline{\mathcal{M}}_{1, n}^{\mathrm{nrt}}(\mathbb{P}^r, d)$ and plethysm with a genus-zero contribution determined by Getzler and Pandharipande. Fixing a generic $\mathbb{C}^\star$-action on $\mathbb{P}^r$, we derive a closed formula for the Euler characteristic of $\overline{\mathcal{M}}_{1, n}^{\mathrm{nrt}}(\mathbb{P}^r, d)^{\mathbb{C}^\star}$ as an $S_n$-equivariant virtual mixed Hodge structure, which leads to our main formula for the Euler characteristic of $\overline{\mathcal{M}}_{1,n}(\mathbb{P}^r, d)$. Our approach connects the geometry of torus actions on Kontsevich moduli spaces with symmetric functions in Coxeter types $A$ and $B$, as well as the enumeration of graph colourings with prescribed symmetry.
要約:
We propose an algebraic method for the classification of branched Galois covers of a curve $X$ focused on studying Galois ring extensions of its geometric adele ring $\A_{X}$. As an application, we deal with cyclic covers; namely, we determine when a given cyclic ring extension of $\A_{X}$ comes from a corresponding cover of curves $Y \to X$, which is reminiscent of a Grunwald-Wang problem, and also determine when two covers yield isomorphic ring extensions, which is known in the literature as an equivalence problem. This completely algebraic method permits us to recover ramification, certain analytic data such as rotation numbers, and enumeration formulas for covers.
要約:
We determine the generating function for the $\mathbb{S}_n$-equivariant Chow polynomials of the braid matroid $B_n$. The Chow polynomial of $B_n$ is the Po\'incare polynomial of the wonderful compactification of the complement of the braid arrangement, with respect to the maximal building set. A key input to our result is the identification of this compactification with a certain moduli space of multiscale differentials, recently established by Devkota, Robotis, and Zahariuc. To prove our main formula, we study the classes of these moduli spaces in the Grothendieck ring of varieties via the formalism of $\mathbb{S}$-spaces developed by Getzler and Pandharipande. We also give a new interpretation of the numerical Chow polynomial of $B_n$ as the Po\'incare polynomial of a moduli space of genus-zero relative stable maps to $\mathbb{P}^1$.
要約:
Let $\mathcal{F}$ be a singular holomorphic foliation of dimension $k>1$ on a projective $n$-manifold $X$. Assume that the determinant of the normal sheaf of $\mathcal{F}$ is ample (as is always the case when $X=\mathbb{P}^{n}$), and that the singular set $Sing(\mathcal{F})$ has dimension $\leq k-1$. We show that the union of those irreducible components of $Sing(\mathcal{F})$ of dimension exactly $k-1$ is necessarily connected. Consequently, we obtain a Bott-type topological obstruction to the integrability of singular holomorphic distributions, echoing Bott's vanishing theorem, and we answer a question of Cerveau for codimension-one foliations on $\mathbb{P}^{3}$.
要約:
We discuss the problem of optimizing the distance function from a given point, subject to polynomial constraints. A key algebraic invariant that governs its complexity is the Euclidean distance degree, which pertains to first-order tangency. We focus on the data locus of points possessing at least one critical point of the distance function that is normal to a higher-order osculating space. We study the higher-order distance degree of a morphism as an intersection-theoretic invariant involving jet bundles and higher-order polar loci. Our approach builds on foundational definitions and results developed by Piene, particularly regarding higher-order polar loci. We give closed formulas for generic maps, Veronese embeddings, and toric embeddings. We place particular emphasis on the Bombieri-Weyl metric, revealing that the chosen metric profoundly influences both the degree and birationality of the higher-order projection maps. Additionally, we introduce a tropical framework that represents these degrees as stable intersections with Bergman fans, facilitating effective combinatorial computation in toric settings.
要約:
Given a holomorphic or anti-holomorphic involution on a complex variety, the Smith inequality says that the total $\mathbb{F}_2$-Betti number of the fixed locus is no greater than the total $\mathbb{F}_2$-Betti number of the ambient variety. The involution is called maximal when the equality is achieved. In this paper, we investigate maximality of involutions of compact hyper-K\"ahler manifolds and of Hilbert schemes of points on surfaces. We obtain both positive and negative results.
On one hand, given a smooth projective surface $S$ with $H^1(S, \mathbb{F}_2)=0$ equipped with a holomorphic (resp.~anti-holomorphic) involution $\sigma$, we establish the following necessary and sufficient condition for the maximality of the induced involution on the $n$th Hilbert scheme of points: the induced involution is maximal if and only if $\sigma$ is a maximal involution of $S$ and it acts on $H^2(S, \mathbb{Z})$ trivially (resp.~as $-\operatorname{id}$). This generalizes and completes previous partial results of Fu and Kharlamov--R\u asdeaconu.
On the other hand, we show that for $n\geq 2$, a hyper-K\"ahler manifold of K3$^{[n]}$-deformation type admits neither maximal anti-holomorphic involutions (i.e.~real structures), nor maximal holomorphic (symplectic or anti-symplectic) involutions. In other words, such hyper-K\"ahler manifolds do not admit maximal (AAB), (ABA), (BAA) or (BBB) brane involutions in the sense of Kapustin--Witten.
要約:
Extending classical algebro-geometric constructions to arbitrary matroids, we construct a $K$-class $T_M\in K(M)$ for every loopless matroid $M$. When $M$ is realizable by a linear subspace $L$, $T_M$ recovers the $K$-class of the tangent bundle of the wonderful compactification $W_L$. We derive two formulas for the total Chern class of $T_M$ (one combinatorial and one geometric) and show that the associated Todd class agrees with the Todd class appearing in the matroid Hirzebruch--Riemann--Roch formula. To develop a positivity theory entirely at the combinatorial level, we introduce the notion of ``fake effective cone,'' a combinatorial analogue of the classical effective cone, and use it to characterize big and nef divisors in $A(M)$. Finally, we define the $\beta_S$ classes, obtained from Cremona conjugates of the classical $\alpha_S$ classes, and study their properties to provide a rich and computable family of combinatorially nef divisors.
要約:
The tautological $\mathbb{Q}$-subalgebra $\mathsf{R}^*(\mathcal{A}_g) \subset \mathsf{CH}^*(\mathcal{A}_g)$ of the Chow ring of the moduli space of principally polarized abelian varieties is generated by the Chern classes of the Hodge bundle. There is a canonical $\mathbb{Q}$-linear projection operator $\mathsf{taut}: \mathsf{CH}^*(\mathcal{A}_g) \rightarrow \mathsf{R}^*(\mathcal{A}_g).$ We present here new calculations of intersection products of the Torelli locus in $\mathcal{A}_g$ with the product loci $\mathcal{A}_{r}\times \mathcal{A}_{g-r} \rightarrow \mathcal{A}_g$ for $r\leq 3$. The results suggest that $\mathsf{taut}$ is a $\mathbb{Q}$-algebra homomorphism, at least for special cycles. We discuss a conjectural framework for this homomorphism property.
Our calculations follow two independent approaches. The first is a direct study of the excess intersection geometry of the fiber product of the Torelli and product morphisms. The second recasts the geometry in terms of families Gromov-Witten classes, which are computed by a wall-crossing formula related to unramified maps.
We define tautological projections of cycles on the fiber products $\mathcal X_g^s \to \mathcal A_g$ of the universal family. We compute these projections for a class of product cycles on $\mathcal X_g^s$ in terms of a determinant involving the universal theta divisors and Poincar\'e classes. Using Abel-Jacobi pullbacks of product cycles on $\mathcal X_g^s$ and their projections, we construct a new family of classes which we conjecture to lie in the Gorenstein kernels of the tautological rings $\mathsf{R}^*(\mathcal M^{\mathrm{ct}}_{g,n})$. In particular, we construct nontrivial elements of the Gorenstein kernels of $\mathsf{R}^5(\mathcal{M}_{5,2}^{\mathrm{ct}})$ and $\mathsf{R}^5(\mathcal{M}_{4,4}^{\mathrm{ct}})$.
要約:
We characterize the moduli space of \'etale Klein coverings (i.e. Galois with deck group $\mathbb{Z}_2^2$) of hyperelliptic curves of genus 3. We prove that the Prym map on each component is injective. As an application, we show that the Prym map of \'etale Klein coverings of genus 3 curves is generically finite.
要約:
The geometric Satake equivalence and the Springer correspondence are closely related when restricting to small representations of the Langlands dual group. We prove this result for \'etale sheaves, including the case of the mixed characteristic affine Grassmannian, assuming a sufficient ramification. In this process, we construct a monoidal structure on the restriction functor of Satake categories. We construct also a canonical isomorphism between a mixed characteristic affine Grassmannian under a sufficient ramification and an equal characteristic one.
要約:
Fargues and Scholze proved the geometric Satake equivalence over the Fargues--Fontaine curve. On the other hand, Zhu proved the geometric Satake equivalence using a Witt vector affine Grassmannian. In this paper, we explain the relation between the two version of the geometric Satake equivalence via nearby cycle.
要約:
Fargues and Scholze proved the geometric Satake equivalence over the Fargues-Fontaine curve. This can be transferred to the geometric Satake equivalence concerning a Witt vector affine Grassmannian via nearby cycle. On the other hand, Zhu proved the geometric Satake equivalence concerning a Witt vector affine Grassmannian. In this paper, we explain the coincidence of these two geometric Satake equivalences, including the coincidence of the two symmetric monoidal structures on the Satake category.
要約:
We study the multi-height distribution of rational points of smooth, projective and split toric varieties over $\mathbf{Q}$ using the lift of the number of points to universal torsors.
要約:
We revisit type II$_0$ limits in the vector multiplet moduli space of compactifications of Type IIB string theory on Calabi-Yau threefolds. These limits are special because they cannot be described using mirror symmetry. While we showed in previous work that the gravitational duality frame emerging in such limits corresponds to a weakly coupled heterotic string compactified on K3 times a string-sized torus, our focus here is on the additional field theory sectors that decouple from gravity in these asymptotic regimes. Concretely, we argue that, in the dual heterotic description, these field theory sectors correspond to spacetime-filling NS5-branes wrapping the heterotic torus. The existence of such non-perturbative field theory sectors manifests itself in an exponential dependence of the prepotential on the heterotic dilaton at leading order. Applied to K-point limits in one-parameter moduli spaces, our results imply that these limits are in perfect agreement with the Distance and Emergent String Conjectures. More precisely, the light tower of states predicted by the Distance Conjecture arises from excitations of a weakly coupled heterotic string compactified to four dimensions on a background containing spacetime-filling NS5-branes.
要約:
We study the distribution of rational points of split toric stacks with all heights bounded over $\mathbf{Q}$ by lifting the counting problem to an extended universal torsor under the torus associated with the orbifold Picard group. To achieve this, we prove the existence of an integral parametrization of rational points on toric stacks, which allows us to define a lift of the stacky height to this extended universal torsor. This allows us to define the Tamagawa number of a toric stack $X$ as an Euler product and, for a prime number $p$, to interpret the $p$-adic factor via a mass formula counting $\mathbf{F}_p$-points of the sectors of $X$.