Related papers: A priori obstructions to resolution of singulariti…

For a Shimura variety of Hodge type with hyperspecial level structure at a prime $p$, Vasiu and Kisin constructed a smooth integral model (namely the integral canonical model) uniquely determined by a certain extension property. We define…

We develop square zero obstruction theory for modules over $\mathbb{E}_1$-algebras in an arbitrary stable (presentably) monoidal $\infty$-category. We explicitly describe the obstruction element as the homotopy class of a canonically…

For a fixed closed manifold $P$, we construct a cobordism category of embedded manifolds with a single Baas-Sullivan singularity of type $P$. Our main theorem identifies the homotopy type of the classifying space of this cobordism category…

In this paper, we describe an algorithm that, for a smooth connected curve $X$ over a field $k$ with normal completion having arithmetic genus $p_a(X)$, a finite locally constant sheaf $\mathcal A$ on $X_{et}$ of abelian groups of torsion…

We show that the mod p cohomology of a smooth projective variety with semistable reduction over K, a finite extension of Qp, embeds into the reduction modulo p of a semistable Galois representation with Hodge-Tate weights in the expected…

We model problems as presheaves that assign sets of certificates to input instances, and we show how to use presheaf \v{C}ech cohomology to capture the precise ways in which local solutions fail to patch into global ones. Applied to…

In view of the Segal construction each category with a coherent operation gives rise to a cohomology theory. Similarly each open stable differential relation $R$ imposed on smooth maps of manifolds determines cohomology theories $k^*$ and…

In this note, we show that the obstruction classes of deforming vector forms on a compact K\"ahler manifold is annihilated by cohomology classes.

Let $G$ be a complex, connected, reductive algebraic group. In this paper we show analogues of the computations by Borho and MacPherson of the invariants and anti-invariants of the cohomology of the Springer fibres of the cone of nilpotent…

We give explicit formulas for the dimensions and the degrees of $A$-discriminant varieties introduced by Gelfand-Kapranov-Zelevinsky. Our formulas can be applied also to the case where the $A$-discriminant varieties are higher-codimensional…

Recent work by Abramsky and Brandenburger used sheaf theory to give a mathematical formulation of non-locality and contextuality. By adopting this viewpoint, it has been possible to define cohomological obstructions to the existence of…

Current continuous generative models (e.g., Diffusion Models, Flow Matching) implicitly assume that locally consistent causal mechanisms naturally yield globally coherent counterfactuals. In this paper, we prove that this assumption fails…

Let $L/K$ be an extension of number fields that is ramified above $p$. We give a new obstruction to the descent to $K$ of smooth projective varieties defined over $L$. The obstruction is a matrix of $p$-adic numbers that we call ``ramified…

The obstructions for an arbitrary fusion algebra to be a fusion algebra of some semisimple monoidal category are constructed. Those obstructions lie in groups which are closely related to the Hochschild cohomology of fusion algebras with…

We develop and exposit some general algebra useful for working with certain algebraic structures that arise in stable homotopy theory, such as those encoding well-behaved theories of power operations for $\mathbb{E}_\infty$ ring spectra. In…

For a fixed finite dimensional algebra $A$, we study representation embeddings of the form $mod(B)\rightarrow mod(A)$. Such an embedding is called homological, if it induces an isomorphism on all Ext-groups and weakly homological, if only…

We investigate the existence of 4-torsion in the integral cohomology of oriented Grassmannians. We prove a general criterion for the appearance of 4-torsion classes based on (twisted) Steenrod squares and show that there are many cases…

We describe the projectives in the category of functors from a graded poset to abelian groups. Based on this description we define a related condition, pseudo-projectivity, and we prove that this condition is enough for the vanishing of the…

Recently S. Patrikis, J.F. Voloch and Y. Zarhin have proven, assuming several well known conjectures, that the finite descent obstruction holds on the moduli space of principally polarised abelian varieties. We show an analogous result for…

Let P be a connected smooth p-manifold. We describe the group of all cobordism classes of smooth maps of n-manifolds to P with singularities of a given $cal K$-invariant class in terms of certain stable homotopy groups by applying the…