Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 2609.27799

Relative Logarithmic AKSZ Descent on Joyce Generalized Corners

Cristian Anghel
View original source ↗Read source document ↗Export metadata ↓

Abstract

We study resolution-independent relative logarithmic source complexes for AKSZ-BV-BFV theory on face-oriented Joyce manifolds with generalized corners. Under the geometric hypotheses (G1)-(G3), the Dupont-Panzer-Pym total relative logarithmic complexes of admitted smooth monoidal resolutions represent $j_!Ω_{X^\circ}^\bullet$ and carry the same compactly supported derived trace. The comparison is deliberately unfiltered: it identifies total relative cocycle classes through the common interior, but not individual resolved faces, separate BFV descendants, nonlinear mapping spaces, or absolute regularized integrals. For the intrinsic $b$-source ${}^{b}T[1]X$ we formulate the additional Stokes and transfer data needed to recover strict facewise structures. A multiplicative regularized Stokes trace system on Joyce's face category gives the presymplectic intrinsic BV-BFV identity and incidence descent. The finite datum (G4) is a linear subdivision/aggregation transfer criterion; (G5) is a separate cyclic field-level criterion for classical abelian BF theory. Neither is a general existence theorem, and no general strict multiplicative intrinsic trace is constructed here. We prove the interval contractions needed for codimension-two collars and analyze the positive real conifold through the common star refinement of its two diagonal resolutions. On an explicit finite product-Whitney logarithmic class the exceptional square satisfies (G4) after normal-face totalization, and the transferred differential is exactly the signed intrinsic incidence differential. Its finite algebraic BF dual gives a cyclic logarithmic-cellular shadow, but not the full continuum intrinsic $b$-de Rham datum (G5). General nonlinear continuum pushforward, existence of the intrinsic multiplicative trace, and loop-level logarithmic graph integrals remain open.

Explore related subjects

math.SGmath-phmath.DGmath.MP

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Cristian Anghel. 2026-08-17. Relative Logarithmic AKSZ Descent on Joyce Generalized Corners. https://arxiv.org/abs/2609.27799

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Darboux's Theorem in $p$-adic symplectic geometry

We prove a non Archimedean Darboux's Theorem: any two symplectic forms on a $p$-adic analytic manifold are locally isomorphic. Understanding local problems such as the existence of flows or the normalization of singularities in the theory of integrable systems, is essential to understand the physics behind these systems. Our result tells us that the phase space defined by a $p$-adic manifold is locally standard, allowing us to concentrate on the equations defining the dynamics rather than on the space itself. Our proof uses a non Archimedean version of Moser's Path Method to push one symplectic form onto another one by a flow. A central technical contribution of the paper is the proof that the flow is given by a power series with non zero radius of convergence, which requires geometric analytic estimates and does not follow from algebraic considerations. The main difficulty of the paper is analytic: an ODE will not have a long-time solution even in a neighborhood of a fixed point but we are able to find a condition for a long-time solution to exist, which allows us to tweak the ODE in Moser's Path Method so that it satifies the condition. As a global application, we derive a classification of second-countable $p$-adic analytic symplectic manifolds in terms of $p$-adic volume, which generalizes a classical theorem of J-P. Serre.

math.SG↗
arXiv2026

A Multidimensional Birkhoff Theorem for some $C^0$ Lagrangians

We prove a multidimensional Birkhoff theorem for a new class of "$C^0$ Lagrangian subsets" in cotangent bundles, obtained as Hausdorff limits of compact exact Lagrangian submanifolds with control on their Liouville primitives. If the successive images of such a subset $L$ under the flow of a Tonelli Hamiltonian admit convergent subsequences in both positive and negative time, then $L$ and all its images are Lipschitz graphs over the base. This extends Birkhoff's celebrated theorem for twist maps of the annulus and its known higher-dimensional generalizations, and provides a first version of such results for merely continuous objects. The proof combines Floer-theoretic graph selectors, variational solutions of the Hamilton-Jacobi equation, and weak KAM theory. We also investigate the rigidity and uniqueness of limiting primitives for this new class of singular Lagrangian subsets, which may be of independent interest in $C^0$ symplectic topology.

math.SG↗
arXiv2026

The Legendrian Hopf Link has exactly two Lagrangian fillings

We prove that there are precisely two embedded exact Lagrangian fillings of the standard Legendrian Hopf link, up to compactly supported Hamiltonian isotopy. It was known that the standard Legendrian Hopf link admitted at least two such Lagrangian fillings: we show these are all. Specifically, we use a type of neck-stretching procedure to construct a pseudoholomorphic conic fibration that makes a given arbitrary exact Lagrangian filling fiber over a real curve, under a global pseudoholomorphic Lefschetz fibration. This then allows for an explicit Hamiltonian isotopy to be constructed from any given Lagrangian filling to one of two known standard fillings.

math.SG↗