Related papers: Excision in equivariant fibred G-theory

Let $G$ be a connected reductive algebraic group. Let $\mathcal{E}\rightarrow \mathcal{B}$ be a principal $G\times G$-bundle and $X$ be a regular compactification of $G$. We describe the Grothendieck ring of the associated fibre bundle…

This paper exploits adjacencies between the orbits of an ordered set P and a consequence of the classification of finite simple groups to, in many cases, exponentially bound the number of automorphisms. Results clearly identify the…

In the mid 1980s, while working on establishing completion theorems for equivariant Algebraic K-Theory similar to the well-known completion theorems for equivariant topological K-theory, the late Robert Thomason found the strong finiteness…

Let X be an algebraic variety with an action of an algebraic group G. Suppose X has a full exceptional collection of sheaves, and these sheaves are invariant under the action of the group. We construct a semiorthogonal decomposition of…

One of the benefit properties implied by the extensionality axiom of Hilbert's epsilon calculus is that the calculus becomes complete with respect to the choice structures as semantics. Another implication of the axiom, discussed in the…

This short expository paper outlines applications of computer algebra to the implication problem of conditional independence for Gaussian random variables. We touch on certificates for validity and invalidity of inference rules from the…

In this thesis, we develop the theory of bifibrations of polycategories. We start by studying how to express certain categorical structures as universal properties by generalising the shape of morphism. We call this phenomenon…

Let $X$ be a smooth complex projective algebraic variety. Let $\mathcal{G}$ be a $G$-banded gerbe with $G$ a finite abelian group. We prove an exact formula expressing genus $g$ orbifold Gromov-Witten invariants of $\mathcal{G}$ in terms of…

We construct an equivariant algebraic cobordism theory for schemes with an action by a linear algebraic group over a field of characteristic zero.

In this paper, for a given finitely generated algebra (an algebraic structure with arbitrary operations and no predicates) A we study finitely generated limit algebras of A, approaching them via model theory and algebraic geometry. Along…

Under some positivity assumptions, extension properties of rationally connected fibrations from a submanifold to its ambient variety are studied. Given a family of rational curves on a complex projective manifold X inducing a covering…

We present a general construction of the derived category of an algebra over an operad and establish its invariance properties. A central role is played by the enveloping operad of an algebra over an operad.

In this paper we study possibilities of interpolation and symbol elimination in extensions of a theory $\mathcal{T}_0$ with additional function symbols whose properties are axiomatised using a set of clauses. We analyze situations in which…

We show that the theory of derivators (or, more generally, of fibered multiderivators) on all small categories is equivalent to this theory on partially ordered sets, in the following sense: Every derivator (more generally, every fibered…

In mathematics and engineering, control theory is concerned with the analysis of dynamical systems through the application of suitable control inputs. One of the prominent problems in control theory is controllability which concerns the…

For a relatively minimal surface fibration $f: X\to C$, the equivariant automorphism group of $f$ is, roughly speaking, the group of automorphisms of $X$ preserving the fibration structure. We present a classification of such fibrations of…

The usual notion of a site fibred over a stack is expanded to a definition of a site C/A fibred over a presheaf of categories A. Presheaves of simplicial sets on the site fibred over a presheaf of categories A are contravariant enriched…

If $\Gamma $ is a group, then braided $\Gamma $-crossed modules are classified by braided strict $\Gamma $-graded categorial groups. The Schreier theory obtained for $\Gamma $-module extensions of the type of an abelian $\Gamma $-crossed…

This paper presents a unified framework for dealing with a deduction system and a denotational semantics of exceptions. It is based on the fact that handling exceptions can be seen as a kind of generalized case distinction. This point of…

We develop a theory of equivariant factorization algebras on varieties with an action of a connected algebraic group $G$, extending the definitions of Francis-Gaitsgory [FG] and Beilinson-Drinfeld [BD1] to the equivariant setting. We define…