要約:
In this paper, we study the equivalence between Bogomolov's instability theorem and the Miyaoka-Sakai theorem on surfaces in positive characteristic. We show that Bogomolov's instability theorem can be derived from Miyaoka-Sakai theorem. Conversely, it implies a partial version of the Miyaoka-Sakai theorem that lacks the vanishing conclusion. This partial version is still sufficient to deduce the Mumford-Ramanujam vanishing theorem.
Additionally, we identify a class of surfaces in positive characteristic for which the Miyaoka-Sakai theorem (or a weaker variant), or the Kawamata-Viehweg vanishing theorem holds. In particular, we present a new proof of the Kawamata-Viehweg vanishing theorem on smooth del Pezzo surfaces.
As an application of the Miyaoka-Sakai theorem, we obtain Reider-type results concerning Fujita's conjecture.
要約:
We prove that equivariantly simple invariant singularities can only exist for very few representations of a group of prime order: for real representations and some ``almost, but not quite real'' representations.
要約:
We study ``linear" $\alpha_p$-actions on affine spaces and the associated quotient singularities, using explicit stacky resolutions. We describe when the quotient singularities are log canonical, canonical or terminal, and we compute their stringy motivic invariants. The second author and Fabio Tonini conjectured that these invariants coincide with those of linear $\bZ/p$-quotients: our approach reduces this conjecture to an equality of explicit multi-sets, which we check for a large number of primes using a computer software.
要約:
Let $C$ be a complex integral curve with plannar singularities. Let $J$ be the compactified Jacobian of $C$. There are two filtrations on the cohomology group $H^*(J)$. One is obtained by the nilpotent morphism defined by cupping a certain ample divisor on $J$, which we call the Lefschetz filtration. To obtain the other filtration, we put $C$ into a family of curves $\mathcal{C}\rightarrow B$ so that $J$ can be embedded into a family $f:\mathcal{J}\rightarrow B$, and we let $B, \mathcal{C},\mathcal{J}$ be smooth. Then $Rf_*(\mathbb{Q}_{\mathcal{J}})$ decomposes into a direct sum of its (shifted) perverse cohomologies. Restricting this decomposition to fibers, we get a filtration on $H^*(J)$ called the perverse filtration. We show in this paper that these two filtrations are opposite to each other as conjectured by Maulik-Yun.
要約:
The open projected Richardson varieties are images of the open Richardson varieties of the complete flag variety under the canonical projection to the partial flag variety. Our main result compares the Segre motivic Chern (SMC) classes of the open projected Richardson varieties with those of the affine Schubert cells by pushing or pulling these classes to the affine Grassmannian. The main method is the recursive relation determined by the Demazure--Lusztig operators. As another application of this recursive relation, we relate the localization of the SMC classes to the twisted Kazhdan--Lusztig R-polynomials. In the case of Grassmannians, the open projected Richardson varieties are known as the open positroid varieties. We give a combinatorial formula for the SMC classes of these varieties.
要約:
We prove the conjectural correspondence between logarithmic Gromov-Witten theory and logarithmic Donaldson/Pandharipande-Thomas theory for pairs $(Y|\partial Y)$ consisting of a toric threefold $Y$ and any torus invariant divisor $\partial Y$, with primary insertions. The results are the first verifications of this conjecture when $\partial Y$ is singular, i.e. the ``fully logarithmic'' setting. When $\partial Y$ is empty, we get a new proof of the known toric correspondence, but our methods also lead to stronger conclusions. In particular, we show the PT series is a Laurent polynomial in the presence of sufficient positivity and prove a 2008 conjecture of Oblomkov, Okounkov, Pandharipande, and the first author stating the capped vertex is a Laurent polynomial. The methods also verify the logarithmic DT/PT conjecture for toric threefold pairs.
要約:
We develop an explicit invariant calculus for monic $n$-th order linear differential operators in the Ore algebra of a (possibly noncommutative) differential algebra $(K,D)$: \[ L \;=\; \sum_{i=0}^n \binom{n}{i}\,a_i\,D^{\,n-i}\qquad (a_0=1). \] The formalism requires only the Leibniz rule for $D$ and extends to connection-type differentials $d:K\to\Omega$ into a $K$-bimodule, so it applies in particular to matrix-valued meromorphic coefficients and to the $\Gamma$-equivariant differential algebras that arise in automorphic settings. For a gauge change written unambiguously as $y=f\,\widetilde y$ with $f\in K^\times$, the operator transforms by conjugation $L\mapsto f^{-1}Lf$.
Using noncommutative complete Bell polynomials $P_m(u)$ and covariant Bell polynomials $Q_m(u)$ associated to the shifted derivation $\Delta_{a_1}=D+\operatorname{ad}_{a_1}$, we prove a closed Miura/oper expansion \[ L\;=\;(D+a_1)^n+\binom{n}{2}I_2(D+a_1)^{n-2}+\cdots+I_n, \] and we give universal explicit formulas for every gauge covariant $I_k$ in terms of $Q$-Bell polynomials. Assuming a central-jet chain rule for reparametrizations, we compute the full transformation laws of the $I_k$ and construct the projective (Wilczynski) covariants $W_k$; in particular we obtain explicit formulas for $W_2,W_3,W_4$ and a filtration-based construction scheme for the higher $W_k$, together with explicit formulas for $W_4$, $W_5$, and $W_6$.
We globalize the theory to Riemann surfaces and holomorphic bundles, then formulate modular and Siegel modular differential operators via modular connections. In genus $1$ this yields noncommutative Rankin--Cohen brackets attached to $\mathcal A$-valued modular connections and their Maurer--Cartan realizations; in higher genus it yields $g$-linear Siegel determinant brackets and ordered-determinant brackets with values in noncommutative coefficient algebras.
要約:
The note introduces a novel concept of non-Abelian patchworking arising as real locus of non-Abelian complex-phase tropical hypersurfaces, the theory of which is now developed enough to allow the proposed spin-off. Although, non-Abelian Tropical Geometry makes sense for an arbitrary reductive complex group, the state of the art is that of full understanding of tropicalizations of surfaces within three dimensional groups $PGL_2(\mathbb{C})$ and $SL_2(\mathbb{C}),$ which are closely related via the two-fold covering. We stress our point, that this is an announcement of a framework, taking care of explaining explicitly the input, which is more geometric and less combinatorial than in the original Viro's method, to construct possible types of real algebraic surfaces in the real projective 3-space, and verify that it reproduces all the existing isotopy types of surfaces up to degree three. We obtain two general theorems concerning the topology of primitive PGL2 surfaces, observing in particular that they may have different Euler charteristic for a fixed degree greater than one, not necessarily equal to the signature of the corresponding complex surface, which would be the case for primitive combinatorial patchworking due to a result of Itenberg.
要約:
In this paper, we develop a toric analog of the theory of adelic divisors on quasi-projective arithmetic varieties introduced by Yuan and Zhang, and extend the convex-analytic descriptions of the Arakelov geometry of projective toric arithmetic varieties given by Burgos, Philippon, and Sombra. Our main result is that the arithmetic self-intersection number of a semipositive toric adelic divisor is given by the integral of a concave function on a compact convex set. These generalized arithmetic intersection numbers coincide with the ones introduced by Burgos and Kramer in 2024, and therefore, can be used to compute heights of toric arithmetic varieties with respect to line bundles equipped with toric singular metrics.
要約:
We study classes of convex functions on balanced polyhedral spaces and establish various structural properties, including a compactness theorem for polyhedrally plurisubharmonic functions. Using tropical intersection theory, we construct Monge--Amp\`ere measures, first associated with piecewise affine functions, and then we extend it to polyhedrally plurisubharmonic functions.
We investigate polyhedral Monge--Amp\`ere equations on balanced polyhedral spaces via a variational approach, providing sufficient conditions for the existence of solutions as well as explicit counterexamples. Finally, we relate our framework to non-archimedean pluripotential theory and explore its connection with the non-archimedean Monge--Amp\`ere equation.
要約:
Let $R$ be a $d$-dimensional Noetherian local ring with maximal ideal $m_R$. In this article, we give a generalization of the multiplicity $e(I)$ of an $m_R$-primary ideal $I$ of $R$ to a multiplicity $e(\mathcal I)$ of a graded family of $m_R$-primary ideals $\mathcal I$ in $R$. This multiplicity gives the classical multiplicity $e(I)$ if $\mathcal I=\{I^n\}$ is the $I$-adic filtration, and agrees with the volume, $\displaystyle \lim_{n\rightarrow \infty}d!\frac{\ell(R/I_n) }{n^d}$ for $R$ such that the volume always exists as a limit. We will show in this paper that many of the classical theorems for the multiplicity of an ideal generalize to this multiplicity, including mixed multiplicities, the Rees theorem and the Minkowski inequality and equality. We give simple proofs which are independent of the theory of volumes and Okounkov bodies for all of our results, with the one exception being the proof of the Minkowski equality. We do this by interpreting the multiplicity of graded families of $m_R$-primary ideals as a limit of intersection products on the family of $R$-schemes which are obtained by blowing up $m_R$-primary ideals in $R$.
要約:
In this short note we prove a couple of facts about polynomial count varieties, answering natural questions that they raise. A polynomial count $X$ variety is essentially one for which its number of points over finite fields is given by a polynomial in the field size. Well-known examples include affine or projective space (or more generally the Grassmanian) and other standard varieties.
The two questions we address are the following.
1) If $X$ is smooth, polynomial count with $\#X(q)=q^n$ for some $n$, is $X$ isomorphic to $n$-dimensional affine space?
2) If $X$ is a polynomial count, is it true that its Hodge numbers in a given graded piece of fixed weight satisfy~$h^{p,q}=0$ unless $p=q$?
We show that in both cases the answer is no.
要約:
We establish a logarithmic Bott localization formula for global holomorphic sections of $T_X(-\log D)$ on a compact complex manifold $X$ with simple normal crossings divisor $D$. The zero scheme is allowed to have non-isolated compact components, assumed to be local complete intersections and to satisfy the natural Bott nondegeneracy condition. We further give a current-theoretic formulation and, in the local complete intersection case, identify the local residue term with a Coleff-Herrera current.
要約:
Each complex hyperplane arrangement $\mathcal{A}$ gives rise to a Milnor fibration of its complement. Building on work of Zuber, we give a combinatorial sufficient condition for the Milnor fiber $F(\mathcal{A})$ to be non-$1$-formal, expressed in terms of the multinet structure on $\mathcal{A}$, and use it to produce an infinite family of monomial arrangements $\mathcal{A}(3k,3k,3)$ with non-formal Milnor fibers. We also review the relevant background on cohomology jump loci, formality, and the topology of Milnor fibers of arrangements.
要約:
Weil-Petersson and Masur-Veech volumes measure the sizes of moduli spaces of Riemann surfaces equipped with hyperbolic and flat metrics, respectively. Over the past several decades, the computation of these volumes has inspired remarkable developments in combinatorial enumeration, intersection theory, and recursion relations. In this survey, we review key results, methods, open problems, as well as interesting parallels that emerge in the approaches to computing both types of volumes.
要約:
In [14] Dubrovin introduced an $A_1$-type infinite ODE system and gave a simple way of constructing algebro-geometric solutions to the KdV hierarchy (cf. also [15,4]). In [34] the infinite ODE system is generalized to $\mathfrak{g}$-type infinite ODE system, where $\mathfrak{g}$ is any simple Lie algebra. In this paper, we give a simple constructinon of algebro-geometric solutions to the Gelfand--Dickey hierarchy based on the $A_n$-type infinite ODE system and Dubrovin's method. As an application, we give a formula for the $N$-point function for the related Riemann $\theta$-function.
要約:
We prove a version of de Rham and Hyodo-Kato flip-flopping for dual towers of rigid analytic spaces including those coming from dual basic local Shimura varieties. The main tool are comparison theorems expressing the two cohomologies as pro-\'etale cohomology of corresponding relative period sheaves that, by definition, satisfy pro-\'etale descent. As an application, we show that de Rham and Hyodo-Kato cohomologies of finite level coverings of the Drinfeld space of any dimension $d$ over $K$ are admissible as representations of $\mathbb{GL}_{d+1}(K)$.
要約:
Graded Ehrhart theory is a new $q$-analogue of Ehrhart theory based on the orbit harmonics method. We study the graded Ehrhart theory of unimodular zonotopes from a matroid-theoretic perspective. Generalizing a result of Stanley (1991), we prove that the graded lattice point count of a unimodular zonotope is a $q$-evaluation of its Tutte polynomial. We conclude that the graded Ehrhart series of a unimodular zonotope is rational and obeys graded Ehrhart--Macdonald reciprocity. In an algebraic direction, we prove that the harmonic algebra of a unimodular zonotope is a coordinate ring of its associated arrangement Schubert variety. Using the geometry of arrangement Schubert varieties, we prove that the harmonic algebra of a unimodular zonotope is finitely generated and Cohen--Macaulay. We also give an explicit presentation of the harmonic algebra of a unimodular zonotope in terms of generators and relations. We conclude by classifying which unimodular zonotopes have Gorenstein harmonic algebras. Our work answers, in the special case of unimodular zonotopes, two conjectures of Reiner and Rhoades (2024).
要約:
The Serre conjecture II predicts that every torsor under a semisimple, simply connected, algebraic group over a field of cohomological dimension at most 2 and of degree of imperfection at most 1 has a rational point. We generalize this conjecture to pseudo-reductive groups and prove their equivalence. In particular, we show that every torsor under a pseudo-semisimple, simply connected group over a global function field or a non-archimedean local field always has a rational point.
要約:
For a symplectic geometry $X$, suppose the (derived) Fukaya category $\mathrm{Fuk}(X)$ of $X$ is equipped with a monoidal structure. Then its Balmer spectrum recovers a mirror $Y$ of $X$ if there exists homological mirror symmetry $\mathrm{Fuk}(X)\cong D^b\mathrm{coh}(Y)$ and the monoidal structure is the mirror of the standard one of $D^b\mathrm{coh}(Y)$. In this short note, we fill one gap of this story in the literature: we show that the monoidal structure determines the homological mirror functor $\mathrm{Fuk}(X)\to D^b\mathrm{coh}(Y)$.
要約:
Let $E/\mathbb{Q}$ be an elliptic curve and let $\rho_E \colon \operatorname{Gal}(\overline{\mathbb{Q}}/\mathbb{Q}) \to \operatorname{GL}(2, \widehat{\mathbb{Z}})$ be the adelic Galois representation attached to $E$. We describe and implement an algorithm to compute the image of $\rho_E$ in $\operatorname{GL}(2, \widehat{\mathbb{Z}})$ (up to conjugation) for an elliptic curve $E/\mathbb{Q}$ with complex multiplication (CM) and $j$-invariant not $0$ or $1728$. In the process, we prove certain entanglement results between division fields of elliptic curves over $\mathbb{Q}$ with CM.
要約:
In this paper we prove the theorem of the heart for Weibel's homotopy $K$-theory $KH.$ Namely, if $\mathcal{C}$ is a small stable $\infty$-category with a bounded $t$-structure, then the realization functor $D^b(\mathcal{C}^{\heartsuit})\to \mathcal{C}$ induces an equivalence of spectra $KH(\mathcal{C}^{\heartsuit})\xrightarrow{\sim}KH(\mathcal{C}).$ In a certain sense this result is dual to the Dundas-Goodwillie-McCarthy theorem. We deduce the d\'evissage theorem for $KH$ of abelian categories, also on the level of spectra (in all degrees). More generally, we prove these results for dualizable categories with nice $t$-structures and for the so-called coherently assembled abelian categories.
The proof is heavily based on another new result, which is a much stronger version of Barwick's theorem of the heart. Its special case states the following: if $\mathcal{C}$ is a small stable category with a bounded $t$-structure, such that for some $n\geq 1$ the realization functor induces isomorphisms on $\operatorname{Ext}^{\leq n}$ between the objects of $\mathcal{C}^{\heartsuit},$ then the map $K_j(\mathcal{C}^{\heartsuit})\to K_j(\mathcal{C})$ is an isomorphism for $j\geq -n-1,$ and a monomorphism for $j = -n-2.$ Moreover, we prove that these estimates are sharp, even for dg categories over a field. In particular, the naive $K$-theoretic theorem of the heart fails for $K_{-3}.$
要約:
Let $(\mathcal{O}_n, \mathfrak{m})$ denote the ring of germs of holomorphic functions $\mathbb{C}^n\to \mathbb{C}$, and let $I\subseteq \mathcal{O}_n$ be an $\mathfrak{m}$-primary ideal. Demailly and Pham showed that $\mathrm{lct}(I) \geq \frac{1}{e_1(I)} + \dots + \frac{e_{n-1}(I)}{e_n(I)}$, where $e_j(I)$ is the mixed multiplicity $e(I,\dots, I, \mathfrak{m},\dots, \mathfrak{m})$, with $I$ repeated $j$ times and $\mathfrak{m}$ repeated $n-j$ times.
We generalize the lower bound to the case of an arbitrary ideal of an excellent regular local (or standard-graded) ring of equal characteristic, with $\mathrm{lct}(I)$ replaced by the $F$-threshold $c^{\mathfrak{m}}(I)$ in positive characteristic. Our main result is a classification of homogeneous ideals in polynomial rings for which the lower bound is attained, resolving a conjecture of Bivi\`a-Ausina in the graded case.
要約:
We show that the components, appearing in the decomposition theorem for contraction maps of torus actions of complexity one, are intersection cohomology complexes of even codimensional subvarieties. As a consequence, we obtain the vanishing of the odd dimensional intersection cohomology for rational complete varieties with torus action of complexity one. The article also presents structural results on linear torus action in order to compute the intersection cohomology from the weight matrix. In particular, we determine the intersection cohomology Betti numbers of affine trinomial hypersurfaces in terms of their defining equation.
要約:
We study the problem of counting pointed curves of fixed complex structure in blow-ups of projective space at general points. The geometric and virtual (Gromov-Witten) counts are found to agree asymptotically in the Fano (and some $(-K)$-nef) examples, but not in general. For toric blow-ups, geometric counts are expressed in terms of integrals on products of Jacobians and symmetric products of the domain curves, and evaluated explicitly in genus 0 and in the case of $\text{Bl}_q(\mathbb{P}^r)$. Virtual counts for $\text{Bl}_q(\mathbb{P}^r)$ are also computed via the quantum cohomology ring.
要約:
We classify the pairs $(X,\pi)$, where $\pi\colon X\to S$ is a $\mathbb{P}^1$-bundle over a non-rational ruled surface $S$ and $\mathrm{Aut}^\circ(X)$ is relatively maximal, i.e., maximal with respect to the inclusion in the group $\mathrm{Bir}(X/S)$. The results hold over any algebraically closed field of characteristic zero.
要約:
Let $X$ be a $K3$ surface over a $p$-adic field $k$ such that for some abelian surface $A$ isogenous to a product of two elliptic curves, there is an isomorphism over the algebraic closure of $k$ between $X$ and the Kummer surface associated to $A$. Under some assumptions on the reduction types of the elliptic curve factors of $A$, we prove that the Chow group $A_0(X)$ of zero-cycles of degree $0$ on $X$ is the direct sum of a divisible group and a finite group. This proves a conjecture of Raskind and Spiess and of Colliot-Th\'{e}l\`{e}ne and it is the first instance for $K3$ surfaces when this conjecture is proved in full. This class of $K3$'s includes, among others, the diagonal quartic surfaces. In the case of good ordinary reduction we describe many cases when the finite summand of $A_0(X)$ can be completely determined.
Using these results, we explore a local-to-global conjecture of Colliot-Th\'{e}lene, Sansuc, Kato and Saito which, roughly speaking, predicts that the Brauer-Manin obstruction is the only obstruction to Weak Approximation for zero-cycles. We give examples of Kummer surfaces over a number field $F$ where the ramified places of good ordinary reduction contribute nontrivially to the Brauer set for zero-cycles of degree $0$ and we describe cases when an unconditional local-to-global principle can be proved, giving the first unconditional evidence for this conjecture in the case of $K3$ surfaces.
要約:
Given a rational polyhedral space $X$ (a tropical cycle with boundary, in the sense of Mikhalkin--Rau), one can define tropical vector bundles on $X$ having real or tropical fibers. By restricting attention to bounded rational sections of these bundles, one obtains characteristic classes that behave as expected classically. We develop further properties of these classes and use them to prove a tropical analogue of the splitting principle, which allows us to establish the foundations for Porteous' formula in this setting: a determinantal expression for the fundamental class of degeneracy loci in terms of Chern classes. The boundary framework is essential, as it allows the rank of a bundle morphism to drop at sedentary strata, giving degeneracy loci their expected codimension.
要約:
We study the monodromy representations underlying compact Lagrangian fibrations. In the case where the associated period map is generically immersive, we prove that the mondromy representation is irreducible over $\mathbb{C}$. In the alternative case where the fibration is isotrivial, we recover a result of Kim--Laza--Martin, proving that its fibers are isogeneous to a power of an elliptic curve. We show that over $\mathbb{C}$, the monodromy representation underlying an isotrivial Lagrangian fibration is a direct sum of two irreducible $\mathbb{C}$-local systems.
要約:
The Frobenius of a matrix $M$ with coefficients in $\bar{\mathbb F}_p$ is the matrix $\sigma(M)$ obtained by raising each coefficient to the $p$-th power. We consider the question of counting matrices with coefficients in $\mathbb F_q$ which commute with their Frobenius, asymptotically when $q$ is a large power of $p$. We give answers for matrices of size $2$, for diagonalizable matrices, and for matrices whose eigenspaces are defined over $\mathbb F_p$. Moreover, we explain what is needed to solve the case of general matrices. We also solve (for both diagonalizable and general matrices) the corresponding problem when one counts matrices $M$ commuting with all the matrices $\sigma(M)$, $\sigma^2(M)$, $\ldots$ in their Frobenius orbit.
要約:
Let $\mathbf{B}$ be the ring of analytic functions on the Fargues-Fontaine curve $Y_{\rm FF}$. We show that adding $p$-adic analogs of $\log p$ and $\log 2\pi i$ kills its Galois cohomology in degrees~$\geq 1$. The analogous result for $\mathbf{B}^+_{\rm dR}$ is folklore. This makes it possible to formulate $C_{\rm dR}$ and $C_{\rm st}$-type conjectures for compact support cohomology of $p$-adic analytic varieties.
要約:
We study the Chow group of zero-cycles $\text{CH}_0(S)$ of a bielliptic surface $S=(E_1\times E_2)/G$, where $E_1, E_2$ are elliptic curves and $G$ is a finite group acting on $E_1$ by translations and on $E_2$ by automorphisms such that $E_2/G\simeq\mathbb{P}^1$. We show that if $S$ is defined over an arbitrary field $k$ of characteristic not equal to $2,3$, then the kernel of the Albanese map $\text{alb}_S:\text{CH}_0(S)^{\text{deg}=0}\rightarrow \text{Alb}_S(k)$ is a torsion group of exponent $2^2\cdot|G|$ or $3^2\cdot|G|$, depending on the type of bielliptic surface. We also construct explicit examples over $p$-adic fields that illustrate that this kernel can have nontrivial elements obtained by push-forward from the abelian surface.
要約:
We list all local connected components of sets of non-discriminant functions near
all {\em parabolic} function singularities (which are the second most important family of singularity classes of smooth functions after {\em simple singularities}). Thus, we prove (and improve in one particular case) all the corresponding conjectures from the previous work \cite{para} with the same title. As an application, we enumerate all {\em local Petrovskii lacunas} near arbitrary parabolic singularities of wavefronts of hyperbolic PDEs, in particular, find a new one. We also show that the complements of the discriminant varieties of the $X_9^{\pm}$ and $P_8^1$ singularities within their versal deformations have nontrivial one-dimensional homology groups, in contrast to all simple singularities.
These results are applications of a general method for investigating and separating non-singular perturbations of real function singularities. An important part of this method is a computer program that formalizes Picard--Lefschetz theory and surgeries of Morse functions.
要約:
Multiview varieties are mathematical models for the set of image feature correspondences that can be produced by a given camera arrangement. They possess an invariant known as their Euclidean distance (ED) degree, which measures the algebraic complexity of determining the 3D features that minimize the reprojection error when computing the scene structure by triangulation. In this article, we prove a formula for the ED degree of curves parameterized by rational functions with mild genericity assumptions. We apply our results to resolve conjectures on one-dimensional line multiview varieties from computer vision proposed by Duff and Rydell.
要約:
We establish a structure theorem for the connected automorphism groups of smooth complete toroidal horospherical varieties, that is, toric fibrations over rational homogeneous spaces. The key ingredient is a characterization of the Demazure roots of toric fibers that extend to the total space. In particular, we provide a criterion for the reductivity of the connected automorphism groups of such varieties. As an application, we prove the K-unstability of certain $\mathbb{P}^1$-bundles over rational homogeneous spaces.
要約:
We introduce a new obstruction to the existence of a universal $0$-cycle on a smooth projective complex variety. As an application, we construct a smooth projective complex surface whose Chow group of $0$-cycles is representable but which does not admit a universal $0$-cycle. This provides a two-dimensional analogue of Voisin's recent threefold counterexample to a question of Colliot-Th\'el\`ene. As a further consequence, we exhibit the first example of a smooth projective threefold of Kodaira dimension zero carrying a non-torsion Hodge class of degree $4$ that is not algebraic. The construction relies on the geometry of bielliptic surfaces of type 2.
要約:
In this paper, we establish a new criterion for covering maps between real algebraic varieties. Specifically, we prove that a quasi-finite, flat morphism with locally constant geometric fibers between varieties over a real closed field induces a covering map on the real points in the Euclidean topology. This result provides an effective method for verifying covering properties, as we demonstrate that the required conditions can be checked algorithmically using the tools developed in this work.
要約:
Let $Z\subset{\bf P}^{n-1}$ be a hypersurface such that the associated reduced hypersurface $Z_{\rm red}$ has only weighted homogeneous isolated singularities. In the case $Z$ is a reduced curve or $Z_{\rm red}$ has only homogeneous isolated singularities with $n$ at least $4$, we show that the strong monodromy conjecture for a defining polynomial $f$ of $Z$ follows immediately from arxiv:1609.04801v1 using in the reduced curve case a formula of Denef and Loeser for Newton-nondegenerate polynomials of three variables (which can be deduced in the applied case from the one for the two variable case) together with known results about the strong monodromy conjecture in the two variable case. Here an amazing cancellation occurs so that possible counterexamples fail.
要約:
A numerical semigroup is said to be Weierstrass if it is the semigroup of pole orders of rational functions that are regular at all but one point of some compact Riemann surface or smooth algebraic curve. Hurwitz asked in 1892 whether all numerical semigroups can occur. In this paper we give a new method, using syzygies,to show that certain semigroups are not Weierstrass, including the first one of multiplicity 6 (the lowest possible) and genus 13 (the lowest known). We give many other examples to which the method applies.
要約:
We revisit the relationship between the Tamarkin's extra variable $t$ and Novikov rings. We prove that the equivariant version of Tamarkin category is almost equivalent (in the sense of almost mathematics) to the category of derived complete modules over the Novikov ring.
要約:
Let $\mathcal{A}_g$ be the moduli space over $\overline{\mathbb{F}}_p$ of $g$-dimensional principally polarised abelian varieties, where $p$ is a prime. We show that if $g$ is even and $p\geq 5$, then every geometric generic member in the maximal supersingular Ekedahl-Oort stratum in $\mathcal{A}_g$ has automorphism group $\{ \pm 1\}$. This confirms Oort's conjecture in the case of $p\geq 5$ and even $g$. We also separately prove Oort's conjecture for $g=4$ and any prime $p$.
要約:
Let $k$ be an algebraically closed field of characteristic $p\neq 0$. Let $G$ be a connected reductive group over $k$, $P \subseteq G$ be a parabolic subgroup and $\lambda: P \longrightarrow \mathbb G_m$ be a strictly anti-dominant character. Let $C$ be a projective smooth curve over $k$ with function field $K=k(C)$ and $F$ be a principal $G$-bundle on $C$. Then $F/P \longrightarrow C$ is a flag bundle and $\mathcal{L}_\lambda=F \times_P k_\lambda$ on $F/P$ is a relatively ample line bundle. We compute the height filtration and successive minima of the height function $h_{\mathcal{L}_\lambda}: X(\overline{K}) \longrightarrow \mathbb{R}$ over the flag variety $X=(F/P)_K$.
要約:
We introduce a notion of Lorentzian proper position in close analogy to proper position of stable polynomials. Using this notion, we give a new characterization of elementary quotients of M-convex function that parallels the Lorentzian characterization of M-convex functions. We thereby use Lorentzian proper position to study the incidence geometry of tropical linear spaces, and vice versa. In particular, we prove new structural results on the moduli space of codimension-1 tropical linear subspaces of a given tropical linear space.
Applying these results, we show that some properties of classical linear incidence geometry fail for tropical linear spaces. For instance, we show that the poset of all matroids on $[n]$, partially ordered by matroid quotient, is not submodular when $n\geq 8$. On the other hand, we introduce a notion of adjoints for tropical linear spaces, generalizing adjoints of matroids, and show that certain incidence properties expected from classical geometry hold for tropical linear spaces that have adjoints.
要約:
The van der Geer--van der Vlugt curves form a class of Artin--Schreier coverings of the projective line over finite fields. We provide an explicit formula for their $L$-polynomials in characteristic $2$, expressed in terms of characters of maximal abelian subgroups of associated Heisenberg groups. For this purpose, we develop new methods specific to characteristic $2$ that exploit the structure of the Heisenberg groups and the geometry of Lang torsors for $W_2$. As an application, we construct examples of curves in this family attaining the Hasse--Weil bound.
要約:
For a complex semi-simple Lie algebra, every nilpotent orbit in its projectivization comes with a complex contact structure. For each nilpotent orbit, we classify projective Legendrian subvarieties that are homogeneous under the actions of their stabilizers in the adjoint group. In particular, we present a classification of equivariant Legendrian embeddings of rational homogeneous spaces into adjoint varieties.
要約:
Fix a field $K$. We show that $K$ is large if and only if some elementary extension of $K$ is the fraction field of a henselian local domain which is not a field. The proof uses a new result about the \'etale-open topology over $K$: if $K$ is not separably closed and $V \to W$ is an \'etale morphism of $K$-varieties then $V(K) \to W(K)$ is a local homeomorphism in the \'etale-open topology. This, in turn, follows from results comparing the \'etale-open topology on $V(K)$ and the finite-closed topology on $V(K)$, newly introduced in this paper. We show that the \'etale-open topology refines the finite-closed topology when $K$ is perfect, and that the finite-closed topology refines the \'etale-open topology when $K$ is bounded. It follows that these two topologies agree in many natural examples. On the other hand, we construct several examples where these two differ, which allows us to answer a question of Lampe.
要約:
Let ${\mathbb F}_0$ be an algebraically closed field, with $char({\mathbb F}_0)=0$. In this article, for prime numbers $p\geq 2$, we construct smooth affine algebras $B$ over ${\mathbb F}_0$, with $\dim B=p+2$. Further, we construct projective $B$-modules $Q$ with $rank(Q)=p$, such that $x=[Q] -[B^p]\neq 0$ in $K_0(B)$ and the total Chern class $C(Q)=1+\sum_{i=1}^{p}C^k(Q) =1$ is trivial. We use the splitting theorem in \cite{ABH} that for projective $B$-modules $P$ with $rank(P)=r=\dim B-1$, vanishing $C^r(P)=0 \Longrightarrow P\cong Q\oplus B$.
要約:
Let $G$ be a simple, simply connected, simply laced algebraic group. We construct a monoidal category of representations of the quantum affine algebra $U_q(\widehat{\mathfrak{g}})$ whose Grothendieck ring contains a cluster algebra with initial seed given by that of the coordinate ring of twisted products of flag varieties. This class of varieties includes, in particular, braid varieties and reduced double Bruhat cells.
要約:
A presheaf of complexes is constructed on a category of weighted finite subsets of a fixed Euclidean space. To each object, a Koszul complex is assigned which resolves the coordinate ring of least squares solutions on that data set for a choice of particular model (ie ``y=mx+b''). In order to obtain a total \v{C}ech-theoretic complex where the $0$-cocycles resemble locally defined least squares solutions gluing together up to homotopy, the coefficient rings for the Koszul complexes over each subset are linearized near a least squares solution. While these new linearized complexes do not immediately assemble into a presheaf, additional change-of-coordinates maps restore functoriality. Evaluating this new presheaf of complexes on a cover, its total-degree-0-cocycles of this \v{C}ech-Koszul bicomplex reveals (higher) homotopies between the discrepancies of least squares solutions on (higher) overlaps. A toy example with 5 data points is worked out in full elementary detail.