Related papers: Graph hypersurfaces and a dichotomy in the Grothen…

The geometric Frobenius morphism on smooth varieties is an fppf-fiber bundle. We study representations of the structure group scheme. In particular, we describe irreducible representations and compute its Grothendieck ring of finite…

A procedure for constructing bivariant theories by means of Grothendieck duality is developed. This produces, in particular, a bivariant theory of Hochschild (co)homology on the category of schemes that are flat, separated and essentially…

One version of the classical Lefschetz hyperplane theorem states that for $U \subset \mathbb P^n$ a smooth quasi-projective variety of dimension at least $2$, and $H \cap U$ a general hyperplane section, the resulting map on \'etale…

Let $S$ be a smooth del Pezzo surface over a field $k$ of characteristic $\neq 2, 3$. We define an invariant in the Grothendieck-Witt ring $GW(k)$ for "counting" rational curves in a curve class $D$ of fixed positive degree (with respect to…

We consider Potts model hypersurfaces defined by the multivariate Tutte polynomial of graphs (Potts model partition function). We focus on the behavior of the number of points over finite fields for these hypersurfaces, in comparison with…

Let $X$ be any smooth Deligne-Mumford stack with projective coarse moduli, and $Y$ be a smooth complete intersection in $X$ associated with a direct sum of semi-positive line bundles. We will introduce a useful and broad class known as…

For any type of fundamental groupoid scheme, we construct an algebraic cohomology theory for varieties with coefficients in the base field. This is a minor variant of \'etale cohomology, involving neither de Rham complexes nor…

We define the derived category of a concrete category in a way which extends the usual definition of the derived category of a ring, and we prove that the bounded-below derived category of $\Spec \mathbb{M}_0$ (an approximation, used by…

The Grothendieck--Serre conjecture predicts that every generically trivial torsor under a reductive group scheme $G$ over a regular local ring $R$ is trivial. We settle it in the case when $G$ is quasi-split and $R$ is unramified. Some of…

The aim of this project is to attach a geometric structure to the ring of integers. It is generally assumed that the spectrum $\mathrm{Spec}(\mathbb{Z})$ defined by Grothendieck serves this purpose. However, it is still not clear what…

We construct invariants of birational maps with values in the Kontsevich--Tschinkel group and in the truncated Grothendieck groups of varieties. These invariants are morphisms of groupoids and are well-suited to investigating the structure…

We study the images of polynomial maps over algebraically closed division rings. Our first result generalizes the classical Ax-Grothendieck theorem: We show that if $ f_1, \ldots, f_m $ are elements of the free associative algebra $…

The Riemann-Roch Theorem is one of the cornerstones of algebraic geometry, connecting algebraic data (sheaf cohomology) with geometric ones (intersection theory). This survey paper provides a self-contained introduction and a complete proof…

In the toric variety $\mathcal{T}$, with Cox ring graded by $\deg(z_{2i})=(1,-1,0)$, $\deg(z_{2i+1})=(1,0,-1)$ and $\deg(w_\pm)=(0,1,0),(0,0,1)$, we study hypersurfaces $\widetilde{X}^{2n}\subset\mathcal T$ of multidegree $(2d+1,-d,-d)$…

Given a measured geodesic lamination on a hyperbolic surface, grafting the surface along multiples of the lamination defines a path in Teichmuller space, called the grafting ray. We show that every grafting ray, after reparametrization, is…

We construct the quantized enveloping algebra of any simple Lie algebra of type ADE as the quotient of a Grothendieck ring arising from certain cyclic quiver varieties. In particular, the dual canonical basis of a one-half quantum group…

We determine the Grothendieck ring of finite-dimensional comodules for the free Hopf algebra on a matrix coalgebra, and similarly for the free Hopf algebra with bijective antipode and other related universal quantum groups. The results turn…

We generalize Kontsevich's construction of L-infinity derivations of polyvector fields from the affine space to an arbitrary smooth algebraic variety. More precisely, we construct a map (in the homotopy category) from Kontsevich's graph…

We introduce a generalization of symmetric functions and apply the resulting theory to compute the class in the Grothendieck ring of varieties of the space of geometrically irreducible hypersurfaces of a fixed degree in projective space.

We shall describe a simple generalization of commutative rings. The category GR of such "rings", contains the ordinary commutative rings (fully faithfully), but also the "integers" and "residue field" at a real or complex place of a field ;…