Related papers: Some remarks about deformation theory and formalit…
Building on the theory of parity sheaves due to Juteau-Mautner-Williamson, we develop a formalism of "mixed modular perverse sheaves" for varieties equipped with a stratification by affine spaces. We then give two applications: (1) a…
For a del Pezzo surface of degree $\geq 3$, we compute the oscillatory integral for its mirror Landau-Ginzburg model in the sense of Gross-Hacking-Keel [Mark Gross, Paul Hacking, and Sean Keel, "Mirror symmetry for log Calabi-Yau surfaces…
We introduce the notion of induced automorphisms in order to state a criterion to determine whether a given automorphism on a manifold of $K3^{[n]}$ type is, in fact, induced by an automorphism of a $K3$ surface and the manifold is a moduli…
In the large rank limit, for any nonexceptional affine algebra, the graded branching multiplicities known as one-dimensional sums, are conjectured to have a simple relationship with those of type A, which are known as generalized Kostka…
Let u be a local homomorphism of noetherian local rings forming part of a commutative square vf=gu. We give some conditions on the square which imply that u is formally smooth. This result encapsulates a variety of (apparently unrelated)…
We prove Tsygan's formality conjecture for Hochschild chains of the algebra of functions on an arbitrary smooth manifold M using the Fedosov resolutions proposed in math.QA/0307212 and the formality quasi-isomorphism for Hochschild chains…
In this article we show that some of the recent results of Marino, Moore, and Peradze (math.DG/9812042, hep-th/9812055) -- in particular their conjecture that all closed, smooth four-manifolds with b_2^+ > 1 (and Seiberg-Witten simple type)…
Every indefinite binary form occurs as the Picard lattice of some K3-surface. The group of its isometries, or automorphs, coincides with the automorphism group of the K3-surface, but only up to finite groups. The classical theory of…
We formulate a tropical analogue of Grothendieck's section conjecture: that for every stable graph G of genus g>2, and every field k, the generic curve with reduction type G over k satisfies the section conjecture. We prove many cases of…
In this article we study the K- and L-theory of groups acting on trees. We consider the problem in the context of the fibered isomorphism conjecture of Farrell and Jones. We show that in the class of residually finite groups it is enough to…
We prove a relative version of Kontsevich's formality theorem. This theorem involves a manifold M and a submanifold C and reduces to Kontsevich's theorem if C=M. It states that the DGLA of multivector fields on an infinitesimal…
Let $$1 \to H \to G \to Q \to 1$$ be an exact sequence where $H= \pi_1(S)$ is the fundamental group of a closed surface $S$ of genus greater than one, $G$ is hyperbolic and $Q$ is finitely generated free. The aim of this paper is to provide…
We investigate Manin's conjecture for del Pezzo surfaces of degree five with a conic bundle structure, proving matching upper and lower bounds, and the full conjecture in the Galois general case.
For a complete discrete valuation field $K$, we show that one may always glue a separated formal algebraic space $\mathfrak{X}$ over $\mathcal{O}_K$ to a separated algebraic space $U$ over $K$ along an open immersion of rigid spaces…
We extend the Kontsevich formality $L_\infty$-morphism $\U\colon T^\ndot_\poly(\R^d)\to\D^\ndot_\poly(\R^d)$ to an $L_\infty$-morphism of an $L_\infty$-modules over $T^\ndot_\poly(\R^d)$, $\hat \U\colon C_\ndot(A,A)\to\Omega^\ndot(\R^d)$,…
O'Grady's generalized Franchetta conjecture asks whether any codimension two cycle on the universal polarized K3 surface restricts to a multiple of the Beauville--Voisin class on a given K3 surface. We apply Mukai's program for genus 11…
We give a criterion for two l-adic Galois representations of an algebraic number field to be isomorphic when restricted to a decomposition group, in terms of the global representations mod l. This is applied to prove a generalization of a…
In his work on birational classification of foliations on projective surfaces, Brunella showed that every regular foliation on a rational surface is algebraically integrable with rational leaves. This led Touzet to conjecture that every…
In the case of spherical varieties with reductive general isotropy group we prove a conjecture of G. Gagliardi and J. Hofscheier, which implies the generalized Mukai conjecture of L. Bonavero, C. Casagrande, O. Debarre and S. Druel for…
In this paper we introduce a new formalism for $K$-theory, called squares $K$-theory. This formalism allows us to simultaneously generalize the usual three-term relation $[B] = [A] + [C]$ for an exact sequence $A \hookrightarrow B…