**Speaker:** Büşra Sert

**
Institution: TU Dresden
**

**Title:** Combinatorial Methods for Minkowski Tensors of Polytopes

**Abstract:** Intrinsic volumes of a convex body provide scalar data (volume, surface area, Euler characteristic etc. ) about the geometry of a convex body intrinsically, i.e., the data doesn't depend on the ambient space. Minkowski tensors are the tensor valued generalization of intrinsic volumes. They give not only scalar data on the geometry of a convex body, but also information about its shape, orientation etc..
Moreover, generating functions for moments of the uniform distribution on convex bodies provide us a way to extract entries of Minkowski volume tensors.

In this talk, we first give necessary background on Minkowski tensors and their connection to moments on polytopes. Then, we describe Minkowski "surface tensors", and focus on some methods to obtain their entries in the case of simplicial polytopes.

This is a joint work with Niklas Livchitz and Amy Wiebe.

**Speaker:** Sinem Odabaşı

**Institution:** Universidad Austral de Chile

**Title:** On induced cotorsion pairs in functor category.

**Abstract:** The question of interest that motivates our work is how to ensure that the category Add (A,R-Mod) of additive functors has a projective / injective model structure without putting any conditions on the ring R. Essentially, it is motivated by the classical projective/injective/flat model structures on the category Ch(R) of chain complexes of left R-modules.

While we have been working on this problem with my collegues, in a recent work of Henrik Holm and Peter Jorgensen published in arxiv, this problem is handled by using techniques/results in Gorenstein Homological Algebra.

Fortunately, our approach differs from theirs, and includes other contexts such as module category over a formal triangular matrix ring.

With this objective in mind, in this talk we will talk about how to build "possible" Hovey cotorsion pairs1 in Add (A, R-Mod), and later we will present an explicit characterization of their objects. The results obtained on these cotorsion pairs in Add (A, R-Mod) generalize the known results in the categories of chain complexes of R-modules and modules over a formal triangular matrix ring. It is a work in progress with Sergio Estrada and Manuel Cortes Izurdiaga.

1: There is a close relation between abelian model structures in abelian categories and Hovey pairs; see [Hov02]. That's why we focus on finding suitable Hovey pairs in Add (A, R-Mod).

[Hov02] Hovey, M. Cotorsion pairs, model category structures, and representation theory. Math Z 241, 553–592 (2002).

**Speaker: ** Özgür Esentepe

**Institution:** University of Connecticut

**Title: ** Annihilation of cohomology over curve singularities

**Abstract:** Hilbert's syzygy theorem implies that the second syzygy of every module over a polynomial ring S in two variables is projective. In fancy language, this means that $\mathrm{Ext}_S^3(M,N)$ vanishes for every pair of modules M,N. This is no longer true when we consider a quotient R of S by an ideal generated by a single polynomial f. In fact, for every i>0 there is at least one pair M,N such that $\mathrm{Ext}_R^i(M,N) \neq 0$. We investigate the ideal consisting of ring elements which uniformly annihilate all $\mathrm{Ext}_R^i(M,N)$ for sufficiently large i. I am dedicating this talk to students and academics of Boğaziçi University who are protesting against a rector appointed by the 12th president of Turkey and I will try my best to keep it accessible to a broad audience.

**Speaker:** Oğuzhan Yürük

**Institution:** Institut für Mathematik TU Berlin

**Title:** Understanding the Regions of Multistaionarity via Symbolic Nonnegativity Certificates

**Abstract:** Parameterized ordinary differential equation systems are crucial for modeling in biochemical reaction networks under the assumption of mass-action kinetics. Various questions concerning the signs of multivariate polynomials in positive orthant arise from studying the solutions' qualitative behavior with respect to parameter values. In this work, we utilize circuit polynomials to find symbolic certificates of nonnegativity in order to provide further insight into the number of positive steady states of the n-site phosphorylation cycle model. This is a joint work with Elisenda Feliu, Nidhi Kaihnsa and Timo de Wolff.

**Speaker:** Emre Şen

**Institution: ** University of Iowa

**Title:** Quivers in Algebraic Geometry: Various Examples

**Abstract:** This will be an expository talk about quivers, and their representations. We will see why quivers naturally appear in the context of algebraic geometry and how they are useful to solve algebrogeometric problems. In this manner, we discuss various subjects: group actions with finitely many orbits, derived categories of coherent sheaves, toric vector bundles, exceptional sequences, quiver moduli etc.

**Speaker:** Kürşat Sözer

**Institution:** University of Lille

**Title:** Two-dimensional
extended HQFTs with arbitrary targets

**Abstract:** Inspired
by theoretical physics, topological quantum field theories (TQFTs) produce manifold invariants behaving well under gluing. Homotopy quantum field theories (HQFTs), introduced by Turaev, generalize TQFTs to manifolds equipped with continuous maps to fixed target
space. A different generalization of TQFTs is given by extended TQFTs which includes lower-dimensional manifolds utilizing higher categories. In this talk, we define and classify 2-dimensional extended HQFTs with arbitrary targets generalizing the earlier work
on K(G,1)-targets using the methods introduced for TQFTs by Chris Schommer-Pries in 2009.

**Speaker:** Levent Doğan

**Institution:** Technical University of Berlin

**Title:** Polynomial Time Algorithms for Torus Actions

**Abstract:** In this talk, we will consider three algorithmic problems, namely orbit equivalence, orbit closure intersection and orbit containment problem for actions of tori. We will describe the related invariant theory and show that all three problems admit polynomial time algorithms.

**Speaker:** Sümeyra Sakallı

**Institution:** University of Arkansas

**Title:** Symplectic 4-Manifolds on the Noether Line and between the Noether and Half Noether Lines

**Abstract:** In this talk, first we will review some main concepts and techniques in the smooth and symplectic 4-manifolds theory. Then we will discuss our constructions of exotic, simply connected and symplectic 4-manifolds on the Noether line and between the Noether and half Noether lines via pencils of complex curves of genus one and via symplectic surgeries. We will also present a completely geometric way of constructing certain configurations of Kodaira’s singularities in the rational elliptic surfaces, without using any monodromy arguments.

**Speaker:** Burçin Güneş

**Institution:** Sabancı University

**Title:** On nilpotent automorphism groups of function fields

**Abstract:** We study the automorphisms of a function field of genus $g \geq 2$ over an algebraically closed field of positive characteristic $p$. More precisely, we show that the order of a nilpotent subgroup $G$ of its automorphism group is bounded by $16(g − 1)$ when $G$ is not a $p$-group. We show that if $|G| = 16(g −1)$, then $g −1 $ is a power of $2$. Furthermore, we provide an infinite family of function fields attaining the bound. This is a joint work with Nurdagül Anbar.

**Speaker:** İzzet Coşkun

**Institution:** University of Illinois at Chicago

**Title:** Brill-Noether Theorems for moduli spaces of sheaves on surfaces

**Abstract:** In this talk, I will describe several results on the cohomology of the general sheaf in a moduli space of sheaves on a projective surface. I will discuss joint work with Jack Huizenga on rational surfaces such as Hirzebruch surfaces and joint work with Howard Nuer and Kota Yoshioka on K3 surfaces.

**Speaker:** Sema Güntürkün

**Institution:** Amherst College

**Title:** On the Eisenbud-Green-Harris conjecture.

**Abstract:** A generalization of the Macaulay’s theorem on the growth of Hilbert functions of homogeneous ideals in $K[x_1,\ldots, x_n]$ is conjectured by Eisenbud, Green and Harris in the 90s. The conjecture, also known as the EGH conjecture, states that the lex-plus-powers ideals show an extremal behavior among the homogeneous ideals containing regular sequences in terms of their Hilbert functions. In this talk, our focus will be on a case of the EGH conjecture for the homogeneous ideals containing a regular sequence of quadratic forms. This is a joint work with Mel Hochster.

**Speaker:** Kadri İlker Berktav

**Institution:** Middle East Technical University

**Title:** Higher Structures in Einstein Gravity

**Abstract:** This is a talk on a recent investigation about higher structures in the theory of General Relativity. It can be also seen as a direct sequel of the previous talk “Higher Structures in Physics.” However, for the sake of completeness, the talk will include a brief summary of key ideas from the aforementioned talk. In that respect, we shall begin with revisiting the basics of moduli theory and derived algebraic geometry. Next, we will report some relevant constructions and results from our work encoding various stacky formulations of Einstein Gravity.

**Speaker:** Ayşegül Öztürkalan

**Institution:** Abdullah Gül University

**Title:** Loops in moduli spaces of real plane projective curves

**Abstract:** The space of real algebraic plane projective curves of a fixed degree has a natural stratification. The strata of top dimension consists of
non-singular curves and are known up to curves of degree 6. Topology and, in particular, fundamental groups of individual strata
have not been studied systematically. We study the stratum formed by non-singular sextics with the real part consisting of 9 ovals which lie
outside each other and divide the set of complex points. Apparently this stratum has one of the most complicated fundamental
groups. In the talk I will study its subgroups which come from strata of singular curves and originates from spaces of linear equivalent real
divisors on a real cubic curve.

**Speaker:** Bahar Acu

**Institution:** ETH Zurich

**Title:** Understanding symplectic fillings of contact manifolds via algebraic varieties

**Abstract:** This talk is an attempt for a (pandemic-conscious) invitation to contact topology via an algebro-geometric approach with the caveat that we admit having little to no understanding of many concepts in algebraic geometry. A very useful strategy in studying topological manifolds is to factor them into smaller pieces. Briefly, an "open book decomposition" on an $n$-dimensional manifold (the open book) is a type of fibration over a circle that helps us study our manifold in terms of its $(n-1)$-dimensional fibers (the pages) and $(n-2)$-dimensional boundary of these fibers (the binding). Open books provide a natural framework for studying the topological properties of a geometric phenomenon called "contact structures" on smooth manifolds. In this talk, we aim to provide an exposition of results, some of which are fruits of several joint works, concerning "symplectic fillings" of contact manifolds given by certain classes of algebraic varieties using their "supporting" open books.

**Speaker:** Oğuz Şavk

**Institution:** Boğaziçi University

**Title:** Brieskorn spheres, homology cobordism and homology balls

**Abstract:** A classical question in low-dimensional topology asks which
homology $3$-spheres bound homology $4$-balls. This question is fairly
addressed to Brieskorn spheres $\Sigma(p,q,r)$. Since they are defined
to be links of singularities $x^p+y^q+z^r=0$, Brieskorn spheres are
algebro-geometric originated $3$-manifolds.
Over the years, Brieskorn spheres also have been the main objects for
the understanding of the algebraic structure of the integral homology
cobordism group. In this talk, we will present several families of
Brieskorn spheres which do or do not bound integral and rational
homology balls. Also, we will investigate their positions in both
integral and rational homology cobordism groups.

**YouTube:** link

**Speaker:** Özhan Genç

**Institution:** Jagiellonian University

**Title:** Ulrich Trichotomy on del Pezzo Surfaces

**Abstract: ** A vector bundle $\mathcal{E}$ on a projective variety $X$ in $\mathbb{P}^N$ is Ulrich if $H^∗(X,E(−k))$ vanishes for $1 ≤k ≤\dim(X)$. It has been conjectured by Eisenbud and Schreyer that every projective variety carries an Ulrich bundle. Even though this conjecture has not been proved or disproved, another interesting question is worth considering: classify projective varieties as Ulrich finite, tame or wild type with respect to families of Ulrich bundles that they support. In this talk, we will show that this trichotomy is exhaustive for certain del Pezzo surfaces with any given polarization. This talk is based on a joint work with Emre Coşkun.

**YouTube:** link

**Speaker:** İrem Portakal

**Institution: **Otto von Guericke University Magdeburg

**Title: **Rigid toric matrix Schubert varieties

**Abstract: **In this talk, we introduce the usual torus action on matrix Schubert varieties. In the toric case we show that these varieties arise from a bipartite graph. We study the first order deformations of toric matrix Schubert varieties and we prove that it is rigid if and only if the three-dimensional faces of its associated (edge) cone are all simplicial.

**YouTube:** link

**Speaker:** Enis Kaya

**Institution: **University of Groningen

**Title:** Explicit Vologodsky Integration for Hyperelliptic Curves

**Date:** October 14, 2020

**Abstract:** Let X be a curve over a p-adic field with semi-stable reduction and let ω be a meromorphic 1-form on X. There are two notions of p-adic integration one may associate to this data: the Berkovich–Coleman integral which can be performed locally; and the Vologodsky integral with desirable number-theoretic properties. In this talk, we present a theorem comparing the two, and describe an algorithm for computing Vologodsky integrals
in the case that X is a hyperelliptic curve. We also illustrate our algorithm with a numerical example computed in Sage. This talk is partly based on joint work with Eric Katz.

**Youtube:** link

**Speaker:** Selvi Kara

**Institution:** University of South Alabama

**Title:** Monomial Ideals of Graphs and Their Syzygies

**Abstract:** Given a homogeneous ideal $I$ in a polynomial ring $R=k[x_1, \ldots, x_n],$ we can describe the structure of $I$ by using its minimal free resolution. All the information related to the minimal free resolution of $I$ is encoded in its Betti numbers. However, it is a difficult problem to express Betti numbers of any homogeneous ideal in a general way. Due to this difficulty, it is common to focus on coarser invariants of $I$ or particular classes of ideals.

In this talk, we consider monomial ideals associated to graphs. We will discuss the Castelnuovo-Mumford regularity, projective dimension, and extremal Betti numbers of such ideals and provide formulas for these invariants in terms of the combinatorial data of their associated graphs. Results presented in this talk are from joint works with Biermann, O’Keefe, Lin, and Casiday.

**YouTube:** link

**Speaker:** Kadri İlker Berktav

**Institution:** Middle East Technical University

**Title:** Higher Structures in Physics

**Date:** September 30, 2020

**Abstract:** This is an overview of higher structures in physics. In this talk, we intend to outline the basics of derived algebraic geometry and its essential role in encoding the formal geometric aspects of moduli spaces of solutions to certain differential equations. Throughout the talk, we always study objects with higher structures in a functorial perspective, and we shall focus on algebraic local models for those structures. To be more precise, we shall be interested in derived geometric constructions and higher spaces for certain moduli problems associated with classical field theories and their defining equations, the so-called Euler-Lagrange equations.

To this end, the talk is organized into two main parts: In the first part of the talk, we shall revisit the naïve and algebro-geometric definition of a classical field theory together with some examples, and then we will establish the connection between classical field theories and moduli problems. In the second part of the talk, we first recall the basic aspects of moduli theory in a categorical perspective and explain how higher-categorical notions like stacks come into play to overcome certain technical problems naturally arising in many moduli problems. In the spirit of these discussions, we shall also give some examples from gauge theory and Einstein gravity.

**YouTube:** link

**Speaker:** Umut Varolgüneş

**Institution:** Stanford University

**Special Time: 9PDT, 12EST, 7TSi**

**Title:** Homological mirror symmetry for chain type invertible polynomials

**Abstract:** I will start by giving a quick introduction to classical and symplectic Picard-Lefschetz theory. Then, I will explain the homological mirror symmetry (HMS) conjecture regarding invertible polynomials. Finally, I will sketch the A-side computation that goes into proving HMS in the chain type case. This is joint work with A. Polishchuk.

**Youtube:** link

**Speaker:** Hülya Argüz

**Institution:** University of Versailles Saint-Quentin-En-Yvelines

**Title:** An algebro-geometric view on mirror symmetry

**Abstract:** Mirror symmetry is a phenomenon discovered by string theorists, which relates physical theories obtained using different deformation families of Calabi-Yau manifolds. An algebro--geometric approach to mirror symmetry, which uses tropical and log geometric tools to construct such families of Calabi--Yau manifolds, is provided by the Gross-Siebert program. In this talk we will review the most recent advances in this program, and particularly report on our joint work with Mark Gross.

**YouTube:**link

**Speaker:** Mehmet Kıral

**Institution: ** RIKEN AIP

**Title: ** Kloosterman Sums for SL3 Long Word Element

**Date:** September 9, 2020

**Time: 8:00 EST, 15:00 TSi** Note the time change.

**Abstract:** Using the reduced word decomposition of the long word element of the Weyl group element of SL3, we give a nice expression for the long word Kloosterman sum. First classical Kloosterman sums, their importance, and matrix formulation will be introduced. This is joint work with Maki Nakasuji of Sophia University (Tokyo).

**YouTube:** link

**Speaker:** Özge Ülkem

**Institution: ** Heidelberg University

**Title: ** Uniformization of the moduli space of generalized $\mathcal{D}$-elliptic sheaves

**Date:** September 2, 2020

**Abstract:** Drinfeld defined the notion of elliptic modules, which are now called Drinfeld modules, as an analogue of elliptic curves in the function field setting. To prove the Langlands correspondence in this context, Drinfeld studied moduli spaces of elliptic sheaves. The categories of elliptic sheaves and Drinfeld modules are equivalent under certain conditions. Since then, many generalizations of elliptic sheaves have been studied, such as $\mathcal{D}$-elliptic sheaves defined by Laumon, Rapoport and Stuhler and Frobenius-Hecke sheaves defined by Stuhler. In this talk we will give a brief introduction to the function field world and introduce a new generalization of elliptic sheaves, called generalized $\mathcal{D}$-elliptic sheaves. We will state a uniformization theorem for the moduli space of the latter and talk about the proof if time permits. This builds on work of Laumon-Rapoport-Stuhler, of Hartl and of Rapoport-Zink.

**YouTube:** link

**Speaker:** Yusuf Barış Kartal

**Institution: ** Princeton University

**Title: ** p-adic analytic actions on Fukaya categories and iterates of symplectomorphisms

**Date:** August 26, 2020

**Abstract:** A theorem of Bell, Satriano and Sierra state that for a given smooth complex surface $X$ with an automorphism $\phi$ the set of natural numbers $n$ such that $\mathscr{Ext}^i(\mathscr{F},(\phi^*)^n(\mathscr{F}'))\neq 0$ is a union of finitely many arithmetic progressions and finitely many other numbers. Due to homological mirror symmetry conjecture, one can expect a symplectic version of this statement. In this talk, we will present such a theorem for a class of symplectic manifolds and symplectomorphisms isotopic to identity. The technique is analogous to its algebro-geometric counterpart: namely we construct p-adic analytic action on a version of the Fukaya category, interpolating the action of the iterates of the symplectomorphism.

**YouTube:** link

**Speaker:** Emre Sertöz

**Institution: ** Leibniz University Hannover

**Title: ** Separating Periods of Quartic Surfaces

**Date:** August 19, 2020

**Abstract:** Kontsevich--Zagier periods form a natural number system that extends the algebraic numbers by adding constants coming from geometry and physics. Because there are countably many periods, one would expect it to be possible to compute effectively in this number system. This would require an effective height function and the ability to separate periods of bounded height, neither of which are currently possible.

In this talk, we introduce an effective height function for periods of quartic surfaces defined over algebraic numbers. We also determine the minimal distance between periods of bounded height on a single surface. We use these results to prove heuristic computations of Picard groups that rely on approximations of periods. Moreover, we give explicit Liouville type numbers that can not be the ratio of two periods of a quartic surface. This is ongoing work with Pierre Lairez (Inria, France).

**YouTube:** link

**Speaker:** Emine Yıldırım

**Institution: ** Queen's University

**Title: ** Cluster Categories

**Date:** August 12, 2020

**Abstract:** Cluster Categories are introduced to understand cluster dynamics from the representation theory point of view. The subject has its roots in two important results in the literature that give us a glimpse of a relationship between cluster dynamics and representation theory. The first is that there is an one-to-one correspondence between the cluster variables of a finite type cluster algebra and the almost positive roots of the corresponding root system. The second is a well-known result by Gabriel that classifies finite representation type quivers by using positive roots of the corresponding root system. In this talk, after giving an overview of cluster categories, I will talk about a recent joint work with Charles Paquette on the generalization of discrete cluster categories.

**YouTube:** link