arXiv research

Projective resolves symplectic Steinberg module for number rings.

We find a presentation of symplectic Steinberg modules and show vanishing cohomology for certain groups.

Generalized Steinberg module presentation for Gaussian and Eisenstein integers.

Proves conjecture simplifying mapping class group action on Steinberg module.

We prove that the Steinberg module of the special linear group of a quadratic imaginary number ring which is not Euclidean is not generated by integral apartments. Assuming the generalized Riemann hypothesis, this shows that the Steinberg module of a number ring is generated by integral apartments if and only if the ri…

Homomorphism from braid groups to Steinberg groups defined.

Explicitly found generators of cohomology for SL_n(Z) using sharbly cycles and cosharbly cocycles.

For a number ring $\mathcal{O}$, Borel and Serre proved that $\text{SL}_n(\mathcal{O})$ is a virtual duality group whose dualizing module is the Steinberg module. They also proved that $\text{GL}_n(\mathcal{O})$ is a virtual duality group. In contrast to $\text{SL}_n(\mathcal{O})$, we prove that the dualizing module of…

Study on cohomology of SL_n(Z) for n>=3, proving vanishing of certain cohomology groups.

The abstract defines and studies a Tits building for commutative rings and proves a Solomon-Tits theorem under certain conditions.

New identities link Frobenius elements to Jones-Wenzl projectors at roots of unity.

We prove that H^{d-1}(SL_n Z; Q) = 0, where d = n-choose-2 is the cohomological dimension of SL_n Z, and similarly for GL_n Z. We also prove analogous vanishing theorems for cohomology with coefficients in a rational representation of the algebraic group GL_n. These theorems are derived from a presentation of the Stein…

Study of symplectic groupoids from tt*-Toda equations.

By the work of Harer, the reduced homology of the complex of curves is a fundamental cohomological object associated to all torsion free finite index subgroups of the mapping class group. We call this homology group the Steinberg module of the mapping class group. It was previously known that the curve complex has the …

We prove a new structural result for the spherical Tits building attached to SL_n(K) for many number fields K, and more generally for the fraction fields of many Dedekind domains O: the Steinberg module St_n(K) is generated by integral apartments if and only if the ideal class group cl(O) is trivial. We deduce this int…

Let $W\ltimes L$ be an irreducible affine Weyl group with Coxeter complex $Σ$, where $W$ denotes the associated finite Weyl group and $L$ the translation subgroup. The Steinberg torus is the Boolean cell complex obtained by taking the quotient of $Σ$ by the lattice $L$. We show that the ordinary and flag $h$-polynomial…

Study shows Steinberg representation's multiplicity in cohomology of congruence subgroups.

Quantizes $b$-symplectic toric manifolds using $T$-modules.

The study proves symplectic quandles cannot have good involutions.

This note provides a formula for the character of the Lie algebra of the fundamental group of a surface, viewed as a module over the symplectic group.

We study the structure of symplectic quandles, quandles which are also R-modules equipped with an antisymmetric bilinear form. We show that every finite dimensional symplectic quandle over a finite field F or arbitrary field F of characteristic other than 2 is a disjoint union of a trivial quandle and a connected quand…

We introduce a Hilbert $A$-module structure on the higher oscillatory module, where $A$ denotes the $C^*$-algebra of bounded endomorphisms of the basic oscillatory module. We also define the notion of an exterior covariant derivative in an $A$-Hilbert bundle and use it for a construction of an $A$-elliptic complex of d…

SympNets identify Hamiltonian systems from data using linear, activation, and gradient modules.

Shows natural quasi-Poisson structure on multiplicative Grothendieck-Springer space.

We study a notion of pre-quantization for $b$-symplectic manifolds. We use it to construct a formal geometric quantization of $b$-symplectic manifolds equipped with Hamiltonian torus actions with nonzero modular weight. We show that these quantizations are finite dimensional $T$-modules.

We give a classification of $1^{st}$ order invariant differential operators acting between sections of certain bundles associated to Cartan geometries of the so called metaplectic contact projective type. These bundles are associated via representations, which are derived from the so called higher symplectic, harmonic …

In the previous paper \cite{Goto_2017}, the notion of an Einstein-Hermitian metric of a generalized holomorphic vector bundle over a generalized Kahler manifold of symplectic type was introduced from the moment map framework. In this paper we establish a Kobayashi-Hitchin correspondence, that is, the equivalence of the…

We propose a Lie-theoretic definition of the tt*-Toda equations for any complex simple Lie algebra $\mathfrak{g}$, based on the concept of topological-antitopological fusion which was introduced by Cecotti and Vafa. Our main result concerns the Stokes data of a certain meromorphic connection, whose isomonodromic deform…

We introduce a weak concept of Morita equivalence, in the birational context, for Poisson modules on complex normal Poisson projective varieties. We show that Poisson modules, on projective varieties with mild singularities, are either rationally Morita equivalent to a flat partial holomorphic sheaf, or a sheaf with a …

The objective of this paper is to clarify the relationships between the quantum D-module and equivariant Floer theory. Equivariant Floer theory was introduced by Givental in his paper ``Homological Geometry''. He conjectured that the quantum D-module of a symplectic manifold is isomorphic to the equivariant Floer cohom…

New computations show symplectic groups and mapping class groups have different properties regarding torsion.

This is an introduction to the author's recent work on constrained systems. Firstly, a generalization of the Marsden-Weinstein reduction procedure in symplectic geometry is presented - this is a reformulation of ideas of Mikami-Weinstein and Xu. Secondly, it is shown how this procedure is quantized by Rieffel induction…

For each closed, orientable surface F, we construct a local, diffeomorphism invariant trace on the Kauffman bracket skein module K_t(F x [0,1]). The trace is defined when |t| is neither 0 nor 1, and at certain roots of unity. At t = - 1, the trace is integration against the symplectic measure on the SU(2) character var…

We introduce the notions of overcommutation and overcommutation length in groups, and show that these concepts are closely related to representations of the fundamental groups of 3-manifold and their Heegaard genus. We give many examples including translations in the affine group of the line and provide upper bounds fo…

We construct the TQFT on symplectic cohomology and wrapped Floer cohomology, possibly twisted by a local system of coefficients, and prove that the TQFT respects Viterbo restriction maps and the canonical maps from ordinary cohomology. We also construct the module structure of wrapped Floer cohomology over symplectic c…

We consider D-branes in string theory and address the issue of how to describe them mathematically as a fundamental object (as opposed to a solitonic object) of string theory in the realm in differential and symplectic geometry. The notion of continuous maps, $k$-times differentiable maps, and smooth maps from an Azuma…

We construct analogues of FI-modules where the role of the symmetric group is played by the general linear groups and the symplectic groups over finite rings and prove basic structural properties such as Noetherianity. Applications include a proof of the Lannes--Schwartz Artinian conjecture in the generic representatio…

Talk 1: Open problems in knot theory that everyone can try to solve. Knot theory is more than two hundred years old; the first scientists who considered knots as mathematical objects were A.Vandermonde (1771) and C.F.Gauss (1794). However, despite the impressive grow of the theory, there are simply formulated but funda…

We show that, at the prime $p=2$, the spectrum $Σ^{-n}D(n)$ splits off the Madsen-Tillmann spectrum $MTO(n)=BO(n)^{-γ_n}$ which is compatible with the classic splitting of $M(n)$ off $BO(n)_+$. For $n=2$, together with our previous splitting result on Madsen-Tillmann spectra, this shows that $MTO(2)$ is homotopy equiva…

We present a complete classification and the construction of $\mathrm{Mp}(2n+2,\mathbb{R})$-equivariant differential operators acting on the principal series representations, associated to the contact projective geometry on $\mathbb{RP}^{2n+1}$ and induced from the irreducible $\mathrm{Mp}(2n,\mathbb{R})$-submodules of…

We show, finitely generated rational $\mathsf{VIC}_{\mathbb Q}$-modules and $\mathsf{SI}_{\mathbb Q}$-modules are uniformly representation stable and all their submodules are finitely generated. We use this to prove two conjectures of Church and Farb, which state that the quotients of the lower central series of the To…

Results on symplectic spinors and their higher spin versions, concerning representation theory and cohomology properties are presented. Exterior forms with values in the symplectic spinors are decomposed into irreducible modules including finding the hidden symmetry (Schur--Weyl--Howe type duality) given by a represent…

Floer theory constructs filtrations on quantum cohomology for symplectic manifolds.

The classical abelian invariants of a knot are the Alexander module, which is the first homology group of the the unique infinite cyclic covering space of S^3-K, considered as a module over the (commutative) Laurent polynomial ring, and the Blanchfield linking pairing defined on this module. From the perspective of the…

For a symplectic manifold admitting a metaplectic structure and for a Kuiper map, we construct a complex of differential operators acting on exterior differential forms with values in the dual of the Kostant's symplectic spinor bundle. Defining a Hilbert $C^*$-structure on this bundle for a suitable $C^*$-algebra, we o…

The paper is devoted to the comparison of the Fukaya category (it is responcible for the A-side of mirror symmetry) with the category of holonomic modules over the quantized algebra of functions on the same symplectic manifold. We conjecture that these categories become $A_{\infty}$-equivalent after a twist by a kind o…

Constructs a sheaf of Bargmann-Fock modules on Kähler manifolds.

This paper is based on my talks (`Skein modules with a cubic skein relation: properties and speculations' and `Symplectic structure on colorings, Lagrangian tangles and its applications') given in Kyoto (RIMS), September 11 and September 18 respectively, 2001. The first three sections closely follow the talks: starting…