相关论文: Holomorphic quantization formula in singular reduc…

E. Sk\"oldberg's Morse Theory from an Algebraic Viewpoint and M. J\"ollenbeck's Algebraic Discrete Morse Theory and Applications to Commutative Algebra, which is the algebraic generalization of R. Forman's discrete Morse Theory for Cell…

We formalize a multivariate quantifier elimination (QE) algorithm in the theorem prover Isabelle/HOL. Our algorithm is complete, in that it is able to reduce any quantified formula in the first-order logic of real arithmetic to a logically…

We generalize the cosection localized Gysin map to intersection homology and Borel-Moore homology, which provides us with a purely topological construction of the Fan-Jarvis-Ruan-Witten invariants and some GLSM invariants.

Let $X$ be a smooth projective variety acted on by a reductive group $G$. Let $L$ be a positive $G$-equivariant line bundle over $X$. We use the Witten deformation of the Dolbeault complex of $L$ to show, that the cohomology of the sheaf of…

In the present paper, we use discrete Morse theory to provide a new implementation of torsion subcomplex reduction for arithmetic groups. This leads both to a simpler algorithm as well as runtime improvements. To demonstrate the technique,…

We develop the theory of twisted L^2-cohomology and twisted spectral invariants for flat Hilbertian bundles over compact manifolds. They can be viewed as functions on the first de Rham cohomology of M and they generalize the standard…

An analogue of geometric quantization of Poisson algebras obtained by algebraic reduction of symmetries is developed. Interpretation of the obtained results and their application to the problem of commutativity of quantization and reduction…

We present an alternative formulation of Scholze's notions of cohomologically proper and cohomologically \'etale with respect to an abstract six-functor formalism. These conditions guarantee canonical isomorphisms between the direct and…

We define a formal Gromov-Witten theory of the quintic 3-fold via localization on CP4. Our main result is a direct geometric proof of holomorphic anomaly equations for the formal quintic in precisely the same form as predicted by B-model…

In this paper we demonstrate closure of the quantum algebra of Hamiltonian constraints in a theory directly related to a certain sector of general relativity reduced to diagonal variables.

We describe and investigate a connection between the topology of isolated singularities of plane curves and the mutation equivalence, in the sense of cluster algebra theory, of the quivers associated with their morsifications.

The Holant theorem is a powerful tool for studying the computational complexity of counting problems in the Holant framework. Due to the great expressiveness of the Holant framework, a converse to the Holant theorem would itself be a very…

In this paper we study special bases of certain spaces of half-integral weight weakly holomorphic modular forms. We establish a criterion for the integrality of Fourier coefficients of such bases. By using recursive relations between Hecke…

We investigate an equivariant generalization of Morse theory for a general class of integrable models. In particular, we derive equivariant versions of the classical Poincar\'e-Hopf and Gauss-Bonnet-Chern theorems and present the…

Quantum mechanical potentials satisfying the property of shape invariance are well known to be algebraically solvable. Using a scaling ansatz for the change of parameters, we obtain a large class of new shape invariant potentials which are…

In this paper we prove the existence of isomorphisms between certain non-commutative algebras that are interesting from representation theoretic perspective and arise as quantizations of certain Poisson algebras. We show that quantizations…

The recently proposed PT-symmetric quantum mechanics works with complex potentials which possess, roughly speaking, a symmetric real part and an anti-symmetric imaginary part. We propose and describe a new exactly solvable model of this…

Kitchloo and Morava give a strikingly simple picture of elliptic cohomology at the Tate curve by studying a completed version of $S^1$-equivariant $K$-theory for spaces. Several authors (cf [ABG],[KM],[L]) have suggested that an equivariant…

The space of realizations of a finite-dimensional Lie algebra by first order differential operators is naturally isomorphic to H^1 with coefficients in the module of functions. The condition that a realization admits a finite-dimensional…

We describe a midi-superspace quantization scheme for generic single horizon black holes in which only the spatial diffeomorphisms are fixed. The remaining Hamiltonian constraint yields an infinite set of decoupled eigenvalue equations: one…