2025-11-13 | | Total: 15
We show that every object of the stable étale motivic homotopy category over any scheme is $η$-complete. In some cases we show that in fact the fourth power of $η$ is null, whereas the third power of $η$ is always nonvanishing, similar to the situation in topology.
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.
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.
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.
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 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 $(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.
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.
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.
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 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 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.
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.
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.
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.