Results 11  20
of
683
The equivariant generating hypothesis
 Algebraic & Geometric Topology
"... compact Lie group G and prove that if G is finite, then the generating hypothesis implies the strong generating hypothesis, just as in the nonequivariant case. We also give an explicit counterexample to the generating hypothesis in the category of rational S1–equivariant spectra. 55P91; 55P42 1 The ..."
Abstract

Cited by 4 (0 self)
 Add to MetaCart
compact Lie group G and prove that if G is finite, then the generating hypothesis implies the strong generating hypothesis, just as in the nonequivariant case. We also give an explicit counterexample to the generating hypothesis in the category of rational S1–equivariant spectra. 55P91; 55P42 1
FIXED POINT INDEX FOR GEQUIVARIANT MULTIVALUED MAPS
"... The goal of this paper is to extend the construction of the index, which was defined for a class of nonacyclic multivalued maps in [6], to the Gequivariant case (G is a finite group). Our index λG(Φ) is an element of the Burnside ring A(G). We use some properties of the Burnside ring to prove sever ..."
Abstract
 Add to MetaCart
The goal of this paper is to extend the construction of the index, which was defined for a class of nonacyclic multivalued maps in [6], to the Gequivariant case (G is a finite group). Our index λG(Φ) is an element of the Burnside ring A(G). We use some properties of the Burnside ring to prove
The Complexity of Equivariant Unification
 In Proceedings of the 31st International Colloquium on Automata, Languages and Programming (ICALP 2004), volume 3142 of LNCS
"... Nominal logic is a firstorder theory of names and binding based on a primitive operation of swapping rather than substitution. Urban, Pitts, and Gabbay have developed a nominal unification algorithm that unifies terms up to nominal equality. However, because of nominal logic's equivariance pri ..."
Abstract

Cited by 32 (7 self)
 Add to MetaCart
one of the terms is essentially firstorder, equivariant and nominal unification coincide. This shows that equivariant unification can be performed efficiently in many interesting common cases: for example, anypurely firstorder logic program or rewrite system can be run efficiently on nominal terms.
Conformally equivariant quantization: Existence and uniqueness
"... We prove the existence and the uniqueness of a conformally equivariant symbol calculus and quantization on any conformally flat pseudoRiemannian manifold (M,g). In other words, we establish a canonical isomorphism between the spaces of polynomials on T ∗ M and of differential operators on tensor de ..."
Abstract

Cited by 58 (10 self)
 Add to MetaCart
We prove the existence and the uniqueness of a conformally equivariant symbol calculus and quantization on any conformally flat pseudoRiemannian manifold (M,g). In other words, we establish a canonical isomorphism between the spaces of polynomials on T ∗ M and of differential operators on tensor
Topology of spaces of equivariant symplectic embeddings
 Proc. Amer. Math. Soc. 135 (2007) 277–288. 10 ALESSIO FIGALLI ÁLVARO PELAYO
"... Abstract We compute the homotopy type of the space of T n equivariant symplectic embeddings from the standard 2ndimensional ball of some fixed radius into a 2ndimensional symplectictoric manifold (M, σ), and use this computation to define a Z ≥0 valued step function on R ≥0 which is an invarian ..."
Abstract

Cited by 8 (3 self)
 Add to MetaCart
is an invariant of the symplectictoric type of (M, σ). We conclude with a discussion of the partially equivariant case of this result. The main theorem Let (M, σ) be a 2ndimensional symplectic manifold and write B r for the compact 2nball of radius r > 0 in the complex space C n equipped
Chiral Equivariant Cohomology I
, 2005
"... For a smooth manifold equipped with a compact Lie group action, we construct an equivariant cohomology theory which takes values in a vertex algebra, and contains the classical equivariant cohomology as a subalgebra. The main idea is to synthesize the algebraic approach to the classical equivariant ..."
Abstract

Cited by 18 (7 self)
 Add to MetaCart
cohomology, and the ChernWeil map. We derive a spectral sequence, in the abelian case, which is analogous to the wellknown spectral sequence for the Cartan model. We give interesting cohomology classes in the new equivariant cohomology theory that have no classical analogue.
Equivariant de Rham theory and graphs
 Asian J. Math
, 1999
"... Abstract. Goresky, Kottwitz and MacPherson have recently shown that the computation of the equivariant cohomology ring of a Gmanifold can be reduced to a computation in graph theory. This opens up the possibility that many of the fundamental theorems in equivariant de Rham theory may, on closer ins ..."
Abstract

Cited by 47 (9 self)
 Add to MetaCart
Abstract. Goresky, Kottwitz and MacPherson have recently shown that the computation of the equivariant cohomology ring of a Gmanifold can be reduced to a computation in graph theory. This opens up the possibility that many of the fundamental theorems in equivariant de Rham theory may, on closer
EQUIVARIANT COVERING SPACES AND HOMOTOPY COVERING SPACES
"... Abstract. Nonequivariantly, covering spaces over a connected (locally nice) space X are in onetoone correspondence with actions of the fundamental group of X on discrete sets. For nonconnected spaces we consider instead actions of the fundamental groupoid. In this paper we generalize to the equiv ..."
Abstract
 Add to MetaCart
to the equivariant case, showing that we can use either of two possible notions of action of the equivariant fundamental groupoid. We consider both equivariant covering spaces and the more general notion of equivariant homotopy covering spaces. 1.
EQUIVARIANT SHEAVES ON FLAG VARIETIES
, 2008
"... We show that the Borelequivariant derived category of sheaves on the flag variety of a complex reductive group is equivalent to the perfect derived category of dg modules over the extension algebra of the direct sum of the simple equivariant perverse sheaves. This proves a conjecture of Soergel an ..."
Abstract

Cited by 9 (1 self)
 Add to MetaCart
We show that the Borelequivariant derived category of sheaves on the flag variety of a complex reductive group is equivalent to the perfect derived category of dg modules over the extension algebra of the direct sum of the simple equivariant perverse sheaves. This proves a conjecture of Soergel
Results 11  20
of
683