-
Emergent photons and mechanisms of confinement
Authors:
Jeffrey Giansiracusa,
David Lanners,
Tin Sulejmanpasic
Abstract:
We numerically study $\mathbb{Z}_N$ lattice gauge theories in 4D as prototypical models of systems with $\mathbb{Z}_N$ 1-$\textit{form symmetry}$. For $N \geq 3$, we provide evidence that such systems exhibit not only the expected phases with spontaneously broken/restored symmetry but also a third photon phase. When present, the 1-form symmetry provides a precise notion of confinement, and it is c…
▽ More
We numerically study $\mathbb{Z}_N$ lattice gauge theories in 4D as prototypical models of systems with $\mathbb{Z}_N$ 1-$\textit{form symmetry}$. For $N \geq 3$, we provide evidence that such systems exhibit not only the expected phases with spontaneously broken/restored symmetry but also a third photon phase. When present, the 1-form symmetry provides a precise notion of confinement, and it is commonly believed that confinement ensues due to the proliferation of extended, string-like objects known as $\textit{center vortices}$, which carry a $\mathbb{Z}_N$ flux. However, this picture is challenged by the three-phase scenario investigated here. We show that both the confined and the photon phases are associated with the proliferation of center vortices and that the key difference between them lies in whether or not vortex-junctions, the $\textit{monopoles}$, proliferate.
△ Less
Submitted 30 April, 2025;
originally announced May 2025.
-
Topological Data Analysis of Abelian Magnetic Monopoles in Gauge Theories
Authors:
Xavier Crean,
Jeffrey Giansiracusa,
Biagio Lucini
Abstract:
Motivated by recent literature on the possible existence of a second higher-temperature phase transition in Quantum Chromodynamics, we revisit the proposal that colour confinement is related to the dynamics of magnetic monopoles using methods of Topological Data Analysis, which provides a mathematically rigorous characterisation of topological properties of quantities defined on a lattice. After i…
▽ More
Motivated by recent literature on the possible existence of a second higher-temperature phase transition in Quantum Chromodynamics, we revisit the proposal that colour confinement is related to the dynamics of magnetic monopoles using methods of Topological Data Analysis, which provides a mathematically rigorous characterisation of topological properties of quantities defined on a lattice. After introducing persistent homology, one of the main tools in Topological Data Analysis, we shall discuss how this concept can be used to quantitatively analyse the behaviour of monopoles across the deconfinement phase transition. Our approach is first demonstrated for Compact $U(1)$ Lattice Gauge Theory, which is known to have a zero-temperature deconfinement phase transition driven by the restoration of the symmetry associated with the conservation of the magnetic charge. For this system, we perform a finite-size scaling analysis of observables capturing the homology of magnetic current loops, showing that the expected value of the deconfinement critical coupling is reproduced by our analysis. We then extend our method to $SU(3)$ gauge theory, in which Abelian magnetic monopoles are identified after projection in the Maximal Abelian Gauge. A finite-size scaling of our homological observables of Abelian magnetic current loops at temporal size $N_t = 4$ provides the expected value of the critical coupling with an accuracy that is generally higher than that obtained with conventional thermodynamic approaches at comparable statistics, hinting towards the relevance of topological properties of monopole currents for confinement.
△ Less
Submitted 31 January, 2025;
originally announced January 2025.
-
Log-concavity for independent sets of valuated matroids
Authors:
Jeffrey Giansiracusa,
Felipe Rincón,
Victoria Schleis,
Martin Ulirsch
Abstract:
Recently, several proofs of the Mason--Welsh conjecture for matroids have been found, which asserts the log-concavity of the sequence that counts independent sets of a given size. In this article we use the theory of Lorentzian polynomials, developed by Brändén and Huh, to prove a generalization of the Mason-Welsh conjecture to the context of valuated matroids. In fact, we provide a log-concavity…
▽ More
Recently, several proofs of the Mason--Welsh conjecture for matroids have been found, which asserts the log-concavity of the sequence that counts independent sets of a given size. In this article we use the theory of Lorentzian polynomials, developed by Brändén and Huh, to prove a generalization of the Mason-Welsh conjecture to the context of valuated matroids. In fact, we provide a log-concavity result in the more general setting of valuated discrete polymatroids, or equivalently, M-convex functions. Our approach is via the construction of a generic extension of a valuated matroid or M-convex function, so that the bases of the extension are related to the independent sets of the original matroid. We also provide a similar log-concavity result for valuated bimatroids, which, we believe, might be of independent interest.
△ Less
Submitted 8 July, 2024;
originally announced July 2024.
-
Projective hypersurfaces in tropical scheme theory I: the Macaulay ideal
Authors:
Alex Fink,
Jeffrey Giansiracusa,
Noah Giansiracusa,
Joshua Mundinger
Abstract:
A "tropical ideal" is an ideal in the idempotent semiring of tropical polynomials that is also, degree by degree, a tropical linear space. We introduce a construction based on transversal matroids that canonically extends any principal ideal to a tropical ideal. We call this the Macaulay tropical ideal. It has a universal property: any other extension of the given principal ideal to a tropical ide…
▽ More
A "tropical ideal" is an ideal in the idempotent semiring of tropical polynomials that is also, degree by degree, a tropical linear space. We introduce a construction based on transversal matroids that canonically extends any principal ideal to a tropical ideal. We call this the Macaulay tropical ideal. It has a universal property: any other extension of the given principal ideal to a tropical ideal with the expected Hilbert function is a weak image of the Macaulay tropical ideal. For each $n\geq 2$ and $d\geq 1$ our construction yields a non-realizable degree $d$ hypersurface scheme in $\mathbb{P}^n$. Maclagan-Rincón produced a non-realizable line in $\mathbb{P}^n$ for each $n$, and for $(d,n)=(1,2)$ the two constructions agree. An appendix by Mundinger compares the Macaulay construction with another method for canonically extending ideals to tropical ideals.
△ Less
Submitted 25 May, 2024;
originally announced May 2024.
-
Topological Data Analysis of Monopole Current Networks in $U(1)$ Lattice Gauge Theory
Authors:
Xavier Crean,
Jeffrey Giansiracusa,
Biagio Lucini
Abstract:
In $4$-dimensional pure compact $U(1)$ lattice gauge theory, we analyse topological aspects of the dynamics of monopoles across the deconfinement phase transition. We do this using tools from Topological Data Analysis (TDA). We demonstrate that observables constructed from the zeroth and first homology groups of monopole current networks may be used to quantitatively and robustly locate the critic…
▽ More
In $4$-dimensional pure compact $U(1)$ lattice gauge theory, we analyse topological aspects of the dynamics of monopoles across the deconfinement phase transition. We do this using tools from Topological Data Analysis (TDA). We demonstrate that observables constructed from the zeroth and first homology groups of monopole current networks may be used to quantitatively and robustly locate the critical inverse coupling $β_{c}$ through finite-size scaling. Our method provides a mathematically robust framework for the characterisation of topological invariants related to monopole currents, putting on firmer ground earlier investigations. Moreover, our approach can be generalised to the study of Abelian monopoles in non-Abelian gauge theories.
△ Less
Submitted 29 August, 2024; v1 submitted 12 March, 2024;
originally announced March 2024.
-
Algebraic Dynamical Systems in Machine Learning
Authors:
Iolo Jones,
Jerry Swan,
Jeffrey Giansiracusa
Abstract:
We introduce an algebraic analogue of dynamical systems, based on term rewriting. We show that a recursive function applied to the output of an iterated rewriting system defines a formal class of models into which all the main architectures for dynamic machine learning models (including recurrent neural networks, graph neural networks, and diffusion models) can be embedded. Considered in category…
▽ More
We introduce an algebraic analogue of dynamical systems, based on term rewriting. We show that a recursive function applied to the output of an iterated rewriting system defines a formal class of models into which all the main architectures for dynamic machine learning models (including recurrent neural networks, graph neural networks, and diffusion models) can be embedded. Considered in category theory, we also show that these algebraic models are a natural language for describing the compositionality of dynamic models. Furthermore, we propose that these models provide a template for the generalisation of the above dynamic models to learning problems on structured or non-numerical data, including 'hybrid symbolic-numeric' models.
△ Less
Submitted 6 November, 2023;
originally announced November 2023.
-
Ladder Decomposition for Morphisms of Persistence Modules
Authors:
Živa Urbančič,
Jeffrey Giansiracusa
Abstract:
The output of persistent homology is an algebraic object called a persistence module. This object admits a decomposition into a direct sum of interval persistence modules described entirely by the barcode invariant. In this paper we investigate when a morphism $Φ\colon V \to W$ of persistence modules admits an analogous direct sum decomposition. Jacquard et al. showed that a ladder decomposition c…
▽ More
The output of persistent homology is an algebraic object called a persistence module. This object admits a decomposition into a direct sum of interval persistence modules described entirely by the barcode invariant. In this paper we investigate when a morphism $Φ\colon V \to W$ of persistence modules admits an analogous direct sum decomposition. Jacquard et al. showed that a ladder decomposition can be obtained whenever the barcodes of $V$ and $W$ do not have any strictly nested bars. We refine this result and show that even in the presence of nested bars, a ladder decomposition exists when the morphism is sufficiently close to being invertible relative to the scale of the nested bars.
△ Less
Submitted 7 July, 2023;
originally announced July 2023.
-
An $E_\infty$ structure on the matroid grassmannian
Authors:
Jeffrey Giansiracusa
Abstract:
In analogy with the origin of the additive structure of $K$-theory, we construct an $E_\infty$ structure on the matroid Grassmannian (the space of oriented matroids) for which the underlying binary operation is the direct sum of matroids. The proof involves lifting the polyhedral fan structure of the Dressian to a polyhedral model for the matroid Grassmannian, and introducing a novel $E_\infty$ op…
▽ More
In analogy with the origin of the additive structure of $K$-theory, we construct an $E_\infty$ structure on the matroid Grassmannian (the space of oriented matroids) for which the underlying binary operation is the direct sum of matroids. The proof involves lifting the polyhedral fan structure of the Dressian to a polyhedral model for the matroid Grassmannian, and introducing a novel $E_\infty$ operad made from the space of infinite subsets of $\mathbb{N}$.
△ Less
Submitted 10 February, 2023;
originally announced February 2023.
-
Persistent homology as a probe for center vortices and deconfinement in SU(2) lattice gauge theory
Authors:
Nicholas Sale,
Biagio Lucini,
Jeffrey Giansiracusa
Abstract:
Topological Data Analysis (TDA) is a field that leverages tools and ideas from algebraic topology to provide robust methods for analysing geometric and topological aspects of data. One of the principal tools of TDA, persistent homology, produces a quantitative description of how the connectivity and structure of data changes when viewed over a sequence of scales. We propose that this presents a me…
▽ More
Topological Data Analysis (TDA) is a field that leverages tools and ideas from algebraic topology to provide robust methods for analysing geometric and topological aspects of data. One of the principal tools of TDA, persistent homology, produces a quantitative description of how the connectivity and structure of data changes when viewed over a sequence of scales. We propose that this presents a means to directly probe topological objects in gauge theories. We present recent work on using persistent homology to detect center vortices in SU(2) lattice gauge theory configurations in a gauge-invariant manner. We introduce the basics of persistence, describe our construction, and demonstrate that the result is sensitive to vortices. Moreover we discuss how, with simple machine learning, one can use the resulting persistence to quantitatively analyse the deconfinement transition via finite-size scaling, providing evidence on the role of vortices in relation to confinement in Yang-Mills theories.
△ Less
Submitted 29 November, 2022;
originally announced November 2022.
-
Probing center vortices and deconfinement in $\mathrm{SU}(2)$ lattice gauge theory with persistent homology
Authors:
Nicholas Sale,
Biagio Lucini,
Jeffrey Giansiracusa
Abstract:
We investigate the use of persistent homology, a tool from topological data analysis, as a means to detect and quantitatively describe center vortices in $\mathrm{SU}(2)$ lattice gauge theory in a gauge-invariant manner. We provide evidence for the sensitivity of our method to vortices by detecting a vortex explicitly inserted using twisted boundary conditions in the deconfined phase. This inspire…
▽ More
We investigate the use of persistent homology, a tool from topological data analysis, as a means to detect and quantitatively describe center vortices in $\mathrm{SU}(2)$ lattice gauge theory in a gauge-invariant manner. We provide evidence for the sensitivity of our method to vortices by detecting a vortex explicitly inserted using twisted boundary conditions in the deconfined phase. This inspires the definition of a new phase indicator for the deconfinement phase transition. We also construct a phase indicator without reference to twisted boundary conditions using a simple $k$-nearest neighbours classifier. Finite-size scaling analyses of both persistence-based indicators yield accurate estimates of the critical $β$ and critical exponent of correlation length $ν$ of the deconfinement phase transition.
△ Less
Submitted 13 January, 2023; v1 submitted 27 July, 2022;
originally announced July 2022.
-
A general framework for tropical differential equations
Authors:
Jeffrey Giansiracusa,
Stefano Mereta
Abstract:
We construct a general framework for tropical differential equations based on idempotent semirings and an idempotent version of differential algebra. Over a differential ring equipped with a non-archimedean norm enhanced with additional differential information, we define tropicalization of differential equations and tropicalization of their solution sets. This framework includes rings of interest…
▽ More
We construct a general framework for tropical differential equations based on idempotent semirings and an idempotent version of differential algebra. Over a differential ring equipped with a non-archimedean norm enhanced with additional differential information, we define tropicalization of differential equations and tropicalization of their solution sets. This framework includes rings of interest in the theory of p-adic differential equations: rings of convergent power series over a non-archimedean normed field. The tropicalization records the norms of the coefficients. This gives a significant refinement of Grigoriev's framework for tropical differential equations. We then prove a differential analogue of Payne's inverse limit theorem: the limit of all tropicalizations of a system of differential equations is isomorphic to a differential variant of the Berkovich analytification.
△ Less
Submitted 1 June, 2023; v1 submitted 6 November, 2021;
originally announced November 2021.
-
Quantitative analysis of phase transitions in two-dimensional XY models using persistent homology
Authors:
Nicholas Sale,
Jeffrey Giansiracusa,
Biagio Lucini
Abstract:
We use persistent homology and persistence images as an observable of three different variants of the two-dimensional XY model in order to identify and study their phase transitions. We examine models with the classical XY action, a topological lattice action, and an action with an additional nematic term. In particular, we introduce a new way of computing the persistent homology of lattice spin m…
▽ More
We use persistent homology and persistence images as an observable of three different variants of the two-dimensional XY model in order to identify and study their phase transitions. We examine models with the classical XY action, a topological lattice action, and an action with an additional nematic term. In particular, we introduce a new way of computing the persistent homology of lattice spin model configurations and, by considering the fluctuations in the output of logistic regression and k-nearest neighbours models trained on persistence images, we develop a methodology to extract estimates of the critical temperature and the critical exponent of the correlation length. We put particular emphasis on finite-size scaling behaviour and producing estimates with quantifiable error. For each model we successfully identify its phase transition(s) and are able to get an accurate determination of the critical temperatures and critical exponents of the correlation length.
△ Less
Submitted 2 February, 2022; v1 submitted 22 September, 2021;
originally announced September 2021.
-
Characteristic classes of bundles of K3 manifolds and the Nielsen realization problem
Authors:
Jeffrey Giansiracusa,
Alexander Kupers,
Bena Tshishiku
Abstract:
Let $K$ be the K3 manifold. In this note, we discuss two methods to prove that certain generalized Miller--Morita--Mumford classes for smooth bundles with fiber $K$ are non-zero. As a consequence, we fill a gap in a paper of the first author, and prove that the homomorphism $Diff(K)\to π_0 Diff(K)$ does not split. One of the two methods of proof uses a result of Franke on the stable cohomology of…
▽ More
Let $K$ be the K3 manifold. In this note, we discuss two methods to prove that certain generalized Miller--Morita--Mumford classes for smooth bundles with fiber $K$ are non-zero. As a consequence, we fill a gap in a paper of the first author, and prove that the homomorphism $Diff(K)\to π_0 Diff(K)$ does not split. One of the two methods of proof uses a result of Franke on the stable cohomology of arithmetic groups that strengthens work of Borel, and may be of independent interest.
△ Less
Submitted 12 December, 2019; v1 submitted 17 July, 2019;
originally announced July 2019.
-
The Compact Linear Collider (CLIC) - 2018 Summary Report
Authors:
The CLIC,
CLICdp collaborations,
:,
T. K. Charles,
P. J. Giansiracusa,
T. G. Lucas,
R. P. Rassool,
M. Volpi,
C. Balazs,
K. Afanaciev,
V. Makarenko,
A. Patapenka,
I. Zhuk,
C. Collette,
M. J. Boland,
A. C. Abusleme Hoffman,
M. A. Diaz,
F. Garay,
Y. Chi,
X. He,
G. Pei,
S. Pei,
G. Shu,
X. Wang,
J. Zhang
, et al. (671 additional authors not shown)
Abstract:
The Compact Linear Collider (CLIC) is a TeV-scale high-luminosity linear $e^+e^-$ collider under development at CERN. Following the CLIC conceptual design published in 2012, this report provides an overview of the CLIC project, its current status, and future developments. It presents the CLIC physics potential and reports on design, technology, and implementation aspects of the accelerator and the…
▽ More
The Compact Linear Collider (CLIC) is a TeV-scale high-luminosity linear $e^+e^-$ collider under development at CERN. Following the CLIC conceptual design published in 2012, this report provides an overview of the CLIC project, its current status, and future developments. It presents the CLIC physics potential and reports on design, technology, and implementation aspects of the accelerator and the detector. CLIC is foreseen to be built and operated in stages, at centre-of-mass energies of 380 GeV, 1.5 TeV and 3 TeV, respectively. CLIC uses a two-beam acceleration scheme, in which 12 GHz accelerating structures are powered via a high-current drive beam. For the first stage, an alternative with X-band klystron powering is also considered. CLIC accelerator optimisation, technical developments and system tests have resulted in an increased energy efficiency (power around 170 MW) for the 380 GeV stage, together with a reduced cost estimate at the level of 6 billion CHF. The detector concept has been refined using improved software tools. Significant progress has been made on detector technology developments for the tracking and calorimetry systems. A wide range of CLIC physics studies has been conducted, both through full detector simulations and parametric studies, together providing a broad overview of the CLIC physics potential. Each of the three energy stages adds cornerstones of the full CLIC physics programme, such as Higgs width and couplings, top-quark properties, Higgs self-coupling, direct searches, and many precision electroweak measurements. The interpretation of the combined results gives crucial and accurate insight into new physics, largely complementary to LHC and HL-LHC. The construction of the first CLIC energy stage could start by 2026. First beams would be available by 2035, marking the beginning of a broad CLIC physics programme spanning 25-30 years.
△ Less
Submitted 6 May, 2019; v1 submitted 14 December, 2018;
originally announced December 2018.
-
The circle transfer and cobordism categories
Authors:
Jeffrey Giansiracusa
Abstract:
The circle transfer $QΣ(LX_{hS^1})_+ \to QLX_+$ has appeared in several contexts in topology. In this note we observe that this map admits a geometric re-interpretation as a morphism of cobordism categories of 0-manifolds and 1-cobordisms. Let $C_1(X)$ denote the 1-dimensional cobordism category and let $Circ(X) \subset C_1(X)$ denote the subcategory whose objects are disjoint unions of unparametr…
▽ More
The circle transfer $QΣ(LX_{hS^1})_+ \to QLX_+$ has appeared in several contexts in topology. In this note we observe that this map admits a geometric re-interpretation as a morphism of cobordism categories of 0-manifolds and 1-cobordisms. Let $C_1(X)$ denote the 1-dimensional cobordism category and let $Circ(X) \subset C_1(X)$ denote the subcategory whose objects are disjoint unions of unparametrised circles in $\mathbb{R}^\infty$. Multiplication in $S^1$ induces a functor $Circ(X) \to Circ(LX)$, and the composition of this functor with the inclusion of $Circ(LX)$ into $C_1(LX)$ is homotopic to the circle transfer. As a corollary, we describe the inclusion of the subcategory of cylinders into the 2-dimensional cobordism category $C_2(X)$ and find that it is null-homotopic when $X$ is a point.
△ Less
Submitted 10 July, 2018; v1 submitted 26 November, 2017;
originally announced November 2017.
-
Updated baseline for a staged Compact Linear Collider
Authors:
The CLIC,
CLICdp collaborations,
:,
M. J. Boland,
U. Felzmann,
P. J. Giansiracusa,
T. G. Lucas,
R. P. Rassool,
C. Balazs,
T. K. Charles,
K. Afanaciev,
I. Emeliantchik,
A. Ignatenko,
V. Makarenko,
N. Shumeiko,
A. Patapenka,
I. Zhuk,
A. C. Abusleme Hoffman,
M. A. Diaz Gutierrez,
M. Vogel Gonzalez,
Y. Chi,
X. He,
G. Pei,
S. Pei,
G. Shu
, et al. (493 additional authors not shown)
Abstract:
The Compact Linear Collider (CLIC) is a multi-TeV high-luminosity linear e+e- collider under development. For an optimal exploitation of its physics potential, CLIC is foreseen to be built and operated in a staged approach with three centre-of-mass energy stages ranging from a few hundred GeV up to 3 TeV. The first stage will focus on precision Standard Model physics, in particular Higgs and top-q…
▽ More
The Compact Linear Collider (CLIC) is a multi-TeV high-luminosity linear e+e- collider under development. For an optimal exploitation of its physics potential, CLIC is foreseen to be built and operated in a staged approach with three centre-of-mass energy stages ranging from a few hundred GeV up to 3 TeV. The first stage will focus on precision Standard Model physics, in particular Higgs and top-quark measurements. Subsequent stages will focus on measurements of rare Higgs processes, as well as searches for new physics processes and precision measurements of new states, e.g. states previously discovered at LHC or at CLIC itself. In the 2012 CLIC Conceptual Design Report, a fully optimised 3 TeV collider was presented, while the proposed lower energy stages were not studied to the same level of detail. This report presents an updated baseline staging scenario for CLIC. The scenario is the result of a comprehensive study addressing the performance, cost and power of the CLIC accelerator complex as a function of centre-of-mass energy and it targets optimal physics output based on the current physics landscape. The optimised staging scenario foresees three main centre-of-mass energy stages at 380 GeV, 1.5 TeV and 3 TeV for a full CLIC programme spanning 22 years. For the first stage, an alternative to the CLIC drive beam scheme is presented in which the main linac power is produced using X-band klystrons.
△ Less
Submitted 27 March, 2017; v1 submitted 26 August, 2016;
originally announced August 2016.
-
On the relation between hyperrings and fuzzy rings
Authors:
Jeffrey Giansiracusa,
Jaiung Jun,
Oliver Lorscheid
Abstract:
We construct a full embedding of the category of hyperfields into Dress's category of fuzzy rings and explicitly characterize the essential image --- it fails to be essentially surjective in a very minor way. This embedding provides an identification of Baker's theory of matroids over hyperfields with Dress's theory of matroids over fuzzy rings (provided one restricts to those fuzzy rings in the e…
▽ More
We construct a full embedding of the category of hyperfields into Dress's category of fuzzy rings and explicitly characterize the essential image --- it fails to be essentially surjective in a very minor way. This embedding provides an identification of Baker's theory of matroids over hyperfields with Dress's theory of matroids over fuzzy rings (provided one restricts to those fuzzy rings in the essential image). The embedding functor extends from hyperfields to hyperrings, and we study this extension in detail. We also analyze the relation between hyperfields and Baker's partial demifields.
△ Less
Submitted 1 August, 2016; v1 submitted 7 July, 2016;
originally announced July 2016.
-
A Grassmann algebra for matroids
Authors:
Jeffrey Giansiracusa,
Noah Giansiracusa
Abstract:
We introduce an idempotent analogue of the exterior algebra for which the theory of tropical linear spaces (and valuated matroids) can be seen in close analogy with the classical Grassmann algebra formalism for linear spaces. The top wedge power of a tropical linear space is its Plucker vector, which we view as a tensor, and a tropical linear space is recovered from its Plucker vector as the kerne…
▽ More
We introduce an idempotent analogue of the exterior algebra for which the theory of tropical linear spaces (and valuated matroids) can be seen in close analogy with the classical Grassmann algebra formalism for linear spaces. The top wedge power of a tropical linear space is its Plucker vector, which we view as a tensor, and a tropical linear space is recovered from its Plucker vector as the kernel of the corresponding wedge multiplication map. We prove that an arbitrary d-tensor satisfies the tropical Plucker relations (valuated exchange axiom) if and only if the d-th wedge power of the kernel of wedge-multiplication is free of rank one. This provides a new cryptomorphism for valuated matroids, including ordinary matroids as a special case.
△ Less
Submitted 14 September, 2017; v1 submitted 15 October, 2015;
originally announced October 2015.
-
On the Hochschild homology of involutive algebras
Authors:
Ramses Fernandez-Valencia,
Jeffrey Giansiracusa
Abstract:
We study the homological algebra of bimodules over involutive associative algebras. We show that Braun's definition of involutive Hochschild cohomology in terms of the complex of involution-preserving derivations is indeed computing a derived functor: the Z/2-invariants intersected with the center. We then introduce the corresponding involutive Hochschild homology theory and describe it as the der…
▽ More
We study the homological algebra of bimodules over involutive associative algebras. We show that Braun's definition of involutive Hochschild cohomology in terms of the complex of involution-preserving derivations is indeed computing a derived functor: the Z/2-invariants intersected with the center. We then introduce the corresponding involutive Hochschild homology theory and describe it as the derived functor of the pushout of Z/2-coinvariants and abelianization.
△ Less
Submitted 12 July, 2016; v1 submitted 8 May, 2015;
originally announced May 2015.
-
The universal tropicalization and the Berkovich analytification
Authors:
Jeffrey Giansiracusa,
Noah Giansiracusa
Abstract:
Given an integral scheme X over a non-archimedean valued field k , we construct acuniversal closed embedding of X into a k-scheme equipped with a model over the field with one element (a generalization of a toric variety). An embedding into such an ambient space determines a tropicalization of X by earlier work of the authors, and we show that the set-theoretic tropicalization of X with respect to…
▽ More
Given an integral scheme X over a non-archimedean valued field k , we construct acuniversal closed embedding of X into a k-scheme equipped with a model over the field with one element (a generalization of a toric variety). An embedding into such an ambient space determines a tropicalization of X by earlier work of the authors, and we show that the set-theoretic tropicalization of X with respect to this universal embedding is the Berkovich analytification of X. Moreover, using the scheme-theoretic tropicalization, we obtain a tropical scheme $Trop_{univ}(X)$ whose T-points give the analytification and which canonically maps to all other scheme-theoretic tropicalizations of X. This makes precise the idea that the Berkovich analytification is the universal tropicalization. When X = spec A is affine, we show that $Trop_{univ}(X)$ is the limit of the tropicalizations of X with respect to all embeddings in affine space, thus giving a scheme-theoretic enrichment of a well-known result of Payne. Finally, we show that $Trop_{univ}(X)$ represents the moduli functor of semivaluations on X, and when X = spec A is affine there is a universal semivaluation on A taking values in the idempotent semiring of regular functions on the universal tropicalization.
△ Less
Submitted 9 August, 2022; v1 submitted 16 October, 2014;
originally announced October 2014.
-
Equations of tropical varieties
Authors:
Jeffrey Giansiracusa,
Noah Giansiracusa
Abstract:
We introduce a scheme-theoretic enrichment of the principal objects of tropical geometry. Using a category of semiring schemes, we construct tropical hypersurfaces as schemes over idempotent semirings such as $\mathbb{T} = (\mathbb{R}\cup \{-\infty\}, \mathrm{max}, +)$ by realizing them as solution sets to explicit systems of tropical equations that are uniquely determined by idempotent module t…
▽ More
We introduce a scheme-theoretic enrichment of the principal objects of tropical geometry. Using a category of semiring schemes, we construct tropical hypersurfaces as schemes over idempotent semirings such as $\mathbb{T} = (\mathbb{R}\cup \{-\infty\}, \mathrm{max}, +)$ by realizing them as solution sets to explicit systems of tropical equations that are uniquely determined by idempotent module theory. We then define a tropicalization functor that sends closed subschemes of a toric variety over a ring R with non-archimedean valuation to closed subschemes of the corresponding tropical toric variety. Upon passing to the set of $\mathbb{T}$-points this reduces to Kajiwara-Payne's extended tropicalization, and in the case of a projective hypersurface we show that the scheme structure determines the multiplicities attached to the top-dimensional cells. By varying the valuation, these tropicalizations form algebraic families of $\mathbb{T}$-schemes parameterized by a moduli space of valuations on R that we construct. For projective subschemes, the Hilbert polynomial is preserved by tropicalization, regardless of the valuation. We conclude with some examples and a discussion of tropical bases in the scheme-theoretic setting.
△ Less
Submitted 31 January, 2016; v1 submitted 31 July, 2013;
originally announced August 2013.
-
Invariance properties of Miller-Morita-Mumford characteristic numbers of fibre bundles
Authors:
Thomas Church,
Martin Crossley,
Jeffrey Giansiracusa
Abstract:
Characteristic classes of fibre bundles $E^{d+n}\to B^n$ in the category of closed oriented manifolds give rise to characteristic numbers by integrating the classes over the base. Church, Farb and Thibault [CFT] raised the question of which generalised Miller-Morita-Mumford classes have the property that the associated characteristic number is independent of the fibering and depends only on the co…
▽ More
Characteristic classes of fibre bundles $E^{d+n}\to B^n$ in the category of closed oriented manifolds give rise to characteristic numbers by integrating the classes over the base. Church, Farb and Thibault [CFT] raised the question of which generalised Miller-Morita-Mumford classes have the property that the associated characteristic number is independent of the fibering and depends only on the cobordism class of the total space $E$. Here we determine a complete answer to this question in both the oriented category and the stably almost complex category. An MMM class has this property if and only if it is a fibre integral of a vector bundle characteristic class that satisfies a certain approximate version of the additivity of the Chern character.
△ Less
Submitted 21 December, 2011;
originally announced December 2011.
-
The framed little 2-discs operad and diffeomorphisms of handlebodies
Authors:
Jeffrey Giansiracusa
Abstract:
The framed little 2-discs operad is homotopy equivalent to a cyclic operad. We show that the derived modular envelope of this cyclic operad (i.e., the modular operad freely generated in a homotopy invariant sense) is homotopy equivalent to the modular operad made from classifying spaces of diffeomorphism groups of 3-dimensional handlebodies with marked discs on their boundaries. A modification of…
▽ More
The framed little 2-discs operad is homotopy equivalent to a cyclic operad. We show that the derived modular envelope of this cyclic operad (i.e., the modular operad freely generated in a homotopy invariant sense) is homotopy equivalent to the modular operad made from classifying spaces of diffeomorphism groups of 3-dimensional handlebodies with marked discs on their boundaries. A modification of the argument provides a new and elementary proof of K. Costello's theorem that the derived modular envelope of the associative operad is homotopy equivalent to the ``open string'' modular operad made from moduli spaces of Riemann surfaces with marked intervals on the boundary. Our technique also recovers a theorem of C. Braun that the derived modular envelope of the cyclic operad that describes associative algebras with involution is homotopy equivalent to the modular operad made from moduli spaces of unoriented Klein surfaces with open string gluing.
△ Less
Submitted 21 August, 2010; v1 submitted 19 August, 2010;
originally announced August 2010.
-
Cyclic operad formality for compactified moduli spaces of genus zero surfaces
Authors:
Jeffrey Giansiracusa,
Paolo Salvatore
Abstract:
The framed little 2-discs operad is homotopy equivalent to the Kimura-Stasheff-Voronov cyclic operad of moduli spaces of genus zero stable curves with tangent rays at the marked points and nodes. We show that this cyclic operad is formal, meaning that its chains and its homology (the Batalin-Vilkovisky operad) are quasi-isomorphic cyclic operads. To prove this we introduce a new complex of graphs…
▽ More
The framed little 2-discs operad is homotopy equivalent to the Kimura-Stasheff-Voronov cyclic operad of moduli spaces of genus zero stable curves with tangent rays at the marked points and nodes. We show that this cyclic operad is formal, meaning that its chains and its homology (the Batalin-Vilkovisky operad) are quasi-isomorphic cyclic operads. To prove this we introduce a new complex of graphs in which the differential is a combination of edge deletion and contraction, and we show that this complex resolves BV as a cyclic operad.
△ Less
Submitted 15 October, 2010; v1 submitted 23 November, 2009;
originally announced November 2009.
-
Formality of the framed little 2-discs operad and semidirect products
Authors:
Jeffrey Giansiracusa,
Paolo Salvatore
Abstract:
We prove that the operad of framed little 2-discs is formal. Tamarkin and Kontsevich each proved that the unframed 2-discs operad is formal. The unframed 2-discs is an operad in the category of S^1-spaces, and the framed 2-discs operad can be constructed from the unframed 2-discs by forming the operadic semidirect product with the circle group. The idea of our proof is to show that Kontsevich's ch…
▽ More
We prove that the operad of framed little 2-discs is formal. Tamarkin and Kontsevich each proved that the unframed 2-discs operad is formal. The unframed 2-discs is an operad in the category of S^1-spaces, and the framed 2-discs operad can be constructed from the unframed 2-discs by forming the operadic semidirect product with the circle group. The idea of our proof is to show that Kontsevich's chain of quasi-isomorphisms is compatible with the circle actions and so one can essentially take the operadic semidirect product with the homology of S^1 everywhere to obtain a chain of quasi-isomorphisms between the homology and the chains of the framed 2-discs.
△ Less
Submitted 15 October, 2010; v1 submitted 23 November, 2009;
originally announced November 2009.
-
Vanishing of universal characteristic classes for handlebody groups and boundary bundles
Authors:
Jeffrey Giansiracusa,
Ulrike Tillmann
Abstract:
Using certain Thom spectra appearing in the study of cobordism categories, we show that the odd half of the Miller-Morita-Mumford classes on the mappping class group of a surface with negative Euler characteristic vanish in integral cohomology when restricted to the handlebody subgroup. This is a special case of a more general theorem valid in all dimensions: universal characteristic classes made…
▽ More
Using certain Thom spectra appearing in the study of cobordism categories, we show that the odd half of the Miller-Morita-Mumford classes on the mappping class group of a surface with negative Euler characteristic vanish in integral cohomology when restricted to the handlebody subgroup. This is a special case of a more general theorem valid in all dimensions: universal characteristic classes made from monomials in the Pontrjagin classes (and even powers of the Euler class) vanish when pulled back from BDiff(\partial W) to BDiff(W).
△ Less
Submitted 19 February, 2011; v1 submitted 28 October, 2009;
originally announced October 2009.
-
On the homotopy type of the Deligne-Mumford compactification
Authors:
Johannes Ebert,
Jeffrey Giansiracusa
Abstract:
An old theorem of Charney and Lee says that the classifying space of the category of stable nodal topological surfaces and isotopy classes of degenerations has the same rational homology as the Deligne-Mumford compactification. We give an integral refinement: the classifying space of the Charney-Lee category actually has the same homotopy type as the moduli stack of stable curves, and the etale…
▽ More
An old theorem of Charney and Lee says that the classifying space of the category of stable nodal topological surfaces and isotopy classes of degenerations has the same rational homology as the Deligne-Mumford compactification. We give an integral refinement: the classifying space of the Charney-Lee category actually has the same homotopy type as the moduli stack of stable curves, and the etale homotopy type of the moduli stack is equivalent to the profinite completion of the classifying space of the Charney-Lee category.
△ Less
Submitted 15 January, 2009; v1 submitted 16 July, 2008;
originally announced July 2008.
-
Pontrjagin-Thom maps and the homology of the moduli stack of stable curves
Authors:
Johannes Ebert,
Jeffrey Giansiracusa
Abstract:
We study the singular homology (with field coefficients) of the moduli stack of stable n-pointed complex curves of genus g (the Deligne-Mumford compactification). Each of its irreducible boundary components determines via the Pontrjagin-Thom construction a map to a certain infinite loop space whose homology is well understood. We show that these maps are surjective on homology in a range of degr…
▽ More
We study the singular homology (with field coefficients) of the moduli stack of stable n-pointed complex curves of genus g (the Deligne-Mumford compactification). Each of its irreducible boundary components determines via the Pontrjagin-Thom construction a map to a certain infinite loop space whose homology is well understood. We show that these maps are surjective on homology in a range of degrees proportional to the genus. This implies the existence of many new torsion classes in the homology of the moduli stack.
△ Less
Submitted 23 April, 2008; v1 submitted 5 December, 2007;
originally announced December 2007.
-
The diffeomorphism group of a K3 surface and Nielsen realization
Authors:
Jeffrey Giansiracusa
Abstract:
The Nielsen Realization problem asks when the group homomorphism from Diff(M) to pi_0 Diff(M) admits a section. For M a closed surface, Kerckhoff proved that a section exists over any finite subgroup, but Morita proved that if the genus is large enough then no section exists over the entire mapping class group. We prove the first nonexistence theorem of this type in dimension 4: if M is a smooth c…
▽ More
The Nielsen Realization problem asks when the group homomorphism from Diff(M) to pi_0 Diff(M) admits a section. For M a closed surface, Kerckhoff proved that a section exists over any finite subgroup, but Morita proved that if the genus is large enough then no section exists over the entire mapping class group. We prove the first nonexistence theorem of this type in dimension 4: if M is a smooth closed oriented 4-manifold which contains a K3 surface as a connected summand then no section exists over the whole of the mapping class group. This is done by showing that certain obstructions lying in the rational cohomology of B(pi_0 Diff(M)) are nonzero. We detect these classes by showing that they are nonzero when pulled back to the moduli space of Einstein metrics on a K3 surface.
△ Less
Submitted 12 November, 2017; v1 submitted 31 May, 2007;
originally announced May 2007.
-
The stable mapping class group of simply connected 4-manifolds
Authors:
Jeffrey Giansiracusa
Abstract:
We consider mapping class groups Γ(M) = pi_0 Diff(M fix \partial M) of smooth compact simply connected oriented 4-manifolds M bounded by a collection of 3-spheres. We show that if M contains CP^2 (with either orientation) as a connected summand then Γ(M) is independent of the number of boundary components. By repackaging classical results of Wall, Kreck and Quinn, we show that the natural homomo…
▽ More
We consider mapping class groups Γ(M) = pi_0 Diff(M fix \partial M) of smooth compact simply connected oriented 4-manifolds M bounded by a collection of 3-spheres. We show that if M contains CP^2 (with either orientation) as a connected summand then Γ(M) is independent of the number of boundary components. By repackaging classical results of Wall, Kreck and Quinn, we show that the natural homomorphism from the mapping class group to the group of automorphisms of the intersection form becomes an isomorphism after stabilization with respect to connected sum with CP^2 # \bar{CP^2}. We next consider the 3+1 dimensional cobordism 2-category of 3-spheres, 4-manifolds (as above) and enriched with isotopy classes of diffeomorphisms as 2-morphisms. We identify the homotopy type of the classifying space of this category as the Hermitian algebraic K-theory of the integers. We also comment on versions of these results for simply connected spin 4-manifolds. Finally, we observe that a related 4-manifold operad detects infinite loop spaces.
△ Less
Submitted 10 April, 2007; v1 submitted 27 October, 2005;
originally announced October 2005.
-
Application of time-dependent density-functional theory to electron-ion couplng in ethylene
Authors:
G. F. Bertsch,
J. Giansiracusa,
K. Yabana
Abstract:
To examine the applicability of the time-dependent density-functional theory (TDDFT) for treating the electron-nucleus coupling in excited states, we calculate the strength distribution associated with the pi-pi* transition in ethylene. The observed optical transition strength at 7-8.5 eV region shows a complex structure arising from coupling to C-C stretch motion, to torsional motion, and to Ry…
▽ More
To examine the applicability of the time-dependent density-functional theory (TDDFT) for treating the electron-nucleus coupling in excited states, we calculate the strength distribution associated with the pi-pi* transition in ethylene. The observed optical transition strength at 7-8.5 eV region shows a complex structure arising from coupling to C-C stretch motion, to torsional motion, and to Rydberg excitations. The mean energy of the observed peak is reproduced to about 0.2 eV accuracy by the TDDFT in the local density approximation (LDA). The reflection approximation is used to calculate the peak broadening. Roughly half of the broadening can be attributed to the fluctuation in the C-C coordinate. The asymmetry in the line shape is also qualitatively reproduced by the C-C coordinate fluctuation. We find, in agreement with other theoretical studies, that the torsional motion is responsible for the progression of weak transition strength extending from the peak down to about 6 eV. The LDA reproduces the strength in this region to about factor of 3. We conclude that the TDDFT is rather promising for calculating the electron nucleus coupling at short times.
△ Less
Submitted 21 August, 2003; v1 submitted 9 October, 2002;
originally announced October 2002.
