Related papers: Sheaves of G-structures and generic G-models
Our aim is to give a fairly complete account on the construction of compatible model structures on exact categories and symmetric monoidal exact categories, in some cases generalizing previously known results. We describe the close…
For any first order theory T we construct a Boolean valued model M, in which precisely the T--provable formulas hold, and in which every (Boolean valued) subset which is invariant under all automorphisms of M is definable by a first order…
This paper presents a model structure for natural transformations of diagrams of simplicial presheaves of a fixed shape, in which the weak equivalences are defined by analogy with pro-equivalences between pro-objects.
We introduce the notion of a "baric structure" on a triangulated category, as an abstraction of S. Morel's weight truncation formalism for mixed l-adic sheaves. We study these structures on the derived category D_G(X) of G-equivariant…
The contribution of this article is quadruple. It (1) unifies various schemes of premodels/models including situations such as presheaves/sheaves, sheaves/flabby sheaves, prespectra/$\Omega$-spectra, simplicial topological spaces/(complete)…
For a finite group G, we introduce the complete suboperad $Q_G$ of the categorical G-Barratt-Eccles operad $P_G$. We prove that $P_G$ is not finitely generated, but $Q_G$ is finitely generated and is a genuine $E_\infty$ G-operad (i.e., it…
We present a uniform theory of constructible sheaves on arbitrary schemes with coefficients in topological or even condensed rings. This is accomplished by defining lisse sheaves to be the dualizable objects in the derived infinity-category…
If C is the model category of simplicial presheaves on a site with enough points, with fibrations equal to the global fibrations, then it is well-known that the fibrant objects are, in general, mysterious. Thus, it is not surprising that,…
We study model theory of actions of finite groups on substructures of a stable structure. We give an abstract description of existentially closed actions as above in terms of invariants and PAC structures. We show that if the corresponding…
The study of $G$-equivariant operators is of great interest to explain and understand the architecture of neural networks. In this paper we show that each linear $G$-equivariant operator can be produced by a suitable permutant measure,…
In this paper a method of constructing a semiorthogonal decomposition of the derived category of $G$-equivariant sheaves on a variety $X$ is described, provided that the derived category of sheaves on $X$ admits a semiorthogonal…
We discuss what is known about the structure of the bounded derived categories of coherent sheaves on Grassmannians of simple algebraic groups.
Let T be a compact torus and X a nice compact T-space (say a manifold or variety). We introduce a functor assigning to X a "GKM-sheaf" F_X over a "GKM-hypergraph" G_X. Under the condition that X is equivariantly formal, the ring of global…
We compare two notions of $G$-fiber bundles and $G$-principal bundles in the literature, with an aim to clarify early results in equivariant bundle theory that are needed in current work of equivariant algebraic topology. We also give…
We survey structures endowed with natural partial orderings and prove their universality. These partial orders include partial orders on sets of words, partial orders formed by geometric objects, grammars, polynomials and homomorphism order…
A homogenizable structure $\mathcal{M}$ is a structure where we may add a finite amount of new relational symbols to represent some $\emptyset-$definable relations in order to make the structure homogeneous. In this article we will divide…
Fix a finite group $G$. We seek to classify varieties with $G$-action equivariantly birational to a representation of $G$ on affine or projective space. Our focus is odd-dimensional smooth complete intersections of two quadrics, relating…
We give a concrete description of the category of G-equivariant vector bundles on certain affine G-varieties (where G is a reductive linear algebraic group over an algebraically closed field of characteristic 0) in terms of linear algebra…
The theory of principal $G$-bundles over a Lie groupoid is an important one, unifying the various types of principal $G$-bundles, including those over manifolds, those over orbifolds, as well as equivariant principal $G$-bundles. In this…
The classical integral localization formula for equivariantly closed forms (Theorem 7.11 in [BGV]) is well-known and requires the acting Lie group to be compact. It is restated here as Theorem 2. In this article we extend this result to…