Related papers: Distributions and Euler systems for the general li…

We use Euler systems to prove the Gras conjecture for groups generated by Stark units in global function fields. The techniques applied here are classical and go back to Thaine, Kolyvagin and Rubin. We obtain our Euler systems from the…

The coadjoint orbits of compact Lie groups each carry a canonical (positive definite) K\"ahler structure, famously used to realize the group's irreducible representations in holomorphic sections of appropriate line bundles (Borel-Weil…

We present a method to construct new tilting complexes from existing ones using tensor products, generalizing a result of Rickard. The endomorphism rings of these complexes are generalized matrix rings that are "componentwise" tensor…

Let $G$ be a finite group and let $N/E$ be a tamely ramified $G$-Galois extension of number fields. We show how Stickelberger's factorization of Gauss sums can be used to determine the stable isomorphism class of various arithmetic…

Complex systems that consist of different kinds of entities that interact in different ways can be modeled by multilayer networks. This paper uses the tensor formalism with the Einstein tensor product to model this type of networks. Several…

We prove the conjectures of Yau-Zaslow and Gottsche concerning the number curves on K3 surfaces. Specifically, let X be a K3 surface and C be a holomorphic curve in X representing a primitive homology class. We count the number of curves of…

We construct knot invariants categorifying the quantum knot variants for all representations of quantum groups. We show that these invariants coincide with previous invariants defined by Khovanov for sl_2 and sl_3 and by Mazorchuk-Stroppel…

We deduce the Riemann-Roch type formula expressing the microlocal Euler class of a perfect complex of D-modules in terms of the Chern character of the associated symbol complex and the Todd class of the manifold from the Riemann-Roch type…

We extend our previous results on generalized Dixmier-Douady theory to graded $C^*$-algebras, as means for explicit computations of the invariants arising for bundles of ungraded $C^*$-algebras. For a strongly self-absorbing $C^*$-algebra…

B\'ezout's theorem, nonequivariantly, can be interpreted as a calculation of the Euler class of a sum of line bundles over complex projective space, expressing it in terms of the rank of the bundle and its degree. We give here a…

The densities of small linear structures (such as arithmetic progressions) in subsets of Abelian groups can be expressed as certain analytic averages involving linear forms. Higher-order Fourier analysis examines such averages by…

Germs of tubular neighborhood embeddings for submanifolds N of manifolds M are in one-one correspondence with germs of Euler-like vector fields near N. In many contexts, this reduces the proof of `normal forms results' for geometric…

We define several versions of a class of varieties $X_{\mathfrak{g}}$ attached to a complex reductive Lie algebra $\mathfrak{g}$, generalizing the Hilbert scheme of points on the plane. These include trigonometric and elliptic versions…

We construct an Euler system attached to general-type cohomological cuspidal automorphic representations of $\mathrm{GSp}(4)$ twisted by a Groessencharacter of an imaginary quadratic field. We then use this to bound strict Selmer groups…

This paper examines a number of related questions about Euler characteristics and characteristic classes with values in Witt cohomology. We establish a motivic version of the Becker-Gottllieb transfer, generalizing a construction of Hoyois.…

We construct an Euler system associated to regular algebraic, essentially conjugate self-dual cuspidal automorphic representations of GL(3) over imaginary quadratic fields, using the cohomology of Shimura varieties for GU(2, 1).

We prove a variety results on tensor product factorizations of finite dimensional Hopf algebras (more generally Hopf algebras satisfying chain conditions in suitable braided categories). The results are analogs of well-known results on…

This paper explores formalizing Geometric (or Clifford) algebras into the Lean 3 theorem prover, building upon the substantial body of work that is the Lean mathematics library, mathlib. As we use Lean source code to demonstrate many of our…

We introduce twisted K-theoretic Gromov-Witten invariants - in the frameworks of both "ordinary" and permutation-equivariant K-theoretic GW theory defined recently by Givental. We focus on the case when the twisting is given by the Euler…

We establish a connection between the theory of cyclotomic ideal class groups and the theory of "geometric" Galois modules and obtain results on the Galois module structure of coherent cohomology groups of Galois covers of varieties over Z.…