Related papers: Smoothness of equivariant derived categories
On one hand, together with Pelle Steffens, we recently characterized the infinity category of derived manifolds up to equivalence by a universal property. On the other hand, it is shown in recent work of Behrend-Liao-Xu that the category of…
A graph G on omega_1 is called <omega-smooth if for each uncountable subset W of omega_1, G is isomorphic to G[W-W'] for some finite W'. We show that in various models of ZFC if a graph G is <omega-smooth then G is necessarily trivial, i.e,…
For a profinite group $G$, we define an $S[[G]]$-module to be a certain type of $G$-spectrum $X$ built from an inverse system $\{X_i\}_i$ of $G$-spectra, with each $X_i$ naturally a $G/N_i$-spectrum, where $N_i$ is an open normal subgroup…
A smooth cuboid can be identified with a $3\times 3$ matrix of linear forms, with coefficients in a field $K$, whose determinant describes a smooth cubic in the projective plane. To each such matrix one can associate a group scheme over…
We provide an equivalence between the category of affine, smooth group schemes over the ring of generalized dual numbers $k[I]$, and the category of extensions of the form $1 \rightarrow \text{Lie}(G, I) \rightarrow E \rightarrow G…
We develop an integral version of Deligne cohomology for smooth proper real varieties. For this purpose the role played by singular cohomology in the complex case has to be replaced by ordinary bigraded G-equivariant cohomology, where…
Let $A$ be a complex torus and $G$ a finite group acting on $A$ without translations such that $A/G$ is smooth. Consider the subgroup $F\leq G$ generated by elements that have at least one fixed point. We prove that there exists a point…
We introduce and study equivariant Seiberg-Witten invariants for $4$-manifolds equipped with a smooth action of a finite group $G$. Our invariants come in two types: cohomological, valued in the group cohomology of $G$ and $K$-theoretic,…
We start to study the problem of classifying smooth proper varieties over a field k from the standpoint of A^1-homotopy theory. Motivated by the topological theory of surgery, we discuss the problem of classifying up to isomorphism all…
In this paper, we introduce the theory of local cohomology and local duality to Notherian connected cochain DG algebras. We show that the notion of local cohomology functor can be used to detect the Gorensteinness of a homologically smooth…
Let X be a CW complex with a continuous action of a topological group G. We show that if X is equivariantly formal for singular cohomology with coefficients in a field, then so are all symmetric products of X and in fact all its…
We give a proof of Kontsevich's formality theorem for a general manifold using Fedosov resolutions of algebras of polydifferential operators and polyvector fields. The main advantage of our construction of the formality quasi-isomorphism is…
Let $X$ be a locally compact Hadamard space and $G$ be a totally disconnected group acting continuously, properly and cocompactly on $X$. We show that a closed subgroup of $G$ is amenable if and only if it is (topologically locally…
Let $G$ be a locally compact totally disconnected topological group. Under a necessary mild assumption, we show that the irreducible unitary representations of $G$ are uniformly admissible if and only if the irreducible smooth…
This paper obtains criteria for a Fano variety X with normal crossing singularities defined over an algebraically closed field of characteristic zero, to be smoothable. The difference with the original version is that the theory of…
For a $G$-variety $X$ with an open orbit, we define its boundary $\partial X$ as the complement of the open orbit. The action sheaf $S_X$ is the subsheaf of the tangent sheaf made of vector fields tangent to $\partial X$. We prove, for a…
We prove a decomposition theorem for the equivariant K-theory of actions of affine group schemes G of finite type over a field on regular separated noetherian algebraic spaces, under the hypothesis that the actions have finite geometric…
This monograph introduces a framework for genuine proper equivariant stable homotopy theory for Lie groups. The adjective `proper' alludes to the feature that equivalences are tested on compact subgroups, and that the objects are built from…
In this paper, twisted tensor product of DG algebras is studied and sufficient conditions for smoothness of such a product are given. It is shown that in the case of finite-dimensional DG algebras, applying this operation offers great…
Let $G$ be a simply connected Lie group with Lie algebra $\mathfrak{g}$ and denote by $\mathrm{C}_{\bullet}(G)$ the DG Hopf algebra of smooth singular chains on $G$. In a companion paper it was shown that the category of sufficiently smooth…