要約:
In this note we prove that a smooth projective variety (defined over a field $k$) of non-negative Kodaira dimension that has a $k$-rational point and a polarized self map must be a finite free quotient of an abelian variety.
要約:
We define the one-leg orbifold topological vertex in refined Gromov-Witten theory \cite{BS24}. There are two cases where the leg is effective or gerby. The main result of this paper is the computation of the effective case. In the smooth case, this result matches the one-leg refined vertex in \cite{IKV09}. As an application, we compute the refined Gromov-Witten invariants of the local football.
要約:
We introduce the notion of extended magical $\mathfrak{sl}_2$-triples, a generalization of the magical $\mathfrak{sl}_2$-triples in Bradlow--Collier--Garc\'ia-Prada--Gothen--Oliveira's work and show that, apart from the known even magical triples, there are precisely three odd triples of nontube type Hermitian Lie algebras that are extended magical.
We then show that the Slodowy slice of an odd extended magical triple of $G^\textbf{R}$ in the $G^\textbf{R}$-Higgs bundle moduli space are precisely the maximal components. Finally, assuming that the underlying curve has sufficiently large genus, we give a geometric characterization of extended magical triples and prove a Cayley correspondence for the maximal components of $G^\textbf{R}$-Higgs bundles for nontube type Hermitian Lie groups.
要約:
We study the descent behaviour of homotopy-theoretic properties of smooth complex affine surfaces under finite surjective morphisms. We first examine the Eilenberg-MacLane property and show, by means of an explicit counterexample, that it does not descend under proper morphisms in general. This negative result motivates the introduction of a weaker notion, the finite homotopy rank-sum property. Our main theorem establishes that this property does descend under proper morphisms between smooth affine surfaces of logarithmic Kodaira dimension at most zero. The proof relies essentially on the recent classification of smooth complex affine surfaces of log non-general type characterized by these two properties. As a further application, we classify smooth affine surfaces properly dominated by the complex algebraic 2-torus, thereby clarifying an earlier remark of M. Furushima.
要約:
We study the geometry of double point loci of maps $F:M\to N$ of complex manifolds through the lens of Segre-Schwartz-MacPherson (SSM) classes. Classical double point formulas express the fundamental class of the closure of the double point locus of $F$ in terms of global invariants of source and target spaces, as well as $F$. In this paper we extend these results by computing a one-parameter cohomological deformation of the double point formula given by the SSM class. We compute the SSM class of the double point locus in a large cohomological degree range. The leading term in our new formulas recovers the classical double point formula of Fulton and Laksov, while higher-degree terms provide explicit universal corrections. Our approach uses interpolation techniques for SSM-Thom polynomials of multisingularities, recently developed by Koncki, Nekarda, Ohmoto and Rim\'anyi. We also compute SSM-Thom polynomials for the singularities $A_0$ and $A_1$ in the same range. As an application, we show how the deformed formulas yield refined geometric information about those singularity loci through a theorem of Aluffi and Ohmoto, including constraints on when such loci can arise as complete intersections.
要約:
We study the Hitchin maps on the moduli spaces of Hitchin sheaves and parabolic Hitchin sheaves on a nodal integral curve $Y$. We study their fibres, the BNR correspondences and the relation of the restriction of the Hitchin map with very stable bundles. As an application, in the "coprime" case we prove that the parabolic Poincar\'e sheaf on $U_{par}(n, \xi)\times Y$ is parabolic stable where $U_{par}(n, \xi)$ is a fixed determinant moduli space of parabolic sheaves on $Y$.
要約:
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.
要約:
Let $X\subset \mathbb P^r$ be a projective factorial variety of dimension $3$, degree $n$, with at worst isolated singularities. Assume that the Picard group of $X$ is generated by the hyperplane section class. Let $C\subset X$ be a projective subscheme of dimension $1$, degree $d\gg n$, and arithmetic genus $p_a(C)$. Improving a recent result by Liu, we exhibit a Castelnuovo's bound for $p_a(C)$. In the case $X$ is Calabi-Yau, our bound gives a step forward for a certain conjecture concerning the vanishing of Gopakumar-Vafa invariants of $X$.
要約:
We prove a new rigidity criterion for families of polarized Calabi-Yau manifolds. Motivated by known non-rigid examples, we conjecture that a family over a quasi-projective curve is rigid if it admits a smooth compactification whose singular fiber has only isolated singularities. We verify this conjecture for singularities with a concentrated mixed Hodge spectrum class including ordinary double points and cusps. The proof combines an analysis of the vanishing cycle exact sequence and limiting mixed Hodge structure with a tensor-product decomposition of the associated variation of Hodge structures.
要約:
We show reductions and equivalences between various problems related to the computation of the endomorphism ring of principally polarised superspecial abelian surfaces. Problems considered are the computation of the Ibukiyama-Katsura-Oort matrix and computation of unpolarised isomoprhisms between superspecial abelian surfaces.
要約:
We study dimer models on infinite minimal graphs with Fock's weights for degenerating families of M-curves of any genus based on works of Boutillier-Cimasoni-de Tili\`{e}re and Bobenko A.I.- Bobenko N.-Suris for a fixed M-curve. We show that these dimer models for families of M-curves behave consistently under their degeneration shrinking real circles to points, and that they can be calculated as power series in the associated deformation parameters which are regarded as the perturbation of Kenyon's critical dimer models.
要約:
We prove that under a finite surjective map of irreducible smooth complex projective curves, the pullback and direct image of a parabolic ample (respectively, parabolic nef) vector bundle is again parabolic ample (respectively, parabolic nef) if and only if the original parabolic vector bundle is parabolic ample (respectively, parabolic nef).
要約:
Take a holomorphic Lie algebroid $(V,\, \phi)$ on a compact connected Riemann surface $X$ such that the anchor map $\phi$ is not surjective. Let $P$ be a parabolic subgroup of a complex reductive affine algebraic group $G$ and $E_P\, \subset\, E_G$ a holomorphic reduction of structure group, to $P$, of a holomorphic principal $G$--bundle $E_G$ on $X$. We prove that $E_P$ admits a holomorphic Lie algebroid connection for $(V,\,\phi)$ if the reduction $E_P$ is infinitesimally rigid. If $E_P$ is the Harder--Narasimhan reduction of $E_G$, then it is shown that $E_P$ admits a holomorphic Lie algebroid connection for $(V,\,\phi)$. In particular, for any point $x_0\,\in\, X$, the Harder--Narasimhan reduction $E_P$ admits a logarithmic connection that is nonsingular on the complement $X\setminus\{x_0\}$.
要約:
By using Schottky uniformization theory of degenerating algebraic curves, we describe the tropical convergence of harmonic amoebas of pointed Riemann surfaces to tropical curves which are not necessarily simple. We extend Lang's results on the simple tropical convergence based on the Frenchel-Nielsen coordinates to the nonsimple case. Our results are hoped to give contributions in compactifying the moduli space of pointed Riemann surfaces with tropical curves, and in studying crystallization of general dimer models.
要約:
We study the positivity of CM line bundles on the coarse moduli space of Kawamata log terminal (klt) good minimal models with Kodaira dimension one. We prove that the seminormalization of the moduli space is quasi-projective under a mild assumption on the general fibers of good minimal models. Moreover, we show that the CM line bundle becomes ample after normalization. A key new ingredient is the construction of a moduli space of numerical equivalence classes, which is an extension of the work of Viehweg and allows us to bypass the failure of quasi-finiteness in the approach of the previous work by Hashizume and the author.
We also establish the projectivity of the moduli space of $\epsilon$-stable quotients, which is introduced by Toda, to a projective space, which plays a central role in our method. This particular situation is encompassed by our general framework of K-moduli of quasimaps.
要約:
Dixmier property concerns the bijectivity of endomorphisms for algebras. We introduce a relative Dixmier property, which is a generalization of the Dixmier property. This new concept has applications in proving that several classes of Poisson algebras possess the Dixmier property, as well as in other topics such as the cancellation problem and the non-existence of Hopf coactions.
要約:
Our main result is the determination of the respective groups $ Aut_\mathbb{Z}(S) $ of cohomologically trivial automorphisms and $ Aut_\mathbb{Q}(S) $ of numerically trivial automorphisms for the reducible fake quadrics, that is, the surfaces $S$ isogenous to a product with $q=p_g=0$.
In this way we produce new record winning examples: a surface $S$ with $|Aut_\mathbb{Q}(S)| =192$, and a surface whose cohomology has torsion with nontrivial $ Aut_\mathbb{Z}(S) \cong \mathbb{Z}/2.$
要約:
In this work we study some properties and applications of Nash manifolds with corners. Our first main result shows how to `build' a Nash manifold with corners ${\mathcal Q}\subset{\mathbb R}^n$ from a suitable Nash manifold $M\subset{\mathbb R}^n$ (of its same dimension), that contains ${\mathcal Q}$ as a closed subset, by folding $M$ along the irreducible components of a normal-crossings divisor of $M$ (the smallest Nash subset of $M$ that contains the boundary $\partial{\mathcal Q}$ of ${\mathcal Q}$). Our second main results shows that we can choose as the Nash manifold $M$ the Nash `double' $D({\mathcal Q})$ of ${\mathcal Q}$, which is the analogous to the Nash double of a Nash manifold with (smooth) boundary, but $D({\mathcal Q})$ takes into account the peculiarities of the boundary of a Nash manifold with corners.
We propose several applications of the previous results: (1) Nash ramified coverings of closed semialgebraic sets, (2) Weak Nash uniformization of closed semialgebraic sets using Nash manifolds with (smooth) boundary, (3) Representation of compact semialgebraic sets connected by analytic paths as images under Nash maps of closed unit balls, (4) Explicit construction of Nash models for compact orientable smooth surfaces of genus $g\geq0$, and (5) Nash approximation of continuous semialgebraic maps whose target spaces are Nash manifolds with corners.
要約:
The subject of the present paper is phase tropicalization, which was used crucially in the context of Mikhalkin's correspondence theorem for curve counting in the complex coefficient case. The subject can be traced back to Viro's patchworking for constructing topological types of real algebraic curves. These two instances correspond to complex and real phases. Both fall into the category of what can be called "abelian" or classical tropicalization, referring to degenerations of varieties within an algebraic torus (or its compactification). In contrast, in "non-abelian" tropicalizations the ambient torus is replaced by a non-commutative group such as the special linear group. This is the beginning of a general theory valid for a wide array of coefficient systems and dimensions. As an application, the paper settles the question of phase tropicalization for the special linear group $\mathrm{SL}_2$. It also gives an algebraic explanation and phase extension of the case of curves, previously studied in the purely geometric framework. To accomplish these tasks we introduce valuative tools that allow us to prove an affine version of Kapranov's theorem on tropical hypersurfaces and its generalization to arbitrary tropical varieties. Most notably, we show the functorial properties of the graded ring of a valuation and exhibit the polynomial structure of the graded ring of monomial valuations.
要約:
For Fano varieties, significant progress has been made recently in the study of $K$-stability, while the understanding of the weaker but more algebraic concept of $(-K)$-slope stability remains intricate. For instance, a conjecture attributed to Iskovskikh states that the tangent bundle of a Picard rank one Fano manifold is slope stable. Peternell-Wi\'sniewski and Hwang proved this conjecture up to dimension five in 1998, but Kanemitsu later disproved it in 2021. To address this gap in understanding, we present a method that aims to characterize the geometry associated with the maximal destabilizing sheaf of the tangent sheaf of a Fano variety. This approach utilizes modern advancements in the foliated minimal model program. In dimension two, our approach leads to a complete classification of $(-K)$-slope unstable weak del Pezzo surfaces with canonical singularities. As by-products, we provide the first conceptual proof that $\mathbb{P}^1 \times \mathbb{P}^1$ and $\mathbb{F}_1$ are the only $(-K)$-slope unstable nonsingular del Pezzo surfaces, recovering a classical result of Fahlaoui in 1989. We also uncover a phenomenon that does not occur for Fano manifolds: there exists a del Pezzo surface with type A singularities admitting a weak K\"ahler-Einstein metric, yet whose tangent sheaf is slope unstable.
要約:
We prove the claim in the title by showing that a definable Grauert Direct Image
Theorem in o-minimal geometry would imply a weak
representability-like property of the definable Picard functor. However, this weak representability cannot hold because of the Definable Chow Theorem of Peterzil and Starchenko.
要約:
From any graph $G$ arises a flat space wavefunction, obtained by integrating a product of propagators associated to the vertices and edges of $G$. This function is a key ingredient in the computation of cosmological correlators, and several representations for it have been proposed. We formulate three such representations and prove their correctness. In particular, we show that the flat space wavefunction can be read off from the canonical form of the cosmological polytope, and we settle a conjecture of Fevola, Pimentel, Sattelberger, and Westerdijk regarding a partial fraction decomposition for the flat space wavefunction. The terms of the decomposition correspond to certain collections of connected subgraphs associated to $G$ and its spanning subgraphs, reflecting the fact that the flat space wavefunction contains information about how $G$ is connected.
要約:
We formulate a definition of Tate cohomology in the context of three functor formalisms, and we establish basic monoidality and functoriality properties of it in this context. Our approach to these properties is based on the treatment of Nikolaus-Scholze in the setting of local systems of spectra on spaces. We discuss a couple of other specific settings of interest that are accommodated by our generalization.
要約:
We show that the cotangent bundle $T^*(G/K)$ of a quasi-split symmetric space $G/K$ is isomorphic to the dual variety of the loop symmetric space for the Langlands dual group, providing instances of the relative Langlands duality for non-split groups. Then we establish a Langlands dual description of equivariant coherent sheaves on $T^*(G/K)$ in terms of constructible sheaves on the loop symmetric spaces, generalizing the derived Satake equivalence for reductive groups to quasi-split symmetric spaces. To this end, we prove the derived Satake equivalence for the twisted affine Grassmannians, study ring objects arising from loop symmetric spaces, and explore the formality and fully-faithfulness properties of $!$-pure objects. We deduce a version of Bezrukavnikov equivalence for quasi-split symmetric spaces and make connections to the geometric Langlands on the twistor $\mathbb P^1$.
要約:
We define and study "tautological classes" in the cohomology of moduli stacks of shtukas, pursuing two directions of applications. First, we prove a formula relating the "arithmetic volume" of tautological classes to higher derivatives of Artin $L$-functions, which can be viewed as an arithmetic analog of Hirzebruch's Proportionality principle. Second, we define and analyze the structure of the "phantom tautological ring", using a general relation between Hecke correspondences and Vinberg's degeneration, and give applications to a function field analog of Colmez's Conjecture.
要約:
In this paper, we will prove an analogue of Fujita's approximation theorem under the framework of Arakelov theory over adelic curves, which proves a conjecture of Huayi Chen and Atsushi Moriwaki.
要約:
The aim of this paper is to construct the cohomological Hall algebras for $3$-Calabi--Yau categories admitting a strong orientation data. This can be regarded as a mathematical definition of the algebra of BPS states, whose existence was first mathematically conjectured by Kontsevich and Soibelman. Along the way, we prove Joyce's conjecture on the functorial behaviour of the Donaldson--Thomas perverse sheaves for the attractor Lagrangian correspondence of $(-1)$-shifted symplectic stacks. This result allows us to construct a parabolic induction map for cohomological Donaldson--Thomas invariants of $G$-local systems on $3$-manifolds for a reductive group $G$, which can be regarded as a $3$-manifold analogue of the Eisenstein series functor in the geometric Langlands program.
要約:
We prove the Jacquet--Rallis fundamental lemma for spherical Hecke algebras over local function fields using multiplicative Hitchin fibrations. Our work is inspired by the proof of [Yun11] in the Lie algebra case and builds upon the general framework of multiplicative Hitchin fibrations in [Wang26].
要約:
We investigate the relationship between the Fano type property on fibers over a Zariski dense subset and the global Fano type property. We establish the invariance of N\'eron-Severi spaces, nef cones, effective cones, movable cones, and Mori chamber decompositions for a family of Fano type varieties after a generically finite base change. Additionally, we show the uniform behavior of the minimal model program for this family. These results are applied to the boundedness problem of Fano type varieties.
要約:
Let $X$ be a smooth connected complex projective curve of genus $g$, with $g\,\geq\, 3$. Fix an integer $r\geq 2$, a finite subset $D\, \subset\, X$, and a line bundle $L$ on $X$. We compute the Brauer group of the smooth locus of the moduli space of parabolic symplectic stable bundles of rank $r$ on $X$ equipped with a symplectic form taking values in $L(D)$, where $L(D)$ is given the trivial parabolic structure.
要約:
Using the homological sieve method developed by Das--Lehmann--Tosteson and the author, we prove Peyre's all height approach to Manin's conjecture for split quintic del Pezzo surfaces defined over $\mathbb F_q(t)$ assuming $q$ is sufficiently large. We also establish lower bounds of correct magnitude for the counting function of rational curves on split low degree del Pezzo surfaces defined over $\mathbb F_q$ assuming $q$ is large.
要約:
This article provides an overview of the techniques related to classification of spherical and more general objects within triangulated categories, and its relationship with algebraic geometry, representation theory and symplectic geometry. The primary focus are the techniques of the authors within the 'finite' algebraic geometry setting in dimensions two and three, and within silting discrete algebras, but other approaches including to more general settings by Bapat-Deopurkar-Licata, Smith-Wemyss, Ishii-Uehara, Keating-Smith and Shimpi are also surveyed, in varying levels of detail. Various explicit examples are provided.
要約:
We undertake a study of extensions of unirational algebraic groups. We prove that extensions of unirational groups are also unirational over fields of degree of imperfection $1$, but that this fails over every field of higher degree of imperfection, answering a question of Achet. We also initiate a study of those groups which admit filtrations with unirational graded pieces, and show that one may deduce unirationality of unipotent groups from unirationality of certain quotients.
要約:
Let $f: X\to Y$ be a proper surjective morphism of varieties defined over an algebraically closed field of positive characteristic. We prove that if $f$ has geometrically connected fibers then the induced homomorphism of $F$-divided fundamental groups is faithfully flat. An important new ingredient in our proof is an analogue of B. Bhatt's and P. Scholze's descent theorem \cite[Theorem 1.3]{Bhatt-Scholze2017} for $F$-divided bundles.
As a corollary, we prove that in general if $X$ is normal, $Y$ is smooth, both $X$ and $Y$ are projective, and the induced map on \'etale fundamental groups is surjective, then the corresponding homomorphism on $F$-divided fundamental groups is faithfully flat. We also establish an analogous result for isomorphisms. This generalizes and strengthens a recent result of X. Sun and L. Zhang \cite{Sun-Zhang2025}, which in turn generalized earlier results of H. Esnault and V. Mehta \cite{Esnault-Mehta2010} and I. Biswas, M. Kumar, and A. J. Parameswaran \cite{Biswas-Parameswaran-Kumar2025}.
要約:
Given two distinct reduced, irreducible curves of given degrees, contained in projective space but whose union is not contained in a hyperplane, what is the largest number of points of intersection they can have? When the projective space is the plane, this is trivial. For projective 3 space this problem was solved independently by Diaz and by Giuffrida in 1986. They showed that two curves achieving the maximum number of intersection points have to be rational curves on a smooth surface of minimal degree, i.e., a quadric surface. Note that these curves are far from being arithmetically Cohen-Macaulay. In contrast, Hartshorne and Mir\'o-Roig addressed this problem in 2015 for space curves under the assumption that the curves are arithmetically Cohen-Macaulay (ACM), introducing very deep techniques and obtaining very different results from Diaz and Giuffrida. Diaz and Giuffrida also gave initial results in dimensions greater than 3. Here we continue this study for dimension 4. We introduce a number B defined in terms of the degrees of the curves and prove that when both curves lie on a surface of minimal degree (thus a cubic surface) then the number of points of intersection is at most B. Moreover, we conjecture that B is always an upper bound and we prove this conjecture in many cases, including when at least one of the curves is ACM. Our approach focuses on the genera of the curves and their union. In addition we define a second number B' in terms of the degrees and the genus of the union which we can show bounds the number of points of intersection above, and we use a variety of methods to study how B and B' compare.
要約:
We develop a framework for describing vector bundles on $\mu_n$-gerbes over curves and illustrate the construction through two detailed examples. Using the interpretation of Brauer classes as obstructions to descending determinantal line bundles from the algebraic closure, together with a geometric analysis of the moduli space of twisted sheaves, we prove that for genus $2$ curves there exist Brauer classes over the base field whose period equals their index. Over $C_1$-fields, we further show that every $2$-torsion class in the Brauer group of a genus $2$ curve satisfies the period-index problem. As an application, we construct higher-dimensional varieties obtained as fibre products of genus $2$ curves over $C_1$-fields whose $2$-torsion algebraic Brauer classes also satisfy the period-index problem, providing new evidence toward the period-index conjecture.
要約:
We study $\mathbb{S}_n$-equivariant motivic invariants of the moduli space $\mathcal{M}_{g, n}(\mathbb{P}^r, d)$ of degree-$d$ maps from $n$-pointed curves of genus $g$ to $\mathbb{P}^r$. In particular, we obtain formulas for the Serre characteristic, which specializes to the Hodge--Deligne polynomial. Fixing $g, r \geq 1$, we prove that an explicit invertible transform of the generating function for the Serre characteristics is rational. We use our formula to prove a stability result for the weight-graded compactly-supported Euler characteristics of $\mathcal{M}_{g, n}(\mathbb{P}^r, d)$ as $d \to \infty$. In genus one and two, we reduce the calculation of the Serre characteristic of $\mathcal{M}_{g, n}(\mathbb{P}^r, d)$ to those of the moduli spaces $\mathcal{M}_{g, n}$ of $n$-pointed curves. Formulas for the latter follow from work of Getzler and Petersen, so our formula in particular determines the Serre characteristic of $\mathcal{M}_{g, n}(\mathbb{P}^r, d)$ for arbitrary $n$, $r$, and $d$ when $g = 1$ and $g = 2$.
要約:
For a normal projective variety $X$, the $\bf Q$-factoriality defect $\sigma(X)$ is defined to be the rank of the quotient of the group of Weil divisors by the subgroup of Cartier ones. We prove a slight improvement of a topological formula of S.G. Park and M. Popa asserting that $\sigma(X)=h^{2n-2}(X)-h^2(X)$ by assuming only 2-semi-rationality, that is, $R^k\pi_*{\mathcal O}_{\widetilde{X}}=0$ for $k=1,2$, instead of rational singularities for $X$, where $\pi:\widetilde{X}\to X$ is a desingularization with $h^k(X):=\dim H^k(X,{\bf Q})$ and $n:=\dim X>2$. Our proof generalizes the one by Y. Namikawa and J.H.M. Steenbrink for the case $n=3$ with isolated hypersurface singularities. We also give a proof of (a slight generalization of) the assertion that $\bf Q$-factoriality implies factoriality if $X$ is a local complete intersection whose singular locus has at least codimension three. (This follows rather easily from SGA2, X.3.4, and seems to be known to specialists in the case $X$ has only isolated hypersurface singularities with $n=3$ using Milnor's Bouquet theorem.) These imply a slight improvement of Grothendieck's theorem in the projective case asserting that $X$ is factorial if it is a local complete intersection whose singular locus has at least codimension three and at general points of its components of codimension three, $X$ has rational singularities and is a $\bf Q$-homology manifold. In the hypersurface singularity case, the last condition means that any spectral number of a transversal slice to the singular locus is greater than 1 (hence less than 3), and is not an integer (more precisely, not 2), that is, 1 is not an eigenvalue of the Milnor monodromy.
要約:
Quantum entanglement is a defining signature and resource of quantum theory, but its standard definition presupposes a globally fixed decomposition into subsystems. We develop a geometric framework that detects when such a decomposition cannot be globalized for twisted families of pure-state spaces. Using Severi--Brauer schemes associated to Azumaya algebras over a base scheme, we study pure-state entanglement in families of projective state spaces that are locally trivial but globally twisted. For a given factorization type, we show that the existence of a global locus of product states is equivalent to a reduction of the underlying projective linear torsor to the stabilizer of the corresponding Segre variety, so entanglement in families becomes a geometric obstruction to globalizing subsystem structure.
We construct the moduli space of subsystem structures, identify it with a natural torsor quotient, and realize it as a locally closed locus in the relative Hilbert scheme, yielding a canonical compactification by degenerations of product-state loci. In the bipartite case, once a subsystem structure is chosen, the Schmidt-rank stratification globalizes to a flat filtration with base-change compatible incidence resolutions and fiberwise constant numerical invariants. We complement this with Brauer-theoretic constraints and explicit examples showing that reducibility can depend on the underlying torsor rather than only on the Brauer class, with an interpretation via entangling monodromy.
要約:
We introduce an $L^2$-norm on the space of Schwartz half-densities over algebraic stacks over local non-archimedean fields. We show that these $L^2$-norms are finite for the stacks of $PGL_2$-bundles on $\mathbb{P}^1$ with parabolic structures at $\ge 3$ points. The latter property was conjectured in the context of the analytic Langlands correspondence of arXiv:2103.01509.
要約:
We develop a new approach towards obtaining lower bounds of the Seshadri constants of ample adjoint divisors on smooth projective varieties $X$ in arbitrary characteristic. Let $x\in X$ be a closed point and $A$ an ample divisor on $X$. If $X$ is a surface, we recover some known lower bounds by proving, e.g., that $\varepsilon(K_X+4A;x)\geq 3/4$. If $X$ is a threefold, we prove that for all $\delta>0$ and all but finitely many curves $C$ through $x$, we have $\frac{(K_X+6A).C}{\operatorname{mult}_x C}\geq\frac{1}{2\sqrt{2}}-\delta$. In particular, if $\varepsilon(K_X+6A;x)<1/(2\sqrt{2})$, then $\varepsilon(K_X+6A;x)$ is a rational number, attained by a Seshadri curve $C$.
要約:
We prove that any smooth projective geometrically connected non-isotrivial curve of genus $g\ge 2$ over a one-dimensional function field of any characteristic has at most $16g^2+32g+124$ torsion points for any Abel-Jacobi embedding of the curve into its Jacobian. The proof uses Zhang's admissible pairing on curves, the arithmetic Hodge index theorem over function fields, and the metrized graph analogue of Elkies' lower bound for the Green function. More generally, we prove an explicit Bogomolov-type result bounding the number of geometric points of small N\'eron-Tate height on the curve embedded into its Jacobian.
要約:
In this paper, we establish a theorem on extension of Lipschitz maps $f$ definable in Hensel minimal, non-trivially valued fields $K$ of equicharacteristic zero. This may be regarded as a definable, non-Archimedean, non-locally compact version of Kirszbraun's extension theorem. We proceed with double induction with respect to the dimensions of the ambient space and of the domain of $f$. To this end, we introduce the concept of a definable open cell package with a skeleton which, along with the concept of a risometry, plays a key role in our induction procedure.
要約:
We study the coarse quotient $\mathfrak{t}^*//W^{\text{aff}}$ of the affine Weyl group $W^{\text{aff}}$ acting on a dual Cartan $\mathfrak{t}^*$ for some semisimple Lie algebra. Specifically, we classify sheaves on this space via a "pointwise" criterion for descent, which says that a $W^{\text{aff}}$-equivariant sheaf on $\mathfrak{t}^*$ descends to the coarse quotient if and only if the fiber at each field-valued point descends to the associated GIT quotient. We also prove the analogous pointwise criterion for descent for an arbitrary finite group acting on a vector space. Using this, we show that an equivariant sheaf for the action of a finite pseudo-reflection group descends to the GIT quotient if and only if it descends to the associated GIT quotient for every pseudo-reflection, generalizing a recent result of Lonergan.
要約:
In recent years, there has been growing interest in jointly analyzing a foreground dataset, representing an experimental group, and a background dataset, representing a control group. The goal of such contrastive investigations is to identify salient features in the experimental group relative to the control. Independent component analysis (ICA) is a powerful tool for learning independent patterns in a dataset. We generalize it to contrastive ICA (cICA). For this purpose, we devise a new linear algebra based tensor decomposition algorithm, which is more expressive but just as efficient and identifiable as other linear algebra based algorithms. We establish the identifiability of cICA and demonstrate its performance in finding patterns and visualizing data, using synthetic, semi-synthetic, and real-world datasets, comparing the approach to existing methods.
要約:
For a given number field $K$, we give a $\forall\exists\forall$-first order description of affine Darmon points over $\mathbb{P}^1_K$, and show that this can be improved to a $\forall\exists$-definition in a remarkable particular case. Darmon points, which are a geometric generalization of perfect powers, constitute a non-linear set-theoretical filtration between $K$ and its ring of $S$-integers, the latter of which can be defined with universal formulas, as has been progressively proven by Koenigsmann, Park, and Eisentr\"ager & Morrison. We also show that our formulas are uniform with respect to all possible $S$, with a parameter-free uniformity, and we compute the number of quantifiers and a bound for the degree of the defining polynomial.
要約:
An arrangement of hypersurfaces in projective space is strict normal crossing (SNC) if and only if its Euler discriminant is nonzero. We study the critical loci of arbitrary Laurent monomials in the equations of the smooth hypersurfaces. The family of these loci forms an irreducible variety in the product of two projective spaces, known in algebraic statistics as the likelihood correspondence and in particle physics as the scattering correspondence. We establish an explicit determinantal representation for the minimal generators of the bihomogeneous prime ideal that defines this variety.
要約:
In this paper, we present several definitive characterizations of the $C^1$ smoothness of definable sets in terms of their tangent cones and some other metric properties. In particular, we recover some of the beautiful characterizations presented by Ghomi and Howard (2014) and by Kurdyka, Le Gal, and Nhan (2018). For instance, we prove that for any $X\subset \mathbb{R}^n$ that is a locally closed $d$-dimensional definable set in an o-minimal structure, the following items are equivalent:
(1) $X$ is Lipschitz normally embedded (LNE), $C_3(X,p)$ is a $d$-dimensional linear subspace for any $p\in X$ and depends continuously on $p$;
(2) For each $p\in X$, $X$ is Lipschitz regular at $p$ and $C_4(X,p)$ is a $d$-dimensional linear subspace;
(3) $X$ is a topological manifold and for each $p\in X$, $X$ is LNE at $p$ and $C_4(X,p)=C_3(X,p)$;
(4) $X$ is a topological manifold, and $C_5(X,p)$ is a $d-$dimensional subset for any $p\in X$;
(5) $X$ is $C^1$ smooth.
要約:
We study the cone of non-negative polynomials on generalized elliptic curves. We show that the zero set of every extreme ray has dense real points. If a generalized elliptic curve is embedded via a complete linear system, then we show that the convex hull of its real points (taken inside any affine chart containing all real points) is a spectrahedron. On the way, we generalize a result by Geyer--Martens on 2-torsion points in the Picard group of smooth real curves (of arbitrary genus) to possibly singular and reducible ones.
要約:
We recast quantum entanglement as a cohomological obstruction to reconstructing a global quantum state from locally compatible information. We address this by considering presheaf cohomologies of states and entanglement witnesses. Sheafification erases the global-from-local signature while leaving within-patch multipartite structure, captured by local entanglement groups introduced here. For smooth parameter families, the obstruction admits a differential-geometric representative obtained by pairing an appropriate witness field with the curvature of a natural unitary connection on the associated bundle of amplitudes. We also introduce a Quantum Entanglement Index (QEI) as an index-theoretic invariant of entangled states and explain its behavior. Finally, we outline a theoretical physics approach to probe these ideas in quantum many-body systems and suggest a possible entanglement-induced correction as an experimental validation. Detailed numerical implementations for concrete quantum many-body models are presented in the companion paper \cite{2026arXiv260113467I}.
要約:
We study deformation properties of balanced hyperbolicity, with a particular emphasis on degenerate balanced manifolds and their behavior under smooth modifications.
From a different perspective, we introduce two new notions of hyperbolicity for compact complex non-K\"ahler manifolds $X$ of complex dimension $\dim_{\mathbb{C}}X=n$, in general degree $2p$ with $1 \leq p \leq n-1$. These notions are motivated by the work of D.~Popovici and H.~Kasuya on partial hyperbolicity in arbitrary degree and by the work of F.~Haggui and S.~Marouani on $p$-K\"ahler hyperbolicity. The first notion, called \emph{$p$-SKT hyperbolicity}, extends SKT hyperbolicity and Gauduchon hyperbolicity to degree $2p$. Similarly, the second notion, called \emph{$p$-HS hyperbolicity}, generalizes the notion of strongly Gauduchon hyperbolicity introduced by Y.~Ma.
We then analyze the relationships between these analytic notions and geometric notions of hyperbolicity, namely Brody/Kobayashi hyperbolicity and \emph{$p$-cyclic hyperbolicity} in degree $2p$ for $2 \leq p \leq n-1$. In addition, we study the behavior of $p$-HS hyperbolicity and $p$-K\"ahler hyperbolicity under holomorphic deformations, establishing openness results for these properties.
要約:
We study $\mathbb Z_2\times\mathbb Z_2$ bi-graded Lie algebras. We describe their properties in relation to Lie superalgebras with some compatible structures. Then we focus on the approach to the Lie group--algebra correspondence based on Harish-Chandra pairs and provide some examples of application of it in the bi-graded setting.