Abstract:

In his paper on free subgroups of linear groups, Tits proved his famous alternative: a linear group is either virtually solvable, or contains a free subgroup. Since then, Tits' work has been generalized and applied in many different ways. One remaining open question in this field was the one asked by de la Harpe: let \(G\) be a semisimple Lie group without compact factors and with trivial center, and let \(\Gamma\) be a Zariski-dense subgroup of \(G\). Given a prescribed finite subset \(F\) of \(G\), is it always possible to find an element \(\gamma \in \Gamma\) such that for any \(h \in F\), the subgroup generated by \(h\) and \(\gamma\) is freely generated (in that case, we say \(h\) and \(\gamma\) are ping-pong partners). In the talk, we will discuss a variant of the question of de la Harpe, where \(F\) is a finite set of finite subgroups \(H_i\) of \(G\). Using careful refinements of the main steps of Tits' proof of the alternative (which we will recall), we give sufficient conditions for the existence of ping-pong partners for the \(H_i\) in any Zariski-dense subgroup \(\Gamma\). We will also show that these conditions are satisfied for products of copies of \(\mathrm{SL}_n\) over division \(\mathbb{R}\)-algebras. The existence of such free products has applications in the theory of integral group rings of finite groups, which will be briefly mentioned. Joint work with G. Janssens and D. Temmerman.

  Abstract:

The classical Diophantine problem of determining which integers can be written as a sum of two rational cubes has a long history, from early works of Sylvester, Satge, Selmer etc. and, up to recent work of Alpoge-Bhargava-Shnidman. A conjecture attributed to Sylvester predicts that the primes >2 in the residue classes 2,5 mod 9 are not sums of two rational cubes, while those in the residue classes 4,7 or 8 mod 9 are. Primes which are 1 mod 9 may or may not be sums of two rational cube sums. We rephrase the problem in terms of elliptic curves, and use certain integral binary cubic forms to prove unconditionally that there are infinitely many primes in each of the residue classes 1 mod 9 and 8 mod 9 that are expressible as sums of two rational cubes. More generally, we prove that every non-zero residue class a (mod q), for any prime q, contains infinitely many primes which are sums of two rational cubes. Among other results, we show that corresponding to any positive integer n, there are infinitely many imaginary quadratic fields in which n is a sum of two cubes. These results represent joint work with Somnath Jha and Dipramit Majumdar. The starting point of this work was an accidental encounter in earlier work with Dipramit Majumdar when we classified all cubic cyclic extensions of \(\mathbb{Q}\).

  Abstract:

Polya frequency sequences are ubiquitous objects with a surprising number of connections to many different areas of mathematics. It has long been known that such sequences admit a "duality" operator that mimics the duality of a Koszul algebra and its quadratic dual, but the precise connection between these notions turns out to be quite subtle. In this talk, we will see how the equivariant analogue of Polya frequency is closely related to the problem of constructing Schur functors "with respect to" an algebra. We will moreover see how these ideas come together to understand the problem of extending Boij--Soederberg theory to other classes of rings, with particular attention given to the case of quadric hypersurfaces. This is based on joint work with Steven V. Sam.

  Abstract:

In various cases, a law that holds in a group with high probability, must actually hold for all elements. For instance, a finite group in which the commutator law \([x,y]=1\) holds with probability larger than \(5/8\), must be abelian. In the talk I'll discuss a probabilistic approach to laws on infinite groups, using random walks, and present results, joint with Greenfeld and Olshanskii, answering a few questions of Amir, Blachar, Gerasimova, and Kozma.

  Abstract:

A foundational result in equivariant commutative algebra is Cohen's theorem that the infinite variable polynomial ring \(R=\mathbb{C}[x_1,x_2,\ldots]\) is Noetherian up to the action of the infinite symmetric group. This has been applied to prove uniformity results for finite-dimensional structures in algebraic geometry, statistics, and algebraic topology, and motivates the study of other aspects of the equivariant commutative algebra of \(R\). In this talk, we explain an approach to developing the local theory of \(R\)-modules in this equivariant setting by studying a generalization of FI-modules to a "weighted" setting. We introduce these weighted FI-modules, and discuss how they too can be studied from the perspective of commutative algebra up to the action of parabolic subgroups of the infinite general linear group.

  Abstract:

Universal enveloping algebras of finite-dimensional Lie algebras are fundamental examples of well-behaved noncommutative rings. On the other hand, enveloping algebras of infinite-dimensional Lie algebras remain mysterious. For example, it is widely believed that they are never noetherian, but there are very few examples whose noetherianity is known. In this talk, I will summarize what is known about the noetherianity of enveloping algebras, with a focus on Lie algebras of derivations of associative algebras.

  Abstract:

We describe a new and elementary proof of the fact that many groups of piecewise-projective transformation of the line are non-amenable by constructing an explicit action without fixed points. One the one hand, such groups provide explicit counter-examples to the Day-von Neumann problem. On the other hand, they illustrate that we can distinguish many "layers" of relative non-amenability between nested subgroups.

  Abstract:

We will survey the class of linear groups, and identify three methods of constructing linear groups: algebraic, geometric, and arithmetic. We will propose that every subgroup comes from one of these types of constructions. There are many interesting consequences all across group theory and geometry if this is indeed the case. Focusing on the case of 2-by-2 matrix groups, the algebraic and arithmetic subgroups are very well-understood. We will fill in some understanding of geometric subgroups in this setting, by showing that for any prime p, there is a closed surface group in \({\rm PSL}_2(\mathbb{Z}[1/p])\). These surface groups will have genus proportional to \(p\), and we speculate that the construction is optimal.

  Abstract:

The symbol length problem is a longstanding question concerning the Brauer group of a field. In the case of fields of positive characteristic, every Brauer class is split by a finite extension of height 1. This observation suggests a connection between the symbol length problem and the Galois theory of purely inseparable extensions, where the restricted Lie algebra naturally arise. In this talk, we will explore how various symbol length problems in Brauer groups relate to restricted Lie algebras and introduce a moduli-theoretic description of restricted subspaces in a restricted Lie algebra.

  Abstract:

We discuss an analogue of the Goldbach conjecture for polynomials with coefficients in semidomains (i.e., subsemirings of an integral domain).

  Abstract:

Consider the conjugation action of \({\rm GL}_2(K)\) on the polynomial ring \(K[X_{2\times 2}]\). When \(K\) is an infinite field, the ring of invariants is a polynomial ring generated by the trace and the determinant. We describe the ring of invariants when \(K\) is a finite field, and show that it is a hypersurface.

  Abstract:

Given a representation \(W\) of a group \(G\), polarization is a technique to obtain polynomial invariants for the diagonal action of \(G\) on \(W^{\oplus r+1}\) from invariants of \(W^{\oplus r}\). Weyl's theorem on polarization tells us when polarization suffices to obtain all polynomial invariants of \(W^{\oplus r+1}\) via this process. I will survey some results on polarization in the positive characteristic setting from the last three decades and explain how this can be used to obtain negative answers to some noetherian problems in infinite-dimensional/noncommutative algebra.

  Abstract:

Motivic degree 0 Donaldson--Thomas theory on a variety \(X\) is a point counting theory on the Hilbert scheme of points on \(X\) parametrizing zero-dimensionally supported quotient sheaves of \(\mathcal{O}_X\). On the other hand, the high rank DT theory is about the so called punctual Quot scheme parametrizing zero-dimensional quotient sheaves of the vector bundle \(\mathcal{O}_X^{\oplus r}\), while the unframed DT theory is about the stack of zero-dimensional coherent sheaves on \(X\). I will talk about some recent progresses on explicit computations of these theories for singular curves \(X\). For example, we found the exact count of \(n\times n\) matrix solutions \(AB=BA, A^2=B^3\) over a finite field (a problem corresponding to the motivic unframed DT theory for the curve \(y^2=x^3\)), and its generating function is a series appearing in the Rogers-Ramanujan identities. In other families of examples, it turns out that such computations discover new Rogers-Ramanujan type identities.

  Abstract:

In the talk, we will discuss the irreducibility and the Galois group of random polynomials over the integers. After giving motivation (coming from work of Breuillard--Varju, Eberhard, Ferber--Jain--Sah--Sawhney, and others), I will present a result, conditional on the extended Riemann hypothesis, showing that the characteristic polynomial of certain random tridiagonal matrices is irreducible, with probability tending to 1 as the size of the matrices tends to infinity. The proof involves random walks in direct products of \({\rm SL}_2(\mathbb{F}_p)\), where we use results of Breuillard--Gamburd and Golsefidy--Srinivas. Joint work with Lior Bary-Soroker and Sasha Sodin.

  Abstract:

We will give a taste of the flavors of math that constitute the study of random walks on compact groups, followed by which we will describe the author's work with Prof. Golsefidy in solving a question of Lindenstrauss and Varju. Namely, can the spectral gap of a random walk on a product of groups be related to those of the projections onto its factors.

  Abstract:

Support varieties for Hopf algebras (and more general tensor categories) give a way of associating geometry to finite-dimensional modules. The support variety of a module is empty if and only if the module is projective. We give a method for extending a support variety theory from the finite-dimensional modules to the infinite-dimensional ones, and give conditions under which the theory still detects projectivity. This talk will include joint work with Nakano-Yakimov and with Cai.

  Abstract:

Let \(R\) be a polynomial ring with \(m \times n\) many indeterminate over the complex numbers. We can think of the indeterminates as a matrix \(X\) of size \(m \times n\). Consider the group \(G = {\rm GL}_m \times {\rm GL}_n\). Then \(G\) acts on \(R\) via the group action \((A,B)X =AXB^{-1}\). In 1980, DeConcini, Eisenbud, and Procesi introduced the ideals that are invariant under this group action. In the same paper, they described various properties of those ideals, e.g., associated primes, primary decomposition, and integral closures. In recent work with Sudipta Das, Tai Huy Ha, and Jonathan Montano, we described their rational powers and proved that they satisfy the binomial summation formula. In an ongoing work, Alexandra Seceleanu and I are formulating symbolic properties of these ideals. In this talk, I will describe these ideals and the properties we are interested in. I will also showcase some results from my collaborations.

  Abstract:

It is well-known that if a tensor category has an abelian algebra object \(A\), one obtains a new category, essentially by tensoring over \(A\). An important class of such algebra objects come from conformal inclusions for loop groups. While these algebra objects have been known for a long time, an explicit description of the corresponding categories was only recently found. They are somewhat surprisingly closely related to representation categories of the isomeric quantum Lie super algebras. This talk is based on joint work with Edie-Michell and a paper by Edie-Michell and Snyder.

  Abstract:

TBA.

  Abstract:

TBA.

  Abstract:

TBA.