Related papers: Desingularization of binomial varieties using tori…

We present a geometric proof of the Poincar\'e-Dulac Normalization Theorem for analytic vector fields with singularities of Poincar\'e type. Our approach allows us to relate the size of the convergence domain of the linearizing…

We introduce exponential complexes of sheaves on manifolds. They are resolutions of the (Tate twisted) constant sheaves of the rational numbers, generalising the short exact exponential sequence. There are canonical maps from the…

We present an algorithm for computing line bundle valued cohomology classes over toric varieties. This is the basic starting point for computing massless modes in both heterotic and Type IIB/F-theory compactifications, where the manifolds…

Categorical resolution of singularities has been constructed in arXiv:1212.6170. It proceeds by alternating two steps of seemingly different nature. We show how to use the formalism of filtered derived categories to combine the two steps…

We construct an algebraic homology functor for Artin stacks of finite type over a field, and we develop intersection-theoretic properties.

We prove the generic base change theorem for stacks, and give an exposition on the lisse-analytic topos of complex analytic stacks, proving some comparison theorems between various derived categories of complex analytic stacks. This enables…

An enumerative problem on a variety $V$ is usually solved by reduction to intersection theory in the cohomology of a compactification of $V$. However, if the problem is invariant under a "nice" group action on $V$ (so that $V$ is…

We study the dependence of geometric quantization of the standard symplectic torus on the choice of invariant polarization. Real and mixed polarizations are interpreted as degenerate complex structures. Using a weak version of the equations…

In our previous paper an effective algorithm for inverting polynomial automorphisms was proposed. We extend its application to the case of formal power series over a field of arbitrary characteristic and illustrate the proposed approach…

Given a diagram of schemes, we can ask if a geometric object over one of them can be built from descent data (usually objects of the same type over the various other schemes in the diagram, together with compatibility isomorphisms). Using…

We consider the set of forms of a toric variety over an arbitrary field: those varieties which become isomorphic to a toric variety after base field extension. In contrast to most previous work, we also consider arbitrary isomorphisms…

Calculation of topological invariants for crystalline systems is well understood in reciprocal space, allowing for the topological classification of a wide spectrum of materials. In this work, we present a new technique based on the…

We introduce a notion of a Hodge-proper stack and extend the method of Deligne-Illusie to prove the Hodge-to-de Rham degeneration in this setting. In order to reduce the statement in characteristic $0$ to characteristic $p$, we need to find…

Birack modules are modules over an algebra Z[X] associated to a finite birack X. In previous work, birack module structures on Z mod n were used to enhance the birack counting invariant. In this paper, we use birack modules over Laurent…

We construct tree-decompositions of graphs that distinguish all their k-blocks and tangles of order k, for any fixed integer k. We describe a family of algorithms to construct such decompositions, seeking to maximize their diversity subject…

We explain how any Artin stack $\mathfrak{X}$ over $\mathbb{Q}$ extends to a functor on non-negatively graded commutative cochain algebras, which we think of as functions on Lie algebroids or stacky affine schemes. There is a notion of…

We give a valuative criterion for when a smooth algebraic stack with a separated good moduli space is the quotient of a separated Deligne-Mumford stack by a torus. For doing so, we introduce a new class of morphisms, the so-called effective…

We describe a class of toric varieties in the $N$-dimensional affine space which are minimally defined by no less than $N-2$ binomial equations.

This article contains an elementary constructive proof of resolution of singularities in characteristic zero. Our proof applies in particular to schemes of finite type and to analytic spaces (so we recover the great theorems of Hironaka).…

Tannaka Duality describes the relationship between algebraic objects in a given category and their representations; an important case is that of Hopf algebras and their categories of representations; these have strong monoidal forgetful…