要約:
We present a conjecture for the Chow ring of the universal moduli stack of bundles over hyperelliptic curves and prove it for rank and genus two. Consequently, we obtain explicit generators and relations to conclude that the Chow ring is tautological. In addition, we compute the Chow rings of products of universal Jacobians over genus two curves.
要約:
We find a new geometric incarnation for the principal block in the category of modules over a quantum group at a root of unity, realizing it as a full subcategory of microsheaves on a certain affine Springer fiber. We also prove a related geometric Langlands type equivalence with wild ramification, identifying the latter category with a category of coherent sheaves on the Springer resolution for the dual group. This can also be viewed as a version of homological mirror symmetry for the Springer resolution.
要約:
Kuznetsov showed that for a flat quadric fibration $\mathcal{Q}$ over a smooth base $S$, $\mathrm{D}^b(\mathcal{Q})$ admits a semiorthogonal decomposition where one of the components is the derived category of the sheaf of even parts of a Clifford algebra $\mathrm{D}^b(S,\mathcal{C}l_0)$. \par As progress towards a generalization, we show that for a quadric fibration with a fairly minor condition on the rank of the quadric fibers, the category $\mathrm{D}^b(S,\mathcal{C}l_0)$ embeds fully faithfully into the derived category of the relative orthogonal Grassmannian $\mathrm{D}^b(\mathrm{OGr}(k,\mathcal{Q}))$. When $k = 2$, we use this to produce a semiorthogonal decomposition of $\mathrm{D}^b(\mathrm{OGr}(2,\mathcal{Q}))$ up to a residual category; we compute this residual category in the smooth case and produce a conjecture for in the case of a pencil of quadrics with smooth base locus.
要約:
The moduli space of cubic surfaces and its compactifications are classical and date back to the mid-nineteenth century. Recently, Schock described compactifications of moduli spaces of fully marked cubic surfaces with their 27 lines via Koll\'ar--Shepherd-Barron--Alexeev (KSBA) weighted stable pairs where the 27 lines are uniformly weighted. Furthermore, he provided an explicit finite wall-and-chamber decomposition of the weight domain, together with explicit descriptions of the weighted stable pairs parameterized by the moduli spaces in each chamber. We extend this work by describing compactifications of moduli spaces of cubic surfaces with a marked line via KSBA stable pairs with nonuniform weights, in which the marked line is weighted differently from the other 26 lines. In particular, we provide an explicit finite wall-and-chamber decomposition of the weight domain, yielding new KSBA coarse moduli spaces that have not previously been studied. We also give explicit descriptions of these nonuniform weighted stable pairs parameterized by the moduli spaces in each chamber.
要約:
We introduce higher $F$-rationality generalising $F$-rationality. We prove that a normal variety over a field of characteristic zero is $m$-rational if and only if it is $m$-$F$-rational after reduction modulo a sufficiently large prime $p$. Additionally, we establish new results on the logarithmic extension of forms.
要約:
We prove categorical Torelli theorems for three families of Fano threefolds with Picard rank $\rho >1$. Members of these families manifest as double covers branched in anticanonical K3 surfaces. Our proof is based on reducing equivalences between the Kuznetsov components of Fano threefolds in the same deformation family to derive equivalences of their respective K3 branch divisors, and deducing that the resulting isomorphism of branch divisors gives rise to an isomorphism of the Fano threefolds for each family.
要約:
Cyclic AG-codes $C_L(D,G)$ on the Hermitian curve $H_q$ over $\mathbb{F}_{q^2}$ are constructed such that $G = m(P_2 + \ldots + P_q)$, where $2 \le m \le q-1$ and $\mathrm{supp}(G)$ is the intersection of $H_q$ with a chord $\ell$ minus two points $P_1, P_{q+1}$. The divisor $D = Q_1 + \ldots + Q_{q^2-1}$ consists of all $q^2 - 1$ points in a single orbit under the action of the (cyclic) 2-point stabilizer $\Gamma$ of $(P_1, P_{q+1})$ in $\mathrm{Aut}(H_q) = \mathrm{PGU}(3,q)$.
要約:
In 1981 Katsura presented a classification of non-rational Jacobian elliptic surfaces which admit a base change which is rational. In 2004 we presented a classification of Jacobian regular elliptic surfaces which do not satisfy infinitesimal Torelli. These classifications of quite different properties turn out to be very similar. In this paper we use an argument exploiting the product-quotient structure of these examples to prove simultaneously that Katsura's examples are Artin supersingular, and to give a new proof that our examples do not satisfy infinitesimal Torelli.
要約:
Using motivic homotopy theory we produce several explicit polynomial representatives of the suspension of the Hopf map defined over the integers. We derive from this computation an explicit rank 2 vector bundle on the Jouanolou device of the projective space of dimension 3 over the integers.
要約:
In our paper [Tak6], we constructed eight families of quasi-smooth prime $\mathbb{Q}$-Fano threefolds, anticanonically embedded in codimension four, using weighted projectivizations of the $14$-dimensional affine variety $\Pi_{\mathbb{A}}^{14}$or its cone. Let $\widehat{f}\colon\widehat{X}\to X$ be the unique divisorial extraction at one specified singularity of maximal index. In this paper, we explicitly construct the Sarkisov link starting from $\widehat{f}$ for $X$ belonging to seven of these families. This is achieved by using the Sarkisov link associated with the weighted projectivization of $\Pi_{\mathbb{A}}^{14}$ or its cone corresponding to $X$. As a consequence, we show that the Sarkisov link ends with either a fibration whose general fiber is a del Pezzo surface of degree one or a divisorial contraction of type $(2,1)$ to weighted complete intersections of codimension at most two. We also provide more detailed descriptions of these Sarkisov links.
要約:
The notion of a Frobenius manifold appears in relation to various topics in algebraic and analytic geometry, such and quantum cohomology, deformation of meromorphic connections, unfolding of singularities and others. In the local setting the structure of a Frobenius manifold admits two other equivalent descriptions, either as an algebra over a cyclic operad Com-infinity, or alternatively as a (genus zero) cohomological field theory.
In this paper we make the first steps towards outlining the parallel theory, when one starts with the cyclic Lie-infinity algebras instead of Com-infinity, and highlight the striking similarities between the two pictures.
要約:
The symmetric subrank of homogeneous polynomial is the largest number of terms in a diagonal form to which it can be specialized by a (typically non-invertible) linear variable substitution. Building on earlier work by Derksen-Makam-Zuiddam and Biaggi-Chang-Draisma-Rupniewski for ordinary tensors, we determine the asymptotic behavior of symmetric subrank and symmetric border subrank of degree-d forms as the number of variables tends to infinity. Furthermore, by using results from geometric invariant theory we show that for cubic (resp. quartic) forms the symmetric subrank and symmetric border subrank coincide if the latter is at most three (resp. two).
要約:
Hurwitz theory provides a large variety of enumerative problems related to algebraic geometry, mathematical physics, and combinatorics. We give a general framework to approach the large genus asymptotics of Hurwitz theory using only elementary methods and apply it to several types of Hurwitz numbers: single, double, or with an arbitrary numbers of fixed ramifications; simple and / or including completed cycles type of ramification and / or finitely many blocks of weakly monotone and / or strictly monotone types of ramifications. These, to the best of our knowledge, cover most of the Hurwitz numbers studied, and include for instance correlators of the HCIZ matrix model, Grothendieck dessins d'enfant, weighted Hurwitz numbers, and Gromov-Witten invariants of the Riemann sphere. We also apply our method to b-content Hurwitz numbers. As a specialisation, we recover some previously known about the large genus asymptotics of Hurwitz theory, namely classical results by Hurwitz and recent results of Do-He-Robertson, C. Yang, and results connected to recent work of X. Li.
要約:
Recently, the authors of this paper introduced logarithmic Hochschild (co)homology of logarithmic spaces in a geometric way using formality of derived intersections. In this paper, the authors extend the decomposition theorem for the logarithmic Hochschild (co)homology of firm orbifolds to general logarithmic orbifolds and consider two applications of the decomposition theorem. First, we consider two versions of a symmetric product and compute the logarithmic Hochschild homology of them. Second, we show that logarithmic Hochschild homology is invariant under root stack operations.
要約:
We define a regular polynomial skew product $(p(z),q(z,w))$ of $\mathbb{C}^2$ of degree $d\geq 2$ to be special if it is triangularly conjugate to a map of the form $(p(z),q(w))$, where $p$ and $q$ are power maps or $\pm$Chebyshev maps, or of the form $(z^d,D_d(w,\zeta z^m))$, where $\zeta^{d-1}=1$, $m\in\{1,2\}$, and $D_d$ is the Dickson polynomial of degree $d$. We justify this definition by showing the following equivalence.
(1) $f$ is special.
(2) $f$ is semiconjugate to an affine self-map $g$ in skew product form of a 2-dimensional connected and commutative algebraic group $G$ over $\mathbb{C}$.
(3) All multipliers of $f$ are contained in a fixed number field $K$. This generalizes the one-variable polynomial case.
要約:
We present an expanded expository account of the $K$-moment problem for polynomial algebras over \(\R^d\), with special emphasis on compact basic closed semialgebraic sets. The central question is to characterize those linear functionals on \(\R[x_1,\dots,x_d]\) which admit representation by integration against a positive Radon measure supported on a prescribed set \(K\subseteq\R^d\). We begin with the classical background and with Haviland's formulation of the multidimensional moment problem, then explain how real algebraic geometry enters through quadratic modules, preorderings, and Positivstellens\"atze. The compact case is treated in detail from two complementary perspectives. The geometric route through Schm\"udgen's theorem and the operator-theoretic route through a Gelfand--Naimark--Segal construction and the spectral theorem. We also discuss Putinar's refinement, compare the roles of \(T(f)\) and \(Q(f)\), and explain how Archimedeanity provides the algebraic shadow of compactness. In order to place the subject in a broader context, we survey determinacy and uniqueness questions, the truncated \(K\)-moment problem and flat extension phenomena, the relation with sums of squares and Hilbert's seventeenth problem, and the special case of algebraic varieties, where positivity modulo an ideal becomes especially transparent.
要約:
In the previous paper of the author, motivated by the categorical $p$-adic local Langlands correspondence, the author studied families of $G_K$-equivariant vector bundles over the Fargues-Fontaine curve parametrized by algebraic-affinoid $\mathbb{Q}_{p,\square}$-algebras (e.g., $\mathbb{Q}_p[T]$). In this paper, we study the $p$-adic Hodge theoretic properties of such families. More precisely, we define the notions of Hodge-Tate, de Rham, and semistable representations for such families, and then prove the $p$-adic monodromy theorem ("de Rham" implies "potentially semistable") in this setting. This is a generalization of the work of Berger-Colmez. As an application, we prove the classification of families of $G_K$-equivariant line bundles. While a similar classification was previously obtained in the previous paper under a certain freeness condition by relying on the results of Kedlaya--Pottharst--Xiao, the approach in the present paper removes this freeness condition and entirely bypasses their results.
要約:
We show that hyperplane sections of strongly formal manifolds inherit strong formality. In particular, this property holds for generalized complete intersections defined by positive line bundles with trivial first de Rham cohomology group. Furthermore, we establish the strong formality of compact K\"ahler manifolds with central cohomology of width $\frac{n}{2}-1$ and, more generally, of compact $\partial\bar{\partial}$-manifolds with no non-trivial multiplicative relations in cohomology below degree $n+2$. These results arise from the notion of $s$-strong formality, which we adapt from a work of Fernandez and Mu\~noz to the pluripotential setting. Specifically, we prove that a compact, connected complex manifold of dimension $n$ with trivial first de Rham cohomology group is strongly formal if and only if it is $(n-1)$-strongly formal.
要約:
Classical Fisher-information asymptotics describe the covariance of regular efficient estimators through the local quadratic approximation of the log-likelihood, and thus capture first-order geometry only. In curved models, including mixtures, curved exponential families, latent-variable models, and manifold-constrained parameter spaces, finite-sample behavior can deviate systematically from these predictions. We develop a coordinate-invariant, curvature-aware refinement by viewing a regular parametric family as a Riemannian manifold \((\Theta,g)\) with Fisher--Rao metric, immersed in \(L^2(\mu)\) through the square-root density map. Under suitable regularity and moment assumptions, we derive an \(n^{-2}\) correction to the leading \(n^{-1}I(\theta)^{-1}\) covariance term for score-root, first-order efficient estimators. The correction is governed by a tensor \(P_{ij}\) that decomposes canonically into three parts, an intrinsic Ricci-type contraction of the Fisher--Rao curvature tensor, an extrinsic Gram-type contraction of the second fundamental form, and a Hellinger discrepancy tensor encoding higher-order probabilistic information not determined by immersion geometry alone. The extrinsic term is positive semidefinite, the full correction is invariant under smooth reparameterization, and it vanishes identically for full exponential families. We then extend the picture to singular models, where Fisher information degenerates. Using resolution of singularities under an additive normal crossing assumption, we describe the resolved metric, the role of the real log canonical threshold in learning rates and posterior mean-squared error, and a curvature-based covariance expansion on the resolved space that recovers the regular theory as a special case. This framework also suggests geometric diagnostics of weak identifiability and curvature-aware principles for regularization and optimization.
要約:
Motivated by problems on the \'etale cohomology of Rapoport--Zink spaces and their generalizations, as well as Fargues's geometrization conjecture for the local Langlands correspondence, we develop a six functor formalism for the \'etale cohomology of diamonds, and more generally small v-stacks on the category of perfectoid spaces of characteristic $p$. Using a natural functor from analytic adic spaces over $\mathbb Z_p$ to diamonds which identifies \'etale sites, this induces a similar formalism in that setting, which in the noetherian setting recovers the formalism from Huber's book.
要約:
We extend the notions of Hochschild and cyclic homology to morphisms from algebraic spaces to algebraic stacks. Using this, we obtain generalizations to log schemes in the sense of Fontaine and Illusie of these homology theories.
要約:
We show a correspondence between the compact exceptional curves and divisors on $G-{\rm Hilb}(\mathbf{C}^3)$ and some non-trivial irreducible representations of $G \subset GL(n,C)$ which are special (or essential). Moreover, we provide an explicit construction of the small resolution of $G-{\rm Hilb}(\mathbf{C}^3)$ and, using this resolution, we construct a correspondence between special and essential representations. These results are an extension of ``Special McKay correspondence'' and ``Reid's recipe''.
要約:
We study curves on the product of two $K$-trivial surfaces. In the case of the product of two very general abelian surfaces $A_1\times A_2$, we prove that the minimal genus of a non-trivial curve on $A_1\times A_2$ is $6$.
要約:
Let $X$ denote the `conifold smoothing', the symplectic Weinstein manifold which is the complement of a smooth conic in $T^*S^3$, or equivalently the plumbing of two copies of $T^*S^3$ along a Hopf link. Let $Y$ denote the `conifold resolution', by which we mean the complement of a smooth divisor in $\mathcal{O}(-1) \oplus \mathcal{O}(-1) \to \mathbb{P}^1$. We prove that the compactly supported symplectic mapping class group of $X$ splits off a copy of an infinite rank free group, in particular is infinitely generated; and we classify spherical objects in the bounded derived category $D(Y)$ (the three-dimensional `affine $A_1$-case'). Our results build on work of Chan-Pomerleano-Ueda and Toda, and both theorems make essential use of working on the `other side' of the mirror.
要約:
We use $K$-theory of the $C^*$-algebras to study the Arakelov geometry, i.e. a compactification of the arithmetic schemes $V\to Spec ~\mathbf{Z}$. In particular, it is proved that the Picard group of $V$ is isomorphic to the $K_0$-group of a Cuntz-Pimsner algebra associated to $V$. We apply the result to the finiteness problem for the algebraic varieties over number fields.
要約:
The Chabauty--Coleman--Kim method in depth two describes the rational points on a curve in terms of a generalisation of Nekov\'a\v{r}'s $p$-adic height pairing which replaces $\mathbb{G}_m$ with a higher Chow group. It is unclear both what the domain of definition of this pairing is, and how to compute it. This paper explores the relevance of the Beilinson--Bloch conjectures to this problem. In particular, it is shown that if $X$ is a smooth projective curve and the Albanese kernel of $X\times X$ is torsion, then there is an algorithm to compute the generalised height pairing on a pair of rational points on the Jacobian. This leads to the consideration of certain `motivic refinements' of the nonabelian cohomology varieties which arise in nonabelian Chabauty.
要約:
We establish the asymptotic formula for the number of integral points in non-compact symmetric homogeneous spaces of semi-simple simply connected algebraic groups over global function fields, given by the sum of the products of local densities twisted by suitable Brauer elements.
要約:
The Chabauty--Kim method was developed with the aim of approaching effective Faltings', the problem of explicitly determining the finite set of rational points on a hyperbolic curve. This method has seen success with the more particular Quadratic Chabauty method, but this method still applies only to certain curves. Previous applications of Chabauty--Kim beyond the quadratic level, as pursued by the authors, by S. Wewers, and by others, use mixed Tate motives and the $p$-adic period map of Chatzistamatiou-\"Unver to approach the particular hyperbolic curve $\mathbb{P}^1\setminus\{0,1,\infty\}$.
The main purpose of this article is to lay foundations for extending the above approach to more general hyperbolic curves, in particular by defining an analogous $p$-adic period map for more general categories of motives and their non-conjectural cousins such as systems of realizations and $p$-adic Galois representations. We use this to describe a general setup for non-abelian Chabauty for an arbitrary hyperbolic curve.
Our period map also connects the study of $p$-adic iterated integrals with Goncharov's theory of motivic iterated integrals, and allows us to investigate Goncharov's conjectures from a $p$-adic point of view. In particular, it suggests the possibility of evaluating syntomic regulators by writing elements of $K$-theory in terms of motivic iterated integrals. Lastly, it forms the basis for a certain generalization of the $p$-adic period conjecture of Yamashita for mixed Tate motives well-suited to applications in Chabauty--Kim theory.
要約:
In this paper we introduce a new model for the quantum-mechanical system of the hydrogen atom.
We start with a four-dimensional Lorentzian quadratic space $(V,q)$ and let $C \subset V$ be the corresponding cone.
The Hilbert space of our model, denoted by $H$, consists of $L^2$ functions on the cone, and observables are represented by operators in the algebra $D(C)$ of algebraic differential operators on $C$. We introduce a distinguished Schwartz subspace $H^{\infty}$ of $H$ that is naturally a $D(C)$-module. The Schr\"{o}dinger operator in our system is represented by a Schr\"{o}dinger family of operators in $D(C)$.
We compute the spectrum of the Schr\"{o}dinger family in the Schwartz space $H^{\infty}$ and show that it coincides with the spectrum in physics, and that solutions in $H^{\infty}$ correspond to the usual solutions in physics.
The main differences from the standard model are as follows. First, we use the cone $C$ instead of $\mathbb{R}^3$ as our configuration space. As a result, the group of geometric symmetries of our configuration space is $O(q)\simeq O(3,1)$ rather than $O(3)\ltimes \mathbb{R}^3$. Second, we use only algebraic operators with no singularities. Third, we do not impose any specific boundary conditions on solutions of our equations; these are all encoded in the Schwartz space $H^{\infty}$.
要約:
We introduce and study the filtration on the space of automorphic functions (in the everywhere unramified situation for the function field case) obtained by transferring the filtration on the spectral side of the classical Langlands conjecture, induced by coherent singular support.
We propose a number of conjectures that tie this filtration (which, by design, arises from the notion of cohomological support) to a filtration on the space of C-valued automorphic functions that arises by considering the analytic spectrum of Hecke operators.
要約:
We introduce a classical integrable system associated with the torus-equivariant quantum $K$-theory of type C flag variety. We prove that its conserved quantities coincide with the generators of the defining ideal of the Borel presentation of the quantum $K$-ring obtained by Kouno and Naito. In particular, the Hamiltonian of the system is naturally regarded as a type B analogue of the relativistic Toda lattice introduced by Ruijsenaars. We also construct B\"acklund transformations describing the discrete time evolution of the system. This construction makes explicit the integrable structure underlying the quantum $K$-theory and provides a framework for further studies of the $K$-theoretic Peterson isomorphism.