Schedule

The lecture room for the talks is in building 31 (AVZ), room E05.

The coffee breaks will be held in the math department (building 69) in rooms E13 and E15. There, you also have the possibility for discussions and working.

Please also consider the map.

5 Mon 6 Tue 7 Wed 8 Thu 9 Fri 10 Sat 11 Sun
All-day
00:00
01:00
02:00
03:00
04:00
05:00
06:00
07:00
08:00
09:00
10:00
11:00
12:00
13:00
14:00
15:00
16:00
17:00
18:00
19:00
20:00
21:00
22:00
23:00

 

Download schedule as pdf file.


Speakers:

Alessio Caminata – Symmetric signature
Alexandru ConstantinescuLinear syzygies and regularity
Alessio D’AlìDeviations of graded algebras
Emanuela De NegriA Gorenstein simplicial complex for symmmetric minors
Gunnar FløystadLetterplace and co-letterplace ideals of posets
Takayuki HibiGorenstein Fano polytopes and quadratic Gröbner bases
June HuhHodge theory for combinatorial geometries
Martina Juhnke-KubitzkeGap vectors of real projective varieties
Thomas KahlePlethysm and lattice point counting
Lukas KatthänThe Golod property of Stanley-Reisner rings
Michal LasonOn the toric ideal of a matroid and related combinatorial problems
Dinh Van LeOn h-vectors of broken circuit complexes
Antonio MacchiaThe poset of proper divisibility
Mateusz MichalekThe poset of normal polytopes
Satoshi MuraiAverage of polyhedral Morse inequalities and graded Betti numbers
Uwe NagelHilbert series up to symmetry
Sara Saeedi Madani – Binomial edge ideals and determinantal facet ideals
Matteo VarbaroWhen does depth stabilize early on?
Volkmar WelkerThe ideal of orthogonal representations of a graph


Abstracts:

Alessio Caminata – Symmetric signature
The F-signature is a measure for singularities in positive characteristic, which is based on the asymptotic splitting behaviour of the ring viewed as a module over itself via powers of the Frobenius homomorphism. In an attempt to develop a characteristic-free notion, we introduce the symmetric signature of a local ring, which is defined by looking at the asymptotic splitting behavior of the reflexive symmetric powers of the top-dimensional syzygy module of the residue field. As a first test case we look at two-dimensional quotient singularities k\llbracket x,y\rrbracket^G, where G is a finite small subgroup of \mathrm{Gl}(2,k). Using the Auslander correspondence and representation theory we prove that if G\subseteq\mathrm{Sl}(2,k) or G is cyclic, then the symmetric signature is 1/|G|, which coincides with the F-signature. This is based on joint works with H. Brenner, and with L. Katthän.

Alexandru ConstantinescuLinear syzygies and regularity
We show that for every positive integer r there exist monomial ideals generated in degree two, with linear syzygies, and regularity of the quotient equal to r. For Gorenstein ideals we prove that the regularity of their quotients can not exceed four, thus showing that for d > 4 every triangulation of a d-manifold has a hollow square or simplex. We also show that for most monomial ideals generated in degree two and with linear syzygies the regularity is O(log(log(n)), where n is the number of variables.

Alessio D’AlìDeviations of graded algebrasslides
Let R be the quotient of a polynomial ring over a field k by a homogeneous ideal containing no linear forms. The deviations of R are numerical values that can be obtained by analysing the Poincaré series of k as an R-module; on the other hand, they encode interesting information about a differential graded algebra structure on the minimal free resolution of k as an R-module, i.e. the so-called acyclic closure of k.
In this talk we will investigate the behaviour of deviations under Gröbner and lex-segment deformation and study their asymptotics for Golod rings and some special edge rings. Moreover, we will recall the connection with Koszul homology and show an application in the case of edge rings of cycles.
This is joint work with A. Boocher, E. Grifo, J. Montaño, and A. Sammartano. The project originated during the 2014 edition of the PRAGMATIC school.

Emanuela De NegriA Gorenstein simplicial complex for symmmetric minors
Let X = (x_{ij}) be the n\times n generic symmetric matrix and let S=K [x_{ij} ~|~ 1 \leq i \leq j \leq n] be the associated polynomial ring over a field $K$. Denote by I_t the ideal generated by the t-minors of X. The ring S/I_t is a Cohen-Macaulay normal domain and it is Gorenstein if and only if n-t is even.
It is well known that the t-minors of X are a Gröbner bases with respect to the lexicographic order with x_{11}>x_{12}>\dots>x_{1n}>x_{22}>\dots>x_{nn}. The corresponding initial ideal is square-free and Cohen-Macaulay, but it is not Gorenstein.
The question when Gorenstein ideals have initial ideals which are square-free and Gorenstein have been answered affirmatively in several instances, for example for ideals of minors of generic matrices and for ideals of Pfaffians of skew symmetric matrices.
So far for the ideal I_t (with n-t even) only the case t=2 has been treated. In this talk the case t=n-2 is considered. We prove that the (n-2)-minors form a Gröbner basis of I_{n-2} with respect to a suitable reverse lexicographic order and that the corresponding initial ideal in(I_{n-2}) is square-free and Gorenstein. It also turns out that the Betti number of I_{n-2} and in(I_{n-2}) actually coincide.
This is a joint work with A.Conca and V.Welker.

Gunnar FløystadLetterplace and co-letterplace ideals of posets
We study two types of monomial ideals associated to a poset P, the n‘th letterplace ideals L(n,P) and the n‘th co-letterplace ideals L(P,n). These ideals give a unified understanding of a number of ideals studied in monomial ideal theory in recent years. By cutting down these ideals, or subideals of these, by regular sequences of variable differences we obtain: multichain ideals and generalized Hibi type ideals, initial ideals of determinantal ideals, strongly stable ideals, d-partite d-uniform ideals, Ferrers ideals, edge ideals of cointerval d-hypergraphs, and uniform face ideals.

Takayuki HibiGorenstein Fano polytopes and quadratic Gröbner bases
Certain Fano polytopes arising from order polytopes and chain polytopes of finite partially ordered sets will be discussed. Showing that these Fano polytopes possess reverse lexicographic quadratic Gröbner bases guarantees that they are Gorenstein.
This is a joint work with the coauthors of arXiv:1409.4386 (J. Algebra, to appear), arXiv:1410.4786, arXiv:1505.04289 and arXiv:1506.00802.

June HuhHodge theory for combinatorial geometriesslides
A conjecture of Read predicts that the coefficients of the chromatic polynomial of any graph form a log-concave sequence. A related conjecture of Welsh predicts that the number of linearly independent subsets of varying sizes form a log-concave sequence for any configuration of vectors in a vector space. All known proofs use Hodge theory for projective varieties, and the more general conjecture of Rota for possibly “nonrealizable” configurations is still open. In this talk, I will argue that two main results of Hodge theory, the Hard Lefschetz theorem and the Hodge-Riemann relations, continue to hold in a realm that goes beyond that of Kahler geometry. This cohomology theory gives strong restrictions on numerical invariants of tropical varieties, and in particular those conjectured by Rota. Joint work with Karim Adiprasito and Eric Katz.

Martina Juhnke-KubitzkeGap vectors of real projective varietiesslides
Given a totally real, non-degenerate projective variety X\subseteq \mathbb{P}^m and a generic set of points \Gamma\subseteq X(\mathbb{R}), we consider the cone P of nonnegative quadratic forms on X and the cone \Sigma of sums of squares of linear forms. We examine the dimensions of the faces P(\Gamma) and \Sigma(\Gamma) consisting of forms in P and \Sigma which vanish on \Gamma. As the cardinality of the set \Gamma varies in 1,2,\ldots, \mathtt{codim}(X), the difference between the dimensions of P(\Gamma) and \Sigma(\Gamma) defines a numerical invariant of X, the so-called gap vector of X. We study fundamental properties of this vector and provide a formula relating the components of the gap vector of X and the quadratic deficiencies of X and its generic projections. Using this formula, we prove that gap vectors are weakly increasing, obtain upper bounds for their rate of growth and show that these upper bounds are eventually achieved for all varieties. Moreover, we give a characterization of the varieties with the simplest gap vectors. This is joint work with Greg Blekherman, Sadik Iliman and Mauricio Velasco.

Thomas KahlePlethysm and lattice point countingslides
The plethysm problem in representation theory of GL(n) is to compute the irreducible decomposition of a composition of Schur functors. We give a gentle introduction to the problem and show that the answer can be computed by lattice point counting techniques. This allows to study the asymptotics of plethysm and to derive explicit quasi-polynomial formulas for plethysm. We show the (somewhat surprising) fact that even along individual rays, plethysm counting functions are not necessarily Ehrhart functions. This poses a major problem in the search for combinatorial explanations for plethysm.
This is joint work with Mateusz Michalek.

Lukas KatthänThe Golod property of Stanley-Reisner rings
A graded (or local) ring is called Golod if the Betti numbers of the residue field grow as fast as possible. This is equivalent to the vanishing of all Massey products on the Koszul homology. In this talk, I will discuss the latter condition for Stanley-Reisner rings. For those rings, one has a geometric interpretation of the product on Koszul homology. It can be used to construct rings where the Golod property depends on the underlying field. Moreover, I will discuss higher Massey products and questions related to their vanishing.

Michal LasonOn the toric ideal of a matroid and related combinatorial problemsslides
When an ideal is defined only by combinatorial means, one expects to have a combinatorial description of its set of generators. An attempt to achieve this description often leads to surprisingly deep combinatorial questions.
White’s conjecture is an example. It asserts that the toric ideal associated to a matroid is generated by quadratic binomials corresponding to symmetric exchanges. In the combinatorial language it means that if two multisets of bases of a matroid have equal union (as a multiset), then one can pass between them by a sequence of symmetric exchanges.
White’s conjecture resisted numerous attempts since its formulation in 1980. We will discuss its relations with other open problems concerning matroids.

Dinh Van LeOn h-vectors of broken circuit complexesslides
Broken circuit complexes are an essential tool in the study of various important properties of matroids and hyperplane arrangements. For instance, the characteristic polynomial of a matroid, a generalization of the chromatic polynomial of a graph, has coefficients encoded by the f-vector of the broken circuit complex of the matroid. Moreover, the broken circuit complex associated to a hyperplane arrangement can be used to construct bases for two important algebras of the arrangement, namely, the Orlik-Solomon algebra and the Orlik-Terao algebra. In this talk, I give an application of the h-vector of the broken circuit complex in characterizing the Gorenstein and complete intersection properties of the Orlik-Terao algebra. I also provide some results on h-vector of broken circuit complexes of series-parallel networks.

Antonio MacchiaThe poset of proper divisibility
We define the order relation given by the proper divisibility between monomials, inspired by the definition of the Buchberger graph of a monomial ideal. From this order relation we obtain a new class of posets. Surprisingly, the order complexes of these posets are homologically non-trivial. We prove that these posets are dual CL-shellable, we completely describe their homology (with \mathbb{Z} coefficients) and we compute their Euler characteristic using generating functions. Moreover this relation gives the first example of a dual CL-shellable poset that is not CL-shellable. This is a joint work with D. Bolognini, E. Ventura and V. Welker.

Mateusz MichalekThe poset of normal polytopesslides
Normal polytopes are combinatorial objects corresponding to embedded projectively normal projective toric varieties. Various aspects of these polytopes have been studied with tools and inspirations coming from algebra, geometry and combinatorics. In my talk I would like to present the poset structure on the family of normal polytopes, that turns out to have very interesting geometry. I will focus on recent results from a joint work with Winfried Bruns and Joseph Gubeladze providing maximal normal polytopes. I will also present several challenging open problems.

Satoshi MuraiAverage of polyhedral Morse inequalities and graded Betti numbersslides
In the field of combinatorial topology, Wolfgang Kuehnel developed a version of the Morse theory for simplicial complexes, which is sometimes called a polyhedral Morse theory. Recently, Bhaskar Bagchi and Basudeb Datta found that a certain average of Morse inequalities in this polyhedral Morse theory has interesting applications to the combinatorial study of triangulations of topological manifolds. This average of Morse inequalities can be written in terms of graded Betti numbers of Stanley-Reisner rings by the Hochster’s formula. In this talk, I will explain how graded betti numbers and this average of polyhedral Morse inequalities are applied to study combinatorial properties of triangulations of manifolds.

Uwe NagelHilbert series up to symmetry
Hillar and Sullivant developed a framework for studying ideals in a polynomial ring S in countably many variables that are invariant under the action of the symmetric group or, more generally, the action of a monoid. For the monoid \mathrm{Inc} of increasing functions \mathbb{N} \to \mathbb{N}, they showed that each \mathrm{Inc}-invariant ideal in S is generated by finitely many \mathrm{Inc}-orbits. Thus, such an ideal gives rise to a chain of ideals in finitely many variables that determines the original ideal. In order to study properties of an \mathrm{Inc}-invariant ideal we associate to it a bigraded Hilbert series that is derived from a chain of ideals in finitely many variables. We show that this Hilbert series is rational.
This is based on joint work with Tim Römer.

Sara Saeedi MadaniBinomial edge ideals and determinantal facet idealsslides
The study of ideals of all maximal minors of an (m\times n)-matrix X of indeterminates is a classical subject of research in Commutative Algebra. There are also some generalizations of this type of ideals. Among them is the ideal generated by a set of maximal minors of X which is called the determinantal facet ideal (of a simplicial complex). In the case m=2, this ideal is a binomial ideal called binomial edge ideal (of a graph). In this talk, we give an overview of some algebraic properties and invariants of such ideals with focus on some recent developments and open questions. Special attention is given to their minimal graded free resolution. (This talk is based on some joint works with Jürgen Herzog and Dariush Kiani).

Matteo VarbaroWhen does depth stabilize early on?slides
Given a homogeneous ideal I of a polynomial ring S, it is interesting to study the behavior of the depth-function of I, that is the numerical function that to a natural number k assigns \mathrm{depth}(S/I^k). By a classical result of Brodmann, the depth-function of any ideal is definitely constant. However, the initial behavior is hard to understand. During the talk, I will analyze the ideals with constant depth-function. The case in which I is radical and S/I is Cohen-Macaulay is well understood: in fact, by a result of Cowsik and Nori, in such a situation I has constant depth-function if and only if I is a complete intersection. Without these assumptions the situation is much wilder: in a recent work joint with Le Dinh Nam, we identified a class of ideals with constant depth-function, but such a class is not exhaustive in general. There still is a chance that the class above includes all square-free monomial ideals generated in a single degree with constant depth-function. I will especially discuss this question and the properties had by the ideals that we identified, which are interesting by themselves.

Volkmar WelkerThe ideal of orthogonal representations of a graph (joint with Herzog/Macchia/Madani)
We study orthogonal representations of simple graphs G in \mathbb{R}^d from an
algebraic perspective in case d=2. Orthogonal representations of graphs,
introduced by Lovász, are maps from the vertex set to \mathbb{R}^d where
non-adjacent vertices are sent to orthogonal vectors. We exhibit
algebraic properties of the ideal generated by the equations expressing
this condition.