Source author record

Jeffrey Giansiracusa

Jeffrey Giansiracusa appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

11works
12topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

11 published item(s)

preprint2022arXiv

Quantitative analysis of phase transitions in two-dimensional XY models using persistent homology

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.

preprint2022arXiv

The universal tropicalization and the Berkovich analytification

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.

preprint2019arXiv

Characteristic classes of bundles of K3 manifolds and the Nielsen realization problem

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.

preprint2016arXiv

On the Hochschild homology of involutive algebras

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.

preprint2016arXiv

On the relation between hyperrings and fuzzy rings

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.

preprint2011arXiv

Invariance properties of Miller-Morita-Mumford characteristic numbers of fibre bundles

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.

preprint2011arXiv

Vanishing of universal characteristic classes for handlebody groups and boundary bundles

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).

preprint2010arXiv

Cyclic operad formality for compactified moduli spaces of genus zero surfaces

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.

preprint2010arXiv

Formality of the framed little 2-discs operad and semidirect products

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.

preprint2010arXiv

The framed little 2-discs operad and diffeomorphisms of handlebodies

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.

preprint2009arXiv

On the homotopy type of the Deligne-Mumford compactification

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.