Lie *-Nilpotence of Group Rings

Let KG be the group ring of a group G over a field K. Let * be an involution of a group G extended linearly to the group ring KG. Suppose that G is a torsion group without 2-elements and K is a field with characteristic different from 2. We prove that KG is Lie *-nilpotent if and only if KG is Lie nilpotent.     

Galois structure and de Rham invariants of elliptic curves

Let K be a number field with ring of integers OK. Suppose a finite group G acts numerically tamely on a regular scheme X over OK. One can then define a de Rham invariant class in the class group Cl(OK[G]), which is a refined Euler characteristic of the de Rham complex of X. Our results concern the classification of numerically tame actions and the de Rham invariant classes. We first describe how all Galois étale G-covers of a K-variety may be built up from finite Galois extensions of K and from geometric covers. When X is a curve of positive genus, we show that a given étale action of G on X extends to a numerically tame action on a regular model if and only if this is possible on the minimal model. Finally, we characterize the classes in Cl(OK[G]) which are realizable as the de Rham invariants for minimal models of elliptic curves when G has prime order.     

Proper smooth G-manifolds have complete G-invariant Riemannian metrics

Assume G is a Lie group, K is a compact subgroup of G and M is a proper smooth G-manifold. Using properties of the regular representations L²(G) and L²(K), we first prove results about extending certain representations and embedding homogeneous spaces smoothly into Hilbert G-spaces. We then prove that M can be embedded as a closed smooth G-invariant submanifold of some Hilbert G-space. It follows that M admits a complete G-invariant smooth Riemannian metric.     

Computing invariants of algebraic groups in arbitrary characteristic

Let G be an affine algebraic group acting on an affine variety X. We present an algorithm for computing generators of the invariant ring KG[X] in the case where G is reductive. Furthermore, we address the case where G is connected and unipotent, so the invariant ring need not be finitely generated. For this case, we develop an algorithm which computes KG[X] in terms of a so-called colon-operation. From this, generators of KG[X] can be obtained in finite time if it is finitely generated. Under the additional hypothesis that K[X] is factorial, we present an algorithm that finds a quasi-affine variety whose coordinate ring is KG[X]. Along the way, we develop some techniques for dealing with nonfinitely generated algebras. In particular, we introduce the finite generation ideal.     

Classes of Almost Clean Rings

A ring is clean (almost clean) if each of its elements is the sum of a unit (regular element) and an idempotent. A module is clean (almost clean) if its endomorphism ring is clean (almost clean). We show that every quasi-continuous and nonsingular module is almost clean and that every right CS (i.e. right extending) and right nonsingular ring is almost clean. As a corollary, all right strongly semihereditary rings, including finite AW ^*-algebras and noetherian Leavitt path algebras in particular, are almost clean. We say that a ring R is special clean (special almost clean) if each element a can be decomposed as the sum of a unit (regular element) u and an idempotent e with aR?∩?eR?=?0. The Camillo-Khurana Theorem characterizes unit-regular rings as special clean rings. We prove an analogous theorem for abelian Rickart rings: an abelian ring is Rickart if and only if it is special almost clean. As a corollary, we show that a right quasi-continuous and right nonsingular ring is left and right Rickart. If a special (almost) clean decomposition is unique, we say that the ring is uniquely special (almost) clean. We show that (1) an abelian ring is unit-regular (equiv. special clean) if and only if it is uniquely special clean, and that (2) an abelian and right quasi-continuous ring is Rickart (equiv. special almost clean) if and only if it is uniquely special almost clean. Finally, we adapt some of our results to rings with involution: a *-ring is *-clean (almost *-clean) if each of its elements is the sum of a unit (regular element) and a projection (self-adjoint idempotent). A special (almost) *-clean ring is similarly defined by replacing “idempotent” with “projection” in the appropriate definition. We show that an abelian *-ring is a Rickart *-ring if and only if it is special almost *-clean, and that an abelian *-ring is *-regular if and only if it is special *-clean.     

On Galois structure of the integers in elementary abelian extensions of local number fields

Let p be an odd prime number and k a finite extension of Qp. Let K/k be a totally ramified elementary abelian Kummer extension of degree p² with Galois group G. We determine the isomorphism class of the ring of integers in K as an oG-module under some assumptions. The obtained results imply there exist extensions whose rings are ZpG-isomorphic but not oG-isomorphic, where Zp is the ring of p-adic integers. Moreover we obtain conditions that the rings of integers are free over the associated orders and give extensions whose rings are not free.     

Abundance of hilbertian domains

We construct an abundance of Hilbertian domains: LetK be an abelian extension of ? such that {ord(a)|a εG(K/?)} is unbounded, let ? _K be its ring of integers, and lete ≥ 2 be an integer. Then, for almost all σ εG (?) ^e , each ring between ? _K andK · (σ) is Hilbertian.     

Gersten conjecture for equivariant K-theory and applications

For a reductive group scheme G over a regular semi-local ring A, we prove the Gersten conjecture for the equivariant K-theory. As a consequence, we show that if F is the field of fractions of A, then K^G₀(A) @ K^G₀(F){K^G_0(A) \cong K^G_0(F)}, generalizing the analogous result for a dvr by Serre (Inst Hautes études Sci Publ Math 34:37–52, 1968). We also show the rigidity for the K-theory with finite coefficients of a Henselian local ring in the equivariant setting. We use this rigidity theorem to compute the equivariant K-theory of algebraically closed fields.     

Von Neumann finite endomorphism rings

Let K be a field of characteristic zero, G a group acting on a nonempty set X and KX the permutation module induced by this action. By studying traces of idempotents, we prove that the endomorphism ring End_K[G](KX) is von Neumann finite under certain conditions for the action of G on X. This generalizes a classical result by Kaplansky for the group ring of G over K.     

On choosability of some complete multipartite graphs and Ohba's conjecture

A graph G is said to be chromatic-choosable if ch(G)=χ(G). Ohba has conjectured that every graph G with 2χ(G)+1 or fewer vertices is chromatic-choosable. It is clear that Ohba's conjecture is true if and only if it is true for complete multipartite graphs. But for complete multipartite graphs, the graphs for which Ohba's conjecture has been verified are nothing more than K_{3*2,2*(k-3),1}, K_3,2*(k-1), and K_{s+3,2*(k-s-1),1*s}. These results have been obtained indirectly from the investigation about complete multipartite graphs by Gravier and Maffray and by Enomoto et al. In this paper we show that Ohba's conjecture is true for complete multipartite graphs K_{4,3,2*(k-4),1*2} and K_{5,3,2*(k-5),1*3}. By the way, we give some discussions about a result of Enomoto et al.     

Equivariant collapses and the homotopy type of iterated clique graphs

The clique graph K(G) of a simple graph G is the intersection graph of its maximal complete subgraphs, and we define iterated clique graphs by K⁰(G)=G, Kⁿ⁺¹(G)=K(Kⁿ(G)). We say that two graphs are homotopy equivalent if their simplicial complexes of complete subgraphs are so. From known results, it can be easily inferred that Kⁿ(G) is homotopy equivalent to G for every n if G belongs to the class of clique-Helly graphs or to the class of dismantlable graphs. However, in both of these cases the collection of iterated clique graphs is finite up to isomorphism. In this paper, we show two infinite classes of clique-divergent graphs that satisfy G?Kⁿ(G) for all n, moreover Kⁿ(G) and G are simple-homotopy equivalent. We provide some results on simple-homotopy type that are of independent interest.     

Potentially good reduction of Barsotti-Tate groups

Let R be a complete discrete valuation ring of mixed characteristic (0,p) with perfect residue field, K the fraction field of R. Suppose G is a Barsotti-Tate group (p-divisible group) defined over K which acquires good reduction over a finite extension K^′ of K. We prove that there exists a constant c?2 which depends on the absolute ramification index e(K^′/Qp) and the height of G such that G has good reduction over K if and only if G[pc] can be extended to a finite flat group scheme over R. For abelian varieties with potentially good reduction, this result generalizes Grothendieck's “p-adic Néron-Ogg-Shafarevich criterion” to finite level. We use methods that can be generalized to study semi-stable p-adic Galois representations with general Hodge-Tate weights, and in particular leads to a proof of a conjecture of Fontaine and gives a constant c as above that is independent of the height of G.     

Skew Group Rings which are Semi-Hereditary Orders and Prüfer Orders in Simple Artinian Rings

Let R be a commutative ring, let G be a finite group acting on R as automorphisms of R and let R * G be the skew group ring. By using the decomposition subgroups of G, the inertial subgroups of G, the properties of the coefficient ring R and the properties of the fixed subring R ^G , some necessary and sufficient conditions for R * G to be a prime Goldie ring, a semi-hereditary order in a simple Artinian ring, or a Prüfer order in a simple Artinian ring are given.     

A new family of expansive graphs

An affine graph is a pair (G,σ) where G is a graph and σ is an automorphism assigning to each vertex of G one of its neighbors. On one hand, we obtain a structural decomposition of any affine graph (G,σ) in terms of the orbits of σ. On the other hand, we establish a relation between certain colorings of a graph G and the intersection graph of its cliques K(G). By using the results we construct new examples of expansive graphs. The expansive graphs were introduced by Neumann-Lara in 1981 as a stronger notion of the K-divergent graphs. A graph G is K-divergent if the sequence |V(Kⁿ(G))| tends to infinity with n, where Kⁿ⁺¹(G) is defined by Kⁿ⁺¹(G)=K(Kⁿ(G)) for n?1. In particular, our constructions show that for any k?2, the complement of the Cartesian product C^k, where C is the cycle of length 2k+1, is K-divergent.     

Equivariant cohomology of real flag manifolds

Let P=G/K be a semisimple non-compact Riemannian symmetric space, where G=I₀(P) and K=Gp is the stabilizer of p∈P. Let X be an orbit of the (isotropy) representation of K on Tp(P) (X is called a real flag manifold). Let K₀⊂K be the stabilizer of a maximal flat, totally geodesic submanifold of P which contains p. We show that if all the simple root multiplicities of G/K are at least 2 then K₀ is connected and the action of K₀ on X is equivariantly formal. In the case when the multiplicities are equal and at least 2, we will give a purely geometric proof of a formula of Hsiang, Palais and Terng concerning H^∗(X). In particular, this gives a conceptually new proof of Borel's formula for the cohomology ring of an adjoint orbit of a compact Lie group.     

Bounds on smooth matrix coefficients on L 2-spaces

Let G be a semisimple Lie group with a finite number of connected components and a finite center. Let K be a maximal compact subgroup. Let X be a smooth G-space equipped with a G-invariant measure. In this paper, we give upper bounds for K-finite and ${\mathfrak k}Let G be a semisimple Lie group with a finite number of connected components and a finite center. Let K be a maximal compact subgroup. Let X be a smooth G-space equipped with a G-invariant measure. In this paper, we give upper bounds for K-finite and \mathfrak k{\mathfrak k}-smooth matrix coefficients of the regular representation L ²(X) under an assumption about supp(L²(X)) ?[^(G)]_K{{\rm supp}(L^2(X)) \cap \hat G_K}. Furthermore, we show that this bound holds for unitary representations that are weakly contained in L ²(X). Our result generalizes a result of Cowling–Haagerup–Howe (J Reine Angew Math 387:97–110, 1988). As an example, we discuss the matrix coefficients of the O(p, q) representation L²(\mathbbR^p+q){L^2(\mathbb{R}^{p+q})}.     

Extension of finite solvable torsors over a curve

Let R be a complete discrete valuation ring with fraction field K and with algebraically closed residue field of positive characteristic p. Let X be a smooth fibered surface over R. Let G be a finite, étale and solvable K-group scheme and assume that either |G| = p ⁿ or G has a normal series of length 2. We prove that for every connected and pointed G-torsor Y over the generic fibre ${X_{\eta}}$ of X there exist a regular fibered surface ${\widetilde{X}}$ over R and a model map ${\widetilde{X}\to X}$ such that Y can be extended to a torsor over ${\widetilde{X}}$ possibly after extending scalars.     

A Fourier–Mukai approach to the K-theory of compact Lie groups

Let G be a compact, connected, simply-connected Lie group. We use the Fourier–Mukai transform in twisted K-theory to give a new proof of the ring structure of the K-theory of G.     

The clique operator on circular-arc graphs

A circular-arc graphG is the intersection graph of a collection of arcs on the circle and such a collection is called a model of G. Say that the model is proper when no arc of the collection contains another one, it is Helly when the arcs satisfy the Helly Property, while the model is proper Helly when it is simultaneously proper and Helly. A graph admitting a Helly (resp. proper Helly) model is called a Helly (resp. proper Helly) circular-arc graph. The clique graphK(G) of a graph G is the intersection graph of its cliques. The iterated clique graphKⁱ(G) of G is defined by K⁰(G)=G and Kⁱ⁺¹(G)=K(Kⁱ(G)). In this paper, we consider two problems on clique graphs of circular-arc graphs. The first is to characterize clique graphs of Helly circular-arc graphs and proper Helly circular-arc graphs. The second is to characterize the graph to which a general circular-arc graph K-converges, if it is K-convergent. We propose complete solutions to both problems, extending the partial results known so far. The methods lead to linear time recognition algorithms, for both problems.