要約:
Polycons, initially introduced by Wachspress in 1975 as a tool in finite element methods, are generalizations of polygons in that they allow conic boundary components. We are interested in the adjoint curve of a given polycon, i.e. the unique curve of minimal degree vanishing in the so-called residual arrangement. It was conjectured by Wachspress that under some regularity assumptions this curve does not vanish in the interior of its defining polycon. However, until recently the only class of polycons for which this was proven were convex polygons. We present a polycon bounded by three conics that constitutes a counterexample to Wachspress' conjecture.
The origin of this counterexample reveals some beautiful geometry of polycons. Replacing one degree two boundary component of a polycon with a line produces a new polycon. We show that the adjoint of the latter is a contact curve to the adjoint of the former. This naturally leads to the consideration of symmetric linear determinantal representations of adjoints, which lets us explicitly describe the fibers of the adjoint map in the case of polycons bounded by three conics. As a corollary we prove that generically the adjoint of a polycon bounded by three conics is smooth.
要約:
This survey paper offers a concise introduction to Kashiwara's work on $\mathcal{D}$-modules, microlocal analysis and related subjects. In this way, we explain his role in the development of algebraic analysis.
要約:
The focus of this paper is the study of the moduli space of representations of fundamental groupoids of surfaces $\Sigma$ with boundaries with values in $G:=GL_n(\mathbb C)$. In absence of marked points on the boundary, this moduli space is realized in many equivalent ways: as the moduli space of linear local systems on $\Sigma$, as the moduli space of representations of the fundamental groupoid $\Pi_1 (\Sigma)$, as the space of monodromy data and as character variety. By adding marked points to the boundary of $\Sigma$ in order to capture irregular singularities, the Betti moduli space has been generalized in several ways by many authors. Although it is clear that these different approaches describe essentially the same spaces of mathematical objects, exactly how they fit together has not yet been established. Motivated by the broader programme of establishing an explicit and conceptually coherent relationship between the existing approaches to the study of the decorated Betti moduli space, in this paper, we develop a categorical framework that allows for a systematic definition of the
\dfn{decorated Betti moduli spaces} space, in the presence of higher order poles, designed to specialize to the different points of view encountered in the literature.
要約:
This paper shows that the Hodge bundle over the moduli space of genus $g \geq 2$ curves does not contain any non-trivial sub-bundles. Notably, the mathematical content was generated by Aletheia, a custom AI agent powered by Gemini Deep Think.
要約:
We study the Euler characteristic of a hypersurface in $(\mathbb{C}^*)^2 \times (\mathbb{C}^*)^n$ defined by a polynomial whose monomial support corresponds to lattice points in $\Delta_1 \times \Delta_1 \times \Delta_n$ as the coefficients of the defining polynomial vary. Each member of this hypersurface family corresponds to a three-way independence model from algebraic statistics, and the (signed) Euler characteristic is equal to the maximum likelihood degree (ML degree) of the model. We show in the case of $\Delta_1 \times \Delta_1 \times \Delta_1$ this Euler characteristic depends only on the vanishing patterns of the factors of the principal $A$-determinant, but this fails for $\Delta_1 \times \Delta_1 \times \Delta_n$ with $n \geq 2$. We prove that, for all $n\geq 1$, all positive integers up to the maximum possible ML degree can be realized as the Euler characteristic. Furthermore, we completely determine the Euler stratification for $\mathbb{P}^1 \times \mathbb{P}^1 \times \mathbb{P}^1$ and provide partial information for $\mathbb{P}^1 \times \mathbb{P}^1 \times \mathbb{P}^2$.
要約:
Let $V$ be a smooth cubic surface over a $p$-adic field $k$ with good reduction. Swinnerton-Dyer (1981) proved that $R$-equivalence is trivial on $V(k)$ except perhaps if $V$ is one of three special types--those whose $R$-equivalence he could not bound by proving the universal (admissible) equivalence is trivial. We consider all surfaces $V$ currently known to have non-trivial universal equivalence. Beyond being intractable to Swinnerton-Dyer's approach, we observe that if these surfaces also had non-trivial $R$-equivalence, they would contradict Colliot-Th\'el\`ene and Sansuc's conjecture regarding the $k$-rationality of universal torsors for geometrically rational surfaces.
By devising new methods to study $R$-equivalence, we prove that for 2-adic surfaces with all-Eckardt reductions (the third special type, which contains every existing case of non-trivial universal equivalence), $R$-equivalence is trivial or of exponent 2. For the explicit cases, we confirm triviality: the diagonal cubic $X^3+Y^3+Z^3+\zeta_3 T^3=0$ over $\mathbb{Q}_2(\zeta_3)$--answering a long-standing question of Manin's (Cubic Forms, 1972)--and the cubic with universal equivalence of exponent 2 (Kanevsky, 1982).
This is the first in a series of works derived from a year of interactions with generative AI models such as AlphaEvolve and Gemini 3 Deep Think, with the latter proving many of our lemmas. We disclose the timeline and nature of their use towards this paper, and describe our broader AI-assisted research program in a companion report (in preparation).
要約:
We establish upper bounds for the Castelnuovo--Mumford regularity of the coordinate ring of a simplicial projective toric variety with at most one singular point. In the smooth case, our results recover the bound of Herzog and Hibi [Proc. Amer. Math. Soc. 131 (2003), 2641--2647], and therefore the Eisenbud--Goto bound. Furthermore, when the variety has exactly one singular point and dimension at least $3$, we prove that its regularity also satisfies the Eisenbud--Goto bound. The proof combines combinatorial and homological methods: we study the asymptotic behavior of the sumsets associated to the toric variety and relate it to Castelnuovo--Mumford regularity via a Hochster-like formula.
要約:
We prove a geometric local constancy theorem for affine Springer fibers in families of close local fields. Consequently, stable orbital integrals are locally constant in these families, and both the base change fundamental lemma and the standard endoscopic fundamental lemma transfer from characteristic zero to arbitrary positive characteristic.
要約:
Let $R $ be a commutative Noetherian ring, $\mathfrak{a}$ be an ideal of $R$ and $M$ be a finitely generated $R$-module. In this paper, we study the Bass numbers $\{\mu^i(\mathfrak{p}, H^j_{\mathfrak{a}}(M))\} $ of local cohomology modules with respect to an ideal $\mathfrak{p}\in Spec(R)$ in each of the following cases:
$i\in \{ 0, 1, 2\}$ and $j= grade_{\mathfrak{a}}(M),$
$R$ is regular and $i\in\{ ht(\mathfrak{p}), ht(\mathfrak{p})- 1\}$ and $j= cd_{\mathfrak{a}}(M)$, the cohomological dimension of $M$ with respect to $\mathfrak{a}$.
要約:
Let $R$ be a standard graded polynomial ring over a field $k$.
The paper focuses on homogeneous ideals $J \subset R$ of codimension $2$ generated by three forms of the same degree $d \geq 2$ that are almost Cohen--Macaulay, i.e., of homological dimension $2$. Based on the structure of the minimal graded free resolution of $J$ and numerical data encoded in certain \emph{latent shifts}, one introduces the notion of \emph{level matrices} associated with these shifts. Our main result provides a complete characterization of almost Cohen--Macaulay ideals of codimension $2$ in terms of the existence of an associated level matrix for which $J$ arises as the ideal of minors obtained by fixing the lower block. We provide algebraic and geometric examples illustrating the results.
要約:
Using preservations of PL homeomorphism types under edge contractions (the link condition) as a topological proxy for flagness, we give a quantitative description of the effect flagness on on gamma positivity of simplicial spheres. In particular, we show that the link condition has a trivial effect on the $g$-vectors (and thus gamma vectors) of high-dimensional simplicial spheres with nonnegative gamma vectors in many cases. Note that this reflects a dichotomy between quantitative behavior arising from $g_1$ components that are linear in $d$ and those that are superlinear in $d$. When the link condition is nontrivial, we show that it gives a lower bound for growth rates of $g$-vector components. This lower bound increases with the number of edges and the distance of the $M$-vector condition on $g$-vectors of simplicial spheres from equality. These lower bounds translate to ones on top gamma vector components and give lower bounds on gamma vector growth rates when the gamma vector components are dominant terms in the $g$-vector components with the same index (e.g. $g$-vectors with components increasing quickly compared to $d$). Finally, we show that the same results apply to positivity properties generalizing gamma positivity arising from connections between orthogonal polynomials and lattice paths. In the course of doing this, we describe gamma vector components in terms of monomer/dimer covers and point out connections between repeated (stellar) edge subdivisions (Tchebyshev subdivisions) and dimer covers.
要約:
We study stable maps to normal crossings pairs with possibly negative tangency orders. There are two independent models: punctured Gromov-Witten theory of pairs and orbifold Gromov-Witten theory of root stacks with extremal ages. Exploiting the tropical structure of the punctured mapping space, we define and study a new virtual class for the punctured theory. This arises as a refined intersection product on the Artin fan, and produces a distinguished sector of punctured Gromov-Witten invariants. Restricting to genus zero, we show that these invariants coincide with the orbifold invariants, first for smooth pairs, and then for normal crossings pairs after passing to a sufficiently refined blowup. This builds on previous work to provide a complete picture of the logarithmic-orbifold comparison in genus zero, which is compatible with splitting and thus allows for the wholesale importation of orbifold techniques, including boundary recursion and torus localisation. Contemporaneous work of Johnston uses the comparison to give a new proof of the associativity of the Gross-Siebert intrinsic mirror ring.
要約:
This is an expanded version of the notes by the second author of the lectures on Hitchin systems and their quantization given by the first author at the Beijing Summer Workshop in Mathematics and Mathematical Physics ``Integrable Systems and Algebraic Geometry" (BIMSA-2024).
要約:
Assuming the abundance conjecture and the existence of a Zariski dense set of rational curves on terminal Calabi--Yau varieties, we show that a complex projective weakly special manifold $X$ with no rational curves is an \'etale quotient of an Abelian variety. The same conclusion holds true if $X$ contains a Zariski dense entire curve, assuming Lang's conjecture. This implies that any non-hyperbolic complex projective manifold contains the image of an Abelian variety, according to another conjecture of Lang. We illustrate this last conjecture by producing examples of canonically polarised submanifolds of abelian varieties containing no subvariety of general type, except for a finite number of disjoint copies of some simple abelian variety, which can be chosen arbitrarily. We also show, more generally, that any projective manifold containing a Zariski dense entire curve appears as the `exceptional set' in Lang's sense of some general type manifold.
要約:
Let $U$ be a smooth and connected curve over an algebraically closed field of positive characteristic, with smooth compactification $X$. We generalize classical Geometric Class Field theory to provide a classification of fppf $G$-torsors over $U$ in terms of isogenies of generalized Jacobians, for any finite abelian group scheme $G$. We then apply this classification to give a novel description of the abelianized Nori fundamental group scheme of $U$ in terms of the Serre--Oort fundamental groups of generalized Jacobians of $X$; when $U=X$ is projective, we recover a well known description of the abelianized fundamental group scheme of $X$ as the projective limit of all torsion subgroup schemes of its Jacobian.
要約:
In this article, we study criteria for producing six-functor formalisms and morphisms between them.
One notable application is that the motivic homotopy theory of algebraic stacks is the universal six-functor functor formalism in a strong sense: it is initial in some category whose objects are six-functor formalisms, and whose morphisms commute with all six operations. As a further application, we produce an analytic realization to a complex analytic version of motivic homotopy theory that is compatible with the six operations, and extend Betti realization to a map from this complex analytic version that is also compatible with the six operations. The abstract nature of our results is suitable for applications to many geometric contexts, allowing us to prove a similar result for the motivic homotopy theory of complex analytic stacks as a six-functor formalism defined on complex analytic stacks.
Our main general result is a generalized and enhanced version of Voevodsky's geometric criterion for six-functor formalisms, given in terms of localization and duality properties. Our version of Voevodsky's principle makes sense in very general geometric contexts, and provides criteria not only for showing when presheaves extend to six-functor formalism, and when a transformation between six-functor formalisms is compatible with the six operations, but also for when a transformation to an ordinary presheaf extends to a morphism of six-functor formalisms (and therefore establishing the six operations for the codomain).
要約:
We provide a complete and explicit characterization of the exposed extreme rays of the cone of sums of nonnegative circuit (SONC) polynomials. The criterion we derive is purely combinatorial and depends only on the existence of certain circuits within the ground set and on the nature of the corresponding extreme ray. Our constructive proofs also yield explicit exposing functionals, offering a basis for algorithmic detection of exposed rays in SONC-based optimization.
要約:
We investigate flat morphisms of schemes of positive characteristic whose relative Frobenius is an isomorphism, which we call pristine. We show that these give rise to a natural Grothendieck topology that is fine tuned for the localization of Cartier modules.
要約:
We study the cohomology of divisors on a Burniat surface $X$ with $K_X^2=6$. We provide an algorithm for computing the cohomology groups of arbitrary divisors on $X$. As an application, we prove that there are no Ulrich line bundles\,(with respect to an arbitrary polarization), and that there exists an Ulrich vector bundle of rank 2 with respect to $3K_X$. The existence of Ulrich vector bundle of rank 2 was previously established by Casnati, but our construction yields one that cannot be obtained by his method.
要約:
We prove the existence of Ulrich sheaves on the Hilbert scheme of two points on a polarized K3 surface or an abelian surface. The construction proceeds by descending Ulrich bundles on the surface to the symmetric square and lifting them to the Hilbert square via the crepant Hilbert--Chow resolution. Finally, we estimate a bound for Ulrich complexity of the Hilbert Square.
要約:
For an $(n\times N)$-matrix $A$ of rank $n$ with integer entries, Gelfand, Kapranov and Zelevinsky introduce a system of differential equations, called the $A$-hypergeometric system. We define the stable GKZ hypergeometric $\mathcal D$-module using cohomological functors, which is closely related to the $A$-hypergeometric $\mathcal D$-module and the $\mathcal D$-module underlying the better behaved GKZ system introduced by Borisov and Horja. We prove the stable GKZ hypergeometric $\mathcal D$-module is holonomic and is an integrable connection of rank $n!\mathrm{vol}(\Delta_\infty)$ on the Zariski open subset parametrizing nondegenerate Laurent polynomials, where $\Delta_\infty$ is the Newton polytope at $\infty$.
要約:
We introduce the singular cohomology ring of a matroid which extends the Chow ring of a matroid. This is defined as the singular cohomology ring of a certain quasi-projective toric variety associated to the matroid. Using the matroidal flips of Adiprasito, Huh, and Katz, we prove sharp vanishing results for the cohomology ring and compute the dimension of the top-weight cohomology in terms of the M\"{o}bius invariant of the matroid. In the case of uniform matroids, these techniques give a recursive formula for the Hodge numbers. Finally, we generalize the singular cohomology ring to arbitrary building sets on the lattice of flats, and we show how the cohomology depends on the building set.
要約:
A theorem of Wiegerinck asserts that the Bergman space of an open subset of the complex numbers is either infinite-dimensional or trivial. Recently, this has been generalized to holomorphic vector bundles over the projective line by the third author and later to vector bundles over any compact Riemann surface by Gallagher, Gupta and Vivas.
In the present paper we extend the above results to the case of certain singular metrics associated to divisors on a Riemann surface. As corollaries we obtain versions of Wiegerinck's theorem for both projective and affine algebraic curves.
要約:
The set of real matrices of upper-bounded rank is a real algebraic variety called the real generic determinantal variety. An explicit description of the tangent cone to that variety is given in Theorem 3.2 of Schneider and Uschmajew [SIAM J. Optim., 25 (2015), pp. 622-646]. The present paper shows that the proof therein is incomplete and provides a proof. It also reviews equivalent descriptions of the tangent cone to that variety. Moreover, it shows that the tangent cone and the algebraic tangent cone to that variety coincide, which is not true for all real algebraic varieties.
要約:
This paper is a finishing touch to the (over 200 years) {\em classical} `Galois Theory' of {\em arbitrary} finite field extensions, i.e. the goal of it is to describe intermediate subfields of an arbitrary finite field extension via {\em invariants} of `natural/obvious' objects that are associated with subfields via two Galois-type correspondences.
The classical Galois Theory covers the case of finite Galois field extensions. For finite Galois field extensions the objects are their Galois groups and their invariants.
In \cite{GaloisTh-RingThAp}, we introduce a new (ring theoretic) approach to the Galois Theory which is based on
the {\em principle of maximal symmetry}. In \cite{AnGaloisTh-NORMAL-Fields}, the maximal symmetry of {\em normal} finite field extensions yields an analogue of the Galois Theory for them. For a normal finite field extension $L/K$ the `natural/obvious' objects are the subalgebra $\CD (L/K)\rtimes G(L/K)$ of $\End (L/K)$ that is generated by the automorphism group $G(L/K)$ and the algebra $\CD (L/K)$ of differential operators on $L/K$ and its `invariants'. The `maximal symmetry' means the equality $\End (L/K)=\CD (L/K)\rtimes G(L/K)$ which turns out to be a characteristic property of {\em normal} finite field extensions, \cite{AnGaloisTh-NORMAL-Fields}.
The aim of this paper is to obtain an analogue of the Galois Theory for {\em arbitrary} finite field extensions based on results and ideas of \cite{GaloisTh-RingThAp} and \cite{AnGaloisTh-NORMAL-Fields}.
要約:
Given a simply-connected simple algebraic group $G$, we determine the tangent space of the Finkelberg-Mirkovi\'c Schubert scheme in the affine Grassmannian of $G$ associated to the quasi-minuscule coweight. As a consequence, we exhibit a non-reduced Finkelberg-Mirkovi\'c Schubert scheme when $G$ is of type $E_8$.