a hybrid system is a dynamical system that exhibits both continuous and discrete dynamic behavior. the state of a hybrid system changes either continuously by the flow described by a differential equation or discretely following some jump conditions. a canonical example of a hybrid system is the bouncing ball, imagined as a point-mass, under the influence of gravity. in this talk, we explore the solutions and algorithms to the extensions of this example in 3-dimension where the body of interest is rigid and convex in general. in particular, the solutions utilize the theory of nonsmooth lagrangian mechanics to derive the differential equations and jump conditions, which heavily depend on the collision detection function. the proposed algorithm called lie group variational collision integrator is developed using the combination of techniques and knowledge from variational collision integrators and lie group variational integrators. if time permits, we can discuss how some of these techniques can be used in optimal control and robotics.

a hyperoperation on a set m is an operation that associates to each pair of elements a subset of m. hypergroups and hyperrings are two examples of structures defined in terms of hyperoperations. while they were respectively defined in the 1930s and 1950s, they have recently gained prominence through various appearances in number theory, combinatorics, and absolute algebraic geometry. however, to date there has been relatively little attention given to categories of hyperstructures. i will discuss several categories of hyperstructures that generalize hypergroups. a common theme is that in order for these categories to enjoy good properties like (co)completeness, we must allow for the product or sum of two elements to be the empty subset, which cannot occur in a hypergroup. in particular, i will introduce a category of hyperstructures called mosaics whose subcategory of commutative objects possess a closed monoidal structure reminiscent of the tensor product of abelian groups. this is joint work with so nakamura.

 we present the partition of unity method (pum) and its implementation in fraunhofer scai’s puma software framework. the fundamental idea and benefit of the pum is to reduce the necessary number of degrees of freedom of a simulation while attaining the required accuracy of the application by using application-dependent enrichment functions which can resolve highly localized behavior of the solution instead of using mesh-refinement and standard piecewise polynomial basis functions. we discuss how such application-dependent enrichments can be constructed a-priori and on-the-fly during a simulation for e.g. laminated composites, shells and additive manufacturing problems.

schubert polynomials are distinguished representatives of schubert cells in the cohomology of the flag variety. pipedreams (pd) and bumpless pipedreams (bpd) are two combinatorial models of schubert polynomials. there are many classical perspectives to view pds: fomin and stanley represented each pd as an element in the nilcoexter algebra; lenart and sottile converted each pd into a labeled chain in the bruhat order. in this talk, we unravel the bpd analogues of both viewpoints. one application of our results is a simple bijection between pds and bpds via lenart's growth diagram.

in the first half, i will introduce the subject of random conformal geometry. schramm-loewner evolution (sle) is a random planar curve describing the scaling limits of interfaces in statistical physics models (e.g. percolation, ising model). liouville quantum gravity (lqg) is a random 2d surface arising as the scaling limit of random planar maps. these fractal geometries have deep connections to bosonic string theory and conformal field theories. lqg and sle exhibit a rich interplay: cutting lqg by independent sle gives two independent lqg surfaces [sheffield '10, duplantier-miller-sheffield '14]. in the second half, i will present extensions of these lqg/sle theorems and give several applications.

to any group g is associated the space ch(g) of all characters on g. after defining this space and discussing its interesting properties, i'll turn to discuss dynamics on such spaces. our main result is that the action of any arithmetic group on the character space of its amenable/solvable radical is stiff, i.e, any probability measure which is stationary under random walks must be invariant. this generalizes a classical theorem of furstenberg for dynamics on tori. relying on works of bader, boutonnet, houdayer, and peterson, this stiffness result is used to deduce dichotomy statements (and 'charmenability') for higher rank arithmetic groups pertaining to their normal subgroups, dynamical systems, representation theory and more. the talk is based on a joint work with uri bader.

the class number formula describes the behavior of the dedekind zeta function at s = 0 and s = 1. the stark and gross conjectures extend the class number formula, describing the behavior of artin l-functions and p-adic l-functions at s = 0 and s = 1 in terms of units. the harris–venkatesh conjecture describes the residue of stark units modulo p, giving a modular analogue to the stark and gross conjectures while also serving as the first verifiable part of the broader conjectures of venkatesh, prasanna, and galatius.
in this talk, i will draw an introductory picture, formulate a unified conjecture combining harris–venkatesh and stark for weight one modular forms, and describe the proof of this in the imaginary dihedral case.

over the last few years there have been significant developments in the techniques used to understand singularities within minimal submanifolds. i will discuss this circle of ideas and explain how they enable us to reconnect the study of these geometric singularities with more classical pde techniques, such as those used in unique continuation.

 in this talk, we consider a conjecture by gross and kudla that relates the derivatives of triple-product l-functions  for three modular forms and the height pairing of the gross—schoen cycles on shimura curves.

then, we sketch a proof of a generalization of this conjecture for hilbert modular forms in the spherical case. this is a report of work in progress with xinyi yuan and wei zhang, with help from yifeng liu.

 in this talk, we first consider a formula proved in the 2010s that relates the height pairing of the gross—schoen cycles on the product of a curve over a number field and the self-product of the relative dialyzing sheaves. then, we describe a recent application given by xinyi yuan on the uniform bogomolov conjecture and the uniform mordell—lang conjecture.