要約:
We classify the number of $k$-rational lines and conic fibrations on del Pezzo surfaces over a field $k$ in terms of relatively minimal surfaces and establish rational curve analogues of the inverse Galois problem for del Pezzo surfaces. We completely solve these problems in all degrees over all global, local and finite fields and provide new solutions of the inverse Galois problem in characteristic 2. Our results generalise well-known theorems on cubic surfaces.
要約:
We give an overview of recent developments around a characteristic class version of the Hodge index theorem for singular complex algebraic varieties. This was formulated by Brasselet-Schuermann-Yokura as a conjecture expressing the Goresky-MacPherson homology L-classes in terms of suitable Hodge-theoretic L-classes. Along the way, we clarify the relationship between several notions of L-classes appearing in the literature, but we also include many new cases for which the conjecture is true, e.g., all compact toric varieties, all (matroid) Schubert varieties, all Richardson and intersection varieties, all projective simply connected spherical varieties, and all compact complex algebraic surfaces and threefolds.
要約:
We study the higher Nash blow-ups introduced by T. Yasuda and investigate the higher version of the classical Nobile's theorem. In particular, we give a characteristic free proof of the higher Nobile's theorem for the graded case. We also give a proof for the 2nd order Nash blow-ups in characteristic zero.
要約:
We study the Brauer group of an abelian variety A over an algebraically closed field of characteristic p focusing on the p-primary torsion, the key part of which is a certain quasi-algebraic unipotent group U_A. We determine its dimension and obtain a sharp upper bound for its p-exponent. The isogeny class of U_A is classified for abelian varieties A of dimension at most 3. For principally polarised abelian varieties we compute the dimension of the p-torsion subgroup of U_A in terms of the Ekedahl--Oort type of A.
要約:
Affine Deligne-Lusztig varieties in the fully Hodge-Newton decomposable (or minute) case are the only larger class of ADLVs which could be described completely in the past. Instances of them play important roles in arithmetic geometry, from Harris-Taylor's proof of the local Langlands correspondence to applications in the Kudla program. We study generalizations for many of the equivalent conditions characterizing them to obtain in this way a larger class of ADLVs that still have a similarly good and computable description of their geometry. To generalize the minute condition itself, we introduce the notion of depth for a Shimura datum - the minute cases being those of depth bounded by 1, the cases we study being the ones of depth less than 2.
要約:
Let $(S, 0) \subset (\mathbb{C}^{d+1},0)$ be an irreducible germ of hypersurface. The germ $(S,0)$ is quasi-ordinary if $(S,0)$ has a finite projection to $(\mathbb{C}^d,0)$ which is unramified outside the coordinate hyperplanes. This implies that the normalization of $S$ is a toric singularity. One has also a monomial variety associated to $S$, which is a toric singularity with the same normalization, and with possibly higher embedding dimension. Since $(S,0)$ is quasi-ordinary, the extension of the Jacobian ideal of $S$ to the local ring of its normalization is a monomial ideal. We describe this monomial ideal by comparing it with the {\em logarithmic Jacobian ideals} of $S$ and of its associated monomial variety and we give some applications.
要約:
In the preprint arXiv:2511.07900 we proved that there exists a localizing ring $A_M$ for $A$ an associative ring with unit, and $M=\oplus_{i=1}^rM_i$ a direct sum of $r\geq 1$ simple right $A$-modules. For a homomorphism of associative rings $A\rightarrow B$ we define the contraction of a simple $B$-module to $A.$ Then we define the set of aprime right $A$-modules $\aspec A$ to be the set of simple $A$-modules together with contractions of such. When $A$ is commutative, $\aspec A=\spec A,$ and we define a topology on $\aspec A$ such that when $A$ is commutative, this is the Zariski topology. In the preprint \cite{S251}, we proved that when we have a topology and a localizing subcategory, there exists a sheaf of associative rings $\mathcal O_X$ on $\aspec A,$ agreeing with the usual sheaf of rings on $\spec A.$ In this text, we write out this construction, and we see that we can restrict the sheaf and topology to any subset $V\subseteq\aspec A.$ In particular, this proves that we can use complex varieties in real algebraic geometry, by restricting in accordance with $\mathbb R\subseteq\mathbb C.$ Thus the theory of schemes over algebraically closed fields and its associative generalization can be applied to real (algebraic) geometry.
要約:
Let $X$ be a quasi-compact separated scheme over a base field. Keller proved a theorem stating that the cyclic homology of $X$ is canonically isomorphic to the cyclic homology of the dg category ${\sf Perf}(X)$ consisting of perfect complexes over $X$. This theorem shows the categorical nature of the cyclic homology. In this note, we generalize Keller's theorem to allow $X$ be defined over a base commutative ring.
要約:
In this article, we prove various results about six-functor formalisms and morphisms between them. In particular, we show that the stable 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 the six operations. This strengthens previous results of this form, which only showed that stable motivic homotopy theory is a six-functor formalism, and is initial, but not that the morphisms from it commute with the six operations.
We also prove a similar result for the stable motivic homotopy theory of complex analytic stacks, and produce a Betti realization for stacks that commutes with Grothendieck's six operations, generalizing previous results of Ayoub for quasi-projective schemes.
In order to do this, we give a generalized and enhanced account of Voevodsky's geometric criterion for six-functor formalisms. Our version of Voevodsky's principle makes sense in more general geometric contexts (not only algebraic geometry), and also provides a criterion for showing that a morphism between six-functor formalisms is compatible with the six operations.
要約:
A Bott manifold is a smooth projective toric variety having an iterated $\mathbb{C} P^1$-bundle structure. A certain family of Bott manifolds is used to understand the structure of Bott--Samelson varieties (or Bott--Samelson--Demazure--Hansen varieties), which provide desingularizations of Schubert varieties. Indeed, each Bott--Samelson variety is diffeomorphic to a Bott manifold. However, not all Bott manifolds originate from Bott--Samelson varieties. Those that do are specifically referred to as Bott manifolds of Bott--Samelson type. In this paper, we provide a characterization of Bott manifolds of Bott--Samelson type by exploring their relationship with combinatorial objects called assemblies of ordered partitions. Using this relationship, we enumerate Bott manifolds of Bott--Samelson type and describe isomorphic Bott manifolds of Bott--Samelson type in terms of assemblies of ordered partitions.
要約:
We compute the Quot and finitized Coh zeta functions of the inert quadratic orders $\mathbb{F}_q[[T]]+T^{m}\mathbb{F}_{q^{2}}[[T]]$ for every $m\geq 1$ in terms of a $2m$-fold multisum, and then show this multisum equals an $m$-fold Bressoud sum. This proves a recent conjecture of the second author, rounding up the line of exploration in the series of work by the authors and Jiang. The equality between the $2m$-fold multisum and the $m$-fold Bressoud sum is built upon generalizing the multisum by introducing a ``ghost'' parameter $a$ to its summands. We then show that such an $a$-generalization is surprisingly $a$-independent by purely $q$-theoretic techniques. Finally, we propose a refined multisum that interpolates two versions of Quot zeta functions for all three types of quadratic orders.
要約:
We show that every object of the stable \'etale motivic homotopy category over any scheme is $\eta$-complete. In some cases we show that in fact the fourth power of $\eta$ is null, whereas the third power of $\eta$ is always nonvanishing, similar to the situation in topology.
要約:
We discuss a systematic procedure for categorifying presentable six-functor formalisms. Our main result produces, given the input of a representation of the $\infty$-category of correspondences of an $\infty$-category with finite limits $\mathcal{C}$, a compatible sequence of representations of the $(\infty,n)$-category of correspondences of $\mathcal{C}$ for every $n \geq 1$. As an application, we explain a general recipe for constructing topological field theories.
要約:
One of the oldest problems in coding theory is to match the Gilbert-Varshamov bound with explicit binary codes. Over larger-yet still constant-sized-fields, algebraic-geometry codes are known to beat the GV bound. In this work, we leverage this phenomenon by taking traces of AG codes. Our hope is that the margin by which AG codes exceed the GV bound will withstand the parameter loss incurred by taking the trace from a constant field extension to the binary field. In contrast to concatenation, the usual alphabet-reduction method, our analysis of trace-of-AG (TAG) codes uses the AG codes' algebraic structure throughout - including in the alphabet-reduction step.
Our main technical contribution is a Hasse-Weil-type theorem that is well-suited for the analysis of TAG codes. The classical theorem (and its Grothendieck trace-formula extension) are inadequate in this setting. Although we do not obtain improved constructions, we show that a constant-factor strengthening of our bound would suffice. We also analyze the limitations of TAG codes under our bound and prove that, in the high-distance regime, they are inferior to code concatenation. Our Hasse-Weil-type theorem holds in far greater generality than is needed for analyzing TAG codes. In particular, we derive new estimates for exponential sums.
要約:
Any $C^*$-algebra can be regarded as a generalization of locally compact Hausdorff topological space. Here we consider a generalization of fundamental group and (co)homology theory. In result one has invariants of $C^*$-algebras such that: for any commutative $C^*$-algebra $A = C_0\left(\mathcal X \right)$ the invariants of $A$ coincide with the $\mathcal X$ ones, the theory is not trivial even for algebras having a one spectrum, e.g. containing one point only.
要約:
A Laman graph $G$ is a minimally rigid graph in dimension two, and its realization number is its number of distinct embeddings with fixed generic edge lengths. While conjectured to grow exponentially in the number of vertices of $G$, the best proven lower bound is merely $2$. Motivated by the fact that the realization number can be expressed as a tropical intersection product involving $\mathrm{Trop}(G)$, the Bergman fan of the graphic matroid of $G$, and the fact that stars of $\mathrm{Trop}(G)$ naturally lead to lower bounds thereof, we introduce the tropical galaxy of $G$ together with a galactic pairing thereon. We study structural properties of this pairing, such as under which conditions it is non-trivially subadditive, and connect it being non-zero to arboreal pairs. We also present a software package for working with tropical galaxies.
要約:
It is known that the set of log canonical thresholds (lcts) on any varieties with fixed dimension satisfies the ascending chain condition. Inspired by the foliated minimal model program, it is intriguing to study the foliated version of lcts and ask whether they have the similar property. We give an affirmative answer in the case of surfaces and threefolds.
要約:
In this paper, we study homogeneous convex foliations on the complex projective plane $\mathbb{P}^2$. A foliation is called convex if all of its leaves, except straight lines, have no inflection points, and such foliations form a Zariski closed subset in the space of degree $d$ foliations on $\mathbb{P}^2$. Using projective duality, every foliation can be associated with a $d$-web on the dual plane via its Legendre transform, and it is known that the Legendre transform of a homogeneous convex foliation is flat. Our first main result provides a classification of homogeneous convex foliations admitting exactly three radial singularities on the line at infinity. As a second result, we complete the classification of convex homogeneous foliations of degree $6$, extending previous classifications in degrees $4$ and $5$.
要約:
Let $K$ be a global function field. We obtain a set of formulas for the densities of the Kodaira types and Tamagawa numbers of elliptic curves over a completion of $K$ that is independent of the field's characteristic. Furthermore, for a finite field $F$ and real numbers $s$ and $\epsilon$ such that $s>1$ and $\epsilon>0$, we prove that there exists a global function field $K$ such that the full constant field of $K$ is $F$ and the value of the zeta function of $K$ at $s$ is less than $1+\epsilon$.
要約:
In 2018, Kalck and Yang showed that the singularity categories associated with $3$-dimensional Gorenstein quotient singularities are triangle equivalent (up to direct summands) to small cluster categories associated with McKay quivers with potential. We introduce higher McKay quivers with potential and generalize Kalck and Yang's theorem to arbitrary dimensions. The singularity categories we consider occur as the stable categories of categories of maximal Cohen-Macaulay modules. We refine our description of the singularity categories by showing that these categories of maximal Cohen-Macaulay modules are equivalent to Higgs categories in the sense of Wu. Moreover, we describe the singularity categories in the non-Gorenstein case.
要約:
A binding group theorem is proved in the context of quantifier-free internality to the fixed field in difference-closed fields of characteristic zero. This is articulated as a statement about the birational geometry of isotrivial algebraic dynamical systems, and more generally isotrivial $\sigma$-varieties. It asserts that if $(V,\phi)$ is an isotrivial $\sigma$-variety then a certain subgroup of the group of birational transformations of $V$, namely those that preserve all the relations between $(V,\phi)$ and the trivial dynamics on the affine line, is in fact an algebraic group. Several application are given including new special cases of the Zariski Dense Orbit Conjecture and the Dixmier-Moeglin Equivalence Problem in algebraic dynamics, as well as finiteness results about the existence of nonconstant invariant rational functions on cartesian powers of $\sigma$-varieties. These applications give algebraic-dynamical analogues of recent results in differential-algebraic geometry.
要約:
Let $K$ be a non-archimedean local field and $\varphi:\mathbb{P}^1\to\mathbb{P}^1$ a rational endomorphism of degree $d\ge2$ defined over $K$. In the tame case ($p \nmid d$) we give a concise local criterion for strict good reduction on the natural residual 'etale locus: there exists a nonempty open $U_k\subset\mathbb{P}^1_k\setminus \mathrm{PC}(\tilde\varphi)$ such that for every $x\in\mathbb{P}^1(\mathcal{O}_K)$ with $\bar x\in U_k$ the reduced level-$1$ fiber has degree $d$ and is 'etale; equivalently, the fiber polynomial has unit leading coefficient and unit discriminant. In particular, all backward preimage extensions $K(X_n(x))/K$ are unramified for all $n\ge1$. This work provides an orbital refinement of the pointwise criterion of Benedetto, framing it in terms of a canonical, orbit-invariant Galois object. We provide complete proofs and explicit examples over $\mathbb{Q}_p$.