-
Gemma 2: Improving Open Language Models at a Practical Size
Authors:
Gemma Team,
Morgane Riviere,
Shreya Pathak,
Pier Giuseppe Sessa,
Cassidy Hardin,
Surya Bhupatiraju,
Léonard Hussenot,
Thomas Mesnard,
Bobak Shahriari,
Alexandre Ramé,
Johan Ferret,
Peter Liu,
Pouya Tafti,
Abe Friesen,
Michelle Casbon,
Sabela Ramos,
Ravin Kumar,
Charline Le Lan,
Sammy Jerome,
Anton Tsitsulin,
Nino Vieillard,
Piotr Stanczyk,
Sertan Girgin,
Nikola Momchev,
Matt Hoffman
, et al. (172 additional authors not shown)
Abstract:
In this work, we introduce Gemma 2, a new addition to the Gemma family of lightweight, state-of-the-art open models, ranging in scale from 2 billion to 27 billion parameters. In this new version, we apply several known technical modifications to the Transformer architecture, such as interleaving local-global attentions (Beltagy et al., 2020a) and group-query attention (Ainslie et al., 2023). We al…
▽ More
In this work, we introduce Gemma 2, a new addition to the Gemma family of lightweight, state-of-the-art open models, ranging in scale from 2 billion to 27 billion parameters. In this new version, we apply several known technical modifications to the Transformer architecture, such as interleaving local-global attentions (Beltagy et al., 2020a) and group-query attention (Ainslie et al., 2023). We also train the 2B and 9B models with knowledge distillation (Hinton et al., 2015) instead of next token prediction. The resulting models deliver the best performance for their size, and even offer competitive alternatives to models that are 2-3 times bigger. We release all our models to the community.
△ Less
Submitted 2 August, 2024; v1 submitted 31 July, 2024;
originally announced August 2024.
-
RecurrentGemma: Moving Past Transformers for Efficient Open Language Models
Authors:
Aleksandar Botev,
Soham De,
Samuel L Smith,
Anushan Fernando,
George-Cristian Muraru,
Ruba Haroun,
Leonard Berrada,
Razvan Pascanu,
Pier Giuseppe Sessa,
Robert Dadashi,
Léonard Hussenot,
Johan Ferret,
Sertan Girgin,
Olivier Bachem,
Alek Andreev,
Kathleen Kenealy,
Thomas Mesnard,
Cassidy Hardin,
Surya Bhupatiraju,
Shreya Pathak,
Laurent Sifre,
Morgane Rivière,
Mihir Sanjay Kale,
Juliette Love,
Pouya Tafti
, et al. (37 additional authors not shown)
Abstract:
We introduce RecurrentGemma, a family of open language models which uses Google's novel Griffin architecture. Griffin combines linear recurrences with local attention to achieve excellent performance on language. It has a fixed-sized state, which reduces memory use and enables efficient inference on long sequences. We provide two sizes of models, containing 2B and 9B parameters, and provide pre-tr…
▽ More
We introduce RecurrentGemma, a family of open language models which uses Google's novel Griffin architecture. Griffin combines linear recurrences with local attention to achieve excellent performance on language. It has a fixed-sized state, which reduces memory use and enables efficient inference on long sequences. We provide two sizes of models, containing 2B and 9B parameters, and provide pre-trained and instruction tuned variants for both. Our models achieve comparable performance to similarly-sized Gemma baselines despite being trained on fewer tokens.
△ Less
Submitted 28 August, 2024; v1 submitted 11 April, 2024;
originally announced April 2024.
-
Gemma: Open Models Based on Gemini Research and Technology
Authors:
Gemma Team,
Thomas Mesnard,
Cassidy Hardin,
Robert Dadashi,
Surya Bhupatiraju,
Shreya Pathak,
Laurent Sifre,
Morgane Rivière,
Mihir Sanjay Kale,
Juliette Love,
Pouya Tafti,
Léonard Hussenot,
Pier Giuseppe Sessa,
Aakanksha Chowdhery,
Adam Roberts,
Aditya Barua,
Alex Botev,
Alex Castro-Ros,
Ambrose Slone,
Amélie Héliou,
Andrea Tacchetti,
Anna Bulanova,
Antonia Paterson,
Beth Tsai,
Bobak Shahriari
, et al. (83 additional authors not shown)
Abstract:
This work introduces Gemma, a family of lightweight, state-of-the art open models built from the research and technology used to create Gemini models. Gemma models demonstrate strong performance across academic benchmarks for language understanding, reasoning, and safety. We release two sizes of models (2 billion and 7 billion parameters), and provide both pretrained and fine-tuned checkpoints. Ge…
▽ More
This work introduces Gemma, a family of lightweight, state-of-the art open models built from the research and technology used to create Gemini models. Gemma models demonstrate strong performance across academic benchmarks for language understanding, reasoning, and safety. We release two sizes of models (2 billion and 7 billion parameters), and provide both pretrained and fine-tuned checkpoints. Gemma outperforms similarly sized open models on 11 out of 18 text-based tasks, and we present comprehensive evaluations of safety and responsibility aspects of the models, alongside a detailed description of model development. We believe the responsible release of LLMs is critical for improving the safety of frontier models, and for enabling the next wave of LLM innovations.
△ Less
Submitted 16 April, 2024; v1 submitted 13 March, 2024;
originally announced March 2024.
-
A Population-Aware Retrospective Regression to Detect Genome-Wide Variants with Sex Difference in Allele Frequency
Authors:
Zhong Wang,
Andrew D. Paterson,
Lei Sun
Abstract:
Sex difference in allele frequency is an emerging topic that is critical to our understanding of ascertainment bias, as well as data quality particularly of the largely overlooked X chromosome. To detect sex difference in allele frequency for both X chromosomal and autosomal variants, existing methods are conservative when applied to samples from multiple ancestral populations, such as African and…
▽ More
Sex difference in allele frequency is an emerging topic that is critical to our understanding of ascertainment bias, as well as data quality particularly of the largely overlooked X chromosome. To detect sex difference in allele frequency for both X chromosomal and autosomal variants, existing methods are conservative when applied to samples from multiple ancestral populations, such as African and European populations. Additionally, it remains unexplored whether the sex difference in allele frequency differs between populations, which is important to trans-ancestral genetic studies. We thus developed a novel retrospective regression-based testing framework to provide interpretable and easy-to-implement solutions to answer these questions. We then applied the proposed methods to the high-coverage whole genome sequence data of the 1000 Genomes Project, robustly analyzing all samples available from the five super-populations. We had 76 novel findings by recognizing and modeling ancestral differences.
△ Less
Submitted 23 December, 2022;
originally announced December 2022.
-
Nature of nematic to twist bend nematic phase transition
Authors:
Damian Pociecha,
Catriona Crawford,
Daniel A. Paterson,
John M. D. Storey,
Corrie T. Imrie,
Nataša Vaupotič,
Ewa Gorecka
Abstract:
The critical behavior at the transition from uniform nematic to twist-bend modulated nematic phase is revealed and shown to be well explained by the mean field approximation. The study was performed on a group of materials that exhibit an unusually broad temperature range of the nematic phase above the twist-bend modulated nematic phase, so the critical range in which the order parameter fluctuati…
▽ More
The critical behavior at the transition from uniform nematic to twist-bend modulated nematic phase is revealed and shown to be well explained by the mean field approximation. The study was performed on a group of materials that exhibit an unusually broad temperature range of the nematic phase above the twist-bend modulated nematic phase, so the critical range in which the order parameter fluctuations are strong and can be experimentally observed is wide. The formation of instantaneous helices is observed already several degrees above the transition temperature, strongly influencing the birefringence of the system. The analysis of a critical part of the birefringence changes provides a set of critical exponents that are consistent with the mean field approximation, indicating a large correlation length of helical fluctuations in the nematic phase.
△ Less
Submitted 4 July, 2018;
originally announced July 2018.
-
Distinct differences in the nanoscale behaviors of the twist-bend liquid crystal phase of a flexible linear trimer and homologous dimer
Authors:
Michael R. Tuchband,
Daniel A. Paterson,
Mirosław Salamończyk,
Victoria A. Norman,
Alyssa N. Scarbrough,
Ewan Forsyth,
Edgardo Garcia,
Cheng Wang,
John M. D. Storey,
David M. Walba,
Samuel Sprunt,
Antal Jákli,
Chenhui Zhu,
Corrie T. Imrie,
Noel A. Clark
Abstract:
We synthesized the liquid crystal dimer and trimer members of a series of flexible linear oligomers and characterized their microscopic and nanoscopic properties using resonant soft x-ray scattering and a number of other experimental techniques. On the microscopic scale, the twist-bend phases of the dimer and trimer appear essentially identical. However, while the liquid crystal dimer exhibits a t…
▽ More
We synthesized the liquid crystal dimer and trimer members of a series of flexible linear oligomers and characterized their microscopic and nanoscopic properties using resonant soft x-ray scattering and a number of other experimental techniques. On the microscopic scale, the twist-bend phases of the dimer and trimer appear essentially identical. However, while the liquid crystal dimer exhibits a temperature-dependent variation of its twist-bend helical pitch varying from 100 - 170 Å on heating, the trimer exhibits an essentially temperature-independent pitch of 66 Å, significantly shorter than those reported for other twist-bend forming materials in the literature. We attribute this to a specific combination of intrinsic conformational bend of the trimer molecules and a sterically favorable intercalation of the trimers over a commensurate fraction (two-thirds) of the molecular length. We develop a geometric model of the twist-bend phase for these materials with the molecules arranging into helical chain structures, and we fully determine their respective geometric parameters.
△ Less
Submitted 19 February, 2018; v1 submitted 2 October, 2017;
originally announced October 2017.
-
A Unified Framework for Producing CAI Melting, Wark-Lovering Rims and Bowl-Shaped CAIs
Authors:
Kurt Liffman,
Nicolas Cuello,
David A. Paterson
Abstract:
Calcium Aluminium Inclusions (CAIs) formed in the Solar System, some 4,567 million years ago. CAIs are almost always surrounded by Wark-Lovering Rims (WLRs), which are a sequence of thin, mono/bi-mineralic layers of refractory minerals, with a total thickness in the range of 1 to 100 microns. Recently, some CAIs have been found that have tektite-like bowl-shapes. To form such shapes, the CAI must…
▽ More
Calcium Aluminium Inclusions (CAIs) formed in the Solar System, some 4,567 million years ago. CAIs are almost always surrounded by Wark-Lovering Rims (WLRs), which are a sequence of thin, mono/bi-mineralic layers of refractory minerals, with a total thickness in the range of 1 to 100 microns. Recently, some CAIs have been found that have tektite-like bowl-shapes. To form such shapes, the CAI must have travelled through a rarefied gas at hypersonic speeds. We show how CAIs may have been ejected from the inner solar accretion disc via the centrifugal interaction between the solar magnetosphere and the inner disc rim. They subsequently punched through the hot, inner disc rim wall at hypersonic speeds. This re-entry heating partially or completely evaporated the CAIs. Such evaporation could have significantly increased the metal abundances of the inner disc rim. High speed movement through the inner disc produced WLRs. To match the observed thickness of WLRs required metal abundances at the inner disc wall that are of order ten times that of standard solar abundances. The CAIs cooled as they moved away from the protosun, the deduced CAI cooling rates are consistent with the CAI cooling rates obtained from experiment and observation. The speeds and gas densities required to form bowl-shaped CAIs are also consistent with the expected speeds and gas densities for larger, ~ 1 cm, CAIs punching through an inner accretion disc wall.
△ Less
Submitted 23 June, 2016;
originally announced June 2016.
-
Photoproduction of $Λ$ and $Σ^0$ hyperons using linearly polarized photons
Authors:
CLAS Collaboration,
C. A. Paterson,
D. G. Ireland,
K. Livingston,
B. McKinnon
Abstract:
Background: Measurements of polarization observables for the reactions $\vecγ p \rightarrow K^+ Λ$ and $\vecγ p \rightarrow K^+ Σ^0$ have been performed. This is part of a programme of measurements designed to study the spectrum of baryon resonances.
Purpose: The accurate measurement of several polarization observables provides tight constraints for phenomenological fits. Beam-recoil observables…
▽ More
Background: Measurements of polarization observables for the reactions $\vecγ p \rightarrow K^+ Λ$ and $\vecγ p \rightarrow K^+ Σ^0$ have been performed. This is part of a programme of measurements designed to study the spectrum of baryon resonances.
Purpose: The accurate measurement of several polarization observables provides tight constraints for phenomenological fits. Beam-recoil observables for the $\vecγ p \rightarrow K^+ Σ^0$ reaction have not been reported before now.
Method: The measurements were carried out using linearly polarized photon beams and the CLAS detector at the Thomas Jefferson National Accelerator Facility. The energy range of the results is 1.71\,GeV $<W<$ 2.19\,GeV, with an angular range $-0.75 < \cosθ^{\star}_K < +0.85$.
Results: The observables extracted for both reactions are beam asymmetry $Σ$, target asymmetry $T$, and the beam-recoil double polarization observables $O_x$ and $O_z$.
Conclusions: Comparison with theoretical fits indicates that in the regions where no previous data existed, the new data contain significant new information, and strengthen the evidence for the set of resonances used in the latest Bonn-Gatchina fit.
△ Less
Submitted 14 June, 2016; v1 submitted 21 March, 2016;
originally announced March 2016.
-
Electrically tunable selective reflection of light from ultraviolet to visible and infrared by heliconical cholesterics
Authors:
Jie Xiang,
Yannian Li,
Quan Li,
Daniel A. Paterson,
John M. D. Storey,
Corrie T. Imrie,
Oleg D. Lavrentovich
Abstract:
Cholesteric liquid crystals with helicoidal molecular architecture are known for their ability to selectively reflect light with the wavelength that is determined by the periodicity of molecular orientations. Here we demonstrate that by using a cholesteric with oblique helicoidal(heliconical) structure, as opposed to the classic right-angle helicoid, one can vary the wavelength of selectively refl…
▽ More
Cholesteric liquid crystals with helicoidal molecular architecture are known for their ability to selectively reflect light with the wavelength that is determined by the periodicity of molecular orientations. Here we demonstrate that by using a cholesteric with oblique helicoidal(heliconical) structure, as opposed to the classic right-angle helicoid, one can vary the wavelength of selectively reflected light in a broad spectral range, from ultraviolet to visible and infrared (360-1520 nm for the same chemical composition) by simply adjusting the electric field applied parallel to the helicoidal axis. The effect exists in a wide temperature range (including the room temperatures) and thus can enable many applications that require dynamically controlled transmission and reflection of electromagnetic waves, from energy-saving smart windows to tunable organic lasers, reflective color display, and transparent see-through displays.
△ Less
Submitted 30 March, 2015;
originally announced March 2015.
-
Future Supply of Medical Radioisotopes for the UK Report 2014
Authors:
Brian Neilly,
Sarah Allen,
Jim Ballinger,
John Buscombe,
Rob Clarke,
Beverley Ellis,
Glenn Flux,
Louise Fraser,
Adrian Hall,
Hywel Owen,
Audrey Paterson,
Alan Perkins,
Andrew Scarsbrook
Abstract:
The UK has no research nuclear reactors and relies on the importation of 99Mo and other medical radioisotopes (e.g. Iodine-131) from overseas (excluding PET radioisotopes). The UK is therefore vulnerable not only to global shortages, but to problems with shipping and importation of the products. In this context Professor Erika Denton UK national Clinical Director for Diagnostics requested that the…
▽ More
The UK has no research nuclear reactors and relies on the importation of 99Mo and other medical radioisotopes (e.g. Iodine-131) from overseas (excluding PET radioisotopes). The UK is therefore vulnerable not only to global shortages, but to problems with shipping and importation of the products. In this context Professor Erika Denton UK national Clinical Director for Diagnostics requested that the British Nuclear Medicine Society lead a working group with stakeholders including representatives from the Science & Technology Facilities Council (STFC) to prepare a report. The group had a first meeting on 10 April 2013 followed by a working group meeting with presentations on 9th September 2013 where the scope of the work required to produce a report was agreed.
The objectives of the report are: to describe the status of the use of medical radioisotopes in the UK; to anticipate the potential impact of shortages for the UK; to assess potential alternative avenues of medical radioisotope production for the UK market; and to explore ways of mitigating the impact of medical radioisotopes on patient care pathways. The report incorporates details of a visit to the Cyclotron Facilities at Edmonton, Alberta and at TRIUMF, Vancouver BC in Canada by members of the report team.
△ Less
Submitted 13 January, 2015;
originally announced January 2015.
-
A novel joint location-scale testing framework for improved detection of variants with main or interaction effects
Authors:
David Soave,
Andrew Paterson,
Lisa Strug,
Lei Sun
Abstract:
We propose a novel and easy-to-implement joint location-scale association testing procedure that can account for complex genetic architecture without explicitly modeling interaction effects, and is suitable for large-scale whole-genome scans and meta-analyses. We focus on Fisher's method and use it to combine evidence from the standard location test and the more recent scale test, and we describe…
▽ More
We propose a novel and easy-to-implement joint location-scale association testing procedure that can account for complex genetic architecture without explicitly modeling interaction effects, and is suitable for large-scale whole-genome scans and meta-analyses. We focus on Fisher's method and use it to combine evidence from the standard location test and the more recent scale test, and we describe its use for single-variant, gene-set and pathway association analyses.
△ Less
Submitted 13 November, 2014;
originally announced November 2014.
-
Planet Hunters. VI: An Independent Characterization of KOI-351 and Several Long Period Planet Candidates from the Kepler Archival Data
Authors:
Joseph R. Schmitt,
Ji Wang,
Debra A. Fischer,
Kian J. Jek,
John C. Moriarty,
Tabetha S. Boyajian,
Megan E. Schwamb,
Chris Lintott,
Stuart Lynn,
Arfon M. Smith,
Michael Parrish,
Kevin Schawinski,
Robert Simpson,
Daryll LaCourse,
Mark R. Omohundro,
Troy Winarski,
Samuel Jon Goodman,
Tony Jebson,
Hans Martin Schwengeler,
David A. Paterson,
Johann Sejpka,
Ivan Terentev,
Tom Jacobs,
Nawar Alsaadi,
Robert C. Bailey
, et al. (7 additional authors not shown)
Abstract:
We report the discovery of 14 new transiting planet candidates in the Kepler field from the Planet Hunters citizen science program. None of these candidates overlapped with Kepler Objects of Interest (KOIs) at the time of submission. We report the discovery of one more addition to the six planet candidate system around KOI-351, making it the only seven planet candidate system from Kepler. Addition…
▽ More
We report the discovery of 14 new transiting planet candidates in the Kepler field from the Planet Hunters citizen science program. None of these candidates overlapped with Kepler Objects of Interest (KOIs) at the time of submission. We report the discovery of one more addition to the six planet candidate system around KOI-351, making it the only seven planet candidate system from Kepler. Additionally, KOI-351 bears some resemblance to our own solar system, with the inner five planets ranging from Earth to mini-Neptune radii and the outer planets being gas giants; however, this system is very compact, with all seven planet candidates orbiting $\lesssim 1$ AU from their host star. A Hill stability test and an orbital integration of the system shows that the system is stable. Furthermore, we significantly add to the population of long period transiting planets; periods range from 124-904 days, eight of them more than one Earth year long. Seven of these 14 candidates reside in their host star's habitable zone.
△ Less
Submitted 1 July, 2014; v1 submitted 22 October, 2013;
originally announced October 2013.
-
Contractive spectral triples for crossed products
Authors:
Alan L. T. Paterson
Abstract:
Connes showed that spectral triples encode (noncommutative) metric information. Further, Connes and Moscovici in their metric bundle construction showed that, as with the Takesaki duality theorem, forming a crossed product spectral triple can substantially simplify the structure. In a recent paper, Bellissard, Marcolli and Reihani (among other things) studied in depth metric notions for spectral t…
▽ More
Connes showed that spectral triples encode (noncommutative) metric information. Further, Connes and Moscovici in their metric bundle construction showed that, as with the Takesaki duality theorem, forming a crossed product spectral triple can substantially simplify the structure. In a recent paper, Bellissard, Marcolli and Reihani (among other things) studied in depth metric notions for spectral triples and crossed product spectral triples for $Z$-actions, with applications in number theory and coding theory. In the work of Connes and Moscovici, crossed products involving groups of diffeomorphisms and even of étale groupoids are required. With this motivation, the present paper develops part of the Bellissard-Marcolli-Reihani theory for a general discrete group action, and in particular, introduces coaction spectral triples and their associated metric notions. The isometric condition is replaced by the contractive condition.
△ Less
Submitted 19 April, 2012;
originally announced April 2012.
-
Banishing divergence Part 1: Infinite numbers as the limit of sequences of real numbers
Authors:
David Alan Paterson
Abstract:
Sequences diverge either because they head off to infinity or because they oscillate. Part 1 constructs a non-Archimedean framework of infinite numbers that is large enough to contain asymptotic limit points for non-oscillating sequences that head off to infinity. It begins by defining Archimedean classes of infinite numbers. Each class is denoted by a prototype sequence. These prototypes are used…
▽ More
Sequences diverge either because they head off to infinity or because they oscillate. Part 1 constructs a non-Archimedean framework of infinite numbers that is large enough to contain asymptotic limit points for non-oscillating sequences that head off to infinity. It begins by defining Archimedean classes of infinite numbers. Each class is denoted by a prototype sequence. These prototypes are used as asymptotes for determining leading term limits of sequences. By subtracting off leading term limits and repeating, limits are obtained for a subset of sequences called here ``smooth sequences". $\mathbb{I}_n$ is defined as the set of ratios of limits of smooth sequences. It is shown that $\mathbb{I}_n$ is an ordered field that includes real, infinite and infinitesimal numbers.
△ Less
Submitted 23 August, 2011;
originally announced August 2011.
-
Banishing divergence Part 2: Limits of oscillatory sequences, and applications
Authors:
David Alan Paterson
Abstract:
Sequences diverge either because they head off to infinity or because they oscillate. Part 1 \cite{Part1} of this paper laid the pure mathematics groundwork by defining Archimedean classes of infinite numbers as limits of smooth sequences. Part 2 follows that with applied mathematics, showing that general sequences can usually be converted into smooth sequences, and thus have a well-defined limit.…
▽ More
Sequences diverge either because they head off to infinity or because they oscillate. Part 1 \cite{Part1} of this paper laid the pure mathematics groundwork by defining Archimedean classes of infinite numbers as limits of smooth sequences. Part 2 follows that with applied mathematics, showing that general sequences can usually be converted into smooth sequences, and thus have a well-defined limit.
Each general sequence is split into the sum of smooth, periodic (including Lebesgue integrable), chaotic and random components. The mean of each of these components divided by a smooth sequence, or the mean of the mean, will usually be a smooth sequence, and so the oscillatory sequence will have at least a leading term limit. Examples of limits of oscillatory sequences with well-defined limits are given.
Methodologies are included for a way to calculate limits on the reals and on complex numbers, a way to evaluate improper integrals by limit of a Riemann sum, and a way to square the Dirac delta function.
△ Less
Submitted 24 August, 2011;
originally announced August 2011.
-
An Operator Space duality theorem for the Fourier-Stieltjes algebra of a locally compact groupoid
Authors:
Alan L. T. Paterson
Abstract:
It is a well-known result of Eymard that the Fourier-Stieltjes algebra of a locally compact group $G$ can be identified with the dual of the group $\cs$ $C^{*}(G)$. A corresponding result for a locally compact groupoid $G$ has been investigated by Renault, Ramsay and Walter. We show that the Fourier-Stieltjes algebra $B_μ(G)$ of $G$ (with respect to a quasi-invariant measure $μ$ on the unit space…
▽ More
It is a well-known result of Eymard that the Fourier-Stieltjes algebra of a locally compact group $G$ can be identified with the dual of the group $\cs$ $C^{*}(G)$. A corresponding result for a locally compact groupoid $G$ has been investigated by Renault, Ramsay and Walter. We show that the Fourier-Stieltjes algebra $B_μ(G)$ of $G$ (with respect to a quasi-invariant measure $μ$ on the unit space $X$ of $G$) can be characterized in operator space terms as the dual of the Haagerup tensor product $\ov{L^{2}(X,μ)}^{r}\otimes_{hA}C^{*}(G,μ)\otimes_{h A}L^2(X,μ)^c$ and as the space of completely bounded bimodule maps $CB_{A}(C^{*}(G,μ),B(L^2(X,μ)))$, where $A=C_{0}(X)$ and $C^{*}(G,μ)$ is the groupoid $\cs$ obtained from those $G$-representations associated with $μ$. A similar but different result has been given by Renault, but our proof is along different lines, and full details are given. Examples illustrating the result are discussed.
△ Less
Submitted 1 February, 2011;
originally announced February 2011.
-
The stabilization theorem for proper groupoids
Authors:
Alan L. T. Paterson
Abstract:
The stabilization theorem for $A$-Hilbert modules was established by G. G. Kasparov. The equivariant version, in which a locally compact group $H$ acts properly on a locally compact space $Y$, was proved by N. C. Phillips. This equivariant theorem involves the Hilbert $(H,C_{0}(Y))$-module $C_{0}(Y,L^{2}(H)^{\infty})$. It can naturally be interpreted in terms of a stabilization theorem for prope…
▽ More
The stabilization theorem for $A$-Hilbert modules was established by G. G. Kasparov. The equivariant version, in which a locally compact group $H$ acts properly on a locally compact space $Y$, was proved by N. C. Phillips. This equivariant theorem involves the Hilbert $(H,C_{0}(Y))$-module $C_{0}(Y,L^{2}(H)^{\infty})$. It can naturally be interpreted in terms of a stabilization theorem for proper groupoids, and the paper establishes this theorem within the general proper groupoid context. The theorem has applications in equivariant KK-theory and groupoid index theory.
△ Less
Submitted 22 September, 2009;
originally announced September 2009.
-
Tychonoff's theorem for locally compact space and an elementary approach to the topology of path spaces
Authors:
Alan L. T. Paterson,
Amy E. Welch
Abstract:
The path spaces of a directed graph play an important role in the study of graph $\css$. These are topological spaces that were originally constructed using groupoid and inverse semigroup techniques. In this paper, we develop a simple, purely topological, approach to this construction, based on Tychonoff's theorem. In fact, the approach is shown to work even for higher dimensional graphs satisfy…
▽ More
The path spaces of a directed graph play an important role in the study of graph $\css$. These are topological spaces that were originally constructed using groupoid and inverse semigroup techniques. In this paper, we develop a simple, purely topological, approach to this construction, based on Tychonoff's theorem. In fact, the approach is shown to work even for higher dimensional graphs satisfying the finitely aligned condition, and we construct the groupoid of the graph. Motivated by these path space results, we prove a Tychonoff theorem for an infinite, countable product of locally compact spaces. The main idea is to include certain finite products of the spaces along with the infinite product. We show that the topology is, in a reasonable sense, a pointwise topology.
△ Less
Submitted 20 April, 2007;
originally announced April 2007.
-
Continuous family groupoids
Authors:
Alan L. T. Paterson
Abstract:
In this paper, we define and investigate the properties of continuous family groupoids. This class of groupoids is necessary for investigating the groupoid index theory arising from the equivariant Atiyah-Singer index theorem for families, and is also required in noncommutative geometry. The class includes that of Lie groupoids, and the paper shows that, like Lie groupoids, continuous family gro…
▽ More
In this paper, we define and investigate the properties of continuous family groupoids. This class of groupoids is necessary for investigating the groupoid index theory arising from the equivariant Atiyah-Singer index theorem for families, and is also required in noncommutative geometry. The class includes that of Lie groupoids, and the paper shows that, like Lie groupoids, continuous family groupoids always admit (an essentially unique) continuous left Haar system of smooth measures. We also show that the action of a continuous family groupoid $G$ on a continuous family $G$-space fibered over another continuous family $G$-space $Y$ can always be regarded as an action of the continuous family groupoid $G*Y$ on an ordinary $G*Y$-space.
△ Less
Submitted 20 April, 2007;
originally announced April 2007.
-
The Fourier algebra for locally compact groupoids
Authors:
Alan L. T. Paterson
Abstract:
We introduce and investigate using Hilbert modules the properties of the {\em Fourier algebra} $A(G)$ for a locally compact groupoid $G$. We establish a duality theorem for such groupoids in terms of multiplicative module maps. This includes as a special case the classical duality theorem for locally compact groups proved by P. Eymard.
We introduce and investigate using Hilbert modules the properties of the {\em Fourier algebra} $A(G)$ for a locally compact groupoid $G$. We establish a duality theorem for such groupoids in terms of multiplicative module maps. This includes as a special case the classical duality theorem for locally compact groups proved by P. Eymard.
△ Less
Submitted 20 April, 2007;
originally announced April 2007.
-
The analytic index for proper, Lie groupoid actions
Authors:
Alan L. T. Paterson
Abstract:
Many index theorems (both classical and in noncommutative geometry) can be interpreted in terms of a Lie groupoid acting properly on a manifold and leaving an elliptic family of pseudodifferential operators invariant. Alain Connes in his book raised the question of an index theorem in this general context. In this paper, an analytic index for many such situations is constructed. The approach is…
▽ More
Many index theorems (both classical and in noncommutative geometry) can be interpreted in terms of a Lie groupoid acting properly on a manifold and leaving an elliptic family of pseudodifferential operators invariant. Alain Connes in his book raised the question of an index theorem in this general context. In this paper, an analytic index for many such situations is constructed. The approach is inspired by the classical families theorem of Atiyah and Singer, and the proof generalizes, to the case of proper Lie groupoid actions, some of the results proved for proper locally compact group actions by N. C. Phillips.
△ Less
Submitted 20 April, 2007;
originally announced April 2007.
-
The equivariant analytic index for proper groupoid actions
Authors:
Alan L. T. Paterson
Abstract:
The paper constructs the analytic index for an elliptic pseudodifferential family of $L^{m}_{ρ,\de}$-operators invariant under the proper action of a continuous family groupoid on a $G$-compact, $C^{\infty,0}$ $G$-space.
The paper constructs the analytic index for an elliptic pseudodifferential family of $L^{m}_{ρ,\de}$-operators invariant under the proper action of a continuous family groupoid on a $G$-compact, $C^{\infty,0}$ $G$-space.
△ Less
Submitted 20 April, 2007;
originally announced April 2007.
-
Group amenability properties for von Neumann algebras
Authors:
Anthony T. Lau,
Alan L. T. Paterson
Abstract:
In his study of amenable unitary representations, M. E. B. Bekka asked if there is an analogue for such representations of the remarkable fixed-point property for amenable groups. In this paper, we prove such a fixed-point theorem in the more general context of a $G$-amenable von Neumann algebra $M$, where $G$ is a locally compact group acting on $M$. The Følner conditions of Connes and Bekka ar…
▽ More
In his study of amenable unitary representations, M. E. B. Bekka asked if there is an analogue for such representations of the remarkable fixed-point property for amenable groups. In this paper, we prove such a fixed-point theorem in the more general context of a $G$-amenable von Neumann algebra $M$, where $G$ is a locally compact group acting on $M$. The Følner conditions of Connes and Bekka are extended to the case where $M$ is semifinite and admits a faithful, semifinite, normal trace which is invariant under the action of $G$.
△ Less
Submitted 22 May, 2007; v1 submitted 20 April, 2007;
originally announced April 2007.
-
The E-theoretic descent functor for groupoids
Authors:
Alan L. T. Paterson
Abstract:
The paper establishes, for a wide class of locally compact groupoids $Γ$, the E-theoretic descent functor at the $C^{*}$-algebra level, in a way parallel to that established for locally compact groups by Guentner, Higson and Trout. The second section shows that $Γ$-actions on a $C_{0}(X)$-algebra $B$, where $X$ is the unit space of $Γ$, can be usefully formulated in terms of an action on the ass…
▽ More
The paper establishes, for a wide class of locally compact groupoids $Γ$, the E-theoretic descent functor at the $C^{*}$-algebra level, in a way parallel to that established for locally compact groups by Guentner, Higson and Trout. The second section shows that $Γ$-actions on a $C_{0}(X)$-algebra $B$, where $X$ is the unit space of $Γ$, can be usefully formulated in terms of an action on the associated bundle $B^{\sharp}$. The third section shows that the functor $B\to C^{*}(Γ,B)$ is continuous and exact, and uses the disintegration theory of J. Renault. The last section establishes the existence of the descent functor under a very mild condition on $Γ$, the main technical difficulty involved being that of finding a $Γ$-algebra that plays the role of C_{b}(T,B)^{cont}$ in the group case.
△ Less
Submitted 19 April, 2007;
originally announced April 2007.
-
The Fourier-Stieltjes and Fourier algebras for locally compact groupoids
Authors:
Alan L. T. Paterson
Abstract:
The Fourier-Stieltjes and Fourier algebras B(G), A(G) for a general locally compact group G, first studied by P. Eymard, have played an important role in harmonic analysis and in the study of operator algebras generated by G. Recently, there has been interest in developing versions of these algebras for locally compact groupoids, justification being that, just as in the group case, the algebras…
▽ More
The Fourier-Stieltjes and Fourier algebras B(G), A(G) for a general locally compact group G, first studied by P. Eymard, have played an important role in harmonic analysis and in the study of operator algebras generated by G. Recently, there has been interest in developing versions of these algebras for locally compact groupoids, justification being that, just as in the group case, the algebras should play a useful role in the study of groupoid operator algebras. Versions of these algebras for the locally compact groupoid case appear in three related theories: (1) a measured groupoid theory (J. Renault), (2) a Borel theory (A. Ramsay and M. Walter), and (3) a continuous theory (A. Paterson). The present paper is expository in character. For motivational reasons, it starts with a description of the theory of B(G), A(G) in the locally compact group case, before discussing these three realted theories. Some open questions are also raised.
△ Less
Submitted 9 October, 2003;
originally announced October 2003.
-
The analytic index for proper, Lie groupoid actions
Authors:
Alan L. T. Paterson
Abstract:
Many index theorems (both classical and in noncommutative geometry) can be interpreted in terms of a Lie groupoid acting properly on a manifold and leaving an elliptic family of pseudodifferential operators invariant. Alain Connes in his book raised the question of an index theorem in this general context. In this paper, an analytic index for many such situations is constructed. The approach is…
▽ More
Many index theorems (both classical and in noncommutative geometry) can be interpreted in terms of a Lie groupoid acting properly on a manifold and leaving an elliptic family of pseudodifferential operators invariant. Alain Connes in his book raised the question of an index theorem in this general context. In this paper, an analytic index for many such situations is constructed. The approach is inspired by the classical families theorem of Atiyah and Singer, and the proof generalizes, to the case of proper Lie groupoid actions, some of the results proved for proper locally compact group actions by N. C. Phillips.
△ Less
Submitted 8 October, 2003;
originally announced October 2003.
-
The Fourier algebra for locally compact groupoids
Authors:
Alan L. T. Paterson
Abstract:
We introduce and investigate using Hilbert modules the properties of the Fourier algebra A(G) for a locally compact groupoid G. We establish a duality theorem for such groupoids in terms of multiplicative module maps. This includes as a special case the classical duality theorem for locally compact groups proved by P. Eymard.
We introduce and investigate using Hilbert modules the properties of the Fourier algebra A(G) for a locally compact groupoid G. We establish a duality theorem for such groupoids in terms of multiplicative module maps. This includes as a special case the classical duality theorem for locally compact groups proved by P. Eymard.
△ Less
Submitted 8 October, 2003;
originally announced October 2003.
-
Graph inverse semigroups, groupoids and their C*-algebras
Authors:
Alan L. T. Paterson
Abstract:
We develop a theory of graph C*-algebras using path groupoids and inverse semigroups. Row finiteness is not assumed so that the theory applies to graphs for which there are vertices emitting a countably infinite set of edges. We show that the path groupoid is amenable, and give a groupoid proof of a recent theorem of Szymanski characterizing when a graph C*-algebra is simple.
We develop a theory of graph C*-algebras using path groupoids and inverse semigroups. Row finiteness is not assumed so that the theory applies to graphs for which there are vertices emitting a countably infinite set of edges. We show that the path groupoid is amenable, and give a groupoid proof of a recent theorem of Szymanski characterizing when a graph C*-algebra is simple.
△ Less
Submitted 23 April, 2003;
originally announced April 2003.