BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Noah Giansiracusa

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

ResearcherUnclaimed source record
math.AGmath.COmath.MGOther Computer Science

Catalog footprint

What is connected

13works
4topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

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

13 published item(s)

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.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Point configurations, phylogenetic trees, and dissimilarity vectors

In 2004 Pachter and Speyer introduced the higher dissimilarity maps for phylogenetic trees and asked two important questions about their relation to the tropical Grassmannian. Multiple authors, using independent methods, answered affirmatively the first of these questions, showing that dissimilarity vectors lie on the tropical Grassmannian, but the second question, whether the set of dissimilarity vectors forms a tropical subvariety, remained opened. We resolve this question by showing that the tropical balancing condition fails. However, by replacing the definition of the dissimilarity map with a weighted variant, we show that weighted dissimilarity vectors form a tropical subvariety of the tropical Grassmannian in exactly the way that Pachter--Speyer envisioned. Moreover, we provide a geometric interpretation in terms of configurations of points on rational normal curves and construct a finite tropical basis that yields an explicit characterization of weighted dissimilarity vectors.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

A simplicial approach to effective divisors in $\overline{M}_{0,n}$

We study the Cox ring and monoid of effective divisor classes of $\overline{M}_{0,n} = Bl\mathbb{P}^{n-3}$, over a ring R. We provide a bijection between elements of the Cox ring, not divisible by any exceptional divisor section, and pure-dimensional singular simplicial complexes on {1,...,n-1} with nonzero weights in R satisfying a zero-tension condition. This leads to a combinatorial criterion, satisfied by many triangulations of closed manifolds, for a divisor class to be among the minimal generators for the effective monoid. For classes obtained as the strict transform of quadrics, we present a complete classification of minimal generators, generalizing to all n the well-known Keel-Vermeire classes for n=6. We use this classification to construct new divisors with interesting properties for all n > 6.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

The dual complex of $\bar{M}_{0,n}$ via phylogenetics

The moduli space $\bar{M}_{0,n}$ of stable rational n-pointed curves has divisorial boundary with simple normal crossings. In this brief note I observe that the dual complex is a flag complex; that is, a collection of irreducible boundary divisors has nonempty intersection if and only if the pairwise intersections are nonempty. Rather than proving this directly, I translate the statement to a setting in phylogenetics where it is widely used and multiple explicit proofs have been written. It appears this result is known by experts but lacks a detailed reference in the literature, except recently for $n=7$.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Conformal blocks and rational normal curves

We prove that the Chow quotient parametrizing configurations of n points in $\mathbb{P}^d$ which generically lie on a rational normal curve is isomorphic to $\overline{M}_{0,n}$, generalizing the well-known $d = 1$ result of Kapranov. In particular, $\overline{M}_{0,n}$ admits birational morphisms to all the corresponding geometric invariant theory (GIT) quotients. For symmetric linearizations the polarization on each GIT quotient pulls back to a divisor that spans the same extremal ray in the symmetric nef cone of $\overline{M}_{0,n}$ as a conformal blocks line bundle. A symmetry in conformal blocks implies a duality of point-configurations that comes from Gale duality and generalizes a result of Goppa in algebraic coding theory. In a suitable sense, $\overline{M}_{0,2m}$ is fixed pointwise by the Gale transform when $d=m-1$ so stable curves correspond to self-associated configurations.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

GIT Compactifications of $M_{0,n}$ from Conics

We study GIT quotients parametrizing n-pointed conics that generalize the GIT quotients $(\mathbb{P}^1)^n//SL2$. Our main result is that $\overline{M}_{0,n}$ admits a morphism to each such GIT quotient, analogous to the well-known result of Kapranov for the simpler $(\mathbb{P}^1)^n$ quotients. Moreover, these morphisms factor through Hassett's moduli spaces of weighted pointed rational curves, where the weight data comes from the GIT linearization data.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

On Kapranov's description of $\overline{M}_{0,n}$ as a Chow quotient

We provide a direct proof, valid in arbitrary characteristic, of the result originally proven by Kapranov over $\mathbb{C}$, that the Hilbert and Chow quotients $(\mathbb{P}^1)^n//PGL2$ are isomorphic to $\overline{M}_{0,n}$. In both cases this is done by explicitly constructing the universal family and then showing that the induced morphism is an isomorphism onto its image. The proofs of these results in many ways reduce to the case $n = 4$; in an appendix we outline a formalism of this phenomenon relating to certain operads.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Projective linear configurations via non-reductive actions

We study the iterated blow-up X of projective space along an arbitrary collection of linear subspaces. By replacing the universal torsor with an $\mathbb{A}^1$-homotopy equivalent model, built from $\mathbb{A}^1$-fiber bundles not just algebraic line bundles, we construct an "algebraic uniformization": X is a quotient of affine space by a solvable group action. This provides a clean dictionary, using a single coordinate system, between the algebra and geometry of hypersurfaces: effective divisors are characterized via toric and invariant-theoretic techniques. In particular, the Cox ring is an invariant subring of a Pic(X)-graded polynomial ring and it is an intersection of two explicit finitely generated rings. When all linear subspaces are points, this recovers a theorem of Mukai while also giving it a geometric proof and topological intuition. Consequently, it is algorithmic to describe Cox(X) up to any degree, and when Cox(X) is finitely generated it is algorithmic to verify finite generation and compute an explicit presentation. We consider in detail the special case of $\overline{M}_{0,n}$. Here the algebraic uniformization is defined over the integers. It admits a natural modular interpretation, and it yields a precise sense in which $\overline{M}_{0,n}$ is "one non-linearizable $\mathbb{G}_a$ away" from being a toric variety. The Hu-Keel question becomes a special case of Hilbert's 14th problem for $\mathbb{G}_a$.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Policy Aware Geospatial Data

Digital Rights Management (DRM) prevents end-users from using content in a manner inconsistent with its creator's wishes. The license describing these use-conditions typically accompanies the content as its metadata. A resulting problem is that the license and the content can get separated and lose track of each other. The best metadata have two distinct qualities--they are created automatically without user intervention, and they are embedded within the data that they describe. If licenses are also created and transported this way, data will always have licenses, and the licenses will be readily examinable. When two or more datasets are combined, a new dataset, and with it a new license, are created. This new license is a function of the licenses of the component datasets and any additional conditions that the person combining the datasets might want to impose. Following the notion of a data-purpose algebra, we model this phenomenon by interpreting the transfer and conjunction of data as inducing an algebraic operation on the corresponding licenses. When a dataset passes from one source to the next its license is transformed in a deterministic way, and similarly when datasets are combined the associated licenses are combined in a non-trivial algebraic manner. Modern, computer-savvy, licensing regimes such as Creative Commons allow writing the license in a special kind of language called Creative Commons Rights Expression Language (ccREL). ccREL allows creating and embedding the license using RDFa utilizing XHTML. This is preferred over DRM which includes the rights in a binary file completely opaque to nearly all users. The colocation of metadata with human-visible XHTML makes the license more transparent. In this paper we describe a methodology for creating and embedding licenses in geographic data utilizing ccREL, and programmatically examining embedded licenses in component data...

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Factorization of point configurations, cyclic covers and conformal blocks

We describe a relation between the invariants of $n$ ordered points in $P^d$ and of points contained in a union of linear subspaces $P^{d1}\cup P^{d2} \subset P^d$. This yields an attaching map for GIT quotients parameterizing point configurations in these spaces, and we show that it respects the Segre product of the natural GIT polarizations. Associated to a configuration supported on a rational normal curve is a cyclic cover, and we show that if the branch points are weighted by the GIT linearization and the rational normal curve degenerates, then the admissible covers limit is a cyclic cover with weights as in this attaching map. We find that both GIT polarizations and the Hodge class for families of cyclic covers yield line bundles on $\bar{M}_{0,n}$ with functorial restriction to the boundary. We introduce a notion of divisorial factorization, abstracting an axiom from rational conformal field theory, to encode this property and show that it determines the isomorphism class of these line bundles. As an application, we obtain a unified, geometric proof of two recent results on conformal block bundles, one by Fedorchuk and one by Gibney and the second author.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

The cone of type A, level one conformal blocks divisors

We prove that the type A, level one, conformal blocks divisors on $\bar{M}_{0,n}$ span a finitely generated, full-dimensional subcone of the nef cone. Each such divisor induces a morphism from $\bar{M}_{0,n}$, and we identify its image as a GIT quotient parameterizing configurations of points supported on a flat limit of Veronese curves. We show how scaling GIT linearizations gives geometric meaning to certain identities among conformal blocks divisor classes. This also gives modular interpretations, in the form of GIT constructions, to the images of the hyperelliptic and cyclic trigonal loci in $\bar{M}_{g}$ under an extended Torelli map.

0 citations0 reviewsNo code linkedOpen access
preprint2008arXiv

Experimental study of energy-minimizing point configurations on spheres

In this paper we report on massive computer experiments aimed at finding spherical point configurations that minimize potential energy. We present experimental evidence for two new universal optima (consisting of 40 points in 10 dimensions and 64 points in 14 dimensions), as well as evidence that there are no others with at most 64 points. We also describe several other new polytopes, and we present new geometrical descriptions of some of the known universal optima.

0 citations0 reviewsNo code linkedOpen access