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

Daniel Halpern-Leistner

Daniel Halpern-Leistner appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.AGmath.KTmath.RTMachine Learningmath-phmath.ACmath.ATmath.CTmath.CVmath.DGmath.MPmath.QASymbolic Computation

Catalog footprint

What is connected

11works
13topics
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

11 published item(s)

preprint2022arXiv

Artin algebraization for pairs with applications to the local structure of stacks and Ferrand pushouts

We give a variant of Artin algebraization along closed subschemes and closed substacks. Our main application is the existence of étale, smooth, or syntomic neighborhoods of closed subschemes and closed substacks. In particular, we prove local structure theorems for stacks and their derived counterparts and the existence of henselizations along linearly fundamental closed substacks. These results establish the existence of Ferrand pushouts, which answers positively a question of Temkin-Tyomkin.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Equivariant Hodge theory and noncommutative geometry

We develop a version of Hodge theory for a large class of smooth formally proper quotient stacks $X/G$ analogous to Hodge theory for smooth projective schemes. We show that the noncommutative Hodge-de Rham sequence for the category of equivariant coherent sheaves degenerates. This spectral sequence converges to the periodic cyclic homology, which we canonically identify with the topological equivariant K-theory of $X$ with respect to a maximal compact subgroup of $G$, equipping the latter with a canonical pure Hodge structure. We also establish Hodge-de Rham degeneration for categories of matrix factorizations for a large class of equivariant Landau-Ginzburg models.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

On the structure of instability in moduli theory

We formulate a theory of instability and Harder-Narasimhan filtrations for an arbitrary moduli problem in algebraic geometry. We introduce the notion of a $Θ$-stratification of a moduli problem, which generalizes the Kempf-Ness stratification in GIT as well as the Harder-Narasimhan stratification of the moduli of coherent sheaves on a projective scheme. Our main theorems establish necessary and sufficient conditions for the existence of these stratifications. We define a structure on an algebraic stack called a numerical invariant, and we show that in many situations a numerical invariant defines a $Θ$-stratification on the stack, assuming a certain "HN boundedness" condition holds. We also discuss criteria under which the semistable locus has a moduli space. We apply our methods to an example that lies beyond the reach of classical methods: the stratification of the stack of objects in the heart of a Bridgeland stability condition.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Learning selection strategies in Buchberger's algorithm

Studying the set of exact solutions of a system of polynomial equations largely depends on a single iterative algorithm, known as Buchberger's algorithm. Optimized versions of this algorithm are crucial for many computer algebra systems (e.g., Mathematica, Maple, Sage). We introduce a new approach to Buchberger's algorithm that uses reinforcement learning agents to perform S-pair selection, a key step in the algorithm. We then study how the difficulty of the problem depends on the choices of domain and distribution of polynomials, about which little is known. Finally, we train a policy model using proximal policy optimization (PPO) to learn S-pair selection strategies for random systems of binomial equations. In certain domains, the trained model outperforms state-of-the-art selection heuristics in total number of polynomial additions performed, which provides a proof-of-concept that recent developments in machine learning have the potential to improve performance of algorithms in symbolic computation.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Autoequivalences of derived categories via geometric invariant theory

We study autoequivalences of the derived category of coherent sheaves of a variety arising from a variation of GIT quotient. We show that these automorphisms are spherical twists, and describe how they result from mutations of semiorthogonal decompositions. Beyond the GIT setting, we show that all spherical twist autoequivalences of a dg-category can be obtained from mutation in this manner. Motivated by a prediction from mirror symmetry, we refine the recent notion of "grade restriction rules" in equivariant derived categories. We produce additional derived autoequivalences of a GIT quotient and propose an interpretation in terms of monodromy of the quantum connection. We generalize this observation by proving a criterion under which a spherical twist autoequivalence factors into a composition of other spherical twists.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

The equivariant Verlinde formula on the moduli of Higgs bundles

We prove an analog of the Verlinde formula on the moduli space of semistable meromorphic G-Higgs bundles over a smooth curve for a reductive group G whose fundamental group is free. The formula expresses the graded dimension of the space of sections of a positive line bundle as a finite sum whose terms are indexed by formal solutions of a generalized Bethe ansatz equation on the maximal torus of G. In an appendix, Constantin Teleman proves a vanishing theorem for the higher cohomology of positive line bundles on the stack of Higgs bundles.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Theta-stratifications, Theta-reductive stacks, and applications

These are expanded notes on a lecture of the same title at the 2015 AMS summer institute in algebraic geometry. We give an introduction and overview of the "beyond geometric invariant theory" program for analyzing moduli problems in algebraic geometry. We discuss methods for analyzing stability in general moduli problems, focusing on the moduli of coherent sheaves on a smooth projective scheme as a toy example. We describe several applications: a general structure theorem for the derived category of coherent sheaves on an algebraic stack; some results on the topology of moduli stacks; and a "virtual non-abelian localization formula" in K-theory. We also propose a generalization of toric geometry to arbitrary compactifications of homogeneous spaces for algebraic groups, and formulate a conjecture on the Hodge theory of algebraic-symplectic stacks.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Remarks on Theta-stratifications and derived categories

This note extends some recent results on the derived category of a geometric invariant theory quotient to the setting of derived algebraic geometry. Our main result is a structure theorem for the derived category of a derived local quotient stack which admits a stratification of the kind arising in geometric invariant theory. The use of derived algebraic geometry leads to results with pleasingly few hypotheses, even when the stack is not smooth. Using the same methods, we establish a "virtual non-abelian localization theorem" which is a K-theoretic analog of the virtual localization theorem in cohomology.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

The derived category of a GIT quotient

Given a quasiprojective algebraic variety with a reductive group action, we describe a relationship between its equivariant derived category and the derived category of its geometric invariant theory quotient. This generalizes classical descriptions of the category of coherent sheaves on projective space and categorifies several results in the theory of Hamiltonian group actions on projective manifolds. This perspective generalizes and provides new insight into examples of derived equivalences between birational varieties. We provide a criterion under which two different GIT quotients are derived equivalent, and apply it to prove that any two generic GIT quotients of an equivariantly Calabi-Yau projective-over-affine manifold by a torus are derived equivalent.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Lefschetz Hyperplane Theorem for Stacks

We use Morse theory to prove that the Lefschetz Hyperplane Theorem holds for compact smooth Deligne-Mumford stacks over the site of complex manifolds. For $Z \subset X$ a hyperplane section, $X$ can be obtained from $Z$ by a sequence of deformation retracts and attachments of high-dimensional finite disc quotients. We use this to derive more familiar statements about the relative homotopy, homology, and cohomology groups of the pair $(X,Z)$. We also prove some preliminary results suggesting that the Lefschetz Hyperplane Theorem holds for Artin stacks as well. One technical innovation is to reintroduce an inequality of Łojasiewicz which allows us to prove the theorem without any genericity or nondegeneracy hypotheses on $Z$.

0 citations0 reviewsNo code linkedOpen access