Equivariant cohomology and localization for Lie algebroids

Let M be a manifold carrying the action of a Lie group G, and let A be a Lie algebroid on M equipped with a compatible infinitesimal G-action. Using these data, we construct an equivariant cohomology of A and prove a related localization formula for the case of compact G. By way of application, we prove an analog of the Bott formula.     

Connections and Higgs fields on a principal bundle

Let M be a compact connected Kähler manifold and G a connected linear algebraic group defined over \({\mathbb{C}}\) . A Higgs field on a holomorphic principal G-bundle ε _G over M is a holomorphic section θ of \(\text{ad}(\epsilon_{G})\otimes {\Omega}^{1}_{M}\) such that θ∧ θ = 0. Let L(G) be the Levi quotient of G and (ε _G (L(G)), θ _l ) the Higgs L(G)-bundle associated with (ε _G , θ). The Higgs bundle (ε _G , θ) will be called semistable (respectively, stable) if (ε _G (L(G)), θ _l ) is semistable (respectively, stable). A semistable Higgs G-bundle (ε _G , θ) will be called pseudostable if the adjoint vector bundle ad(ε _G (L(G))) admits a filtration by subbundles, compatible with θ, such that the associated graded object is a polystable Higgs vector bundle. We construct an equivalence of categories between the category of flat G-bundles over M and the category of pseudostable Higgs G-bundles over M with vanishing characteristic classes of degree one and degree two. This equivalence is actually constructed in the more general equivariant set-up where a finite group acts on the Kähler manifold. As an application, we give various equivalent conditions for a holomorphic G-bundle over a complex torus to admit a flat holomorphic connection.     

Extremely primitive groups and linear spaces

A non-regular primitive permutation group is called extremely primitive if a point stabilizer acts primitively on each of its nontrivial orbits. Let S be a nontrivial finite regular linear space and G ≤ Aut(S). Suppose that G is extremely primitive on points and let rank(G) be the rank of G on points. We prove that rank(G) ≥ 4 with few exceptions. Moreover, we show that Soc(G) is neither a sporadic group nor an alternating group, and G = PSL(2, q) with q + 1 a Fermat prime if Soc(G) is a finite classical simple group.     

Higher Auslander Correspondence for Dualizing <Emphasis Type="Italic">R</Emphasis>-Varieties

Let R be a commutative artinian ring. We extend higher Auslander correspondence from Artin R-algebras of finite representation type to dualizing R-varieties. More precisely, for a positive integer d, we show that a dualizing R-variety is d-abelian if and only if it is a d-Auslander dualizing R-variety if and only if it is equivalent to a d-cluster-tilting subcategory of the category of finitely presented modules over a dualizing R-variety.     

Orbit projections as fibrations

The orbit projection π: M → M/G of a proper G-manifold M is a fibration if and only if all points in M are regular. Under additional assumptions we show that π is a quasifibration if and only if all points are regular. We get a full answer in the equivariant category: π is a G-quasifibration if and only if all points are regular.     

A note on equivariant Euler characteristic

We give a new equivariant cohomological characterization of the equivariant Euler characteristic of aG-simplicial set as defined by Brown. This implies in particular that the equivariant Euler characteristic is aG-homotopy invariant.     

Stringy K-theory and the Chern character

We construct two new G-equivariant rings: \(\mathcal{K}(X,G)\), called the stringy K-theory of the G-variety X, and \(\mathcal{H}(X,G)\), called the stringy cohomology of the G-variety X, for any smooth, projective variety X with an action of a finite group G. For a smooth Deligne–Mumford stack \(\mathcal{X}\), we also construct a new ring \(\mathsf{K}_{\mathrm{orb}}(\mathcal{X})\) called the full orbifold K-theory of \(\mathcal{X}\). We show that for a global quotient \(\mathcal{X} = [X/G]\), the ring of G-invariants \(K_{\mathrm{orb}}(\mathcal{X})\) of \(\mathcal{K}(X,G)\) is a subalgebra of \(\mathsf{K}_{\mathrm{orb}}([X/G])\) and is linearly isomorphic to the “orbifold K-theory” of Adem-Ruan [AR] (and hence Atiyah-Segal), but carries a different “quantum” product which respects the natural group grading.We prove that there is a ring isomorphism \(\mathcal{C}\mathbf{h}:\mathcal{K}(X,G)\to\mathcal{H}(X,G)\), which we call the stringy Chern character. We also show that there is a ring homomorphism \(\mathfrak{C}\mathfrak{h}_\mathrm{orb}:\mathsf{K}_{\mathrm{orb}}(\mathcal{X}) \rightarrow H^\bullet_{\mathrm{orb}}(\mathcal{X})\), which we call the orbifold Chern character, which induces an isomorphism \(Ch_{\mathrm{orb}}:K_{\mathrm{orb}}(\mathcal{X})\rightarrow H^\bullet_{\mathrm{orb}}(\mathcal{X})\) when restricted to the sub-algebra \(K_{\mathrm{orb}}(\mathcal{X})\). Here \(H_{\mathrm{orb}}^\bullet(\mathcal{X})\) is the Chen–Ruan orbifold cohomology. We further show that \(\mathcal{C}\mathbf{h}\) and \(\mathfrak{C}\mathfrak{h}_\mathrm{orb}\) preserve many properties of these algebras and satisfy the Grothendieck–Riemann–Roch theorem with respect to étale maps. All of these results hold both in the algebro-geometric category and in the topological category for equivariant almost complex manifolds.We further prove that \(\mathcal{H}(X,G)\) is isomorphic to Fantechi and Göttsche’s construction [FG, JKK]. Since our constructions do not use complex curves, stable maps, admissible covers, or moduli spaces, our results greatly simplify the definitions of the Fantechi–Göttsche ring, Chen–Ruan orbifold cohomology, and the Abramovich–Graber–Vistoli orbifold Chow ring.We conclude by showing that a K-theoretic version of Ruan’s Hyper-Kähler Resolution Conjecture holds for the symmetric product of a complex projective surface with trivial first Chern class.     

Multiplicity and the pull-back problem

We discuss a formula of S. Spodzieja and generalize it for the isolated improper Achilles-Tworzewski-Winiarski intersection index. As an application we give a simple proof of a result of P. Ebenfelt and L. Rothschild: if \({F\colon (\mathbb{C}^m,0)\to (\mathbb{C}^m,0)}\) is a finite holomorphic map, W a germ of a complex variety at zero such that F ^?1(W) is a smooth germ and the Jacobian of F does not vanish identically on it, then W is smooth too.     

Groups Satisfying the Two-Prime Hypothesis with a Composition Factor Isomorphic to PSL<Subscript>2</Subscript>(<Emphasis Type="Italic">q</Emphasis>) for <Emphasis Type="Italic">q</Emphasis> ⩾ 7

Let G be a finite group and write cd(G) for the degree set of the complex irreducible characters of G. The group G is said to satisfy the two-prime hypothesis if for any distinct degrees a, b 2 cd(G), the total number of (not necessarily different) primes of the greatest common divisor gcd(a, b) is at most 2. We prove an upper bound on the number of irreducible character degrees of a nonsolvable group that has a composition factor isomorphic to PSL₂(q) for q ? 7.     

On the Automorphism Group of a Smooth Schubert Variety

Let G be a simple algebraic group of adjoint type over the field \(\mathbb {C}\) of complex numbers. Let B be a Borel subgroup of G containing a maximal torus T of G. Let w be an element of the Weyl group W and let X(w) be the Schubert variety in G/B corresponding to w. Let α ₀ denote the highest root of G with respect to T and B. Let P be the stabiliser of X(w) in G. In this paper, we prove that if G is simply laced and X(w) is smooth, then the connected component of the automorphism group of X(w) containing the identity automorphism equals P if and only if w ^?1(α ₀) is a negative root (see Theorem 4.2). We prove a partial result in the non simply laced case (see Theorem 6.6).     

Graphs of nonsolvable groups with four degree-vertices

Let G be a finite group. The degree(vertex) graph Γ(G) attached to G is a character degree graph.Its vertices are the degrees of the nonlinear irreducible complex characters of G, and different vertices m, n are adjacent if the greatest common divisor(m, n) 1. In this paper, we classify all graphs with four vertices that occur as Γ(G) for nonsolvable groups G.     

ON DE RHAM AND DOLBEAULT COHOMOLOGY OF SOLVMANIFOLDS

For a simply connected (non-nilpotent) solvable Lie group G with a lattice Γ the de Rham and Dolbeault cohomologies of the solvmanifold G/Γ are not in general isomorphic to the cohomologies of the Lie algebra g of G. In this paper we construct, up to a finite group, a new Lie algebra eg whose cohomology is isomorphic to the de Rham cohomology of G/Γ by using a modification of G associated with an algebraic sub-torus of the Zariski-closure of the image of the adjoint representation. This technique includes the construction due to Guan and developed by the first two authors. In this paper, we also give a Dolbeault version of such technique for complex solvmanifolds, i.e., for solvmanifolds endowed with an invariant complex structure. We construct a finite-dimensional cochain complex which computes the Dolbeault cohomology of a complex solvmanifold G/Γ with holomorphic Mostow bundle and we give a construction of a new Lie algebra \( \overset{\smile }{\mathfrak{g}} \) with a complex structure whose cohomology is isomorphic to the Dolbeault cohomology of G/Γ.     

Real <Emphasis Type="Italic">K</Emphasis>3 surfaces without real points,equivariant determinant of the Laplacian,and the Borcherds Φ-function

We consider an equivariant analogue of a conjecture of Borcherds. Let (Y, σ) be a real K3 surface without real points. We shall prove that the equivariant determinant of the Laplacian of (Y, σ) with respect to a σ-invariant Ricci-flat Kähler metric is expressed as the norm of the Borcherds Φ-function at the “period point”. Here the period of (Y, σ) is not the one in algebraic geometry.     

New characterization of <Emphasis Type="Italic">S</Emphasis><Subscript>4</Subscript>(<Emphasis Type="Italic">q</Emphasis>) by its noncommuting graph

Let G be a nonabelian group, and associate the noncommuting graph ?(G) with G as follows: the vertex set of ?(G) is G\Z(G) with two vertices x and y joined by an edge whenever the commutator of x and y is not the identity. Let S ₄(q) be the projective symplectic simple group, where q is a prime power. We prove that if G is a group with ?(G) ? ?(S ₄(q)) then G ? S ₄(q).     

Equivariant bundles and connections

Let X be a connected complex manifold equipped with a holomorphic action of a complex Lie group G. We investigate conditions under which a principal bundle on X admits a G-equivariance structure.     

Involutions of Type G<Subscript>2</Subscript> Over Fields of Characteristic Two

We continue a study of automorphisms of order 2 of algebraic groups. In particular we look at groups of type G₂ over fields k of characteristic two. Let C be an octonion algebra over k; then Aut(C) is a group of type G₂ over k. We characterize automorphisms of order 2 and their corresponding fixed point groups for Aut(C) by establishing a connection between the structure of certain four dimensional subalgebras of C and the elements in Aut(C) that induce inner automorphisms of order 2. These automorphisms relate to certain quadratic forms which, in turn, determine the Galois cohomology of the fixed point groups of the involutions. The characteristic two case is unique because of the existence of four dimensional totally singular subalgebras. Over finite fields we show how our results coincide with known results, and we establish a classification of automorphisms of order 2 over infinite fields of characteristic two.     

Polycyclic groups with automorphisms of order four

n this paper, we study the structure of polycyclic groups admitting an automorphism of order four on the basis of Neumann’s result, and prove that if α is an automorphism of order four of a polycyclic group G and the map φ: G → G defined by g^φ = [g,α] is surjective, then G contains a characteristic subgroup H of finite index such that the second derived subgroup H″ is included in the centre of H and C_H(α²) is abelian, both C_G(α²) and G/[G, α²] are abelian-by-finite. These results extend recent and classical results in the literature.     

On the rank of compact <Emphasis Type="Italic">p</Emphasis>-adic Lie groups

The rank of a profinite group G is the basic invariant \({{\rm rk}(G):={\rm sup}\{d(H) \mid H \leq G\}}\), where H ranges over all closed subgroups of G and d(H) denotes the minimal cardinality of a topological generating set for H. A compact topological group G admits the structure of a p-adic Lie group if and only if it contains an open pro-p subgroup of finite rank. For every compact p-adic Lie group G one has rk(G) ≥ dim(G), where dim(G) denotes the dimension of G as a p-adic manifold. In this paper we consider the converse problem, bounding rk(G) in terms of dim(G). Every profinite group G of finite rank admits a maximal finite normal subgroup, its periodic radical π(G). One of our main results is the following. Let G be a compact p-adic Lie group such that π(G) = 1, and suppose that p is odd. If \(\{g \in G \mid g^{p-1}=1 \}\) is equal to {1}, then rk(G) = dim(G).     

A note on infinite aS-groups

Let G be a group. If every nontrivial subgroup of G has a proper supplement, then G is called an aS-group. We study some properties of aS-groups. For instance, it is shown that a nilpotent group G is an aS-group if and only if G is a subdirect product of cyclic groups of prime orders. We prove that if G is an aS-group which satisfies the descending chain condition on subgroups, then G is finite. Among other results, we characterize all abelian groups for which every nontrivial quotient group is an aS-group. Finally, it is shown that if G is an aS-group and |G| ≠ pq, p, where p and q are primes, then G has a triple factorization.