Search

We define the over-exceptional lattice of a minimal algebraic surface of Kodaira dimension 0. Bounding the rank of this object, we prove that a conjecture by Campana and Corvaja--Zannier holds for Enriques surfaces, as well as K3 surfaces of Picard rank greater than 6 apart from a finite list of geometric Picard lattices. Concretely, we prove that such surfaces over finitely generated fields of characteristic 0 satisfy the weak Hilbert property after a finite field extension of the base field. The degree of the field extension can be uniformly bounded., 25 pages. Minor corrections. Accepted for publication in Trans. Amer. Math. Soc

In this paper, we introduce ordered blueprints and ordered blue schemes, which serve as a common language for the different approaches to tropicalizations and which enhances tropical varieties with a schematic structure. As an abstract concept, we consider a tropicalization as a moduli problem about extensions of a given valuation $v:k\to T$ between ordered blueprints $k$ and $T$. If $T$ is idempotent, then we show that a generalization of the Giansiracusa bend relation leads to a representing object for the tropicalization, and that it has yet another interpretation in terms of a base change along $v$. We call such a representing object a scheme theoretic tropicalization. This theory recovers and improves other approaches to tropicalizations as we explain with care in the second part of this text. The Berkovich analytification and the Kajiwara-Payne tropicalization appear as rational point sets of a scheme theoretic tropicalization. The same holds true for its generalization by Foster and Ranganathan to higher rank valuations. The scheme theoretic Giansiracusa tropicalization can be recovered from the scheme theoretic tropicalizations in our sense. We obtain an improvement due to the resulting blueprint structure, which is sufficient to remember the Maclagan-Rinc\'on weights. The Macpherson analytification has an interpretation in terms of a scheme theoretic tropicalization, and we give an alternative approach to Macpherson's construction of tropicalizations. The Thuillier analytification and the Ulirsch tropicalization are rational point sets of a scheme theoretic tropicalization. Our approach yields a generalization to any, possibly nontrivial, valuation $v:k\to T$ with idempotent $T$ and enhances the tropicalization with a schematic structure., Comment: 67 pages; changes to previous version: new title, improved exposition and numerous minor changes; to be published in Trans. Amer. Math. Soc

We develop a version of Mikhalkin's lattice path algorithm for projective hypersurfaces of arbitrary degree and dimension, which enumerates singular tropical hypersurfaces passing through appropriate configuration of points. By proving a correspondence theorem combined with the lattice path algorithm, we construct a $\delta$ dimensional linear space of degree $ d $ real hypersurfaces containing $\frac{1}{\delta!} (\gamma_nd^n)^\delta + O(d^{n\delta-1})$ hypersurfaces with $ \delta $ real nodes, where $ \gamma_n $ are positive and given by a recursive formula. This is asymptotically comparable to the number $ \frac{1}{\delta!} \left( (n+1)(d-1)^n \right)^{\delta}+O\left(d^{n(\delta-1)} \right) $ of complex hypersurfaces having $ \delta $ nodes in a $ \delta $ dimensional linear space. In the case $ \delta=1 $ we give a slightly better leading term., Comment: 48 pages, 5 figures; This is an edited version of my master thesis

In this paper, second installment in a series of three, we give a correspondence theorem to relate the count of genus $g$ curves in a fixed linear system in an abelian surface to a tropical count. To do this, we relate the linear system defined by a complex curve to certain integrals of 1-forms over cycles in the curve. We then give an expression for the tropical multiplicity provided by the correspondence theorem, and prove the invariance for the associated refined multiplicity, thus introducing refined invariants of Block-G\"ottsche type in abelian surfaces., Comment: 37 pages, 7 figures, comments welcome

Based on the uniformization theorems of gravitation instantons by Chen--Chen arXiv:1505.01790, Chen--Viaclovsky arXiv:2110.06498, Collins--Jacob--Lin arXiv:2111.09260, and Hein--Sun--Viaclovsky--Zhang arXiv:2111.09287, we prove that the period maps for the ALH*, ALG, and ALG* gravitational instantons are surjective., Comment: 41 pages and 2 figures. Comments are welcome! In this version, we corrected some typos, changed some notation, and re-write Section 2.5 as well as Lemma A.2

We use recent advances in the local evaluation of Brauer elements to study the role played by {\it odd} torsion elements of the Brauer group in the arithmetic of diagonal quartic surfaces over {\it arbitrary} number fields. We show that over a local field if the order of the Brauer element is odd and coprime to the residue characteristic then the evaluation map it induces on the local points is constant. Over number fields we give a sufficient condition on the coefficients of the equation, which is mild and easy to check, so that the odd torsion does not obstruct weak approximation. We also note a systematic way to produce $K3$ surfaces over $\Q_2$ with good reduction and a non-trivial 2-torsion element of the Brauer group with Swan conductor zero., Minor changes

The Bernstein-Sato polynomial is an important invariant of an element or an ideal in a polynomial ring or power series ring of characteristic zero, with interesting connections to various algebraic and topological aspects of the singularities of the vanishing locus. Work of Musta\c{t}\u{a}, later extended by Bitoun and the third author, provides an analogous Bernstein-Sato theory for regular rings of positive characteristic. In this paper, we extend this theory to singular ambient rings in positive characteristic. We establish finiteness and rationality results for Bernstein-Sato roots for large classes of singular rings, and relate these roots to other classes of numerical invariants defined via the Frobenius map. We also obtain a number of new results and simplified arguments in the regular case., Comment: v2: minor fixes after referee report; 58 pages; comments appreciated

This article generalizes the geometric quadratic Chabauty method, initiated over $\mathbb{Q}$ by Edixhoven and Lido, to curves defined over arbitrary number fields. The main result is a conditional bound on the number of rational points on curves that satisfy an additional Chabauty type condition on the Mordell-Weil rank of the Jacobian. The method gives a more direct approach to the generalization by Dogra of the quadratic Chabauty method to arbitrary number fields., Accepted Manuscript, to appear in Transactions of the American Mathematical Society. Minor changes in Section 7

The problem of algebraic dependence of solutions to (non-linear) first order autonomous equations over an algebraically closed field of characteristic zero is given a `complete' answer, obtained independently of model theoretic results on differentially closed fields. Instead, the geometry of curves and generalized Jacobians provides the key ingredient. Classification and formal solutions of autonomous equations are treated. The results are applied to answer a question on $D^n$-finiteness of solutions of first order differential equations., 19 pages

Let R be a regular local ring. Let G be a reductive R-group scheme. A conjecture of Grothendieck and Serre predicts that a principal G-bundle over R is trivial if it is trivial over the quotient field of R. The conjecture is known when R contains a field. We prove the conjecture for a large class of regular local rings not containing fields in the case when G is split., Comment: The final version to be published in Transactions of the AMS. Results about quadratic forms are strengthened. In the section on Bertini type theorems a correction in the case of a non-perfect residue field is made. Other minor corrections and improvements

We give an explicit description of character sheaves for the symmetric pairs associated to inner involutions of the special linear groups. We make use of the general strategy given in [VX1] and central character consideration. We also determine the cuspidal character sheaves., arXiv admin note: substantial text overlap with arXiv:1806.02506

Studying degenerations of moduli spaces of semistable principal bundles on smooth curves leads to the problem of studying moduli spaces on singular curves. In this note, we will see that the moduli spaces of δ \delta -semistable pseudo bundles on a nodal curve become, for large values of δ \delta , the moduli spaces of semistable singular principal bundles. The latter are reasonable candidates for degenerations and a potential basis for further developments as on irreducible nodal curves. In particular, we find a notion of semistability for principal bundles on reducible nodal curves. The understanding of the asymptotic behavior of δ \delta -semistability rests on a lemma from geometric invariant theory. The results allow for the construction of a universal moduli space of semistable singular principal bundles over the moduli space of stable curves. Due to recent work of Wilson, this universal moduli space has a close relation to the sheaf of algebras of conformal blocks.

We will show that the singular cohomology groups of a smooth quasi-projective complex variety relative to a normal crossing divisor can be described in terms of delta-admissible chains. Roughly speaking, a delta-admissible chain is a simplicial semi-algebraic chain meeting the "faces" properly. As an application, we show that the Abel-Jacobi map for higher Chow cycles can be described via delta-admissible chains. As an example, we will describe the Hodge realization of the polylog cycles constructed by Bloch-Kriz in terms of the Abel-Jacobi map., 2020. May. 20: Calculation in Section 4.2 is made clearer

Let $S\to C$ be a smooth quasi-projective surface properly fibered onto a smooth curve. We prove that the multiplicativity of the perverse filtration on $H^*(S^{[n]},\mathbb{Q})$ associated with the natural map $S^{[n]}\to C^{(n)}$ implies that $S\to C$ is an elliptic fibration. The converse is also true when $S\to C$ is a Hitchin-type elliptic fibration., 33 pages

Cubic surfaces in characteristic two are investigated from the point of view of prime characteristic commutative algebra. In particular, we prove that the non-Frobenius split cubic surfaces form a linear subspace of codimension four in the 19-dimensional space of all cubics, and that up to projective equivalence, there are finitely many non-Frobenius split cubic surfaces. We explicitly describe defining equations for each and characterize them as extremal in terms of configurations of lines on them. In particular, a (possibly singular) cubic surface in characteristic two fails to be Frobenius split if and only if no three lines on it form a “triangle”.

Using heuristics from mirror symmetry, combinations of Gross, Hacking, Keel, Kontsevich, and Siebert have given combinatorial constructions of canonical bases of "theta functions" on the coordinate rings of various log Calabi-Yau spaces, including cluster varieties. We prove that the theta bases for cluster varieties are determined by certain descendant log Gromov-Witten invariants of the symplectic leaves of the mirror/Langlands dual cluster variety, as predicted in the Frobenius structure conjecture of Gross-Hacking-Keel. We further show that these Gromov-Witten counts are often given by naive counts of rational curves satisfying certain geometric conditions. As a key new technical tool, we introduce the notion of "contractible" tropical curves when showing that the relevant log curves are torically transverse., Comment: 36 pages, 2 figures; published version

Let $R$ be the power series ring or the polynomial ring over a field $k$ and let $I $ be an ideal of $R.$ Macaulay proved that the Artinian Gorenstein $k$-algebras $R/I$ are in one-to-one correspondence with the cyclic $R$-submodules of the divided power series ring $\Gamma. $ The result is effective in the sense that any polynomial of degree $s$ produces an Artinian Gorenstein $k$-algebra of socle degree $s.$ In a recent paper, the authors extended Macaulay's correspondence characterizing the $R$-submodules of $\Gamma $ in one-to-one correspondence with Gorenstein d-dimensional $k$-algebras. However, these submodules in positive dimension are not finitely generated. Our goal is to give constructive and finite procedures for the construction of Gorenstein $k$-algebras of dimension one and any codimension. This has been achieved through a deep analysis of the $G$-admissible submodules of $\Gamma. $ Applications to the Gorenstein linkage of zero-dimensional schemes and to Gorenstein affine semigroup rings are discussed., Comment: To appear in Trans. Am. Math. Soc

Given an elliptic curve $E$ defined over $\mathbb{C}$, let $E^{\times}$ be an open subset of $E$ obtained by removing a point. In this paper, we show that the $i$-th Betti number of the unordered configuration space $\mathrm{Conf}^{n}(E^{\times})$ of $n$ points on $E^{\times}$ appears as a coefficient of an explicit rational function in two variables. We also compute its Hodge numbers as coefficients of another explicit rational function in four variables. Our result is interesting because these rational functions resemble the generating function of the $\mathbb{F}_{q}$-point counts of $\mathrm{Conf}^{n}(E^{\times})$, which can be obtained from the zeta function of $E$ over a finite field $\mathbb{F}_{q}$. We show that the mixed Hodge structure of the $i$-th singular cohomology group $H^{i}(\mathrm{Conf}^{n}(E^{\times}))$ with complex coefficients is pure of weight $w(i)$, an explicit integer we provide in this paper. This purity statement implies our main result about the Betti numbers and the Hodge numbers. Our proof uses Totaro's spectral sequence computation that describes the weight filtration of the mixed Hodge structure on $H^{i}(\mathrm{Conf}^{n}(E^{\times}))$., Comment: 19 pages

We enrich the classical count that there are two complex lines meeting four lines in space to an equality of isomorphism classes of bilinear forms. For any field $k$, this enrichment counts the number of lines meeting four lines defined over $k$ in $\mathbb{P}^3_k$, with such lines weighted by their fields of definition together with information about the cross-ratio of the intersection points and spanning planes. We generalize this example to an infinite family of such enrichments, obtained using an Euler number in $\mathbb{A}^1$-homotopy theory. The classical counts are recovered by taking the rank of the bilinear forms. In the appendix, the condition that the four lines each be defined over $k$ is relaxed to the condition that the set of four lines being defined over $k$., Accepted for publication in Transactions of the AMS

For p p an odd prime number, q 0 = p t q_{0}=p^{t} , and q = p 2 t − 1 q=p^{2t-1} , let X G S \mathcal {X}_{\mathcal {G}_{\mathcal {S}}} be the nonsingular model of Y q − Y = X q 0 ( X q − X ) . \begin{equation*} Y^{q}-Y=X^{q_{0}}(X^{q}-X). \end{equation*} In the present work, the number of F q n \mathbb {F}_{q^{n}} -rational points and the full automorphism group of X G S \mathcal {X}_{\mathcal {G}_{\mathcal {S}}} are determined. In addition, the L-polynomial of this curve is provided, and the number of F q n \mathbb {F}_{q^{n}} -rational points on the Jacobian J X G S J_{\mathcal {X}_{\mathcal {G}_{\mathcal {S}}}} is used to construct étale covers of X G S \mathcal {X}_{\mathcal {G}_{\mathcal {S}}} , some with many rational points.

Musta\c{t}\u{a} defined Bernstein-Sato polynomials in prime characteristic for principal ideals and proved that the roots of these polynomials are related to the $F$-jumping numbers of the ideal. This approach was later refined by Bitoun. Here we generalize these techniques to develop analogous notions for the case of arbitrary ideals and prove that these have similar connections to $F$-jumping numbers., Comment: v2: added Subsections 6.1 (some remarks about compatibility with char. 0) 6.5 (other characterizations of Bernstein-Sato roots) and 6.6 (examples). Relaxed assumptions on R. 33 pages

We explicitly describe the KSBA/Hacking compactification of a moduli space of log surfaces of Picard rank 2. The space parametrizes log pairs $(S, D)$ where $S$ is a degeneration of $\mathbb{P}^1 \times \mathbb{P}^1$ and $D \subset S$ is a degeneration of a curve of class $(3,3)$. We prove that the compactified moduli space is a smooth Deligne--Mumford stack with 4 boundary components. We relate it to the moduli space of genus 4 curves; we show that it compactifies the blow-up of the hyperelliptic locus. We also relate it to a compactification of the Hurwitz space of triple coverings of $\mathbb{P}^1$ by genus 4 curves., 49 pages, 9 figures. Added more details and improved the introduction. To appear in Transactions of the American Mathematical Society

Star configurations of points are configurations with known (and conjectured) extremal behaviors among all configurations of points in $\mathbb P_k^n$; additional interest come from their rich structure, which allows them to be studied using tools from algebraic geometry, combinatorics, commutative algebra and representation theory. In the present paper we investigate the more general problem of determining the structure of symbolic powers of a wide generalization of star configurations of points (introduced by Geramita, Harbourne, Migliore and Nagel) called star configurations of hypersurfaces in $\mathbb P_k^n$. Here (1) we provide explicit minimal generating sets of the symbolic powers $I^{(m)}$ of these ideals $I$, (2) we introduce a notion of $\delta$-c.i. quotients, which generalize ideals with linear quotients, and show that $I^{(m)}$ have $\delta$-c.i. quotients, (3) we show that the shape of the Betti tables of these symbolic powers is determined by certain "Koszul" strands and we prove that a little bit more than the bottom half of the Betti table has a regular, almost hypnotic, pattern, and (4) we provide a closed formula for all the graded Betti numbers in these strands. As a special case of (2) we deduce that symbolic powers of ideals of star configurations of points have linear quotients. We also improve and extend results by Galetto, Geramita, Shin and Van Tuyl, and provide explicit new general formulas for the minimal number of generators and the symbolic defects of star configurations. Finally, inspired by Young tableaux, we introduce a technical tool which may be of independent interest: it is a "canonical" way of writing any monomial in any given set of polynomials. Our methods are characteristic--free., Comment: Final revision (original paper was accepted for publication in Trans. Amer. Math. Soc.)

We prove a number of results to the effect that generic quantum graphs (defined via operator systems as in the work of Duan-Severini-Winter / Weaver) have few symmetries: for a Zariski-dense open set of tuples $(X_1,\cdots,X_d)$ of traceless self-adjoint operators in the $n\times n$ matrix algebra the corresponding operator system has trivial automorphism group, in the largest possible range for the parameters: $2\le d\le n^2-3$. Moreover, the automorphism group is generically abelian in the larger parameter range $1\le d\le n^2-2$. This then implies that for those respective parameters the corresponding random-quantum-graph model built on the GUE ensembles of $X_i$'s (mimicking the Erd\H{o}s-R\'{e}nyi $G(n,p)$ model) has trivial/abelian automorphism group almost surely., Comment: 25 pages + references, final version accepted for publication in Transactions of the AMS

Let G be a quasi simple algebraic group over an algebraically closed field k whose characteristic is not very bad for G, and let B be a Borel subgroup of G with Lie algebra b. Given a B-stable abelian subalgebra a of the nilradical of b, we parametrize the B-orbits in a and we describe their closure relations., v3: 18 pages. Minor revision. To appear in Trasactions of the AMS

By extending some basic results of Grothendieck and Foxby about local cohomology to commutative DG-rings, we prove new amplitude inequalities about finite DG-modules of finite injective dimension over commutative local DG-rings, complementing results of J{\o}rgensen and resolving a recent conjecture of Minamoto. When these inequalities are equalities, we arrive to the notion of a local-Cohen-Macaulay DG-ring. We make a detailed study of this notion, showing that much of the classical theory of Cohen-Macaulay rings and modules can be generalized to the derived setting, and that there are many natural examples of local-Cohen-Macaulay DG-rings. In particular, local Gorenstein DG-rings are local-Cohen-Macaulay. Our work is in a non-positive cohomological situation, allowing the Cohen-Macaulay condition to be introduced to derived algebraic geometry, but we also discuss extensions of it to non-negative DG-rings, which could lead to the concept of Cohen-Macaulayness in topology., Comment: 41 pages, final version, to appear in Transactions of the AMS

We study projective structures on a surface having poles of prescribed orders. We obtain a monodromy map from a complex manifold parameterising such structures to the stack of framed $\mathrm{PGL}_2(\mathbb{C})$ local systems on the associated marked bordered surface. We prove that the image of this map is contained in the union of the domains of the cluster charts. We discuss a number of open questions concerning this monodromy map., Comment: 54 pages. Version 2: Incorporated suggestions from referee

In this paper, we find a composition series of GKZ-systems with semisimple successive quotients. We also study the composition series of the corresponding perverse sheaves and compare these two composition series under the Riemann-Hilbert correspondence., 32 pages, appear to Transactions of AMS

We study the anti-commuting variety which consists of pairs of anti-commuting $n\times n$ matrices. We provide an explicit description of its irreducible components and their dimensions. The GIT quotient of the anti-commuting variety with respect to the conjugation action of $GL_n$ is shown to be of pure dimension $n$. We also show the semi-nilpotent anti-commuting variety (in which one matrix is required to be nilpotent) is of pure dimension $n^2$ and describe its irreducible components., Comment: v2, 22 pages, simplified presentation and improved exposition

We determine the equations of the blowup of $\mathbb{P}^n$ along a $d$-fold rational normal scroll $S$, and we prove that the Rees ring and special fiber ring of $S \subseteq \mathbb{P}^n$ are Koszul algebras., To appear on Transactions of the American Mathematical Society

Using Lagrangian Floer theory, we study the tropical geometry of K3 surfaces with general singular fibres. In particular, we give the local models for the type $I_n$, $II$, $III$ and $IV$ singular fibres in the Kodaira's classification and generalize the correspondence theorem between open Gromov-Witten invariants/tropical discs counting to these cases., Comment: 29 pages, 7 figures. Comments are welcome

Using degeneration techniques, we prove the correspondence of tropical curve counts and log Gromov-Witten invariants with general incidence and psi-class conditions in toric varieties for genus zero curves and all non-superabundant higher-genus situations. We also relate the log invariants to the ordinary ones, in particular explaining the appearance of negative multiplicities in the descendant correspondence result of Mark Gross., 40 pages, 4 figures, final version, to appear in Trans. Amer. Math. Soc

We introduce the moduli space of quasi-parabolic $SL(2,\mathbb{C})$-Higgs bundles over a compact Riemann surface $\Sigma$ and consider a natural involution, studying its fixed point locus when $\Sigma$ is $\mathbb{C} \mathbb{P}^1$ and establishing an identification with a moduli space of null polygons in Minkowski $3$-space., Comment: Appendix added. To appear in Trans. Amer. Math. Soc

Motivated by the relationship between numerical Grothendieck groups induced by the embedding of a smooth anticanonical elliptic curve into a del Pezzo surface, we define the notion of a quasi del Pezzo homomorphism between pseudolattices and establish its basic properties. The primary aim of the paper is then to prove a classification theorem for quasi del Pezzo homomorphisms, using a pseudolattice variant of the minimal model program. Finally, this result is applied to the classification of a certain class of genus one Lefschetz fibrations over discs., Comment: v2: Minor revisions at the request of the referee. Remark 3.24 is new, as is the discussion of the noncommutative setting in the final section

We present various facts on the graded Betti table of a projectively embedded toric surface, expressed in terms of the combinatorics of its defining lattice polygon. These facts include explicit formulas for a number of entries, as well as a lower bound on the length of the quadratic strand that we conjecture to be sharp (and prove to be so in several special cases). We also present an algorithm for determining the graded Betti table of a given toric surface by explicitly computing its Koszul cohomology and report on an implementation in SageMath. It works well for ambient projective spaces of dimension up to roughly 25 25 , depending on the concrete combinatorics, although the current implementation runs in finite characteristic only. As a main application we obtain the graded Betti table of the Veronese surface ν 6 ( P 2 ) ⊆ P 27 \nu _6(\mathbb {P}^2) \subseteq \mathbb {P}^{27} in characteristic 40 009 40\,009 . This allows us to formulate precise conjectures predicting what certain entries look like in the case of an arbitrary Veronese surface ν d ( P 2 ) \nu _d(\mathbb {P}^2) .

Let $L$ be a fixed branch -- that is, an irreducible germ of curve -- on a normal surface singularity $X$. If $A,B$ are two other branches, define $u_L(A,B) := \dfrac{(L \cdot A) \: (L \cdot B)}{A \cdot B}$, where $A \cdot B$ denotes the intersection number of $A$ and $B$. Call $X$ arborescent if all the dual graphs of its resolutions are trees. In a previous paper, the first three authors extended a 1985 theorem of P{\l}oski by proving that whenever $X$ is arborescent, the function $u_L$ is an ultrametric on the set of branches on $X$ different from $L$. In the present paper we prove that, conversely, if $u_L$ is an ultrametric, then $X$ is arborescent. We also show that for any normal surface singularity, one may find arbitrarily large sets of branches on $X$, characterized uniquely in terms of the topology of the resolutions of their sum, in restriction to which $u_L$ is still an ultrametric. Moreover, we describe the associated tree in terms of the dual graphs of such resolutions. Then we extend our setting by allowing $L$ to be an arbitrary semivaluation on $X$ and by defining $u_L$ on a suitable space of semivaluations. We prove that any such function is again an ultrametric if and only if $X$ is arborescent, and without any restriction on $X$ we exhibit special subspaces of the space of semivaluations in restriction to which $u_L$ is still an ultrametric., Comment: 50 pages, 14 figures. Final version

We study the existence of zero-cycles of degree one on varieties that are defined over a function field of a curve over a complete discretely valued field. In particular, we show that local-global principles hold for such zero-cycles provided that local-global principles hold for the existence of rational points over extensions of the function field. This assertion is analogous to a known result concerning varieties over number fields. We also show that our results hold more generally in the henselian case., 23 pages. Some explanations were expanded for greater clarity throughout the paper. Some results in Section 2 in the earlier version in the complete case were generalized here to the henselian case. Subsection 3.3 in the earlier version was broken into two subsections, and there was some renumbering of results in the new Subsection 3.4 due to an added remark

Let $f\colon S\to B$ be a non-isotrivial fibred surface. We prove that the genus $g$, the rank $u_f$ of the unitary summand of the Hodge bundle $f_*\omega_f$ and the Clifford index $c_f$ satisfy the inequality $u_f \leq g - c_f$. Moreover, we prove that if the general fibre is a plane curve of degree $\geq 5$ then the stronger bound $u_f \leq g - c_f-1$ holds. In particular, this provides a strengthening of the bounds of \cite{BGN} and of \cite{FNP}. The strongholds of our arguments are the deformation techniques developed by the first author in \cite{Rigid} and by the third author and Pirola in \cite{PT}, which display here naturally their power and depht., Comment: 19 pages, revised version

Affine Deligne-Lusztig varieties are analogues of Deligne-Lusztig varieties in the context of affine flag varieties and affine Grassmannians. They are closely related to moduli spaces of $p$-divisible groups in positive characteristic, and thus to arithmetic properties of Shimura varieties. We compare stratifications of affine Deligne-Lusztig varieties attached to a basic element $b$. In particular, we show that the stratification defined by Chen and Viehmann using the relative position to elements of the group $J_b$, the $\sigma$-centralizer of $b$, coincides with the Bruhat-Tits stratification in all cases of Coxeter type, as defined by X. He and the author.

We give formulas for calculating the unramified Brauer group of a homogeneous space $X$ of a semisimple simply connected group $G$ with finite geometric stabilizer $\bar F$ over a wide family of fields of characteristic 0. When $k$ is a number field, we use these formulas in order to study the Brauer-Manin obstruction to the Hasse principle and weak approximation. We prove in particular that the Brauer-Manin pairing is constant on $X(k_v)$ for every $v$ outside from an explicit finite set of non archimedean places of $k$., Comment: 19 pages, final version

We study the moduli space of smooth complete intersections of two quadrics in $\mathbb{P}^n$ by relating it to the geometry of the singular members of the corresponding pencils. Giving an alternative presentation for the moduli space of complete intersections, we compute the Picard group for all $n\geq 3$., Comment: 27 pages

We consider the space $\mathcal M_{q,n}$ of regular $q$-tuples of commuting nilpotent endomorphisms of $k^n$ modulo simultaneous conjugation. We show that $\mathcal M_{q,n}$ admits a natural homogeneous space structure, and that it is an affine space bundle over $\mathbb P^{q-1}$. A closer look at the homogeneous structure reveals that, over $\mathbb C$ and with respect to the complex topology, $\mathcal M_{q,n}$ is a smooth vector bundle over $\mathbb P^{q-1}$. We prove that, in this case, $\mathcal M_{q,n}$ is diffeomorphic to a direct sum of twisted tangent bundles. We also prove that $\mathcal M_{q,n}$ possesses a universal property and represents a functor of ideals, and use it to identify $\mathcal M_{q,n}$ with an open subscheme of a punctual Hilbert scheme. By using a result of A. Iarrobino, we show that $\mathcal M_{q,n} \to \mathbb P^{q-1}$ is not a vector bundle, hence giving a family of affine space bundles that are not vector bundles., Comment: 17 pages

Let G be a connected complex reductive group. A well known theorem of I. Losev's says that a smooth affine spherical G-variety X is uniquely determined by its weight monoid, which is the set of irreducible representations of G that occur in the coordinate ring of X. In this paper, we use the combinatorial theory of spherical varieties and a smoothness criterion of R. Camus to characterize the weight monoids of smooth affine spherical varieties., v1: 33 pages. v2: 36 pages, improved exposition, updated references and citations

Using a construction closely related to Waldhausen's $S_\bullet$-construction, we produce a spectrum $K(\mathbf{Var}_{/k})$ whose components model the Grothendieck ring of varieties (over a field $k$) $K_0 (\mathbf{Var}_{/k})$. We then produce liftings of various motivic measures to spectrum-level maps, including maps into Waldhausen's $K$-theory of spaces $A(\ast)$ and to $K(\mathbf{Q})$. We end with a conjecture relating $K(\mathbf{Var}_{/k})$ and the doubly-iterated $K$-theory of the sphere spectrum., Improved exposition. Changed some nomenclature. Removed Q-construction for future paper

In this paper we define and explore properties of mixed multiplicities of (not necessarily Noetherian) filtrations of $m_R$-primary ideals in a Noetherian local ring $R$, generalizing the classical theory for $m_R$-primary ideals. We construct a real polynomial whose coefficients give the mixed multiplicities. This polynomial exists if and only if the dimension of the nilradical of the completion of $R$ is less than the dimension of $R$, which holds for instance if $R$ is excellent and reduced. We show that many of the classical theorems for mixed multiplicities of $m_R$-primary ideals hold for filtrations, including the famous Minkowski inequalities of Teissier, and Rees and Sharp., Comment: 25 pages Some some corrections are made in this final version

For $C$ a stable curve of arithmetic genus $g\ge 2$, and $\mathcal{D}$ the determinant of cohomology line bundle on $\operatorname{Bun}_{\operatorname{SL}(r)}(C)$, we show the section ring for the pair $(\operatorname{Bun}_{\operatorname{SL}(r)}(C), \mathcal{D})$ is finitely generated. Three applications are given., 40 pages. We made a few additional remarks, primarily in Section 11

Through Cayley and Langlands type correspondences, we give a geometric description of the moduli spaces of real orthogonal and symplectic Higgs bundles of any signature in the regular fibres of the Hitchin fibration. As applications of our methods, we complete the concrete abelianization of real slices corresponding to all quasi-split real forms, and describe how extra components emerge naturally from the spectral data point of view., Comment: 34 pages, comments welcomed!

We introduce the notion of a \emph{resolution supported on a poset}. When the poset is a CW-poset, i.e. the face poset of a regular CW-complex, we recover the notion of cellular resolution as introduced by Bayer and Sturmfels. Work of Reiner and Welker, and of Velasco, has shown that there are monomial ideals whose minimal free resolutions are not cellular, hence cannot be supported on any CW-poset. We show that for any monomial ideal there is a \emph{homology CW-poset} that supports a minimal free resolution of the ideal. This allows one to extend to every minimal resolution, essentially verbatim, techniques initially developed to study cellular resolutions. As two demonstrations of this process, we show that minimal resolutions of toric rings are supported on what we call toric hcw-posets, and we give a new combinatorial proof of a fundamental result of Miller on the relationship between Artininizations and Alexander duality of monomial ideals., Comment: The published version of this paper, Trans. Amer. Math. Soc. 371:3995--4027 (2019), claimed incorrectly that Theorem 7.1 is a new result when in fact it is a known consequence of a result of Ezra Miller. In this version we fix this and provide the appropriate references

Let $K$ be a complete discretely valued field with residue field $k$ with $\mathrm{char}(k)\neq 2$. Assuming that the norm principle holds for extended Clifford groups $\Omega(q)$ for every even dimensional non-degenerate quadratic form $q$ defined over any finite extension of $k$, we show that it holds for extended Clifford groups $\Omega(Q)$ for every even dimensional non-degenerate quadratic form $Q$ defined over $K$.

For $X$ a smooth cubic threefold we study the Pl\"ucker embedding of the Fano surface of lines $S$ of $X$. We prove that if $X$ is general then the minimal gonality of a covering family of curves of $S$ is four and that this happens for a unique family of curves. The analysis also shows that there is a unique pentagonal connecting family of curves, which leads to the fact that the connecting gonality of $S$ is five whereas the degree of irrationality, i.e.\ the minimal degree of a rational map from $S$ to $\mathbb{P}^2$, is six., Comment: 21 pages, 1 figure. Minor corrections, final version. To appear in Transactions of the AMS