要約:
We prove that for a morphism of schemes of positive characteristic whose relative Frobenius is a morphism of locally noetherian schemes, being formally unramified (resp. formally \'etale) is equivalent to its Frobenius morphism being a closed immersion (resp. an isomorphism). We also discuss the non-noetherian case.
要約:
We determine the maximal number of smooth rational degree d curves on a complex K3-surface of degree 2n provided n is sufficiently large as compared to d>1. We obtain precise characterization of configurations of rational degree d curves for which Miyaoka's bound is sharp for nd odd and n sufficiently large as compared to d.
要約:
We study deformations of a genus one Riemann surface and of a second order Abelian differential on the surface which preserve the periods of the differential with respect to a chosen canonical homology basis of the surface. We call these deformations isoperiodic. We derive a second order ordinary differential equation with rational coefficients governing the variations of the position of the unique pole of the differential under the isoperiodic deformations. The obtained equation depends on the order of the pole of the differential. We characterize the solutions of the obtained ordinary differential equations that correspond to the isoperiodic deformations. We apply these results to the theory of genus one solutions to the Boussinesq equation.
要約:
We consider a family of genus $g$ hyperelliptic curves as double ramified coverings over the Riemann sphere with the set of branch points of the form $\{0, \infty, x_1, \dots, x_g, u_1, \dots, u_g\}$. The branch point at infinity $P_\infty$ is selected to be a marked point on the Riemann surfaces. A meromorphic differential $\Omega$ with a unique pole being of order two at $P_\infty$, is completely defined by the values of half of its periods, the $a$-periods. Fixing values of $a$-periods of $\Omega$, we then find a continuous subfamily in the considered family of hyperelliptic curves along which all the periods of $\Omega$ are constant. This subfamily is defined by the functions $u_j(x_1, \dots, x_g)$, while $x_1, \dots, x_g$ are independent parameters. We derive a system of differential equations for the functions $u_j(x_1, \dots, x_g)$, which, remarkably, has rational coefficients. We call this subfamily the isoperiodic deformations of the hyperelliptic curves relative to the given differential of the second kind $\Omega.$ We deduce necessary and sufficient conditions for the existence and uniqueness of isoperiodic deformations. We discuss reality conditions as well. Using the obtained results, we solve the following problem for the Korteweg-de Vries and sine-Gordon equations: starting from an algebro-geometric data which generate a real periodic solution of a period $T$, how to deform the data, so that the associated solutions remain periodic with the same period $T$.
要約:
Roquette proved Amitsur's conjecture for Severi-Brauer varieties associated with cyclic algebras using algebraic methods. We present a geometric proof of Roquette's result, providing simple and explicit birational isomorphisms.
要約:
We state several questions, and prove some partial results, about the Chow ring $A^\ast(X)$ of complete intersections in projective space. For one thing, we prove that if $X$ is a general Calabi-Yau hypersurface, the intersection product $A^2(X)\cdot A^i(X)$ is one-dimensional, for any $i>0$. We also show that quintic threefolds have a multiplicative Chow-K\"unneth (MCK) decomposition. We wonder whether all Calabi-Yau hypersurfaces might have an MCK decomposition, and prove this is the case conditional to a conjecture of Voisin.
要約:
We produce a formula for the $\mathbb{Z}_2$-Betti numbers of the moduli space $M_r^d$ of stable real Higgs bundles over a real projective curve, with coprime rank $r$ and degree $d$. Our approach relies on the motivic formula for the moduli space due to Mellit, Fedorov-Soibelman-Soibelman, and Schiffman , and the fact that the virtual $\mathbb{Z}_2$ Poincar\'e polynomial is a motivic measure over $\mathbb{R}$.
要約:
We study the totally nonnegative part of the Peterson variety in arbitrary Lie type and establish its connection to the strongly dominant weight polytope. In particular, we prove that the totally nonnegative part of the Peterson variety is a regular CW-complex, which is homeomorphic to a cube as a cell-decomposed space. This confirms a conjecture of Rietsch for all Lie types.
要約:
Let $X$ be the quintic del Pezzo $4$-fold. It is very well-known that $X$ is realized by a smooth linear section of Grassmannian $\mathrm{Gr}(2,5)$. In this paper, we prove that the Hilbert scheme of conics in $X$ is a smooth variety of dimension $7$ by using a torus action on $X$, which provides a more direct proof about the first named author's previous result.
要約:
Let $X$ be a factorial complex affine variety of dimension $\ge 3$ with an algebraic action of the additive group $G_a$. Let $\pi : X \to Y$ be the algebraic quotient morphism where we assume $Y$ is an affine variety. When $\pi$ is faithfully flat, we investigate $\pi$ by $G_a$-equivariant affine modifications and give criteria for $\pi$ to be a trivial $\mathbb A^1$-bundle. For a smooth acyclic fourfold $X$ with a free $G_a$-action and a $G_a$-equivariant $\mathbb A^3$-fibration $f : X \to \mathbb A^1$ where $G_a$ acts trivially on $\mathbb A^1$, we give a criterion for the algebraic quotient $Y$ to be isomorphic to $\mathbb A^3$ with $f$ as a coordinate. Together with a criterion for $\pi : X \to Y$ to be a trivial $\mathbb A^1$-bundle, we obtain a sufficient condition for $X\cong Y\times \mathbb A^1\cong \mathbb A^4$.
要約:
We formulate a combinatorial version of the Intersection Hodge Conjecture for projective toric varieties. The conjecture asserts that the subspace of rational Hodge classes in the intersection cohomology $IH^*(X_\Sigma)$ is generated by the classes of algebraic cycles. We define the space of combinatorial Hodge classes, $Hdg^k_{\mathrm{comb}}(\Sigma) \subset IH^{2k}_{\mathrm{comb}}(\Sigma, \mathbb{Q})$, using the combinatorial intersection cohomology theory for fans developed by Barthel, Brasselet, Fieseler, and Kaup. We conjecture that this space is spanned by the combinatorial cycle classes corresponding to torus-invariant subvarieties. We verify this conjecture for all projective toric varieties of dimension $n \le 3$ and for the class of simplicial projective toric varieties. Finally, we provide an algorithmic framework to verify the conjecture for arbitrary rational fans.
要約:
We find upper bounds, sharp in most cases, on the number of real hyperplane sections of real smooth polarized $K3$-surfaces that split into lines. Most bounds coincide with their complex counterparts.
要約:
An oval $O$ of a plane real algebraic quartic curve $S$ is called a snake coiling around a real curve $C_k$ of degree $k$ if $O\cup\mathbb{R}C_k$ is isotopic to $O'\cup\mathbb{R}C_k$, where $O'$ is the boundary of a thickening of the embedded segment that transversally intersects $\mathbb{R}C_k$ at $2k$ points. In this article we prove that in this case $\mathbb{R}C_k\cup\mathbb{R}S$ is isotopic to $\mathbb{R}C_k\cup\mathbb{R}Q$, where $Q$ is a perturbation of the doubled conic. We prove analogs of this statement for real pseudoholomorphic curves under some additional assumptions.
要約:
A complex elliptic curve $E$ can be defined as the quotient of the analytic space $\mathbb{C}^*$ by a discrete action of the cyclic group $q^{\mathbb{Z}}$ for $\vert q\vert \neq 1$. We study the boundary case when $\vert q\vert =1$, which leads to the notion of a quantum elliptic curve and a conjectural equivalence of categories that one might call a noncommutative GAGA.
要約:
We study energy minimization problems in quantum chemistry through the lens of computational algebraic geometry. We focus on minimizing the Rayleigh quotient of a Hamiltonian over a tensor train variety. The complex critical points of this problem approximate eigenstates of the quantum system, with the global minimum approximating the ground state. We call the number of critical points the Rayleigh-Ritz degree.
After introducing tensor train varieties, we identify instances when they are Segre products of projective spaces. We also report what we know about the defining ideals of tensor trains. We present a birational parametrization of them from products of Grassmannians. Along the way, we study the Rayleigh-Ritz degree, and we introduce the Rayleigh-Ritz discriminant, which describes Hamiltonians that lead to deficient number of critical points. We use homotopy continuation to compute all critical points of this optimization problem over various tensor train and determinantal varieties. Finally, we use these results to benchmark state-of-the-art methods, the Alternating Linear Scheme and Density Matrix Renormalization Group.
要約:
Let $X$ be a smooth projective surface over a number field $K$. Assume that $X$ has an elliptic fibration over $\mathbb{P}^1_K$ with at least one singular fibre and a section. Let $\mathcal{X}/U$ be a smooth projective model of $X$ over some open subset $U \subset \mathrm{Spec}(\mathcal{O}_K)$. We show that $\ker\bigl(\mathrm{CH}^2(\mathcal{X}) \rightarrow \mathrm{CH}^2(X)\bigr)$ is a finitely generated group.
要約:
We prove that the automorphism group $\mathrm{Aut}(X)$ of an affine spherical variety $X$ acts transitively on the set of smooth points $X^{reg}.$ If every invertible regular function on $X$ is constant, we prove that $X$ is flexible, i.e., the subgroup of $\mathrm{Aut}(X)$ generated by all $\mathbb{G}_a$-subgroups acts transitively on $X^{reg}.$
要約:
In this work we establish a connection between copositivity, that is, nonnegativity on the positive orthant, of sparse real Laurent polynomials and discriminants. Specifically, we consider Laurent polynomials in the positive orthant with fixed support and fixed coefficient signs. We provide a criterion to decide whether a given polynomial is copositive that is based in determining the intersection points of the signed discriminant and a path going through the coefficients of the polynomial. If the signed support satisfies a combinatorial condition termed nonseparability, we show additionally that this intersection consists of one point, and that tracking one path in homotopy continuation methods suffices to decide upon copositivity.
Building on these results, we show that any copositive polynomial with nonseparable signed support can be decomposed into a sum of nonnegative circuit polynomials, generalising thereby previously known supports having this property.
要約:
We introduce delta-forms on tropical toric varieties generalizing the construction of Mihatsch for $R^n$. These delta-forms will be used to define the star-product with Green functions of piecewise smooth type on a tropical toric variety. As an application, we show that non-archimedean local heights of projective varieties can be computed using the star-product on a suitable complete tropical toric variety.
On the way, we show that open subsets of a simplicial tropical toric variety have a locally finite simplicial decomposition which is constant towards the boundary.
要約:
We determine the mod-$\ell$ geometric monodromy group of the universal family of double covers of projective space branched along hyperplane arrangements in general position.
要約:
We present an effective criterion for determining whether a (augmented) vertically parametrized polynomial system admits multiple positive zeros for some choice of parameter values. Our method builds on previous algorithms from chemical reaction network theory and reduces the question to checking the feasibility of a linear system of equalities and inequalities. Our criterion provides a sufficient condition for the absence of multiple positive zeros that applies to any augmented vertically parametrized polynomial system, and we show that when the kernel of the coefficient matrix of the system displays a certain sparsity structure, this condition becomes also necessary. We give thereby a full characterization of the existence of multiple zeros for this type of systems.
要約:
For each $n$, each dimension $r$, and each subscheme $X \subset \mathbb{P}^n$ defined as the common zero-locus of $s$ hypersurfaces, of degrees $\mathbf{d} = (d_1, \ldots , d_s)$ say, the Fano variety $F_r(X)$ of projective $r$-spaces contained in $X$ is a subvariety of the Grassmannian $G(r + 1, n + 1)$. We prove that the inclusion $F_r(X) \subset G(r + 1, n + 1)$ induces an isomorphism $H^i(G(r + 1, n + 1); \mathbb{Z}) \rightarrow H^i(F_r(X); \mathbb{Z})$ on integral cohomology for certain indices $i$ (i.e., depending only on $n$, $r$, $s$ and $\mathbf{d}$). Our result extends to the integral setting a result proved for rational cohomology by Debarre and Manivel (Math. Ann. '98), and answers a question of Benoist and Voisin. Our techniques adapt ones introduced by Tu (Trans. Am. Math. Soc. '89) for a different purpose.
要約:
We consider the spherical variety of quadratic forms over a quadratically closed field of characteristic 2, and determine its orbits for the action of the Borel subgroup of upper triangular matrices. We exhibit a connection between these orbits and the Catalan triangle numbers. In addition, we describe explicitly a natural Weyl group action on the set of Borel orbit double covers
要約:
This paper studies the poles of the real Archimedean zeta function for a weighted homogeneous polynomial $f \in \mathbb{R}[x, y]$ with an isolated singularity at the origin. By applying a weighted blow-up, we derive the meromorphic continuation of $Z_{f,\varphi}$ to $\text{Re }s > -1$. This explicit expression yields a necessary and sufficient condition for a root $s \in (-1, 0)$ of the Bernstein-Sato polynomial $b_f(s)$ to be a pole of $Z_{f,\varphi}$. Unlike the complex case established by F. Loeser (1985), this condition may fail in certain obvious cases -- such as when $f$ is odd or even in $x$, $y$, or $(x, y)$ -- so not all such roots necessarily become poles.
要約:
We introduce a unified framework for computing approximately-optimal preconditioners for solving linear and non-linear systems of equations. We demonstrate that the condition number minimization problem, under structured transformations such as diagonal and block-diagonal preconditioners, is geodesically convex with respect to unitarily invariant norms, including the Frobenius and Bombieri--Weyl norms. This allows us to introduce efficient first-order algorithms with precise convergence guarantees.
For linear systems, we analyze the action of symmetric Lie subgroups $G \subseteq \GL_m(\CC) \times \GL_n(\CC)$ on the input matrix and prove that the logarithm of the condition number is a smooth geodesically convex function on the associated Riemannian quotient manifold. We obtain explicit gradient formulas, show Lipschitz continuity, and prove convergence rates for computing the optimal Frobenius condition number: $\widetilde{O}(1/\eps^2)$ iterations for general two-sided preconditioners and $\widetilde{O}(\kappa_F^2 \log(1/\eps))$ for strongly convex cases such as left preconditioning. We extend our framework to consider preconditioning of polynomial systems $\f(x) = 0$, where $\f$ is a system of multivariate polynomials. We analyze the local condition number $\mu(\f, \xi)$, at a root $\xi$ and prove that it also admits a geodesically convex formulation under appropriate group actions. We deduce explicit formulas for the Riemannian gradients and present convergence bounds for the corresponding optimization algorithms. To the best of our knowledge, this is the first preconditioning algorithm with theoretical guarantees for polynomial systems.
要約:
In this paper we give a gauge theoretic construction of the joint moduli space of stable G-Higgs bundles on closed Riemann surfaces, where the Riemann surface structure is allowed to vary in the Teichm\"uller space of the underlying smooth surface. This joint moduli space has many interesting structures that are preserved by the mapping class group of the surface. We describe a surprising relationship between four key objects: the isomonodromic foliation, a canonical hermitian form arising from the Atiyah-Bott-Goldman symplectic structure on the character variety, a canonical holomorphic form which vertically lifts vector fields on Teichm\"uller space, and the energy function for equivariant harmonic maps. One consequence of this work is the construction of pseudo-K\"ahler metrics on many examples of components of character varieties which include rank two higher Teichm\"uller spaces. This recovers some of the recent work on the subject by various authors.
要約:
We study metric aspects of the universal moduli space of solutions to Hitchin's equations as the complex structure $J$ varies over the Teichm\"uller space $\mathcal{T}$ of a closed surface $\Sigma$. Our approach is gauge theoretical and builds on the theory of K\"ahler fibrations and the moment map interpretation of constant scalar curvature K\"ahler metrics. Our first main result establishes that, over the moduli space of cscK metrics, the universal moduli space of solutions to Hitchin's equations carries a natural complex structure together with a family of pseudo-K\"ahler metrics forming a K\"ahler fibration with a K\"ahler Ehresmann connection.
We then investigate a second universal moduli space, constructed from the space of flat $G$-connections over $\mathcal{T}$, which admits a nontrivial $J$-dependent K\"ahler fibration structure discovered by Hitchin. Using symplectic reduction, we build universal moduli spaces of solutions to the harmonicity equations depending on a coupling constant $\alpha$, obtaining natural complex and pseudo-K\"ahler structures and an explicit K\"ahler potential. The main novelty here is that this moduli space is defined by a system coupling the scalar curvature with a cubic term in the Higgs field. Finally, we propose a conjectural relationship between the two resulting families of moduli spaces in the weak-coupling limit $\alpha\to 0$, inspired by the twistor geometry of Hitchin's hyperk\"ahler moduli space.
要約:
We initiate a general quantitative study of sets of $\mathcal{M}$-points, which are special subsets of rational points, generalizing Campana points, Darmon points, and squarefree solutions of Diophantine equations. We propose an asymptotic formula for the number of $\mathcal{M}$-points of bounded height on rationally connected varieties, extending Manin's conjecture as well as its generalization to Campana points by Pieropan, Smeets, Tanimoto and V\'arilly-Alvarado. Finally, we show that the conjecture explains several previously established results in arithmetic statistics.
要約:
We prove a quantitative version of Zhang's fundamental inequality for heights attached to polarizable endomorphisms. As an application, we obtain a gap principle for the N\'eron-Tate height on abelian varieties over function fields of arbitrary transcendence degree and characteristic zero, extending the result of Gao-Ge-K\"uhne. We also establish instances of effective gap principles for regular polynomial endomorphisms of $\mathbb{P}^2$, in the sense that all constants can are explicit. These yield effective instances of uniformity in the dynamical Bogomolov conjecture in both the arithmetic and geometric settings, including examples in prime characteristic.
要約:
Our aim is to determine the tautological algebra generated by the cohomology classes of the Brill-Noether loci in the rational cohomology of the moduli stack $\mathcal{U}_C(n,d)$ of semistable bundles of rank $n$ and degree $d$. We show that for a general smooth projective curve $C$ of genus $g\geq 2$, $d=2g-2$, the tautological algebra of $ \mathcal{U}_C(2,2g-2)$ (resp. the moduli stack $\mathcal{SU}_C(2,\mathcal{L})$ of semistable bundles of rank $2$ and determinant $\mathcal{L}$ with $\deg(\mathcal{L})=2g-2$) is generated by the divisor classes (resp. the class of the Theta divisor $\Theta$). This is previously known in rank one situation, called the (classical) Porteous formula.
要約:
Let X be a smooth projective variety over a complete discretely valued field of mixed characteristic. We solve non-archimedean Monge-Amp\`ere equations on X assuming resolution and embedded resolution of singularities. We follow the variational approach of Boucksom, Favre, and Jonsson proving the continuity of the plurisubharmonic envelope of a continuous metric on an ample line bundle on X. We replace the use of multiplier ideals in equicharacteristic zero by the use of perturbation friendly test ideals introduced by Bhatt, Ma, Patakfalvi, Schwede, Tucker, Waldron, and Witaszek building upon previous constructions by Hacon, Lamarche, and Schwede.
要約:
In this paper, we study the classical theory of quadratic line complexes and Kummer surfaces. A quadratic line complex is the intersection of the Grassmannian $G(2,4)$ and a quadric hypersurface in ${\bf P}^5$, and a Kummer surface is the quotient of the Jacobian of a curve of genus 2 by the inversion. F. Klein discovered a relationship between a quadratic line complex and a curve of genus 2, its Jacobian and the associated Kummer surface. This theory holds in any characteristic not equal to two. However the situation in characteristic two is entirely different. The purpose of this paper is to give an analogue in characteristic 2 of this classical theory.
要約:
We construct a refinement of Gaitsgory's central functor for integral motivic sheaves, and show it preserves stratified Tate motives. Towards this end, we develop a reformulation of unipotent motivic nearby cycles, which also works over higher-dimensional bases. We moreover introduce Wakimoto motives and use them to show that our motivic central functor is t-exact. A decategorification of these functors yields a new approach to generic Hecke algebras for general parahorics.
要約:
In this article, we construct an infinite sequence of irreducible components of Koll\'{a}r--Shepherd-Barron (KSB-) moduli spaces of surfaces of arbitrarily large volumes, and describe the boundary of each component completely. Moreover, we describe the stable reduction steps in finding the KSB-limits in an explicit combinatorial way. Our main approach is to study the moduli spaces of elliptic surfaces with Kodaira dimension one, fibered over rational curves, using the techniques of wall-crossing for KSBA moduli and twisted stable maps.
要約:
Let $L$ be a holomorphic line bundle on a hyperkahler manifold $M$, with $c_1(L)$ nef and not big. SYZ conjecture predicts that $L$ is semiample. We prove that this is true, assuming that $(M,L)$ has a deformation $(M',L')$ with $L'$ semiample. We introduce a version of the Teichmuller space that parametrizes pairs $(M,L)$ up to isotopy. We prove a version of the global Torelli theorem for such Teichmuller spaces and use it to deduce the deformation invariance of semiampleness.
要約:
We study the termination of minimal model programs for log canonical pairs in the complex analytic setting. By using the termination, we prove a relation between the minimal model theory for projective log canonical pairs and that for log canonical pairs in the complex analytic setting. The minimal model programs for algebraic stacks and analytic stacks are also discussed.
要約:
We investigate a slight weakening of the classical property of strong approximation, which we call almost strong approximation, for connected reductive algebraic groups over global fields with respect to special sets of valuations. While nonsimply connected groups (in particular, all algebraic tori) always fail to have strong approximation -- and even almost strong approximation -- with respect to any finite set of valuations, we show that under appropriate assumptions they do have almost strong approximation with respect to certain infinite sets of valuations that can be characterized in terms of Dirichlet density and include tractable sets of valuations, i.e. those sets that contain all archimedean valuations and a generalized arithmetic progression minus a set of Dirichlet density zero. Almost strong approximation is likely to have a variety of applications, and as an example we use almost strong approximation in tori with respect to tractable sets to extend the essential part of the result of Radhika and Raghunathan on the congruence subgroup problem for inner forms of type $\textsf{A}_n$ to all absolutely almost simple simply connected groups. This version of the paper has been updated to reflect recent results of Y. Cao and Y. Wang (arXiv:2511.00824).
要約:
We investigate the relationship between Geometric Invariant Theory (GIT) heights and weighted heights, with a focus on their interaction in weighted projective spaces and their application to binary forms. Building on the weighted height framework developed in previous papers, we relate it to Zhang's GIT height via the Veronese map. For a semistable cycle, we show that the GIT height decomposes into the logarithmic weighted height plus an Archimedean correction from the Chow metric.
要約:
We establish criteria for when Noether--Lefschetz divisors generate an extremal ray in the cone of pseudoeffective divisors of an orthogonal modular variety. In particular, we exhibit many extremal rays of the cone of pseudoeffective divisors on any moduli space~$\mathcal{F}_{2d}$ of quasi-polarized K3 surfaces of degree $d$, as well as on any normal projective $\mathbb{Q}$-factorial compactification $\overline{\mathcal{F}}_{2d}$ of $\mathcal{F}_{2d}$ lying over the Baily--Borel compactification.
要約:
Bott vanishing is a strong vanishing result for the cohomology of exterior powers of the cotangent bundle twisted by ample line bundles. Buch-Thomsen-Lauritzen-Mehta conjectured that partial flag varieties (which are not products of projective spaces) do not satisfy Bott vanishing, despite all their other nice properties. The cominuscule case is an easy application of the Borel-Weil-Bott theorem, following results of Snow. We show that the (co)adjoint partial flag varieties of all classical and exceptional Dynkin types also do not satisfy Bott vanishing, thus confirming the conjecture for this class of varieties.
要約:
We show that the natural stratifications arising from certain deformation families of line singularities with constant L\^e numbers satisfy Bekka's $(c)$-regularity condition. As a corollary, we obtain that these families are topologically equisingular. Similar results for families of isolated singularities were established by Abderrahmane.
要約:
This paper introduces a novel framework for constructing invariants in $G$-equivariant birational geometry by unifying two recent approaches: the theory of atoms recently developed by Katzarkov, Kontsevich, Pantev, and Yu, and the theory of modular symbols due to Kontsevich, Tschinkel, and Pestun.
We initiate the theory of Chen-Ruan atoms. Assuming the blowup formula for the quantum Chen-Ruan cohomology, we outline how to extend the theory of atoms to global quotient orbifolds and present some striking applications.
In addition, we develop a separate class of purely geometric invariants for $\mathbb{Z}/2$- and $\mathbb{Z}/3$-actions on surfaces and threefolds.
We provide many examples of non-$G$-linearizable $G$-actions on projective varieties treated with these new techniques.
要約:
We construct an action of the braid group on the bounded derived category of coherent sheaves on hypertoric varieties arising from hyperplane arrangements. Using wall-crossing equivalences associated to paths in the complexified complement of the hyperplane arrangement, we show that these equivalences under certain conditions yield a functor from the Deligne groupoid to the category of triangulated equivalences. This gives rise to a canonical representation of the fundamental group, which recovers the braid group, acting on \(D^b(\mathfrak{M}_{\eta})\). This is a summary of Brad Hannigan-Daley's PhD thesis.
要約:
We develop a new method for establishing the extremality in the closed cone of effective curves on the moduli space of curves and determine the extremality of many boundary $1$-strata. As a consequence, by using a general criterion for non-semiampleness which extends Keel's argument, we demonstrate that a substantial portion of the cone of nef divisors of $\overline{\mathrm{M}}_{g,n}$ is not semiample. As an application, we construct the first explicit example of a non-contractible extremal ray of the closed cone of effective curves on $\overline{\mathrm{M}}_{3,n}$. Our method relies on two main ingredients: (1) the construction of a new collection of nef divisors on $\overline{\mathrm{M}}_{g,n}$, and (2) the identification of a tractable inductive structure on the Picard group, arising from Knudsen's construction of $\overline{\mathrm{M}}_{g,n}$.
要約:
We show that the (2-)category of categorical representations of the loop group embeds fully faithfully into the (2-)category of factorization module categories with respect to the affine Grassmannian.
要約:
We generalize to dimensions $n\ge3$ the compactified moduli stack of elliptic curves $\overline{M}_{1,1}=\mathbb{P}(4,6)$ and Brieskorn's family of $U\oplus~E_8$-polarized K3 surfaces over a $10$-dimensional weighted projective space.
要約:
We prove the finiteness of leaps of modules of integrable derivations for algebras essentially of finite type and, more generally, for schemes essentially of finite type over an algebraically closed field of positive characteristic. This gives an affirmative answer to a question posed by L. N. Macarro.
要約:
Let $k \subset {\mathbb C}$ be a number field and ${\mathcal E}$ be an elliptic curve defined over $k(t)$, the rational function field of the projective line ${\mathbb P}^1_k$, is isomorphic to the generic fiber of an elliptic surface $\pi:= \Sc_\Ee \rightarrow {\mathbb P}^1_k$. For any subfield ${\mathcal K}\subseteq {\mathbb C}$ of $k$, the set ${\mathcal E}({\mathcal K}(t))$ of ${\mathcal K}(t)$-rational points of ${\mathcal E}$ is known to be a finitely generated abelian group. The splitting field of ${\mathcal E}$ defined over $k(t)$ is the smallest finite extension ${\mathcal K} \subset {\mathbb C}$ of $k$ such that ${\mathcal E} ({\mathbb C} (t)) \iso {\mathcal E} ({\mathcal K}(t))$. In this paper, we consider the elliptic $K3$ surfaces defined over $k={\mathbb Q}$ with the generic fiber given by the Weierstrass equation ${\mathcal E}_n: \displaystyle y^2=x^3 + t^n + 1/t^n$, $1\leq n\leq 6$, and determine the splitting field ${\mathcal K}_n$, and find an explicit set of independent generators for ${\mathcal E}_n ({\mathcal K_n}(t))$ for $1\leq n \leq 6$.
要約:
The Moore-Tachikawa conjecture is that each connected complex semisimple group $G$ determines a two-dimensional TQFT in a category of Hamiltonian symplectic varieties. While it would be worthwhile to prove this conjecture outright, our objectives are drastically different. We instead view the Moore--Tachikawa conjecture as a first step in systematically assigning new TQFTs to purely Lie-theoretic data. At the same time, one should expect these new TQFTs to bear a close relation to those conjectured by Moore and Tachikawa. Our manuscript aims to integrate these two points of view.
Let $\mathfrak{g}$ be the Lie algebra of $G$. Consider a conjugacy class $\mathcal{C}$ of parabolic subalgebras of $\mathfrak{g}$. This class determines partial Grothendieck--Springer resolutions $\mu_{\mathcal{C}}:\mathfrak{g}_{\mathcal{C}}\longrightarrow\mathfrak{g}^*=\mathfrak{g}$ and $\nu_{\mathcal{C}}:G_{\mathcal{C}}\longrightarrow G$. We construct a canonical symplectic groupoid $(T^*G)_{\mathcal{C}}\substack{\longrightarrow\\[-9pt] \longrightarrow}\mathfrak{g}_{\mathcal{C}}$ and quasi-symplectic groupoid $\mathrm{D}(G)_{\mathcal{C}}\substack{\longrightarrow\\[-9pt] \longrightarrow} G_{\mathcal{C}}$. By considering a Kostant slice $\mathrm{Kos}\subseteq\mathfrak{g}$ and Steinberg slice $\mathrm{Ste}\subseteq G$, we prove that the pairs $(((T^*G)_{\mathcal{C}})_{\text{reg}}\substack{\longrightarrow\\[-9pt] \longrightarrow}(\mathfrak{g}_{\mathcal{C}})_{\text{reg}},\mu_{\mathcal{C}}^{-1}(\mathrm{Kos}))$ and $((\mathrm{D}(G)_{\mathcal{C}})_{\text{reg}}\substack{\longrightarrow\\[-9pt] \longrightarrow}(G_{\mathcal{C}})_{\text{reg}},\nu_{\mathcal{C}}^{-1}(\mathrm{Ste}))$ determine new and explicit TQFTs in a $1$-shifted Weinstein symplectic category. We then show that certain symplectic varieties arising from our new TQFTs have canonical Lagrangian relations to the open Moore-Tachikawa varieties.
要約:
In this paper we study the relationship between the set of all non-negative multivariate homogeneous polynomials and those, which we call hyperwrons, whose non-negativity can be deduced from an identity involving the Wronskians of hyperbolic polynomials. We give a sufficient condition on positive integers $m$ and $2y$ such that there are non-negative polynomials of degree $2y$ in $m$ variables that are not hyperwrons. Furthermore, we give an explicit example of a non-negative quartic form that is not a sum of hyperwrons. We partially extend our results to hyperzouts, which are polynomials whose non-negativity can be deduced from an identity involving the B\'ezoutians of hyperbolic polynomials.
要約:
Let $X$ be a smooth projective variety defined on a finite field $\mathbb{F}_q$. On $X$ there is a special morphism $Fr_X$, which raises coordinates to exponent $q$: $t\mapsto t^q$. The two main results in this paper are:
Result 1: If Standard conjecture D holds (for algebraic cycles of dimension $=\dim (X)$) on $X\times X$, then all polarised endomorphisms on $X$ are semisimple.
Result 2: We provide heuristic arguments to show that Standard Conjecture D should imply both Dynamical degree comparison conjecture (a generalisation of both Weil's Riemann hypothesis and Tate's question on the absolute value of the eigenvalues of polarised endomorphisms), Norm comparison conjecture (allowing to bound the growth of the pullback of iterations of an endomorphism on cohomology groups in terms of that on algebraic cycles, in particularly implying the semisimplicity of polarised endomorphisms), and Conjecture $G_r$ (which together with Standard conjecture D imply the previous mentioned two conjectures), proposed in previous works by Fei Hu and the author. The heuristic argument relies on the possibility of defining the self-composition $Fr_X^s$ in a good way, where $s$ is an arbitrary rational number (allowed to be negative), and similarly for another object related to the Frobenius morphism.
要約:
It is well known that tau functions of the KP hierarchy satisfy addition formulas. We consider the general addition formula in the determinant form and take a certain limit of it. It expresses certain shifts of a tau function in terms of the Wronskian determinants of wave functions at various values of the spectral parameter. As an application the relation between solutions created by vertex operators and those created by Darboux transformations is clarified. As another application the new addition formula for Riemann's theta functions of Riemann surfaces is obtained by considering theta function solutions of the KP hierarchy. This addition formula is different from any of formulas in Fay's book.