Germs in a poset

Serge Bouc

DOI: https://doi.org/10.1007/s10801-021-01059-1

2021-09-16

Journal of Algebraic Combinatorics

Abstract:<p class="a-plus-plus">Motivated by the theory of correspondence functors, we introduce the notion of <em class="a-plus-plus">germ</em> in a finite poset, and the notion of <em class="a-plus-plus">germ extension</em> of a poset. We show that any finite poset admits a largest germ extension called its <em class="a-plus-plus">germ closure</em>. We say that a subset <em class="a-plus-plus">U</em> of a finite lattice <em class="a-plus-plus">T</em> is <em class="a-plus-plus">germ extensible</em> in <em class="a-plus-plus">T</em> if the germ closure of <em class="a-plus-plus">U</em> naturally embeds in <em class="a-plus-plus">T</em>. We show that any for any subset <em class="a-plus-plus">S</em> of a finite lattice <em class="a-plus-plus">T</em>, there is a unique germ extensible subset <em class="a-plus-plus">U</em> of <em class="a-plus-plus">T</em> such that <span class="a-plus-plus inline-equation id-i-eq1"><span class="a-plus-plus equation-source format-t-e-x"><span class="mjpage"><svg xmlns:xlink="http://www.w3.org/1999/xlink" width="15.012ex" height="3.509ex" style="vertical-align: -0.838ex;" viewBox="0 -1150.1 6463.6 1510.9" role="img" focusable="false" xmlns="http://www.w3.org/2000/svg"><g stroke="currentColor" fill="currentColor" stroke-width="0" transform="matrix(1 0 0 -1 0 0)"> <use xlink:href="#MJMATHI-55" x="0" y="0"></use> <use xlink:href="#MJMAIN-2286" x="1045" y="0"></use> <use xlink:href="#MJMATHI-53" x="2101" y="0"></use> <use xlink:href="#MJMAIN-2286" x="3024" y="0"></use><g transform="translate(4081,0)"> <use xlink:href="#MJMATHI-47" x="24" y="0"></use><g transform="translate(0,522)"> <use transform="scale(0.707)" xlink:href="#MJMAIN-AF" x="-70" y="0"></use><g transform="translate(202.13580056557294,0) scale(1.0811051712089728,1)"> <use transform="scale(0.707)" xlink:href="#MJMAIN-AF"></use></g> <use transform="scale(0.707)" xlink:href="#MJMAIN-AF" x="681" y="0"></use></g></g> <use xlink:href="#MJMAIN-28" x="4917" y="0"></use> <use xlink:href="#MJMATHI-55" x="5306" y="0"></use> <use xlink:href="#MJMAIN-29" x="6074" y="0"></use></g></svg></span></span></span>, where <span class="a-plus-plus inline-equation id-i-eq2"><span class="a-plus-plus equation-source format-t-e-x"><span class="mjpage"><svg xmlns:xlink="http://www.w3.org/1999/xlink" width="10.268ex" height="3.509ex" style="vertical-align: -0.838ex;" viewBox="0 -1150.1 4421.1 1510.9" role="img" focusable="false" xmlns="http://www.w3.org/2000/svg"><g stroke="currentColor" fill="currentColor" stroke-width="0" transform="matrix(1 0 0 -1 0 0)"> <use xlink:href="#MJMATHI-47" x="24" y="0"></use><g transform="translate(0,522)"> <use transform="scale(0.707)" xlink:href="#MJMAIN-AF" x="-70" y="0"></use><g transform="translate(202.13580056557294,0) scale(1.0811051712089728,1)"> <use transform="scale(0.707)" xlink:href="#MJMAIN-AF"></use></g> <use transform="scale(0.707)" xlink:href="#MJMAIN-AF" x="681" y="0"></use></g> <use xlink:href="#MJMAIN-28" x="835" y="0"></use> <use xlink:href="#MJMATHI-55" x="1225" y="0"></use> <use xlink:href="#MJMAIN-29" x="1992" y="0"></use> <use xlink:href="#MJMAIN-2286" x="2660" y="0"></use> <use xlink:href="#MJMATHI-54" x="3716" y="0"></use></g></svg></span></span></span> is the embedding of the germ closure of <em class="a-plus-plus">U</em>.</p><svg xmlns="http://www.w3.org/2000/svg" style="display: none;"><defs id="MathJax_SVG_glyphs"><path stroke-width="1" id="MJMATHI-55" d="M107 637Q73 637 71 641Q70 643 70 649Q70 673 81 682Q83 683 98 683Q139 681 234 681Q268 681 297 681T342 682T362 682Q378 682 378 672Q378 670 376 658Q371 641 366 638H364Q362 638 359 638T352 638T343 637T334 637Q295 636 284 634T266 623Q265 621 238 518T184 302T154 169Q152 155 152 140Q152 86 183 55T269 24Q336 24 403 69T501 205L552 406Q599 598 599 606Q599 633 535 637Q511 637 511 648Q511 650 513 660Q517 676 519 679T529 683Q532 683 561 682T645 680Q696 680 723 681T752 682Q767 682 767 672Q767 650 759 642Q756 637 737 637Q666 633 648 597Q646 592 598 404Q557 235 548 205Q515 105 433 42T263 -22Q171 -22 116 34T60 167V183Q60 201 115 421Q164 622 164 628Q164 635 107 637Z"></path><path stroke-width="1" id="MJMAIN-2286" d="M84 346Q84 468 166 546T360 635Q361 635 370 635T395 635T430 636T475 636T524 636H679Q694 628 694 616Q694 607 681 597L522 596H470H441Q366 596 338 592T266 568Q244 557 224 542T179 500T139 433T124 346V341Q124 253 185 185Q244 121 328 103Q348 98 366 98T522 96H681Q694 86 694 76Q694 64 679 56H526Q510 56 480 56T434 55Q350 55 289 71T172 141Q84 223 84 346ZM104 -131T104 -118T118 -98H679Q694 -106 694 -118T679 -138H118Q104 -131 104 -118Z"></path><path stroke-width="1" id="MJMATHI-53" d="M308 24Q367 24 416 76T466 197Q466 260 414 284Q308 311 278 321T236 341Q176 383 176 462Q176 523 208 573T273 648Q302 673 343 688T407 704H418H425Q521 704 564 640Q565 640 577 653T603 682T623 704Q624 704 627 704T632 705Q645 705 645 698T617 577T585 459T569 456Q549 456 549 465Q549 471 550 475Q550 478 551 494T553 520Q553 554 544 579T526 616T501 641Q465 662 419 662Q362 662 313 616T263 510Q263 480 278 458T319 427Q323 425 389 408T456 390Q490 379 522 342T554 242Q554 216 546 186Q541 164 528 137T492 78T426 18T332 -20Q320 -22 298 -22Q199 -22 144 33L134 44L106 13Q83 -14 78 -18T65 -22Q52 -22 52 -14Q52 -11 110 221Q112 227 130 227H143Q149 221 149 216Q149 214 148 207T144 186T142 153Q144 114 160 87T203 47T255 29T308 24Z"></path><path stroke-width="1" id="MJMATHI-47" d="M50 252Q50 367 117 473T286 641T490 704Q580 704 633 653Q642 643 648 636T656 626L657 623Q660 623 684 649Q691 655 699 663T715 679T725 690L740 705H746Q760 705 760 698Q760 694 728 561Q692 422 692 421Q690 416 687 415T669 413H653Q647 419 647 422Q647 423 648 429T650 449T651 481Q651 552 619 605T510 659Q492 659 471 656T418 643T357 615T294 567T236 496T189 394T158 260Q156 242 156 221Q156 173 170 136T206 79T256 45T308 28T353 24Q407 24 452 47T514 106Q517 114 529 161T541 214Q541 222 528 224T468 227H431Q425 233 425 235T427 254Q431 267 437 273H454Q494 271 594 271Q634 271 659 271T695 272T707 272Q721 272 721 263Q721 261 719 249Q714 230 709 228Q706 227 694 227Q674 227 653 224Q646 221 643 215T629 164Q620 131 614 108Q589 6 586 3Q584 1 581 1Q571 1 553 21T530 52Q530 53 528 52T522 47Q448 -22 322 -22Q201 -22 126 55T50 252Z"></path><path stroke-width="1" id="MJMAIN-AF" d="M69 544V590H430V544H69Z"></path><path stroke-width="1" id="MJMAIN-28" d="M94 250Q94 319 104 381T127 488T164 576T202 643T244 695T277 729T302 750H315H319Q333 750 333 741Q333 738 316 720T275 667T226 581T184 443T167 250T184 58T225 -81T274 -167T316 -220T333 -241Q333 -250 318 -250H315H302L274 -226Q180 -141 137 -14T94 250Z"></path><path stroke-width="1" id="MJMAIN-29" d="M60 749L64 750Q69 750 74 750H86L114 726Q208 641 251 514T294 250Q294 182 284 119T261 12T224 -76T186 -143T145 -194T113 -227T90 -246Q87 -249 86 -250H74Q66 -250 63 -250T58 -247T55 -238Q56 -237 66 -225Q221 -64 221 250T66 725Q56 737 55 738Q55 746 60 749Z"></path><path stroke-width="1" id="MJMATHI-54" d="M40 437Q21 437 21 445Q21 450 37 501T71 602L88 651Q93 669 101 677H569H659Q691 677 697 676T704 667Q704 661 687 553T668 444Q668 437 649 437Q640 437 637 437T631 442L629 445Q629 451 635 490T641 551Q641 586 628 604T573 629Q568 630 515 631Q469 631 457 630T439 622Q438 621 368 343T298 60Q298 48 386 46Q418 46 427 45T436 36Q436 31 433 22Q429 4 424 1L422 0Q419 0 415 0Q410 0 363 1T228 2Q99 2 64 0H49Q43 6 43 9T45 27Q49 40 55 46H83H94Q174 46 189 55Q190 56 191 56Q196 59 201 76T241 233Q258 301 269 344Q339 619 339 625Q339 630 310 630H279Q212 630 191 624Q146 614 121 583T67 467Q60 445 57 441T43 437H40Z"></path></defs></svg>

mathematics