{"id":652,"date":"2024-02-20T12:25:55","date_gmt":"2024-02-20T17:25:55","guid":{"rendered":"https:\/\/sites.nd.edu\/mgsa\/?page_id=652"},"modified":"2025-12-12T13:19:36","modified_gmt":"2025-12-12T18:19:36","slug":"spring-2024","status":"publish","type":"page","link":"https:\/\/sites.nd.edu\/mgsa\/graduate-student-seminar\/spring-2024\/","title":{"rendered":"Spring 2024"},"content":{"rendered":"\n<hr class=\"wp-block-separator has-alpha-channel-opacity\" \/>\n\n\n\n<h2 class=\"wp-block-heading\">01\/30\/2024 &#8211; Audriana Houtz: Connectivity of the Cut-System Complex<\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">abstract: We will start with an introduction to cut-systems on a handlebody. Then prove that the cut-system complex where cut-systems are related by simple moves is connected and if time allows we will prove that it is simply connected. <\/p>\n\n\n\n<hr class=\"wp-block-separator has-alpha-channel-opacity\" \/>\n\n\n\n<h2 class=\"wp-block-heading\">02\/06\/2024 &#8211; Connor Malin: Transforms in calculus and category theory<\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">abstract: We recall classical Fourier analysis and its applications before describing the general setting of harmonic analysis and Pontryagin duality. We then describe a categorical analog of the Fourier transform and compute it in several cases.<\/p>\n\n\n\n<hr class=\"wp-block-separator has-alpha-channel-opacity\" \/>\n\n\n\n<h2 class=\"wp-block-heading\">02\/13\/2024 &#8211; Andy Yang: Logics for Modern Language Processing<\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">abstract: Transformers have gained prominence in natural language processing (NLP), both in direct applications like machine translation and in pretrained models like GPT. Today, we sketch out some connections between transformers and first-order logic, temporal logic, as well as algebraic automata theory.<\/p>\n\n\n\n<hr class=\"wp-block-separator has-alpha-channel-opacity\" \/>\n\n\n\n<h2 class=\"wp-block-heading\">02\/20\/2024 &#8211; Katherine Novey: Intro to Groups of Homotopy Spheres<\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">abstract: In this talk, I will discuss the first few sections of &#8220;Groups of Homotopy Spheres&#8221; by John Milnor and Michel Kervaire. I will begin by introducing $\\Theta_n$, the $n$th group of h-cobordism classes of homotopy spheres, and how it can be calculated in terms of a particular subgroup, the stable homotopy groups of spheres, and the $J$-homomorphism. I will then discuss how to show that this subgroup is trivial in the case $n=2k$, focusing on the computation for even values of $k$.&nbsp;<\/p>\n\n\n\n<hr class=\"wp-block-separator has-alpha-channel-opacity\" \/>\n\n\n\n<h2 class=\"wp-block-heading\">02\/27\/2024 &#8211; Xiyan Zheng: Prym representations and twisted cohomology of the mapping class group with level structures.<\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">abstract: For a finite cyclic cover S_p of a non-closed surface S of finite type, the whole mapping class group of S does not lift to the cover S_p. However, there is a finite-index subgroup which does lift to the cover and act on the first rational cohomology group of S_p, and this is called a Prym representation. We computed the twisted cohomology of this subgroup in coefficients r-tensor powers of H^1(S_p;Q), which turns out to be unstable with respect to the genus of the surface when r\uff1e2, contrasting to the stability of cohomology of the whole mapping class groups. As a corollary, we also know the Prym representations of finite abelian covers are locally rigid. <\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Arxiv:&nbsp;<a href=\"http:\/\/arxiv.org\/abs\/2401.13869\" target=\"_blank\" rel=\"noreferrer noopener\">http:\/\/arxiv.org\/abs\/2401.13869<\/a><\/p>\n\n\n\n<hr class=\"wp-block-separator has-alpha-channel-opacity\" \/>\n\n\n\n<h2 class=\"wp-block-heading\">03\/04\/2024 &#8211; Hari Rau-Murthy: An HKR theorem for factorization homology, and a related project in character theory<\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">abstract: This talk will primarily be on a generalization of the so-called &#8220;HKR theorem&#8221;.&nbsp; &nbsp; The classical HKR theorem concerns two different ways of generalizing the notion of differential forms on a ring; the theorem asserts they agree.&nbsp; I will give a generalization of this theorem for ring spectra which will allow us to recalculate the factorization homology\/higher THH of rational KU.<\/p>\n\n\n\n<hr class=\"wp-block-separator has-alpha-channel-opacity\" \/>\n\n\n\n<h2 class=\"wp-block-heading\">03\/05\/2024 &#8211; Cory Gillette: An Introduction to (Co)End Calculus and the Yoneda Lemma<\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">abstract: After a friendly but brief discussion of basic concepts in category theory, we will state the Yoneda lemma and meditate on its proof. Then we will introduce more suggestive notation in terms of (co)ends, and restate the lemma. Finally, we will sketch a handful of applications.<\/p>\n\n\n\n<hr class=\"wp-block-separator has-alpha-channel-opacity\" \/>\n\n\n\n<h2 class=\"wp-block-heading\">03\/27\/2024 &#8211; Juan Ramirez: <strong>\u00a0<\/strong>Rees Algebras and Rational Plane Curves<\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">abstract: Consider the polynomial ring\u00a0R=k[x,y]\u00a0in two variables over a field\u00a0k\u00a0and I\u00a0an ideal presented by a class of 3\u00a0x 2 matrices (Hilbert-Burch) with column degrees\u00a0d_1 \\leq d_2. In this talk we will say a few words on how one can translate information about the defining equations of the Rees Algebra of I\u00a0and Rational Plane Curves of degree\u00a0d_1+d_2=d. In particular, how one can translate between the configuration\u00a0of the singularities of a Rational Plane Curve\u00a0C\u00a0and the bi-degrees of the defining equations of the Rees Algebra\u00a0R(I).<\/p>\n\n\n\n<hr class=\"wp-block-separator has-alpha-channel-opacity\" \/>\n\n\n\n<h2 class=\"wp-block-heading\">04\/09\/2024 &#8211; Jason Mitrovich: The Plateau Problem and Brouwer\u2019s Fixed Point Theorem<\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">abstract: This seminar will introduce the Plateau problem, which is physically motivated by soap films and is named after the physicist Joseph Plateau. First, we will state the general Plateau problem before narrowing down to two simpler cases. Then we will sketch out how standard analysis techniques, as well as fixed points, can be used to solve the simpler cases. Afterwards, we will return to the general setting; however, to make progress in this setting, geometric measure theory (GMT) was developed to solve this problem and ultimately was used to resolve the Plateau problem. To close, we will discuss some results on the regularity of such surfaces as well as the higher mapping problem.<\/p>\n\n\n\n<hr class=\"wp-block-separator has-alpha-channel-opacity\" \/>\n\n\n\n<h2 class=\"wp-block-heading\">04\/16\/2024 &#8211; Khoi Nguyen: Urbano Theorem and Minimal Surfaces in S^3<\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">abstract: Studying minimal surfaces in different Riemannian manifolds is a recurring theme in the field of geometric analysis. In this talk, I will state a result characterizing closed, orientable minimal surfaces of the 3-sphere. I will start by reviewing the basic theory of minimal surfaces and explaining the relevant terms in the understanding of Urbano theorem. After that, I will state and give a proof of the theorem, which highlights the role of the Clifford torus in studying such minimal surfaces.<\/p>\n\n\n\n<hr class=\"wp-block-separator has-alpha-channel-opacity\" \/>\n\n\n\n<h2 class=\"wp-block-heading\">04\/23\/2024 &#8211; Postdoc Panel <\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">abstract: \u00a0This session will focus on how to apply for research postdocs in math. First, we&#8217;ll quickly go over the requirements for postdoc applications along with the typical timeline of what happens when, and then we&#8217;ll open up a Q&amp;A with current ND students who are about to start research postdocs next year. Students from all years are welcome but it will be particularly relevant to students about to enter the final year of the Ph.D.<\/p>\n\n\n\n<hr class=\"wp-block-separator has-alpha-channel-opacity\" \/>\n\n\n\n<h2 class=\"wp-block-heading\">04\/30\/2024 &#8211; Lorenzo Riva: The Why, What, and How of higher categories<\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">abstract: One fundamental technique in mathematics is the process that we all know as &#8220;abstraction&#8221; but that in some cases goes by the name &#8220;categorification&#8221;: we take some theorem\/calculation\/construction X and we realize it as the shadow of a more complicated thing Y in a way that makes the concept X more natural, or its construction more elucidating, or its applications more useful in other areas of math. In this talk we will use the homotopy theory of topological spaces and categorify it to obtain a flavor of categorical objects called higher categories, an extension of ordinary categories. This will be an expository talk and no previous knowledge of homotopy theory (besides some basic topology and algebra) will be assumed.<\/p>\n\n\n\n<hr class=\"wp-block-separator has-alpha-channel-opacity\" \/>\n\n\n\n<h2 class=\"wp-block-heading\">05\/03\/2024 &#8211; Jiayi Shen: Liftableness of torsion elements in GL_n(Z)<\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">abstract: Consider the representation $\\text{Out}(F_n)\\rightarrow\\text{GL}_n(\\mathbb{Z})$. We would like to answer the question whether all torsion elements in $\\text{GL}_n(\\mathbb{Z})$ can be lifted to torsion elements in $\\text{Out}(F_n)$. We use a geometric approach towards torsion elements in $\\text{Out}(F_n)$ and use algebraic number theory to study torsion elements in $\\text{GL}_n(\\mathbb{Z})$. For a matrix with prime order $p$ where $p\\leq 19$, it is always liftable. For $n\\geq 22$, there always exists an order $23$ matrix that can not be lifted to $\\text{Out}(F_n)$.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>01\/30\/2024 &#8211; Audriana Houtz: Connectivity of the Cut-System Complex abstract: We will start with an introduction to cut-systems on a handlebody. Then prove that the cut-system complex where cut-systems are related by simple moves is connected and if time allows we will prove that it is simply connected. 02\/06\/2024 &#8211; Connor Malin: Transforms in calculus [&hellip;]<\/p>\n","protected":false},"author":4504,"featured_media":0,"parent":55,"menu_order":3,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-652","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/sites.nd.edu\/mgsa\/wp-json\/wp\/v2\/pages\/652","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/sites.nd.edu\/mgsa\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/sites.nd.edu\/mgsa\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/sites.nd.edu\/mgsa\/wp-json\/wp\/v2\/users\/4504"}],"replies":[{"embeddable":true,"href":"https:\/\/sites.nd.edu\/mgsa\/wp-json\/wp\/v2\/comments?post=652"}],"version-history":[{"count":6,"href":"https:\/\/sites.nd.edu\/mgsa\/wp-json\/wp\/v2\/pages\/652\/revisions"}],"predecessor-version":[{"id":677,"href":"https:\/\/sites.nd.edu\/mgsa\/wp-json\/wp\/v2\/pages\/652\/revisions\/677"}],"up":[{"embeddable":true,"href":"https:\/\/sites.nd.edu\/mgsa\/wp-json\/wp\/v2\/pages\/55"}],"wp:attachment":[{"href":"https:\/\/sites.nd.edu\/mgsa\/wp-json\/wp\/v2\/media?parent=652"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}