-
Jupyter widgets and extensions for education and research in computational physics and chemistry
Authors:
Dou Du,
Taylor J. Baird,
Sara Bonella,
Giovanni Pizzi
Abstract:
Python and Jupyter are becoming increasingly popular tools for computational physics and chemistry research and education. Interactive notebooks are a precious tool for creating graphical user interfaces and teaching materials, and Jupyter widgets constitute the core of their interactive functionality. Packages and libraries which offer a broad range of widgets for general purposes exist, but the…
▽ More
Python and Jupyter are becoming increasingly popular tools for computational physics and chemistry research and education. Interactive notebooks are a precious tool for creating graphical user interfaces and teaching materials, and Jupyter widgets constitute the core of their interactive functionality. Packages and libraries which offer a broad range of widgets for general purposes exist, but the lack of specialized widgets for computational physics, chemistry and materials science implies significant time investments for the development of effective Jupyter notebooks for research and education in these domains. Here, we present custom Jupyter widgets that we have developed to target the needs of these research and teaching communities. These widgets constitute high quality interactive graphical components and can be employed, for example, as tools to visualize and manipulate data, or to explore different visual representations of concepts, illuminating the relationships existing between them. In addition, we discuss the JupyterLab extensions that we developed to modify the JupyterLab interface for an enhanced user experience when working with various applications within the targeted scientific domains.
△ Less
Submitted 11 January, 2024;
originally announced January 2024.
-
Cohomology of fixed point sets of anti-symplectic involutions in the Hilbert scheme of points on a surface
Authors:
Thomas John Baird
Abstract:
Let $S$ be a smooth, quasi-projective complex surface with complex symplectic form $ω\in H^0(S, K_S)$. This determines a symplectic form $ω_n$ on the Hilbert scheme of points $S^{[n]}$ for $n \geq 1$. Let $τ$ be an anti-symplectic involution of $(S,ω)$: an order two automorphism of $S$ such that $ τ^*ω=-ω$. Then $τ$ induces an anti-symplectic involution on $(S^{[n]},ω_n)$ and the fixed point set…
▽ More
Let $S$ be a smooth, quasi-projective complex surface with complex symplectic form $ω\in H^0(S, K_S)$. This determines a symplectic form $ω_n$ on the Hilbert scheme of points $S^{[n]}$ for $n \geq 1$. Let $τ$ be an anti-symplectic involution of $(S,ω)$: an order two automorphism of $S$ such that $ τ^*ω=-ω$. Then $τ$ induces an anti-symplectic involution on $(S^{[n]},ω_n)$ and the fixed point set $(S^{[n]})^τ$ is a smooth Lagrangian subvariety of $S^{[n]}$. In this paper, we calculate the mixed Hodge structure of $H^*( (S^{[n]})^τ; \mathbb{Q})$ in terms of the mixed Hodge structures of $H^*( S^τ;\mathbb{Q})$ and of $H^*( S / τ; \mathbb{Q})$. We also classify the connected components of $(S^{[n]})^τ$ and determine their mixed Hodge structures. Our results apply more generally whenever $S$ is a smooth quasi-projective surface, and $τ$ is an involution of $S$ for which $S^τ$ is a curve.
△ Less
Submitted 2 January, 2024; v1 submitted 27 November, 2023;
originally announced November 2023.
-
Quantifying the risk of workplace COVID-19 clusters in terms of commuter, workplace, and population characteristics
Authors:
Christopher E. Overton,
Rachel Abbey,
Tarrion Baird,
Rachel Christie,
Owen Daniel,
Julie Day,
Matthew Gittins,
Owen Jones,
Robert Paton,
Maria Tang,
Tom Ward,
Jack Wilkinson,
Camilla Woodrow-Hill,
Tim Aldridge,
Yiqun Chen
Abstract:
Objectives: To identify and quantify risk factors that contribute to clusters of COVID-19 in the workplace.
Methods: We identified clusters of COVID-19 cases in the workplace and investigated the characteristics of the individuals, the workplaces, the areas they work, and the methods of commute to work, through data linkages based on Middle Layer Super Output Areas (MSOAs) in England between 20/…
▽ More
Objectives: To identify and quantify risk factors that contribute to clusters of COVID-19 in the workplace.
Methods: We identified clusters of COVID-19 cases in the workplace and investigated the characteristics of the individuals, the workplaces, the areas they work, and the methods of commute to work, through data linkages based on Middle Layer Super Output Areas (MSOAs) in England between 20/06/2021 and 20/02/2022. We estimated associations between potential risk factors and workplace clusters, adjusting for plausible confounders identified using a Directed Acyclic Graph (DAG).
Results: For most industries, increased physical proximity in the workplace was associated with increased risk of COVID-19 clusters, while increased vaccination was associated with reduced risk. Commuter demographic risk factors varied across industry, but for the majority of industries, a higher proportion of black/african/caribbean ethnicities, and living in deprived areas, was associated with increased cluster risk. A higher proportion of commuters in the 60-64 age group was associated with reduced cluster risk. There were significant associations between gender, work commute methods, and staff contract type with cluster risk, but these were highly variable across industries.
Conclusions: This study has used novel national data linkages to identify potential risk factors of workplace COVID-19 clusters, including possible protective effects of vaccination and increased physical distance at work. The same methodological approach can be applied to wider occupational and environmental health research.
△ Less
Submitted 15 May, 2023;
originally announced May 2023.
-
Understanding the leading indicators of hospital admissions from COVID-19 across successive waves in the UK
Authors:
Jonathon Mellor,
Christopher E Overton,
Martyn Fyles,
Liam Chawner,
James Baxter,
Tarrion Baird,
Thomas Ward
Abstract:
Following the UK Government's Living with COVID-19 Strategy and the end of universal testing, hospital admissions are an increasingly important measure of COVID-19 pandemic pressure. Understanding leading indicators of admissions at National Health Service (NHS) Trust, regional and national geographies help health services plan capacity needs and prepare for ongoing pressures. We explored the spat…
▽ More
Following the UK Government's Living with COVID-19 Strategy and the end of universal testing, hospital admissions are an increasingly important measure of COVID-19 pandemic pressure. Understanding leading indicators of admissions at National Health Service (NHS) Trust, regional and national geographies help health services plan capacity needs and prepare for ongoing pressures. We explored the spatio-temporal relationships of leading indicators of hospital pressure across successive waves of SARS-CoV-2 incidence in England. This includes an analysis of internet search volume values from Google Trends, NHS triage calls and online queries, the NHS COVID-19 App, lateral flow devices and the ZOE App. Data sources were analysed for their feasibility as leading indicators using linear and non-linear methods; granger causality, cross correlations and dynamic time war** at fine spatial scales. Consistent temporal and spatial relationships were found for some of the leading indicators assessed across resurgent waves of COVID-19. Google Trends and NHS queries consistently led admissions in over 70% of Trusts, with lead times ranging from 5-20 days, whereas an inconsistent relationship was found for the ZOE app, NHS COVID-19 App, and rapid testing, that diminished with granularity, showing limited autocorrelation of leads between -7 to 7 days. This work shows that novel syndromic surveillance data has utility for understanding the expected hospital burden at fine spatial scales. The analysis shows at low level geographies that some surveillance sources can predict hospital admissions, though care must be taken in relying on the lead times and consistency between waves.
△ Less
Submitted 16 August, 2023; v1 submitted 21 March, 2023;
originally announced March 2023.
-
Mass-Zero constrained dynamics for simulations based on orbital-free density functional theory
Authors:
Alessandro Coretti,
Taylor J. Baird,
Rodolphe Vuilleumier,
Sara Bonella
Abstract:
A new algorithm for efficient and fully time-reversible integration of first-principles molecular dynamics based on orbital-free density functional theory (OFDFT) is presented. The algorithm adapts to this nontrivial case the recently introduced Mass-Zero (MaZe) constrained dynamics. The formalism ensures that full adiabatic separation is enforced between nuclear and electronic degrees of freedom…
▽ More
A new algorithm for efficient and fully time-reversible integration of first-principles molecular dynamics based on orbital-free density functional theory (OFDFT) is presented. The algorithm adapts to this nontrivial case the recently introduced Mass-Zero (MaZe) constrained dynamics. The formalism ensures that full adiabatic separation is enforced between nuclear and electronic degrees of freedom and, consequently, that the exact Born-Oppenheimer probability for the nuclei is sampled. Numerical integration of the MaZe dynamics combines standard molecular dynamics algorithms, e.g. Verlet or velocity Verlet, with the SHAKE method to impose the minimum conditions on the electronic degrees of freedom as a set of constraints. The developments presented in this work, that include a bespoke adaptation of the standard SHAKE algorithm, ensure that the quasilinear scaling of OFDFT is preserved by the new method for a broad range of kinetic and exchange-correlation functionals, including nonlocal ones. The efficiency and accuracy of the approach is demonstrated via calculations of static and dynamic properties of liquid sodium in the constant energy and constant temperature ensembles.
△ Less
Submitted 9 October, 2022; v1 submitted 17 June, 2022;
originally announced June 2022.
-
OSSCAR, an open platform for collaborative development of computational tools for education in science
Authors:
Dou Du,
Taylor J. Baird,
Sara Bonella,
Giovanni Pizzi
Abstract:
In this paper we present the Open Software Services for Classrooms and Research (OSSCAR) platform. OSSCAR provides an open collaborative environment to develop, deploy and access educational resources in the form of web applications. To minimize efforts in the creation and use of new educational material, it combines software tools that have emerged as standards with custom domain-specific ones. T…
▽ More
In this paper we present the Open Software Services for Classrooms and Research (OSSCAR) platform. OSSCAR provides an open collaborative environment to develop, deploy and access educational resources in the form of web applications. To minimize efforts in the creation and use of new educational material, it combines software tools that have emerged as standards with custom domain-specific ones. The technical solutions adopted to create and distribute content are described and motivated on the basis of reliability, sustainability, ease of uptake and use. Examples from courses in the domains of physics, chemistry, and materials science are shown to demonstrate the style and level of interactivity of typical applications. The tools presented are easy to use, and create a uniform and open environment exploitable by a large community of teachers, students, and researchers with the goal of facilitating learning and avoiding, when possible, duplication of efforts in creating teaching material. Contributions to expand the educational content of the OSSCAR project are welcome.
△ Less
Submitted 22 March, 2022;
originally announced March 2022.
-
Abelian instantons over the Chen-Teo AF geometry
Authors:
Thomas John Baird,
Hari K. Kunduri
Abstract:
We classify finite energy harmonic 2-forms on the asymptotically flat gravitational instanton constructed by Chen and Teo. We prove that every $U(1)$-bundle admits a unique anti-self-dual Yang-Mills instanton (up to gauge equivalence) which we describe explicitly in coordinates. As an application, we compute the classical partition function for Maxwell theory with theta term.
We classify finite energy harmonic 2-forms on the asymptotically flat gravitational instanton constructed by Chen and Teo. We prove that every $U(1)$-bundle admits a unique anti-self-dual Yang-Mills instanton (up to gauge equivalence) which we describe explicitly in coordinates. As an application, we compute the classical partition function for Maxwell theory with theta term.
△ Less
Submitted 23 December, 2020;
originally announced December 2020.
-
Generalized Maslov indices for non-Hamiltonian systems
Authors:
Thomas John Baird,
Paul Cornwell,
Graham Cox,
Christopher Jones,
Robert Marangell
Abstract:
We extend the definition of the Maslov index to a broad class of non-Hamiltonian dynamical systems. To do this, we introduce a family of topological spaces--which we call Maslov-Arnold spaces--that share key topological features with the Lagrangian Grassmannian, and hence admit a similar index theory. This family contains the Lagrangian Grassmannian, and much more. We construct a family of example…
▽ More
We extend the definition of the Maslov index to a broad class of non-Hamiltonian dynamical systems. To do this, we introduce a family of topological spaces--which we call Maslov-Arnold spaces--that share key topological features with the Lagrangian Grassmannian, and hence admit a similar index theory. This family contains the Lagrangian Grassmannian, and much more. We construct a family of examples, called hyperplane Maslov-Arnold spaces, that are dense in the Grassmannian, and hence are much larger than the Lagrangian Grassmannian (which is a submanifold of positive codimension). The resulting index is then used to study eigenvalue problems for non-symmetric reaction-diffusion systems. A highlight of our analysis is a topological interpretation of the Turing instability: the bifurcation that occurs as one increases the ratio of diffusion coefficients corresponds to a change in the generalized Maslov index.
△ Less
Submitted 20 September, 2021; v1 submitted 25 June, 2020;
originally announced June 2020.
-
E-polynomials of character varieties for real curves
Authors:
Thomas John Baird,
Michael Lennox Wong
Abstract:
We calculate the E-polynomial for a class of the (complex) character varieties $\mathcal{M}_n^τ$ associated to a genus $g$ Riemann surface $Σ$ equipped with an orientation reversing involution $τ$. Our formula expresses the generating function $\sum_{n=1}^{\infty} E(\mathcal{M}_n^τ) T^n$ as the plethystic logarithm of a product of sums indexed by Young diagrams. The proof uses point counting over…
▽ More
We calculate the E-polynomial for a class of the (complex) character varieties $\mathcal{M}_n^τ$ associated to a genus $g$ Riemann surface $Σ$ equipped with an orientation reversing involution $τ$. Our formula expresses the generating function $\sum_{n=1}^{\infty} E(\mathcal{M}_n^τ) T^n$ as the plethystic logarithm of a product of sums indexed by Young diagrams. The proof uses point counting over finite fields, emulating Hausel and Rodriguez-Villegas.
△ Less
Submitted 21 June, 2023; v1 submitted 1 June, 2020;
originally announced June 2020.
-
The moduli space of real vector bundles of rank two over a real hyperelliptic curve
Authors:
Thomas John Baird,
Shengda Hu
Abstract:
The Desale-Ramanan Theorem is an isomorphism between the moduli space of rank two vector bundles over complex hyperelliptic curve and the variety of linear subspaces in an intersection of two quadrics. We prove a real version of this theorem for the moduli space of real vector bundles over a real hyperelliptic curve. We then apply this result to study the topology of the moduli space, proving that…
▽ More
The Desale-Ramanan Theorem is an isomorphism between the moduli space of rank two vector bundles over complex hyperelliptic curve and the variety of linear subspaces in an intersection of two quadrics. We prove a real version of this theorem for the moduli space of real vector bundles over a real hyperelliptic curve. We then apply this result to study the topology of the moduli space, proving that it is relatively spin and identifying the diffeomorphism type for genus two curves. Our results lay the groundwork for future study of the quantum homology of these moduli spaces.
△ Less
Submitted 9 July, 2019; v1 submitted 30 November, 2018;
originally announced November 2018.
-
Cohomology of Quotients in Real Symplectic Geometry
Authors:
Thomas John Baird,
Nasser Heydari
Abstract:
Given a Hamiltonian system $ (M,ω, G,μ) $ where $(M,ω)$ is a symplectic manifold, $G$ is a compact connected Lie group acting on $(M,ω)$ with moment map $ μ:M \rightarrow\mathfrak{g}^{*}$, then one may construct the symplectic quotient $(M//G, ω_{red})$ where $M//G := μ^{-1}(0)/G$. Kirwan used the norm-square of the moment map, $|μ|^2$, as a G-equivariant Morse function on $M$ to derive formulas f…
▽ More
Given a Hamiltonian system $ (M,ω, G,μ) $ where $(M,ω)$ is a symplectic manifold, $G$ is a compact connected Lie group acting on $(M,ω)$ with moment map $ μ:M \rightarrow\mathfrak{g}^{*}$, then one may construct the symplectic quotient $(M//G, ω_{red})$ where $M//G := μ^{-1}(0)/G$. Kirwan used the norm-square of the moment map, $|μ|^2$, as a G-equivariant Morse function on $M$ to derive formulas for the rational Betti numbers of $M//G$.
A real Hamiltonian system $(M,ω, G,μ, σ, φ) $ is a Hamiltonian system along with a pair of involutions $(σ:M \rightarrow M, φ:G \rightarrow G) $ satisfying certain compatibility conditions. These imply that the fixed point set $M^σ$ is a Lagrangian submanifold of $(M,ω)$ and that $M^σ//G^φ := (μ^{-1}(0) \cap M^σ)/G^φ$ is a Lagrangian submanifold of $(M//G, ω_{red})$. In this paper we prove analogues of Kirwan's Theorems that can be used to calculate the $\mathbb{Z}_2$-Betti numbers of $M^σ//G^φ $. In particular, we prove (under appropriate hypotheses) that $|μ|^2$ restricts to a $G^φ$-equivariantly perfect Morse-Kirwan function on $M^σ$ over $\mathbb{Z}_2$ coefficients, describe its critical set using explicit real Hamiltonian subsystems, prove equivariant formality for $G^φ$ acting on $M^σ$, and combine these results to produce formulas for the $\mathbb{Z}_2$-Betti numbers of $M^σ//G^φ$.
△ Less
Submitted 10 July, 2018;
originally announced July 2018.
-
Cohomology of GKM-sheaves
Authors:
Ibrahem Al-Jabea,
Thomas John Baird
Abstract:
Let $T$ be a compact torus and $X$ be a a finite $T$-CW complex (e.g. a compact $T$-manifold). In earlier work, the second author introduced a functor which assigns to $X$ a so called GKM-sheaf $\mathcal{F}_X$ whose ring of global sections $H^0(\mathcal{F}_X)$ is isomorphic to the equivariant cohomology $H^*_T(X)$ whenever $X$ is equivariantly formal (meaning that $H^*_T(X)$ is a free module over…
▽ More
Let $T$ be a compact torus and $X$ be a a finite $T$-CW complex (e.g. a compact $T$-manifold). In earlier work, the second author introduced a functor which assigns to $X$ a so called GKM-sheaf $\mathcal{F}_X$ whose ring of global sections $H^0(\mathcal{F}_X)$ is isomorphic to the equivariant cohomology $H^*_T(X)$ whenever $X$ is equivariantly formal (meaning that $H^*_T(X)$ is a free module over $H^*(BT))$. In the current paper we prove more generally that $H^0(\mathcal{F}_X) \cong H^*_T(X)$ if and only if $H_T^*(X)$ is reflexive, and find a geometric interpretation of the higher cohomology $H^n(\mathcal{F}_X)$ for $n \geq 1$.
△ Less
Submitted 7 June, 2018; v1 submitted 5 June, 2018;
originally announced June 2018.
-
Lifetime Testing UV LEDs for Use in the LISA Charge Management System
Authors:
D Hollington,
J T Baird,
T J Sumner,
P J Wass
Abstract:
As a future charge management light source, UV light-emitting diodes (UV LEDs) offer far superior performance in a range of metrics compared to the mercury lamps used in the past. As part of a qualification program a number of short wavelength UV LEDs have been subjected to a series of lifetime tests for potential use on the Laser Interferometer Space Antenna (LISA) mission. These tests were perfo…
▽ More
As a future charge management light source, UV light-emitting diodes (UV LEDs) offer far superior performance in a range of metrics compared to the mercury lamps used in the past. As part of a qualification program a number of short wavelength UV LEDs have been subjected to a series of lifetime tests for potential use on the Laser Interferometer Space Antenna (LISA) mission. These tests were performed at realistic output levels for both fast and continuous discharging in either a DC or pulsed mode of operation and included a DC fast discharge test spanning 50 days, a temperature dependent pulsed fast discharge test spanning 21 days and a pulsed continuous discharge test spanning 507 days. Two types of UV LED have demonstrated lifetimes equivalent to over 25 years of realistic mission usage and provide a baseline and backup solution for LISA.
△ Less
Submitted 17 May, 2017;
originally announced May 2017.
-
Moduli spaces of vector bundles with fixed determinant over a real curve
Authors:
Thomas John Baird
Abstract:
Let $(Σ,τ)$ denote a Riemann surface of genus $g \geq 2$ equipped with an anti-holomorphic involution $τ$. In this paper we study the topology of the moduli space $M(r,ξ)^τ$ of stable Real vector bundles over $(Σ,τ)$ of rank $r$ and fixed determinant $ξ$ of degree coprime to $r$.
We prove that $M(r,ξ)^τ$ is an orientable and monotone Lagrangian submanifold of the complex moduli space $M(r,ξ)$ so…
▽ More
Let $(Σ,τ)$ denote a Riemann surface of genus $g \geq 2$ equipped with an anti-holomorphic involution $τ$. In this paper we study the topology of the moduli space $M(r,ξ)^τ$ of stable Real vector bundles over $(Σ,τ)$ of rank $r$ and fixed determinant $ξ$ of degree coprime to $r$.
We prove that $M(r,ξ)^τ$ is an orientable and monotone Lagrangian submanifold of the complex moduli space $M(r,ξ)$ so it determines an object in the appropriate Fukaya category. We derive recursive formulas for the mod $2$ Betti numbers of $M(r,ξ)^τ$ and compute mod $p$ Betti numbers for odd $p$ through a range of degrees. We deduce that if $r$ is even and $ g >>0$, then $M(r,ξ)^τ$ and $M(r,ξ')^τ$ have non-isomorphic cohomology groups unless $ξ$ and $ξ'$ have equivalent Stieffel-Whitney classes modulo automorphisms of $(Σ,τ)$. If $r$ is even, and $g>>0$ is even, we prove that the Betti numbers of $M(r,ξ)^τ$ distinguish topological types of $(Σ, τ; ξ)$. If $r=2$ and $g$ is odd, we compute all mod $p$ Betti numbers of $M(2,ξ)^τ$.
MR 32L05, 14P25.
△ Less
Submitted 3 March, 2017; v1 submitted 2 March, 2017;
originally announced March 2017.
-
Charge-induced force-noise on free-falling test masses: results from LISA Pathfinder
Authors:
M. Armano,
H. Audley,
G. Auger,
J. T. Baird,
P. Binetruy,
M. Born,
D. Bortoluzzi,
N. Brandt,
A. Bursi,
M. Caleno,
A. Cavalleri,
A. Cesarini,
M. Cruise,
K. Danzmann,
M. de Deus Silva,
I. Diepholz,
R. Dolesi,
N. Dunbar,
L. Ferraioli,
V. Ferroni,
E. D. Fitzsimons,
R. Flatscher,
M. Freschi,
J. Gallegos,
C. García Marirrodriga
, et al. (69 additional authors not shown)
Abstract:
We report on electrostatic measurements made on board the European Space Agency mission LISA Pathfinder. Detailed measurements of the charge-induced electrostatic forces exerted on free-falling test masses (TMs) inside the capacitive gravitational reference sensor are the first made in a relevant environment for a space-based gravitational wave detector. Employing a combination of charge control a…
▽ More
We report on electrostatic measurements made on board the European Space Agency mission LISA Pathfinder. Detailed measurements of the charge-induced electrostatic forces exerted on free-falling test masses (TMs) inside the capacitive gravitational reference sensor are the first made in a relevant environment for a space-based gravitational wave detector. Employing a combination of charge control and electric-field compensation, we show that the level of charge-induced acceleration noise on a single TM can be maintained at a level close to 1.0 fm/s^2/sqrt(Hz) across the 0.1-100 mHz frequency band that is crucial to an observatory such as LISA. Using dedicated measurements that detect these effects in the differential acceleration between the two test masses, we resolve the stochastic nature of the TM charge build up due to interplanetary cosmic rays and the TM charge-to-force coupling through stray electric fields in the sensor. All our measurements are in good agreement with predictions based on a relatively simple electrostatic model of the LISA Pathfinder instrument.
△ Less
Submitted 15 February, 2017;
originally announced February 2017.
-
Symmetric products of a real curve and the moduli space of Higgs bundles
Authors:
Thomas John Baird
Abstract:
Consider a Riemann surface $X$ of genus $g \geq 2$ equipped with an antiholomorphic involution $τ$. This induces a natural involution on the moduli space $M(r,d)$ of semistable Higgs bundles of rank $r$ and degree $d$. If $D$ is a divisor such that $τ(D) = D$, this restricts to an involution on the moduli space $M(r,D)$ of semistable Higgs bundles of rank $r$ with fixed determinant…
▽ More
Consider a Riemann surface $X$ of genus $g \geq 2$ equipped with an antiholomorphic involution $τ$. This induces a natural involution on the moduli space $M(r,d)$ of semistable Higgs bundles of rank $r$ and degree $d$. If $D$ is a divisor such that $τ(D) = D$, this restricts to an involution on the moduli space $M(r,D)$ of semistable Higgs bundles of rank $r$ with fixed determinant $\mathcal{O}(D)$ and trace-free Higgs field. The fixed point sets of these involutions $M(r,d)^τ$ and $M(r,D)^τ$ are $(A,A,B)$-branes introduced by Baraglia-Schaposnik. In this paper, we derive formulas for the mod 2 Betti numbers of $M(r,d)^τ$ and $M(r,D)^τ$ when $r=2$ and $d$ is odd. In the course of this calculation, we also compute the mod 2 cohomology ring of $SP^m(X)^τ$, the fixed point set of the involution induced by $τ$ on symmetric products of the Riemann surface.
△ Less
Submitted 6 March, 2017; v1 submitted 29 November, 2016;
originally announced November 2016.
-
Cohomology of the Moduli Space of Rank Two, Odd Degree Vector Bundles over a Real Curve
Authors:
Thomas John Baird
Abstract:
We consider the moduli space of rank two, odd degree, semi-stable Real vector bundles over a real curve, calculating the singular cohomology ring in odd and zero characteristic for most examples.
We consider the moduli space of rank two, odd degree, semi-stable Real vector bundles over a real curve, calculating the singular cohomology ring in odd and zero characteristic for most examples.
△ Less
Submitted 22 July, 2016; v1 submitted 10 August, 2015;
originally announced August 2015.
-
Characterising and Testing Deep UV LEDs for Use in Space Applications
Authors:
D. Hollington,
J. T. Baird,
T. J. Sumner,
P. J. Wass
Abstract:
Deep ultraviolet (DUV) light sources are used to neutralise isolated test masses in highly sensitive space-based gravitational experiments. An example is the LISA Pathfinder charge management system, which uses low-pressure mercury lamps. A future gravitational-wave observatory such as eLISA will use UV light-emitting diodes (UV LEDs), which offer numerous advantages over traditional discharge lam…
▽ More
Deep ultraviolet (DUV) light sources are used to neutralise isolated test masses in highly sensitive space-based gravitational experiments. An example is the LISA Pathfinder charge management system, which uses low-pressure mercury lamps. A future gravitational-wave observatory such as eLISA will use UV light-emitting diodes (UV LEDs), which offer numerous advantages over traditional discharge lamps. Such devices have limited space heritage but are are now available from a number of commercial suppliers. Here we report on a test campaign that was carried out to quantify the general properties of three types of commercially available UV LEDs and demonstrate their suitability for use in space. Testing included general electrical and UV output measurements, spectral stability, pulsed performance, temperature dependence as well as thermal vacuum, radiation and vibration survivability.
△ Less
Submitted 4 August, 2015;
originally announced August 2015.
-
The evolution of the mass ratio of accreting binaries: the role of gas temperature
Authors:
Matthew D. Young,
Jonathon T. Baird,
Cathie J. Clarke
Abstract:
We explore an unresolved controversy in the literature about the accuracy of Smoothed Particle Hydrodynamics (SPH) in modeling the accretion of gas onto a binary system, a problem with important applications to the evolution of proto-binaries as well as accreting binary super massive black holes. It has previously been suggested that SPH fails to model the flow of loosely bound material from the s…
▽ More
We explore an unresolved controversy in the literature about the accuracy of Smoothed Particle Hydrodynamics (SPH) in modeling the accretion of gas onto a binary system, a problem with important applications to the evolution of proto-binaries as well as accreting binary super massive black holes. It has previously been suggested that SPH fails to model the flow of loosely bound material from the secondary to primary Roche lobe and that its general prediction that accretion drives mass ratios upwards is numerically flawed. Here we show with 2D SPH that this flow from secondary to primary Roche lobe is a sensitive function of gas temperature and that this largely explains the conflicting claims in the literature which have hitherto been based on either 'cold' SPH simulations or 'hot' grid based calculations. We present simulations of a specimen 'cold' and 'hot' accretion scenario which are numerically converged and evolved into a steady state. Our analysis of the conservation of the Jacobi integral of accreting particles indicates that our results are not strongly compromised by numerical dissipation. We also explore the low resolution limit and find that simulations where the ratio of SPH smoothing length to disc scale height at the edge of the circumsecondary is less than 1 accurately capture binary accretion rates.
△ Less
Submitted 12 December, 2014;
originally announced December 2014.
-
Classifying spaces of twisted loop groups
Authors:
Thomas Baird
Abstract:
We study the classifying space of a twisted loop group $L_σG$ where $G$ is a compact Lie group and $σ$ is an automorphism of $G$ of finite order modulo inner automorphisms. Equivalently, we study the $σ$-twisted adjoint action of $G$ on itself. We derive a formula for the cohomology ring $H^*(BL_σG)$ and explicitly carry out the calculation for all automorphisms of simple Lie groups. More generall…
▽ More
We study the classifying space of a twisted loop group $L_σG$ where $G$ is a compact Lie group and $σ$ is an automorphism of $G$ of finite order modulo inner automorphisms. Equivalently, we study the $σ$-twisted adjoint action of $G$ on itself. We derive a formula for the cohomology ring $H^*(BL_σG)$ and explicitly carry out the calculation for all automorphisms of simple Lie groups. More generally, we derive a formula for the equivariant cohomology of compact Lie group actions with constant rank stabilizers.
△ Less
Submitted 25 May, 2015; v1 submitted 28 December, 2013;
originally announced December 2013.
-
Moduli spaces of vector bundles over a real curve: Z/2-Betti numbers
Authors:
Thomas Baird
Abstract:
Moduli spaces of real bundles over a real curve arise naturally as Lagrangian submanifolds of the moduli space of semi-stable bundles over a complex curve. In this paper, we adapt the methods of Atiyah-Bott's "Yang-Mills over a Riemann Surface" to compute Z/2-Betti numbers of these spaces, proving formulas recently obtained by Liu and Schaffhauser.
Moduli spaces of real bundles over a real curve arise naturally as Lagrangian submanifolds of the moduli space of semi-stable bundles over a complex curve. In this paper, we adapt the methods of Atiyah-Bott's "Yang-Mills over a Riemann Surface" to compute Z/2-Betti numbers of these spaces, proving formulas recently obtained by Liu and Schaffhauser.
△ Less
Submitted 5 November, 2013; v1 submitted 20 July, 2012;
originally announced July 2012.
-
Smoothing maps into algebraic sets and spaces of flat connections
Authors:
Thomas Baird,
Daniel A. Ramras
Abstract:
Let X be a real algebraic subset of R^n and M a smooth, closed manifold. We show that all continuous maps from M to X are homotopic (in X) to C^\infty maps. We apply this result to study characteristic classes of vector bundles associated to continuous families of complex group representations, and we establish lower bounds on the ranks of the homotopy groups of spaces of flat connections over asp…
▽ More
Let X be a real algebraic subset of R^n and M a smooth, closed manifold. We show that all continuous maps from M to X are homotopic (in X) to C^\infty maps. We apply this result to study characteristic classes of vector bundles associated to continuous families of complex group representations, and we establish lower bounds on the ranks of the homotopy groups of spaces of flat connections over aspherical manifolds.
△ Less
Submitted 11 October, 2014; v1 submitted 14 June, 2012;
originally announced June 2012.
-
GKM sheaves and nonorientable surface group representations
Authors:
Thomas Baird
Abstract:
Let T be a compact torus and X a nice compact T-space (say a manifold or variety). We introduce a functor assigning to X a "GKM-sheaf" F_X over a "GKM-hypergraph" G_X. Under the condition that X is equivariantly formal, the ring of global sections of F_X are identified with the equivariant cohomology, H_T^*(X; C). We show that GKM-sheaves provide a general framework able to incorporate numerous co…
▽ More
Let T be a compact torus and X a nice compact T-space (say a manifold or variety). We introduce a functor assigning to X a "GKM-sheaf" F_X over a "GKM-hypergraph" G_X. Under the condition that X is equivariantly formal, the ring of global sections of F_X are identified with the equivariant cohomology, H_T^*(X; C). We show that GKM-sheaves provide a general framework able to incorporate numerous constructions in the GKM-theory literature.
In the second half of the paper we apply these ideas to study the equivariant topology of the representation variety R_K := Hom(π_1(S), K) under conjugation by K, where S is a nonorientable surface and K is a compact connected Lie group. We prove that R_{SU(3)} is equivariantly formal for all S and compute its equivariant cohomology. . We also produce conjectural betti number formulas for some other Lie groups.
△ Less
Submitted 25 April, 2013; v1 submitted 9 August, 2010;
originally announced August 2010.
-
The space of commuting n-tuples in SU(2)
Authors:
Thomas Baird,
Lisa Jeffrey,
Paul Selick
Abstract:
Let Y = Hom(Z^n, SU(2)) denote the space of commuting n-tuples in SU(2). We determine the homotopy type of the suspension of Y and compute the integral cohomology groups of Y for all positive integers n.
Let Y = Hom(Z^n, SU(2)) denote the space of commuting n-tuples in SU(2). We determine the homotopy type of the suspension of Y and compute the integral cohomology groups of Y for all positive integers n.
△ Less
Submitted 4 January, 2010; v1 submitted 25 November, 2009;
originally announced November 2009.
-
Generalized complex hamiltonian torus actions: Examples and constraints
Authors:
Thomas Baird,
Yi Lin
Abstract:
Consider an effective Hamiltonian torus action $T\times M \to M$ on a topologically twisted,generalized complex manifold $M$ of dimension $2n$. We prove that the $rank(T) \leq n-2$ and that the topological twisting survives Hamiltonian reduction. We then construct a large new class of such actions satisfying $rank(T) = n-2$, using a surgery procedure on toric manifolds.
Consider an effective Hamiltonian torus action $T\times M \to M$ on a topologically twisted,generalized complex manifold $M$ of dimension $2n$. We prove that the $rank(T) \leq n-2$ and that the topological twisting survives Hamiltonian reduction. We then construct a large new class of such actions satisfying $rank(T) = n-2$, using a surgery procedure on toric manifolds.
△ Less
Submitted 7 April, 2009; v1 submitted 7 April, 2009;
originally announced April 2009.
-
Antiperfection of Yang-Mills Morse theory over a nonorientable surface
Authors:
Thomas Baird
Abstract:
We use Morse theory of the Yang-Mills functional to compute the Betti numbers of the moduli stack of flat U(3)-bundles over a compact nonorientable surface. Our result establishes the antiperfection conjecture of Ho-Liu, and provides evidence for the equivariant formality conjecture of the author.
We use Morse theory of the Yang-Mills functional to compute the Betti numbers of the moduli stack of flat U(3)-bundles over a compact nonorientable surface. Our result establishes the antiperfection conjecture of Ho-Liu, and provides evidence for the equivariant formality conjecture of the author.
△ Less
Submitted 15 June, 2009; v1 submitted 26 February, 2009;
originally announced February 2009.
-
Moduli of flat SU(3)-bundles over a Klein bottle
Authors:
Thomas Baird
Abstract:
In this short note, we compute the Betti numbers of the moduli stack of flat SU(3)-bundles over a Klein bottle. We also handle the general compact group case over RP^2. In all cases the cohomology is found to be equivariantly formal, supporting a conjecture from the author's doctoral thesis. Our results also verify conjectural formulas obtained by Ho-Liu using Yang-Mills Morse theory.
In this short note, we compute the Betti numbers of the moduli stack of flat SU(3)-bundles over a Klein bottle. We also handle the general compact group case over RP^2. In all cases the cohomology is found to be equivariantly formal, supporting a conjecture from the author's doctoral thesis. Our results also verify conjectural formulas obtained by Ho-Liu using Yang-Mills Morse theory.
△ Less
Submitted 16 December, 2009; v1 submitted 12 January, 2009;
originally announced January 2009.
-
The moduli space of flat SU(2)-bundles over a nonorientable surface
Authors:
Thomas Baird
Abstract:
We study the topology of the moduli space of flat SU(2)-bundles over a nonorientable surface X. This moduli space may be identified with the space of homomorphisms Hom(π_1(X),SU(2)) modulo conjugation by SU(2). In particular, we compute the (rational) equivariant cohomology ring of Hom(π_1(X),SU(2)) and use this to compute the ordinary cohomology groups of the quotient Hom(π_1(X),SU(2))/SU(2). A…
▽ More
We study the topology of the moduli space of flat SU(2)-bundles over a nonorientable surface X. This moduli space may be identified with the space of homomorphisms Hom(π_1(X),SU(2)) modulo conjugation by SU(2). In particular, we compute the (rational) equivariant cohomology ring of Hom(π_1(X),SU(2)) and use this to compute the ordinary cohomology groups of the quotient Hom(π_1(X),SU(2))/SU(2). A key property is that the conjugation action is equivariantly formal.
△ Less
Submitted 31 December, 2008; v1 submitted 11 June, 2008;
originally announced June 2008.
-
Topology of generalized complex quotients
Authors:
Thomas Baird,
Yi Lin
Abstract:
Consider the Hamiltonian action of a torus on a compact twisted generalized complex manifold $M$. We first observe that Kirwan injectivity and surjectivity hold for ordinary equivariant cohomology in this setting. Then we prove that these two results hold for the twisted equivariant cohomology as well.
Consider the Hamiltonian action of a torus on a compact twisted generalized complex manifold $M$. We first observe that Kirwan injectivity and surjectivity hold for ordinary equivariant cohomology in this setting. Then we prove that these two results hold for the twisted equivariant cohomology as well.
△ Less
Submitted 1 August, 2008; v1 submitted 10 February, 2008;
originally announced February 2008.
-
Cohomology of the space of commuting n-tuples in a compact Lie group
Authors:
Thomas Baird
Abstract:
Consider the space Hom(Z^n,G) of pairwise commuting n-tuples of elements in a compact Lie group G. This forms a real algebraic variety, which is generally singular. In this paper, we construct a desingularization of the generic component of Hom(Z^n,G), which allows us to derive formulas for its ordinary and equivariant cohomology in terms of the Lie algebra of a maximal torus in G and the action…
▽ More
Consider the space Hom(Z^n,G) of pairwise commuting n-tuples of elements in a compact Lie group G. This forms a real algebraic variety, which is generally singular. In this paper, we construct a desingularization of the generic component of Hom(Z^n,G), which allows us to derive formulas for its ordinary and equivariant cohomology in terms of the Lie algebra of a maximal torus in G and the action of the Weyl group. This is an application of a general theorem concerning G-spaces for which every element is fixed by a maximal torus.
△ Less
Submitted 19 February, 2007; v1 submitted 25 October, 2006;
originally announced October 2006.