Related papers: Naive vs. genuine A^1-connectedness

A sheaf of modules on a site is said to be internally projective if sheaf hom with the module preserves epimorphism. In this note, we give an example showing that internally projective sheaves of abelian groups are not in general stable…

We prove a relative version of the fact that semiorthogonal decompositions of the bounded derived category of coherent sheaves are strongly constrained by the base locus of the canonical linear system. As an application we prove that the…

In this note we prove that the moduli stack of vector bundles on a curve, with a fixed determinant is $\mathbb{A}^1$-connected. We obtain this result by classifying vector bundles on a curve upto $\mathbb{A}^1$-concordance. Consequently we…

We explore the relation between the positive dimensional irreducible components of the characteristic varieties of rank one local systems on a smooth surface and the associated (rational or irrational) pencils. Our study, which may viewed…

P. Alexandroff proved that a locally compact $T_2$-space has a $T_2$ one-point compactification (obtained by adding a "point at infinity") if and only if it is non-compact. He also asked for characterizations of spaces which have one-point…

We give a simple proof for the rigidity of a complex in the bounded derived category of sheaves with constructible cohomology on an abelian variety.

An important result for regular foliations is their formal semi-local triviality near simply connected leaves. We extend this result to singular foliations for all 2-connected leaves and a wide class of 1- connected leaves by proving a…

This is the first of a series of papers on the $L^2$-theory for formally integrable structures. It is devoted to constructing a resolution of the solution sheaf for a class of overdetermined systems introduced by L. H{\"o}rmander. A…

We will generalize the projective model structure in the category of unbounded complexes of modules over a commutative ring to the category of unbounded complexes of quasi-coherent sheaves over the projective line. Concretely we will define…

For a quadratic form $\varphi$ over a field of characteristic different from $2$, we study whether its group of proper projective similitudes ${\bf PSim}^+(\varphi)$ is rationally connected (i.e. $R$-trivial). We obtain new sufficient…

We show that for any constructible sheaf F on a smooth algebraic variety X over a field of arbitrary characteristic its singular support SS(F) is equidimensional of dimension dim X. Here SS(F) is the minimal closed subset of the cotangent…

The bundle structure of the space $\Ab$ of Ashtekar's generalized connections is investigated in the compact case. It is proven that every stratum is a locally trivial fibre bundle. The only stratum being a principal fibre bundle is the…

Many structured systems admit locally consistent descriptions that nevertheless fail to globalize when constrained by an ambient reference or feasibility condition. Diagnosing such failures is naturally an evaluative problem: given a fixed…

We show that the equivariant chain complex associated to a minimal CW-structure X on the complement M(A) of a hyperplane arrangement A, is independent of X. When A is a sufficiently general linear section of an aspheric arrangement, we…

We show that the compatibility of the relative canonical sheaf with base change fails generally in families of normal varieties. Furthermore, it always fails if the general fiber of a family of pure dimension n is Cohen-Macaulay and the…

This note studies the structure of the divisorial fixed part of the dualizing sheaf of a 1-connected curve D on a smooth surface S. It is shown that if the divisorial fixed part F of the dualizing sheaf is non empty then it has arithmetic…

For any number field not containing $\QQ(i),$ we give an explicit construction to prove that there exists an elliptic curve defined over this field such that its Shafarevich-Tate group is nontrivial.

For an $\A^1$-connected pointed simplicial sheaf $\sX$ over a perfect field $k$, we prove that the Hurewicz map $\pi_1^{\A^1}(\sX) \to H_1^{\A^1}(\sX)$ is surjective. We also observe that the Hurewicz map for $\P^1_k$ is the abelianisation…

Sheaves of noncommutative groups are an essential tool especially in the context of vector bundles. As known there is no real cohomology theory with values in such sheaves. This work deals with the question of under what circumstances the…

In the previous part of this diptych, we defined the notion of an admissible simplicial connection, as well as explaining how H.I. Green constructed a resolution of coherent analytic sheaves by locally free sheaves on the \v{C}ech nerve.…