On loxodromic actions of Artin–Tits groups

Artin–Tits groups act on a certain delta-hyperbolic complex, called the “additional length complex”. For an element of the group, acting loxodromically on this complex is a property analogous to the property of being pseudo-Anosov for elements of mapping class groups. By analogy with a well-known conjecture about mapping class groups, we conjecture that “most” elements of Artin–Tits groups act loxodromically. More precisely, in the Cayley graph of a subgroup G of an Artin–Tits group, the proportion of loxodromically acting elements in a ball of large radius should tend to one as the radius tends to infinity. In this paper, we give a condition guaranteeing that this proportion stays away from zero. This condition is satisfied e.g. for Artin–Tits groups of spherical type, their pure subgroups and some of their commutator subgroups.     

Asymptotic Curvature of Moduli Spaces for Calabi–Yau Threefolds

Motivated by the classical statements of Mirror Symmetry, we study certain Kähler metrics on the complexified Kähler cone of a Calabi–Yau threefold, conjecturally corresponding to approximations to the Weil–Petersson metric near large complex structure limit for the mirror. In particular, the naturally defined Riemannian metric (defined via cup-product) on a level set of the Kähler cone is seen to be analogous to a slice of the Weil–Petersson metric near large complex structure limit. This enables us to give counterexamples to a conjecture of Ooguri and Vafa that the Weil–Petersson metric has non-positive scalar curvature in some neighborhood of the large complex structure limit point.     

The Tate conjecture for K3 surfaces over finite fields

Artin’s conjecture states that supersingular K3 surfaces over finite fields have Picard number 22. In this paper, we prove Artin’s conjecture over fields of characteristic p≥5. This implies Tate’s conjecture for K3 surfaces over finite fields of characteristic p≥5. Our results also yield the Tate conjecture for divisors on certain holomorphic symplectic varieties over finite fields, with some restrictions on the characteristic. As a consequence, we prove the Tate conjecture for cycles of codimension 2 on cubic fourfolds over finite fields of characteristic p≥5.     

关于有限维数猜想的一些新进展

在Artin代数的表示理论中,有一个著名的有限维数猜想：任意给定一个Artin代数,它的有限维数都是有限的．这个猜想已有45年的历史,至今悬而未决．本文主要综述它的一些历史发展情况,并介绍关于有限维数猜想的一些最新进展．     

Configuration spaces of labeled particles and finite Eilenberg-MacLane complexes

For any Coxeter system (W, S), the group W acts naturally on the complement of the associated complex hyperplane arrangement. By the well-known conjecture, the orbit space of this action is the classifying space of the corresponding Artin group. We describe some properties of configuration spaces of particles labeled by elements of a partial monoid and use them to prove that the orbit space mentioned in the conjecture is the classifying space of the positive Artin monoid. In particular, the conjecture reduces to a problem concerning the group completion of this monoid.     

Twisted rings and moduli stacks of “fat” point modules in non-commutative projective geometry

The Hilbert scheme of point modules was introduced by Artin–Tate–Van den Bergh to study non-commutative graded algebras. The key tool is the construction of a map from the algebra to a twisted ring on this Hilbert scheme. In this paper, we study moduli stacks of more general “fat” point modules, and show that there is a similar map to a twisted ring associated to the stack. This is used to provide a sufficient criterion for a non-commutative projective surface to be birationally PI. It is hoped that such a criterion will be useful in understanding Mike Artin?s conjecture on the birational classification of non-commutative surfaces.     

A Singular Analogue of Gersten's Conjecture and Applications to K-theoretic Adèles

The first part of this article introduces an analogue, for one-dimensional, singular, complete local rings, of Gersten's injectivity conjecture for discrete valuation rings. Our first main result is the verification of this conjecture when the ring is reduced and contains ?, using methods from cyclic/Hochschild homology and Artin–Rees results due to A. Krishna.

The second part of the article describes the relationship between adelic resolutions of K-theory sheaves on a one-dimensional scheme and properties of K-theory such as localization and descent. In particular, we construct a new resolution of Nisnevich sheafified K-theory, conditionally upon the aforementioned conjecture.     

Surgery groups of the fundamental groups of hyperplane arrangement complements

Using a recent result of Bartels and Lück (The Borel conjecture for hyperbolic and CAT(0)-groups (preprint) \({{\tt arXiv:0901.0442v1}}\)) we deduce that the Farrell–Jones Fibered Isomorphism conjecture in \({L^{\langle -\infty \rangle}}\)-theory is true for any group which contains a finite index strongly poly-free normal subgroup, in particular, for the Artin full braid groups. As a consequence we explicitly compute the surgery groups of the Artin pure braid groups. This is obtained as a corollary to a computation of the surgery groups of a more general class of groups, namely for the fundamental group of the complement of any fiber-type hyperplane arrangement in \({{\mathbb C}^n}\).     

Parabolic subgroups in FC-type Artin groups

Parabolic subgroups are the building blocks of Artin groups. This paper extends previous results of Cumplido, Gebhardt, Gonzales-Meneses and Wiest, known only for parabolic subgroups of finite type Artin groups, to parabolic subgroups of FC-type Artin groups. We show that the class of finite type parabolic subgroups is closed under intersection. We also study an analog of the curve complex for mapping class group constructed by Cumplido et al. using parabolic subgroups. We extend the construction of this complex, called the complex of parabolic subgroups, to FC-type Artin groups. We show that this simplicial complex is, in most cases, infinite diameter and conjecture that it is δ-hyperbolic.     

Extreme Values of Artin L-Functions and Class Numbers

Assuming the generalized Riemann hypothesis (GRH) and Artin conjecture for Artin L-functions, we prove that there exists a totally real number field of any fixed degree (>1) with an arbitrarily large discriminant whose normal closure has the full symmetric group as Galois group and whose class number is essentially as large as possible. One ingredient is an unconditional construction of totally real fields with small regulators. Another is the existence of Artin L-functions with large special values. Assuming the GRH and Artin conjecture it is shown that there exist an Artin L-functions with arbitrarily large conductor whose value at s=1 is extremal and whose associated Galois representation has a fixed image, which is an arbitrary nontrivial finite irreducible subgroup of GL(n, ) with property Gal _T .     

Generalized Auslander-Reiten Conjecture and Derived Equivalences

In this note, we prove that the generalized Auslander-Reiten conjecture is preserved under derived equivalences between Artin algebras.     

A note on the Auslander-Reiten conjecture

It is proved that the Auslander-Reiten conjecture is true for local Artin algebras with radical cube zero.     

Presentations of subgroups of the braid group generated by powers of band generators

According to the Tits conjecture proved by Crisp and Paris (2001) [4], the subgroups of the braid group generated by proper powers of the Artin elements σi are presented by the commutators of generators which are powers of commuting elements. Hence they are naturally presented as right-angled Artin groups.The case of subgroups generated by powers of the band generators aij is more involved. We show that the groups are right-angled Artin groups again, if all generators are proper powers with exponent at least 3. We also give a presentation in cases at the other extreme, when all generators occur with exponent 1 or 2. Such presentations are distinctively more complicated than those of right-angled Artin groups.     

Finitistic Dimensions of Artin Algebras with Two Simples and a Conjecture of Marczinzik

Let Λ be an Artin algebra with a unique non-injective indecomposable projective module. In this situation, Marczinzik conjectured that the dominant dimension of Λ agrees with its finitistic dimension. In this paper, we give a proof of a stronger statement. As a byproduct, we obtain excellent control over the finitistic dimensions of Artin algebras with two simples and positive dominant dimension, and also establish the Gorenstein symmetry conjecture for all algebras under consideration.

     

Derived equivalences and Cohen-Macaulay Auslander algebras

Let A and B be Artin R-algebras of finite Cohen-Macaulay type. Then we prove that, if A and B are standard derived equivalent, then their Cohen-Macaulay Auslander algebras are also derived equivalent. And we show that Gorenstein projective conjecture is an invariant under standard derived equivalence between Artin R-algebras.     

The strong Atiyah conjecture for right-angled Artin and Coxeter groups

We prove the strong Atiyah conjecture for right-angled Artin groups and right-angled Coxeter groups. More generally, we prove it for groups which are certain finite extensions or elementary amenable extensions of such groups.     

Lattices of minimum covolume are non-uniform

In this article, we prove that a lattice of minimum covolume in a simple Lie group over a local field of positive characteristic is non-uniform if the Weil’s conjecture on Tamagawa numbers [Wei61] holds. This, in part, answers Lubotzky’s conjecture [Lub91].     

Icosahedral galois extensions and elliptic curves

Summary This paper is devoted to the last unsolved case of the Artin Conjecture in two dimensions. Given an irreducible 2-dimensional complex representation of the absolute Galois group of a number fieldF, the Artin Conjecture states that the associatedL-series is entire. The conjecture has been proved for all cases except the icosahedral one. In this paper we construct icosahedral representations of the absolute Galois group of ℚ(√5) by means of 5-torsion points of an elliptic curve defined over ℚ. We compute the L-series explicitely as an Euler product, giving algorithms for determining the factors at the difficult primes. We also prove a formula for the conductor of the elliptic representation. A feasible way of proving the Artin Conjecture in a given case is to construct a modular form whose L-series matches the one obtained from the representation. In this paper we obtain the following result: letρ be an elliptic Galois representation over ℚ(√5) of the type above, and letL(s, ρ) be the corresponding L-series. If there exists a Hilbert modular formf of weight one such thatL(s, f) ≡L(s, ρ) modulo a certain ideal above (√5), then the Artin conjecture is true forρ. This article was processed by the author using the LATEX style filecljour1m from Springer-Verlag.     

On the local quotient structure of Artin stacks

We show that near closed points with linearly reductive stabilizer, Artin stacks are formally locally quotient stacks by the stabilizer. We conjecture that the statement holds étale locally and we provide some evidence for this conjecture. In particular, we prove that if the stabilizer of a point is linearly reductive, the stabilizer acts algebraically on a miniversal deformation space, generalizing the results of Pinkham and Rim. We provide a generalization and stack-theoretic proof of Luna’s étale slice theorem which shows that GIT quotient stacks are étale locally quotients stacks by the stabilizer.     

Improvements of the Weil bound for Artin–Schreier curves

For the Artin–Schreier curve y ^q ? y = f(x) defined over a finite field \({{\mathbb F}_q}\) of q elements, the celebrated Weil bound for the number of \({{\mathbb F}_{q^r}}\)-rational points can be sharp, especially in super-singular cases and when r is divisible. In this paper, we show how the Weil bound can be significantly improved, using ideas from moment L-functions and Katz’s work on ?-adic monodromy calculations. Roughly speaking, we show that in favorable cases (which happens quite often), one can remove an extra \({\sqrt{q}}\) factor in the error term.