要約:
We construct an algorithm for the minimal model program in dimension three over the field of algebraic numbers. As auxiliary results, we also construct algorithms for computing bigraded global Hom modules and for computing Stein factorization.
要約:
Gillam proved that the category of locally ringed spaces admits a fully faithful embedding into a certain category, which has a right adjoint that maps some simple objects to the spectra of rings. In this paper, we use condensed mathematics to define an analogous category and its coreflective full subcategories, and prove that one of their coreflections maps certain simple objects to the adic spectra of certain Huber pairs.
要約:
Generically, one expects the images of two different point sets, in two different (projective) cameras, to be different. However, it can happen that the images are the same up to a projective transformation which is an instance of ill-posedness in computer vision. We prove that the images can become projectively equivalent only for point pairs with at most seven elements. In each case, we give explicit descriptions of the Zariski closure of the locus of camera centers which we call the centers-variety. To do this we use classical invariant theory and the geometry of moduli spaces of ordered points in the projective plane. The most involved case is that of seven points which uses a natural parametrization of the Goepel variety.
要約:
We study transcendental b-divisors over compact K\"ahler manifolds. We establish the correspondence between closed positive currents and nef b-divisors. As an application, we establish the intersection theory of nef b-divisors, answering a question of Dang--Favre.
要約:
In this paper, we develop the general intersection theory of nef b-divisors, extending the movable intersection theory. We define a notion of restricted volume of b-divisors and prove a quantitative version of the monotonicity of the intersection product. As a consequence, we prove a number of new volume inequalities of currents and cohomology classes.
要約:
Let $X$ be a smooth complex quasi-projective variety that is special in the sense of Campana. We prove that the monodromy group of any complex local system on $X$ is virtually nilpotent of class at most $2$. This result sharply refines a theorem of Cadorel, Yamanoi, and the second author. To establish this result, we develop a deformation theory for certain local systems on quasi-compact K\"ahler manifolds by constructing universal deformations for such local systems. As a byproduct of our argument, we also show that a general fiber of the quasi-Albanese map of $X$ is special, extending a result of Campana and Claudon from the projective to the quasi-projective setting.
要約:
For a smooth morphism $f: X \longrightarrow \Sigma$ of real analytic manifolds and an $\mathbb{R}$-constructible sheaf $F$ on $X$ satisfying some condition, we define a family of Lagrangian cycles parameterized by $\Sigma$ that we call the relative characteristic cycle of $F$ for $f$. In this way, the theory of characteristic cycles due to Kashiwara and Schapira is naturally extended to the relative setting. Based on it, we then prove a formula for the characteristic cycles of real nearby cycle sheaves. This leads us to obtain also formulas for the characteristic cycles of various constructible sheaves, such as specialization, microlocalization, and complex nearby and vanishing cycle sheaves, in a unified manner. In fact, our methods allow us to calculate not only their characteristic cycles but also their microlocal types in many situations. We will illustrate it by various examples.
要約:
We introduce and study the base locus and the strong base locus of a projective variety X. The base locus of X parametrizes configurations of smooth points of X where the span of the tangent spaces of X at these points intersects X at some additional smooth point. The strong base locus parametrizes configurations of smooth points of X for which the span of the tangent spaces of X at the given configuration contains the entire tangent space at an additional point.
These notions originate from the study of base loci of tangential projections, are strictly related to interpolation problems with double points in special position, and provide a natural framework to study tangential contact for nongeneral points. We give first properties and explore connections with Terracini loci and with the concept of identifiability. We focus on tensor-related varieties and characterize the nonemptiness of base loci and strong base loci for Veronese and Segre-Veronese varieties.
要約:
We design a deep reinforcement learning algorithm to explore a high-dimensional integer lattice with sparse rewards, training a feedforward neural network as a dynamic search heuristic to steer exploration toward reward dense regions. We apply this to the discovery of Fano 4-fold hypersurfaces with terminal singularities, objects of central importance in algebraic geometry. Fano varieties with terminal singularities are fundamental building blocks of algebraic varieties, and explicit examples serve as a vital testing ground for the development and generalisation of theory. Despite decades of effort, the combinatorial intractability of the underlying search space has left this classification severely incomplete. Our reinforcement learning approach yields thousands of previously unknown examples, hundreds of which we show are inaccessible to known search methods.
要約:
Let $X$ be a smooth projective complex curve, $P\subset X$ a reduced effective divisor, and $X^{0}=X\setminus P$. We study logarithmic $V$-twisted Higgs bundles arising from a logarithmic Hecke compactification of a rank-two bundle on $X^{0}$. We show that a pair of induced logarithmic line-twisted fields lifts uniquely exactly under explicit local Hecke conditions, and that the lift is integrable precisely when the fields commute. Fixing the compactified spectral curve $Y$, we classify such Higgs bundles by pairs $(F,\,\vartheta)$, where $F$ is a rank-one torsion-free sheaf on $Y$ and $\vartheta$ satisfies a marked spectral condition on a finite subscheme $Z\subset Y$. This gives a logarithmic extension of the compact rank-two spectral correspondence of~\cite{ABK} to the punctured case. On the line-bundle locus, the moduli stack is canonically equivalent to $\mathrm{Pic}^{d}(Y)\times A_Z$.
要約:
The main aim of the paper is to give the exact formula for the so called separation \L ojasiewicz exponent for two real analytic set germs via Newton--Puiseux expansions in two variables. Moreover, we present an effective exponent for the case of two real algebraic sets via their degrees.
要約:
Given a hypersurface defined by $f$ in a smooth complex algebraic variety $X$, and a point $P$ on this hypersurface, we consider the invariant $\beta_P(f)$ given by the log canonical threshold at $P$ of ${\mathfrak m}_P\cdot J_f$, where ${\mathfrak m}_P$ is the ideal defining $P$ and $J_f$ is the Jacobian ideal of $f$. We show that this invariant satisfies most of the formal properties of the log canonical threshold of $f$ and give some examples. Dano Kim asked whether this invariant always gives an upper bound for the minimal exponent of $f$ at $P$. Motivated by this, we raise another question about minimal exponents, give a positive answer to a weaker version, and discuss some examples.
要約:
We study sum-of-squares (SOS) certificates for nonnegative polynomials $p$ on $\mathbb{R}^d$ and their implications for polynomial optimization over unbounded domains. Building on Lasserre's perturbation approach, we consider SOS representations of $p$ augmented by weighted polynomial tails of the form $\sum_{n=0}^N (x\cdot x)^n/(n!)^t$ for $0 < t < 1$. Our main result provides an explicit quantitative bound on the truncation order $N$ required to achieve an $\varepsilon$-accurate certificate. Using positivity properties of the Mehler kernel and techniques inspired by polynomial kernel methods, we show that $N$ grows polynomially in $1/\varepsilon$, with rate $N = O((\|p\|/\varepsilon)^{1/(1-t)})$.
要約:
We study the twistor spaces of toric ALE gravitational instantons of type $A_{2n-1}$ and the associated non-standard minitwistor spaces introduced by Hitchin. By analyzing the base locus of the linear system that induces the quotient meromorphic map from the compactified twistor space, we explicitly determine the images of certain distinguished twistor lines as hyperplane sections of the minitwistor space. Using this family of special minitwistor lines as boundary data, we describe the $3$-dimensional family of real minitwistor lines arising from the instanton. The central sphere in the gravitational instanton appears naturally throughout the analysis.
要約:
We give a proof of the o-minimal version of the Whitney Extension Theorem simplified as compared to the original ones. A new simplifying ingredient is a definable variant of Urysohn's lemma for class $\mathcal{C}^q$ (see Section 3).
要約:
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}$.
要約:
Combination pharmacotherapy offers substantial therapeutic advantages but also poses substantial risks of adverse drug reactions (ADRs). The accurate prediction of ADRs with interpretable computational methods is crucial for clinical safety management, drug development, and precision medicine. However, managing ADRs remains a challenge due to the vast search space of drug combinations and the complexity of physiological responses. Current graph-based architectures often struggle to effectively integrate multi-scale biological information and frequently rely on fixed association matrices, which limits their ability to capture dynamic organ-level dependencies and generalize across diverse datasets. Here we propose CrossADR, a hierarchical framework for organ-level ADR prediction through cross-layer feature integration and cross-level associative learning. It incorporates a gated-residual-flow graph neural network to fuse multi-scale molecular features and utilizes a learnable ADR embedding space to dynamically capture latent biological correlations across 15 organ systems. Systematic evaluation on the newly constructed CrossADR-Dataset-covering 1,376 drugs and 946,000 unique combinations-demonstrates that CrossADR consistently achieves state-of-the-art performance across 80 distinct experimental scenarios and provides high-resolution insights into drug-related protein protein interactions and pathways. Overall, CrossADR represents a robust tool for cross-scale biomedical information integration, cross-layer feature integration as well as cross-level associative learning, and can be effectively utilized to prevent ADRs in clinical decision-making.
要約:
We consider homomorphisms of complete, separated right or two-sided linear topological rings with countable bases of neighborhoods of zero $\mathfrak f\colon\mathfrak R\to\mathfrak S$. Taut maps of right linear topological rings, strongly right taut maps of two-sided linear topological rings, left proflat continuous ring maps, and topological ring epimorphisms are discussed. For a left proflat topological ring epimorphism $\mathfrak f$, we show that the functor of restriction of scalars on the categories of left contramodules $\mathfrak f_\sharp\colon\mathfrak S{-}\mathsf{Contra}\longrightarrow\mathfrak R{-}\mathsf{Contra}$ is fully faithful. Assuming that the contramodule-to-module forgetful functor $\mathfrak R{-}\mathsf{Contra}\longrightarrow\mathfrak R{-}\mathsf{Mod}$ is fully faithful and the topological ring map $\mathfrak f$ is left proflat, we prove that the commutative square of forgetful functors between the left contramodule and module categories over $\mathfrak S$ and $\mathfrak R$ is a pseudopullback diagram. This provides a description of the essential image of $\mathfrak f_\sharp$ under the conjunction of the respective assumptions. The left adjoint functor to $\mathfrak f_\sharp$ always exists, but is not exact even when $\mathfrak f$ is (pro)flat. A right adjont functor to $\mathfrak f_\sharp$ does not always exist, but for a left proflat map $\mathfrak f$ we construct it explicitly and show that it has good exactness properties. This work is motivated by the theory of contraherent cosheaves of contramodules on formal schemes.
要約:
Following ideas from [14], we give a uniform large genus asymptotics for primitive psi-class intersection numbers on the moduli space of stable algebraic curves, and extend this result including insertions of zeros in a certain uniform way. Application to a particular formal solution of the Painlev\'e I equation is given. We also use a method from [14] to give a new proof of the polynomiality conjecture on large genus asymptotic expansions of psi-class intersection numbers.
要約:
BPS quivers are central to our understanding of BPS states in 4d $\mathcal{N}=2$ supersymmetric field theories and of D-branes at Calabi-Yau threefold singularities. The two subjects are deeply interrelated through geometric engineering in Type II string theory, where a CY$_3$ quiver, also known as a 5d BPS quiver, describes fractional branes at a threefold singularity ${\bf X}$. We study the Galois cover ${\skew{2}\tilde Q}\rightarrow Q$ of any BPS quiver $Q$ by a finite abelian group $\mathbb{G}$, leading to a covering quiver ${\skew{2}\tilde Q}$. The Galois cover is determined by a $\mathbb{G}$-grading of the arrows of the quiver $Q$, which can be understood as an orbifolding procedure. In particular, if $Q$ is a CY$_3$ quiver for ${\bf X}$, then the Galois cover $\skew{2}\tilde Q$ is the CY$_3$ quiver for the orbifold singularity ${\bf X}/\mathbb{G}$. We explore such Galois covering procedures in the language of supersymmetric quiver quantum mechanics, in terms of fixed loci under $\mathbb{G}$ actions on moduli spaces of quiver representations, and in terms of homomorphisms between the Kontsevich-Soibelman algebras of $Q$ and ${\skew{2}\tilde Q}$. Our main result is an explicit covering formula for the BPS invariants of 4d $\mathcal{N}=2$ field theories, wherein the rational BPS invariant $\bar{\Omega}^Q(\gamma)$ of $Q$ is expressed as a sum of BPS invariants of $\skew{2}\tilde Q$. We derive this formula in various special cases, which include the case when $\gamma$ is a primitive charge vector, the case of general charge vectors for quivers without loops, and the case of CY$_3$ quivers for some simple geometries such as the conifold or local del Pezzo surfaces. The general formula is presented as a conjecture that can be verified in many examples.
要約:
We construct $p$-adic $L$-functions interpolating critical $L$-values of algebraic Hecke characters for arbitrary unramified primes $p$ and any totally imaginary field. For non-ordinary primes, the only previously known case was that of imaginary quadratic extensions of $\mathbb{Q}$. One of the main ingredients is a new $p$-adic Fourier theory relating generic fibers of $p$-divisible groups to a general class of character varieties. Combining this with equivariant cohomology classes constructed in a previous paper allows us to construct the $p$-adic $L$-function.
要約:
We define Liu morphisms and quasi-Liu morphisms between Berkovich analytic spaces. We show that Liu morphisms and quasi-Liu morphisms behave exactly as affine morphisms and quasi-affine morphisms of schemes.
要約:
We review the theory of almost coherent modules that was introduced in "Almost Ring Theory" by Gabber and Ramero. Then we globalize it by developing a new theory of almost coherent sheaves on schemes and on a class of "nice" formal schemes. We show that these sheaves satisfy many properties similar to usual coherent sheaves, i.e. the Almost Proper Mapping Theorem, the Formal GAGA, etc. We also construct an almost version of the Grothendieck twisted image functor $f^!$ and verify its properties. Lastly, we study sheaves of $p$-adic nearby cycles on admissible formal models of rigid spaces and show that these sheaves provide examples of almost coherent sheaves. This gives a new proof of the finiteness result for \'etale cohomology of proper rigid spaces obtained before in the work of Peter Scholze "$p$-adic Hodge Theory For Rigid-Analytic Varieties".
要約:
We study Poincar\'e Duality in the context of abstract 6-functor formalisms. In particular, we give a small and simple list of assumptions that implies Poincar\'e Duality. As an application, we give new uniform (and essentially formal) proofs of some previously established Poincar\'e Duality results.
要約:
The purpose of this paper is to establish several new results about the Hodge theory of Lagrangian fibrations on (not necessarily compact) holomorphic symplectic manifolds. Let $M$ be a holomorphic symplectic manifold of dimension $2n$ that is K\"ahler but not necessarily compact, and let $\pi \colon M \to B$ be a Lagrangian fibration. We establish a relationship between the bundle of holomorphic $(n+i)$-forms on $M$ and the $i$-th perverse sheaf $P_i$ in the decomposition theorem for $\pi$. This is formulated using Saito's theory of Hodge modules and the BGG correspondence (between graded modules over the symmetric and exterior algebra). Along the way, we prove a relative Hard Lefschetz theorem for the action by the symplectic form; we prove two recent conjectures by Maulik, Shen, and Yin; we give a short proof for Matsushita's theorem (about higher direct images of the structure sheaf); and we show, without using hyperk\"ahler metrics, that every Lagrangian fibration gives rise to an action by the Lie algebra $\mathfrak{sl}_3(\mathbb{C})$ (in the noncompact case) or $\mathfrak{sl}_4(\mathbb{C})$ (in the compact case). [See the comment below.]
要約:
We classify nonconstant morphisms $\mathbb{P}^m \to G/P$ for $m \le 4$ when $G = SL(n,\mathbb{C})$ (type~$A$) for a minimal parabolic subgroup $P$. Using the Borel presentation of cohomology and explicit Schubert intersection identities, we show that there is no nonconstant morphism $\mathbb{P}^2 \to G/B$; for minimal parabolic subgroup $P_{\alpha_i}$, there are no nonconstant morphisms $\mathbb{P}^3 \to G/P_{\alpha_i}$ when $i \in \{1, n-1\}$, while such morphisms exist for $1 < i < n-1$; and, after correcting an earlier error (pointed out by Yanjie Li), we give an elementary proof that there is no nonconstant morphism $\mathbb{P}^4 \to G/P_{\alpha_i}$ for any minimal parabolic subgroup. The proofs are elementary and cohomological.
要約:
In this article, we describe the maximal unipotent subgroups of $\mathrm{Aut}(X)$, where $X$ is an affine algebraic variety. Every subgroup of this type has a structure analogous to that of the group of triangular automorphisms of $\mathbb{A}^n$. In particular, it is nested, that is, a countable increasing union of algebraic subgroups.
We show that a subgroup $G\subset\mathrm{Aut}(X)$ consisting of unipotent elements is closed if and only if it is nested. This implies that a connected nested subgroup of $\mathrm{Aut}(X)$ is closed, thus answering a question posed by Kraft and Zaidenberg (2022).
We also extend the recent description of maximal commutative unipotent subgroups of $\mathrm{Aut}(X)$ due to Regeta and van Santen (2024), by providing a direct construction of such subgroups within our approach.
要約:
We derive a necessary and sufficient condition on a hyperplane arrangement in $\mathbb{P}^n$ for the associated logarithmic cotangent bundle to be ample modulo boundary. We extend this result to the orbifold setting and give some applications concerning hyperbolicity of pairs. We improve significantly the results of Darondeau-Rousseau.
要約:
We study integral plane curves meeting at a single unibranch point and show that such curves must satisfy two equivalent conditions. A numeric condition: the local invariants of the curves at the contact point must be arithmetically related. A geometric condition: the tropical curves that we associate to the contact point must be isomorphic. Moreover, we prove closed formulas for the delta-invariant of a unibranch singularity, and for the dimension of the loci of curves with an assigned unibranch point. Our work is motivated by interest in the Lang exceptional set.
要約:
In this paper we study higher even Gaussian maps of the canonical bundle on hyperelliptic curves and we determine their rank, giving explicit descriptions of their kernels. Then we use this descriptions to investigate the hyperelliptic Torelli map $j_h$ and its second fundamental form. We study isotropic subspaces of the tangent space $T_{{\mathcal H}_g, [C]}$ to the moduli space ${\mathcal H}_g$ of hyperelliptic curves of genus $g$ at a point $[C]$, with respect to the second fundamental form $\rho_{HE}$ of $j_h$. In particular, for any Weierstrass point $p \in C$, we construct a subspace $V_p$ of dimension $\lfloor\frac{g}{2} \rfloor$ of $T_{{\mathcal H}_g, [C]}$ generated by higher Schiffer variations at $p$, such that the only isotropic tangent direction $\zeta \in V_p$ for the image of $\rho_{HE}$ is the standard Schiffer variation $\xi_p$ at the Weierstrass point $p \in C$.
要約:
We define a categorical action of the shifted quantum loop group of $\mathfrak{sl}_2$ on the derived categories of Quot schemes of finite length quotient sheaves on a smooth projective curve. As an application, we obtain a semi-orthogonal decomposition of the derived categories of Quot schemes, of representation theoretic origin. We use this decomposition to calculate the cohomology of interesting tautological vector bundles over the Quot scheme.
要約:
We prove that the space of shifted Poisson structures on a derived scheme $X$ locally of finite presentation is equivalent to the space of shifted Lagrangian thickenings out $X$, solving a conjecture in shifted Poisson geometry. As a corollary, we show that for $M$ a compact oriented $d$-dimensional manifold and an $n$-shifted Poisson structure on $X$, the mapping stack $\mathrm{Map}(M,X)$ has an $(n-d)$-shifted Poisson structure. It extends a known theorem for shifted symplectic structures to shifted Poisson structures.
要約:
In this article we deal with jacobian rings and identify a mixed Hodge component of a nondegenerate hypersurface in the torus with a lattice geometric quotient vector space. We introduce a period map, study its differential and compute the kernel of the differential much explicitly via certain Laurent polynomials. As an application we deal with the infinitesimal Torelli theorem.
要約:
We consider Iwahori-Coulomb branches $\mathcal{A}_{G,\mathbf{N},\mathbf{V}}^{\mathrm{Fl}}$, which are the affine flag analogs of the original Coulomb branches $\mathcal{A}_{G,\mathbf{N}}^{\mathrm{Gr}}$ defined by Braverman, Finkelberg, and Nakajima. For any conical symplectic resolution $X$, we prove that the $\mathcal{A}_{G,\mathbf{N},\mathbf{V}}^{\mathrm{Fl}}$-action on the localized equivariant quantum cohomology of $X$, induced by shift operators, satisfies a polynomiality property in terms of stable envelopes.
We then study the case $X = T^*(G/P)$, the cotangent bundle of a flag variety, for which the Iwahori-Coulomb branch is isomorphic to the trigonometric double affine Hecke algebra $\mathcal{H}_{G,\hbar,k}$. The polynomiality property enables us to compute explicitly the above action in terms of the Demazure-Lusztig elements and stable envelopes. Applications include:
(1) Computation of the Iwarhori-Coulomb branch action for $G/P$ by taking the confluent limit, recovering Peterson-Lam-Shimozono's theorem.
(2) Construction of an explicit Namikawa-Weyl group action on the equivariant quantum cohomology of $T^*(G/P)$ that preserves the quantum product, extending a result of Li-Su-Xiong.
(3) Proof of a conjecture of Braverman-Finkelberg-Nakajima stating that, up to a shift of the dilation parameter, $\mathcal{A}_{G,\mathfrak{g}^*}^{\mathrm{Gr}}$ is isomorphic to the spherical subalgebra of $\mathcal{H}_{G,\hbar,k}$.
要約:
We prove dimension bounds on the jet schemes of the variety of nilpotent matrices (and of related varieties) in positive characteristic.
This result has applications to the analytic properties of the Chevalley map that sends a matrix to its characteristic polynomial. We show that our dimension bound implies, under the assumption of existence of resolution of singularities in positive characteristic, that the Chevalley map pushes a smooth compactly supported measure to a measure whose density function is $L^t$ for any $t<\infty$.
We also prove this analytic property of the Chevalley map, unconditionally, when the characteristic of the field exceeds $n/2$.
The zero characteristic counterpart of this result is an important step in the proof of the celebrated Harish-Chandra's integrability theorem. In a sequel work [AGKSb], we show that also in positive characteristic, this analytic statement implies Harish-Chandra's integrability theorem for cuspidal representations of the general linear group.
要約:
We start studying the character variety of the algebraic supergroup OSp(1|2) from the algebraic perspective. We do this by first investigating the specific case of the character variety of the free group on two letters and try to describe the ring of invariants with respect to the conjugation action. The explicit description of the corresponding character variety for SL(2) was done by Fricke and Klein, so this can be seen as a variant of this theorem for its supergeometric counterpart OSp(1|2) and briefly touch upon the character stack for OSp(1|2)
要約:
We develop a non-abelian, gauge-theoretic framework for the Schwarzian derivative and for second-order differential equations on Riemann surfaces. As applications, we extend Dedekind's Schwarzian approach to elliptic periods to generic one-parameter families of curves of genus $g$ by replacing the non-canonical scalar Picard--Fuchs equation of order $2g$ with a canonical second-order equation with $g\times g$ matrix coefficients on the Hodge bundle. In higher dimensions, we discuss periods of a one-parameter family of cubic threefolds via the intermediate Jacobian. Finally, we discuss mass--spring systems in mechanics as a natural testing ground for the non-abelian Schwarzian viewpoint.
要約:
We exhibit planar, rational curves of large degree over ${\mathbb F}_2$ that have a unique singular point, which has multiplicity 2. In characteristic 0 such curves exist only for degrees up to $6$. v.2: references updated and examples of supersingular double planes added.
要約:
Let $C$ and $C'$ be curves over a finite field $K$, provided with embeddings $\iota$ and $\iota'$ into their Jacobian varieties. Let $D\to C$ and $D'\to C'$ be the pullbacks (via these embeddings) of the multiplication-by-$2$ maps on the Jacobians. We say that $(C,\iota)$ and $(C',\iota')$ are \emph{doubly isogenous} if $\mathrm{Jac}(C)$ and $\mathrm{Jac}(C')$ are isogenous over $K$ and $\mathrm{Jac}(D)$ and $\mathrm{Jac}(D')$ are isogenous over~$K$. When we restrict attention to the case where $C$ and $C'$ are curves of genus $2$ whose groups of $K$-rational automorphisms are isomorphic to the dihedral group $D_6$ of order $12$, we find many more doubly isogenous pairs than one would expect from reasonable heuristics.
Our analysis of this overabundance of doubly isogenous curves over finite fields leads to the construction of a pair of doubly isogenous curves over a number field. That such a global example exists seems extremely surprising. We show that the Zilber--Pink conjecture implies that there can only be finitely many such examples. When we exclude reductions of this pair of global curves in our counts, we find that the data for the remaining curves is consistent with our original heuristic.
Computationally, we find that doubly isogenous curves in our family of $D_6$ curves can be distinguished from one another by considering the isogeny classes of the Prym varieties of certain unramified covers of exponent $3$ and $4$.
We discuss how our family of curves can be potentially be used to obtain a deterministic polynomial-time algorithm to factor univariate polynomials over finite fields via an argument of Kayal and Poonen.
要約:
Let $K$ be a unramified $p$-adic field with the absolute Galois group $G_K$ and $T$ a crystalline $\mathbb Z_p$-representation of $G_K$. We study the graded pieces of integral filtration on $D_{\rm dR}(T)$ given by Nyggard filtration of the attached Breuil-Kisin module of $T$. We show that the $i$-graded piece has nontrivial $p$-torsion only if $ i = r_j +m p$ for a Hodge-Tate weight $ r_j$ of $T$ and $m$ a positive integer.
要約:
We prove that single $G$-weighted $\mathfrak{b}$-Hurwitz numbers with internal faces are computed by refined topological recursion on a rational spectral curve, for certain rational weights $G$. Consequently, the $\mathfrak{b}$-Hurwitz generating function analytically continues to a rational curve. In particular, our results cover the cases of $\mathfrak{b}$-monotone Hurwitz numbers, and the enumeration of maps and bipartite maps (with internal faces) on non-oriented surfaces. As an application, we prove that the correlators of the Gaussian, Jacobi and Laguerre $\beta$-ensembles are computed by refined topological recursion.
要約:
We define the slant sum of quiver gauge theories, a gluing on the underlying quivers that identifies a gauge vertex with a framing vertex. Under some mild assumptions, we relate torus fixed points on the corresponding Higgs branches, which are Nakajima quiver varieties. Then we prove a ``branching rule" relating the quasimap vertex functions before and after a slant sum and deduce a number of ``factorization" corollaries.
Our construction is motivated by a factorization conjecture for the vertex functions of zero-dimensional quiver varieties, which can be approached inductively using the branching rule. In special cases, it also shows that vertex functions can be written as sums over reverse plane partitions, even outside ADE type.
We make some conjectures for Coulomb branches reflecting what can be seen on the Higgs side and prove them in ADE type. In particular, we obtain refined character formulas for the so-called ``extremal'' irreducible modules over shifted Yangians. We also study slant sums of Coulomb branches and their quantizations. We observe that for one-dimensional framing, the slant sum of Coulomb branches is the same as the product.
要約:
These notes are intended to be an introduction to shifted symplectic geometry, targeted to Poisson geometers with a serious background in homological algebra. They are extracted from a mini-course given by the first author at the Poisson 2024 summer school that took place at the Accademia Pontaniana in Napoli.
要約:
Any $C^*$-algebra can be regarded as a generalization of locally compact, Hausdorff topological space $\mathcal X$. From the commutative commutative Gelfand-Na\u{\i}mark theorem it follows that the spectrum of any commutative $C^*$-algebra is a locally compact, Hausdorff space which have the exact information of the $C^*$-algebra. Here we consider a Gelfand spaces of $C^*$-algebras which can be regarded as a generalization of the spectrum. In case of commutative $C^*$-algebras the Gelfand space coincides with the spectrum. Generally Gelfand spaces are not Hausdorff and provide more detailed information of noncommutative $C^*$-algebras. Sometimes the Gelfand space contains the full information of noncommutative $C^*$-algebra. Usage of Gelfand spaces of $C^*$-algebra enables us to define some $C^*$-algebraic analogs of several notions of the classical algebraic topology.
要約:
We study the Diophantine equation $a^5+b^5=c^5+d^5$ under the linear slicing constraint $(c+d)-(a+b)=h$. We first prove the necessary congruence $30\mid h$. After symmetrization, the associated discriminant equation defines, for each fixed nonzero slice parameter $h$, a genus-one curve over $\mathbb{Q}(S)$; to study Mordell-Weil rank, one must pass to its Jacobian fibration $E_h/\mathbb{Q}(S)$. We show that $E_h$ carries a global rational $2$-torsion section and never has full rational $2$-torsion over $\mathbb{Q}(S)$. We also prove that no nonsingular rational specialization acquires additional rational $2$-torsion: by homogeneity, the relevant square condition reduces to rational points on a universal genus-two hyperelliptic curve, whose rational points are determined via a verified Magma computation using a rank-$0$ bound and the Chabauty-Coleman method. We further show that, after the normalization $x=S/h$, the Jacobian fibrations for all $h\neq 0$ become isomorphic over a rational function field. For the representative slice $h=30$, we compute the classical invariants of the associated binary quartic, obtain an explicit Weierstrass model, and apply the Gusi\'c-Tadi\'c injectivity criterion together with verified specialized-rank computations to prove the uniform bound $\mathrm{rank}\,E_h(\mathbb{Q}(S))\le 1$ for all $h\neq 0$. We then construct an explicit rational section on the universal Jacobian model and, specializing at $S=12$ on the slice $h=30$, show via injective specialization that this section has infinite order. Consequently, $\mathrm{rank}\,E_h(\mathbb{Q}(S))=1$ for every $h\in\mathbb{Q}^\times$. We conclude by recording the additional integrality, parity, and size conditions required to recover integer solutions from the genus-one/Jacobian framework.
著者: Mohammed Abouzaid, Andrew J. Blumberg, Martin Hairer, Joe Kileel, Tamara G. Kolda, Paul D. Nelson, Daniel Spielman, Nikhil Srivastava, Rachel Ward, Shmuel Weinberger, Lauren Williams
要約:
To assess the ability of current AI systems to correctly answer research-level mathematics questions, we share a set of ten math questions which have arisen naturally in the research process of the authors. The questions had not been shared publicly until now; the answers are known to the authors of the questions but will remain encrypted for a short time.
要約:
We develop a unified algebraic and valuative theory of Lojasiewicz exponents for pairs of graded families and filtrations of ideals. Within this framework, local Lojasiewicz exponents, gradient exponents, and exponents at infinity are all realized as asymptotic containment thresholds between filtrations, governed by integral closure. This reformulation shows that Lojasiewicz exponents are fundamentally valuative optimization problems.
The central structural contribution of the paper is a finite-max principle. Under verifiable algebraic hypotheses, the a priori infinite valuative supremum bounding the Lojasiewicz exponent reduces to a finite maximum, and computes the Lojasiewicz exponent precisely. We identify two complementary mechanisms leading to this phenomenon: finite testing arising from normalized blowups and Noetherian Rees algebras, and attainment via compactness of normalized valuation spaces under linear boundedness assumptions.
This finite-max framework yields strong structural consequences. We prove rigidity results showing that common extremal valuations force equality of Lojasiewicz ratios, and we establish stratification and stability phenomena for Lojasiewicz exponents in families, including fractional linearity and wall-chamber behavior along natural one-parameter deformations.
The theory recovers and explains classical results in toric and Newton-polyhedral settings, particularly, for Newton nondegenete case, where the Lojasiewicz exponent is computed by finitely many toric divisorial valuations corresponding to facet data.
Finally, we illustrate why the hypotheses underlying the finite-max principle are essential, delineating the precise scope of the theory.
要約:
In this paper we prove the theorem of the heart for Weibel's homotopy $K$-theory $KH.$ Namely, if $\mathcal{C}$ is a small stable $\infty$-category with a bounded $t$-structure, then the realization functor $D^b(\mathcal{C}^{\heartsuit})\to \mathcal{C}$ induces an equivalence of spectra $KH(\mathcal{C}^{\heartsuit})\xrightarrow{\sim}KH(\mathcal{C}).$ In a certain sense this result is dual to the Dundas-Goodwillie-McCarthy theorem. We deduce the d\'evissage theorem for $KH$ of abelian categories, also on the level of spectra (in all degrees). More generally, we prove these results for dualizable categories with nice $t$-structures and for the so-called coherently assembled abelian categories.
The proof is heavily based on another new result, which is a much stronger version of Barwick's theorem of the heart. Its special case states the following: if $\mathcal{C}$ is a small stable category with a bounded $t$-structure, such that for some $n\geq 1$ the realization functor induces isomorphisms on $\operatorname{Ext}^{\leq n}$ between the objects of $\mathcal{C}^{\heartsuit},$ then the map $K_j(\mathcal{C}^{\heartsuit})\to K_j(\mathcal{C})$ is an isomorphism for $j\geq -n-1,$ and a monomorphism for $j = -n-2.$ Moreover, we prove that these estimates are sharp, even for dg categories over a field. In particular the naive $K$-theoretic theorem of the heart fails for $K_{-3}.$