Source author record

Brent Pym

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

ResearcherUnclaimed source record

math.AG math.QA hep-th math.SG math.DG math.NT astro-ph math-ph math.AT math.CA math.MP

Catalog footprint

What is connected

8works

11topics

4close collaborators

Actions

Connect this record

Open graph Browse works

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.

preprint2026arXiv

Logarithmic morphisms, tangential basepoints, and little disks

We develop the theory of "virtual morphisms" in logarithmic algebraic geometry, introduced by Howell. It allows one to give algebro-geometric meaning to various useful maps of topological spaces that do not correspond to morphisms of (log) schemes in the classical sense, while retaining functoriality of key constructions. In particular, we explain how virtual morphisms provide a natural categorical home for Deligne's theory of tangential basepoints: the latter are simply the virtual morphisms from a point. We also extend Howell's results on the functoriality of Betti and de Rham cohomology. Using this framework, we lift the topological operad of little $2$-disks to an operad in log schemes over the integers, whose virtual points are isomorphism classes of stable marked curves of genus zero equipped with a tangential basepoint. The gluing of such curves along marked points is performed using virtual morphisms that transport tangential basepoints around the curves. This builds on Vaintrob's analogous construction for framed little disks, for which the classical notion of morphism in logarithmic geometry sufficed. In this way, we obtain a direct algebro-geometric proof of the formality of the little disks operad, following the strategy envisioned by Beilinson. Furthermore, Bar-Natan's parenthesized braids naturally appear as the fundamental groupoids of our moduli spaces, with all virtual basepoints defined over the integers.

preprint2018arXiv

Multiple zeta values in deformation quantization

Kontsevich's 1997 formula for the deformation quantization of Poisson brackets is a Feynman expansion involving volume integrals over moduli spaces of marked disks. We develop a systematic theory of integration on these moduli spaces via suitable algebras of polylogarithms, and use it to prove that Kontsevich's integrals can be expressed as integer-linear combinations of multiple zeta values. Our proof gives a concrete algorithm for calculating the integrals, which we have used to produce the first software package for the symbolic calculation of Kontsevich's formula.

preprint2016arXiv

Shifted symplectic Lie algebroids

Shifted symplectic Lie and $L_\infty$ algebroids model formal neighbourhoods of manifolds in shifted symplectic stacks, and serve as target spaces for twisted variants of classical AKSZ topological field theory. In this paper, we classify zero-, one- and two-shifted symplectic algebroids and their higher gauge symmetries, in terms of classical geometric "higher structures", such as Courant algebroids twisted by $Ω^2$-gerbes. As applications, we produce new examples of twisted Courant algebroids from codimension-two cycles, and we give symplectic interpretations for several well known features of higher structures (such as twists, Pontryagin classes, and tensor products). The proofs are valid in the $C^\infty$, holomorphic and algebraic settings, and are based on a number of technical results on the homotopy theory of $L_\infty$ algebroids and their differential forms, which may be of independent interest.

preprint2015arXiv

Motivic Donaldson--Thomas invariants of some quantized threefolds

This paper is motivated by the question of how motivic Donaldson--Thomas invariants behave in families. We compute the invariants for some simple families of noncommutative Calabi--Yau threefolds, defined by quivers with homogeneous potentials. These families give deformation quantizations of affine three-space, the resolved conifold, and the resolution of the transversal $A_n$-singularity. It turns out that their invariants are generically constant, but jump at special values of the deformation parameter, such as roots of unity. The corresponding generating series are written in closed form, as plethystic exponentials of simple rational functions. While our results are limited by the standard dimensional reduction techniques that we employ, they nevertheless allow us to conjecture formulae for more interesting cases, such as the elliptic Sklyanin algebras.

preprint2014arXiv

Quantum deformations of projective three-space

We describe the possible noncommutative deformations of complex projective three-space by exhibiting the Calabi--Yau algebras that serve as their homogeneous coordinate rings. We prove that the space parametrizing such deformations has exactly six irreducible components, and we give explicit presentations for the generic members of each family in terms of generators and relations. The proof uses deformation quantization to reduce the problem to a similar classification of unimodular quadratic Poisson structures in four dimensions, which we extract from Cerveau and Lins Neto's classification of degree-two foliations on projective space. Corresponding to the ``exceptional'' component in their classification is a quantization of the third symmetric power of the projective line that supports bimodule quantizations of the classical Schwarzenberger bundles.

preprint2013arXiv

The Stokes Groupoids

We construct and describe a family of groupoids over complex curves which serve as the universal domains of definition for solutions to linear ordinary differential equations with singularities. As a consequence, we obtain a direct, functorial method for resumming formal solutions to such equations.

preprint2012arXiv

Poisson modules and degeneracy loci

In this paper, we study the interplay between modules and sub-objects in holomorphic Poisson geometry. In particular, we define a new notion of "residue" for a Poisson module, analogous to the Poincaré residue of a meromorphic volume form. Of particular interest is the interaction between the residues of the canonical line bundle of a Poisson manifold and its degeneracy loci---where the rank of the Poisson structure drops. As an application, we provide new evidence in favour of Bondal's conjecture that the rank \leq 2k locus of a Fano Poisson manifold always has dimension \geq 2k+1. In particular, we show that the conjecture holds for Fano fourfolds. We also apply our techniques to a family of Poisson structures defined by Fe\uıgin and Odesski\uı, where the degeneracy loci are given by the secant varieties of elliptic normal curves.

preprint2008arXiv

Dynamical Blueprints for Galaxies

We present an axisymmetric, equilibrium model for late-type galaxies which consists of an exponential disk, a Sersic bulge, and a cuspy dark halo. The model is specified by a phase space distribution function which, in turn, depends on the integrals of motion. Bayesian statistics and the Markov Chain Monte Carlo method are used to tailor the model to satisfy observational data and theoretical constraints. By way of example, we construct a chain of 10^5 models for the Milky Way designed to fit a wide range of photometric and kinematic observations. From this chain, we calculate the probability distribution function of important Galactic parameters such as the Sersic index of the bulge, the disk scale length, and the disk, bulge, and halo masses. We also calculate the probability distribution function of the local dark matter velocity dispersion and density, two quantities of paramount significance for terrestrial dark matter detection experiments. Though the Milky Way models in our chain all satisfy the prescribed observational constraints, they vary considerably in key structural parameters and therefore respond differently to non-axisymmetric perturbations. We simulate the evolution of twenty-five models which have different Toomre Q and Goldreich-Tremaine X parameters. Virtually all of these models form a bar, though some, more quickly than others. The bar pattern speeds are ~ 40 - 50 km/s/kpc at the time when they form and then decrease, presumably due to coupling of the bar with the halo. Since the Galactic bar has a pattern speed ~50 km/s/kpc we conclude that it must have formed recently.