Related papers: Viva la difference II. The Ax-Kochen isomorphism t…

A strong version of the quantization conjecture of Guillemin and Sternberg is proved. For a reductive group action on a smooth, compact, polarized variety (X,L), the cohomologies of L over the GIT quotient X // G equal the invariant part of…

Using a categorial version of Fra\"iss\'e's theorem due to Droste and G\"obel, we derive a criterion for a comma-category to have universal homogeneous objects. As a first application we give new existence result for universal structures…

A notable example due to Heier, Lu, Wong, and Zheng shows that there exist compact complex K\"ahler manifolds with ample canonical line bundle such that the holomorphic sectional curvature is negative semi-definite and vanishes along…

The classical HKR-theorem gives an isomorphism of the n-th Hochschild cohomology of a smooth algebra and the n-th exterior power of its module of K\"ahler differentials. Here we generalize it for simplicial, graded and anticommutative…

We show that every sheaf on the site of smooth manifolds with values in a stable (infinity,1)-category (like spectra or chain complexes) gives rise to a differential cohomology diagram and a homotopy formula, which are common features of…

A general structure theorem on higher order invariants is proven. For an arithmetic group, the structure of the corresponding Hecke module is determined. It is shown that the module does not contain any irreducible submodule. This explains…

We deal with an iteration theorem of forcing notion with a kind of countable support of nice enough forcing notion which is proper aleph_2-c.c. forcing notions. We then look at some special cases (Q_D 's preceded by random forcing).

We define 1-motives of a variety X over a perfect field of positive characteristic which realize the etale cohomology groups of X in dimension and codimension one. This is the analogue in positive characteristic of previous results of…

The additivity theorem for derivateurs associated to complicial biWaldhausen categories is proved. Also, to any exact category in the sense of Quillen a K-theory space is associated. This K-theory is shown to satisfy the additivity,…

We prove several results of the following type: given finite dimensional normed space V possessing certain geometric property there exists another space X having the same property and such that (1) log (dim X) = O(log (dim V)) and (2) every…

Let $X$ be a singular Hermitian complex space of pure dimension $n$. We use a resolution of singularities to give a smooth representation of the $L^2$-$\overline\partial$-cohomology of $(n,q)$-forms on $X$. The central tool is an…

A simple theorem on proportionality of indefinite real quadratic forms is proved, and is used to clarify the proof of the invariance of the interval in Special Relativity from Einstein's postulate on the universality of the speed of light;…

This article is concerned with support theorems of the X-ray transform on non-compact manifolds with conjugate points. In particular, we prove that all simply connected 2-step nilpotent Lie groups have a support theorem. Important…

By using nonstandard analysis, and in particular iterated hyper-extensions, we give foundations to a peculiar way of manipulating ultrafilters on the natural numbers and their pseudo-sums. The resulting formalism is suitable for…

Let $X$ be a $\mathbb Q$-Fano variety admitting a K\"ahler-Einstein metric. We prove that up to a finite quasi-\'etale cover, $X$ splits isometrically as a product of K\"ahler-Einstein $\mathbb Q$-Fano varieties whose tangent sheaf is…

Let k be a base commutative ring, R a commutative ring of coefficients, X a quasi-compact quasi-separated k-scheme, A a sheaf of Azumaya algebras over X of rank r, and Hmo(R) the category of noncommutative motives with R-coefficients.…

In this paper we derive structure theorems that characterize the spaces of linear and non-linear differential operators that preserve finite dimensional subspaces generated by polynomials in one or several variables. By means of the useful…

We study cohomology groups of the Lie algebra of vector fields on the complex line, $W_1$, with values in the tensor fields in several variables. From a generalization by Scheja of the second Riemann (Hartogs) continuation theorem, we…

We use the geometry of the secant variety to an embedded smooth curve to prove some vanishing and regularity theorems for powers of ideal sheaves.

Lineability is a property enjoyed by some subsets within a vector space X. A subset A of X is called lineable whenever A contains, except for zero, an infinite dimensional vector subspace. If, additionally, X is endowed with richer…