pith:J3GHCFGQ
A Derived Legendrian Category for Shifted Contact Stacks
The derived Legendrian category F_c(X) is constructed for any n-shifted contact derived Artin stack X using Legendrian correspondences.
arxiv:2605.13792 v1 · 2026-05-13 · math.AG · math.SG
Add to your LaTeX paper
\usepackage{pith}
\pithnumber{J3GHCFGQIMK5JTVAHYXD5K2TS2}
Prints a linked badge after your title and injects PDF metadata. Compiles on arXiv. Learn more · Embed verified badge
Record completeness
Claims
We construct the derived Legendrian category F_c(X) for an n-shifted contact derived Artin stack X and the (∞,2)-category Leg_n of Legendrian correspondences... We also establish that F_c(X) embeds into an (∞,2)-category of spans defined by the AKSZ construction. We further evaluate topological cobordisms as Lagrangian correspondences to define derived Legendrian surgery.
The existence of n-shifted contact structures on derived Artin stacks X together with the well-definedness of equivariant descent for morphism spaces and composition in the derived setting.
A new derived Legendrian category is built for shifted contact stacks in derived algebraic geometry, embedding into span categories and enabling Legendrian surgery.
References
Formal links
Receipt and verification
| First computed | 2026-05-18T02:44:15.604143Z |
|---|---|
| Builder | pith-number-builder-2026-05-17-v1 |
| Signature | Pith Ed25519
(pith-v1-2026-05) · public key |
| Schema | pith-number/v1.0 |
Canonical hash
4ecc7114d04315d4cea03e2e3eab53968e4d9c87265a92abfaabc8319d2479ae
Aliases
· · · · ·Agent API
Verify this Pith Number yourself
curl -sH 'Accept: application/ld+json' https://pith.science/pith/J3GHCFGQIMK5JTVAHYXD5K2TS2 \
| jq -c '.canonical_record' \
| python3 -c "import sys,json,hashlib; b=json.dumps(json.loads(sys.stdin.read()), sort_keys=True, separators=(',',':'), ensure_ascii=False).encode(); print(hashlib.sha256(b).hexdigest())"
# expect: 4ecc7114d04315d4cea03e2e3eab53968e4d9c87265a92abfaabc8319d2479ae
Canonical record JSON
{
"metadata": {
"abstract_canon_sha256": "e553851cf9eb812e7caacf376afc7352c095d37cf5ad4dd98cbf94e49f152c0c",
"cross_cats_sorted": [
"math.SG"
],
"license": "http://creativecommons.org/licenses/by/4.0/",
"primary_cat": "math.AG",
"submitted_at": "2026-05-13T17:12:35Z",
"title_canon_sha256": "f052f45a5e66b9e9d73046db1dd8dea9a6f41ca61b36f83fe79c8398a85a15af"
},
"schema_version": "1.0",
"source": {
"id": "2605.13792",
"kind": "arxiv",
"version": 1
}
}