Related papers: The arithmetic Grothendieck-Riemann-Roch theorem f…
In the present paper, we discuss applications of the derived completion theorems proven in our previous two papers. One of the main applications is to Riemann-Roch problems for forms of higher equivariant K-theory, which we are able to…
We establish an effective version of Schmidt's subspace theorem on a smooth projective variety $\mathcal{X}$ over function fields of characteristic zero for hypersurfaces located in m-subgeneral position with respect to $\mathcal{X}$. Our…
Using an alternative notion of good reduction, an analog of the Shafarevich theorem for elliptic curves is proved for morphisms of the projective line over number fields.
A construction theorem for Frobenius manifolds with logarithmic poles is established. This is a generalization of a theorem of Hertling and Manin. As an application we prove a generalization of the reconstruction theorem of Kontsevich and…
This is the second of series of papers on the study of foliations in the setting of derived algebraic geometry based on the central notion of derived foliation. We introduce sheaf-like coefficients for derived foliations, called…
The purpose of this paper is to prove an equivariant Riemann-Roch theorem for schemes or algebraic spaces with an action of a linear algebraic group $G$. For a $G$-space $X$, this theorem gives an isomorphism between a completion of the…
The Grothendieck-Serre conjecture predicts that every generically trivial torsor under a reductive group $G$ over a regular semilocal ring $R$ is trivial. We establish this for unramified $R$ granted that $G^{\mathrm{ad}}$ is totally…
We establish an analogue of the Grothendieck inequality where the rectangular matrix is replaced by a symmetric/Hermitian matrix and the bilinear form by a quadratic form. We call this the symmetric Grothendieck inequality; despite its…
We prove a formula for the structure sheaf of a quiver variety in the Grothendieck ring of its embedding variety. This formula generalizes and gives new expressions for Grothendieck polynomials. We furthermore conjecture that the…
We derive a generalized Stokes' theorem, valid in any dimension and for arbitrary loops, even if self intersecting or knotted. The generalized theorem does not involve an auxiliary surface, but inherits a higher rank gauge symmetry from the…
In this paper, we study Grothendieck polynomials from a combinatorial viewpoint. We introduce the factorial Grothendieck polynomials, analogues of the factorial Schur functions and present some of their properties, and use them to produce a…
The purpose of this article is to initiate Arakelov theory in a noncommutative setting. More precisely, we are concerned with Arakelov theory of noncommutative arithmetic curves. Our first main result is an arithmetic Riemann-Roch formula…
We prove a Hirzebruch-Riemann-Roch type formula for global matrix factorizations. This is established by an explicit realization of the abstract Hirzebruch-Riemann-Roch type formula of Shklarov. We also show a Grothendieck-Riemann-Roch type…
The field equation of orthodox general relativity are written in the context of a geometry with non-vanishing torsion, the Absolute Parallelism (AP) geometry. An AP-structure, with homogeneity and isotropy, is used for cosmological…
A classical theorem of Riemannian geometry, due in its original form to Cartan, states that the Taylor expansion of the metric in geodesic normal coordinates is a universal formal power series involving only the symmetrizations of the…
In this article, we mainly obtain the Riemann-Hurwitz theorems for harmonic morphisms on (vertex-weighted) metric graphs or metrized complexes of algebraic curves, inspired of the recent work on harmonic morphisms of graphs or metrized…
We establish the reciprocity law along a vertical curve for residues of differential forms on arithmetic surfaces, and describe Grothendieck's trace map of the surface as a sum of residues. Points at infinity are then incorporated into the…
We study generalised Taylor morphisms, functors which construct differential ring homomorphisms from ring homomorphisms in a uniform way, analogous to the Taylor expansion for smooth functions. We generalise the construction of the twisted…
In this paper we prove two general results related to Marstrand's projection theorem in a quite general formulation over separable metric spaces under a suitable transversality hypothesis (the "projections" are in principle only measurable)…
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…