Войти в систему

Home
    - Создать дневник
    - Написать в дневник
       - Подробный режим

LJ.Rossia.org
    - Новости сайта
    - Общие настройки
    - Sitemap
    - Оплата
    - ljr-fif

Редактировать...
    - Настройки
    - Список друзей
    - Дневник
    - Картинки
    - Пароль
    - Вид дневника

Сообщества

Настроить S2

Помощь
    - Забыли пароль?
    - FAQ
    - Тех. поддержка



Пишет Misha Verbitsky ([info]tiphareth)
@ 2024-07-05 13:44:00


Previous Entry  Add to memories!  Tell a Friend!  Next Entry
Настроение: sick
Музыка:План ПланЫч + АГНИЯR - A.D.Тел (1990-2000)
Entry tags:.il, math, travel

вещаю в tau.ac.il
Вещаю походу в Тель-Авиве

Math Colloquium: Misha Verbitsky (IMPA / HSE)
Hyperbolic groups are not Ulam stable
Mon, July 8, 12:15pm – 1:15pm

Let G be a Lie group equipped with a left-invariant
Riemannian metric d, and Γ any group. An ε-homomorphism
is a map ρ:Γ→G which is "not far" from a
homomorphism. More formally, an ε-homomorphism is a map
ρ:Γ→G satisfying d(ρ(xy),ρ(x)ρ(y)) < ε for all x,y ϵ Γ. A
group Γ is called Ulam stable if any ε-homomorphism Γ→
U(n) can be approximated by homomorphisms. Ulam stability
was originally treated by D. Kazhdan (1982), following a
question of V. Milman. Kazhdan has proven that all
amenable groups are Ulam stable. Then he constructed an
ε-homomorphism ρ:Γ→U(n), for any given ε >0,which cannot
be 1/10-approximated by a homomorphism, where Γ is the
fundamental group of a genus 2 Riemann surface. I would
give a geometric version of his construction, and
construct an ε-homomorphism ρ:Γ→G which cannot be
1/10-approximated for any Lie group G, where Γ is the
fundamental group of a compact Riemannian manifold of
strictly negative sectional curvature. This is a joint
work with Michael Brandenbursky.

Math Colloquium meetings take place on Mondays 12:15-13:15
in Schreiber building, room 006

* * *

Thursday, July 11, 2024, 16:15-17:45, Schreiber 309

Mikhail Verbitsky
(IMPA, Rio de Janeiro, and HSE, Moscow)
Complex geometry and the isometries of the hyperbolic space

The isometries of a hyperbolic space are classified into
three classes - elliptic, parabolic, and loxodromic; this
classification plays the major role in homogeneous
dynamics of hyperbolic manifolds. Since the work of Serge
Cantat in the early 2000-ies it is known that a similar
classification exists for complex surfaces, that is,
compact complex manifolds of dimension 2. These results
were recently generalized to holomorphically symplectic
manifolds of arbitrary dimension. I would explain the
ergodic properties of the parabolic automorphisms, and
prove the ergodicity of the automorphism group action for
an appropriate deformation of any compact holomorphically
symplectic manifold. This is a joint work with Ekaterina
Amerik.

* * *

ну и до кучи, 14-го в HUJI.

Привет



(Читать комментарии) - (Добавить комментарий)


(Анонимно)
2024-07-05 13:58 (ссылка)
> An ε-homomorphism
is a map ρ:Γ→G which is "not far" from a
homomorphism. More formally, an ε-homomorphism is a map
ρ:Γ→G satisfying d(ρ(xy),ρ(x)ρ(y)) < ε for all x,y ϵ Γ. A
group Γ is called Ulam stable if any ε-homomorphism Γ→
U(n) can be approximated by homomorphis

А еще Юникод ненавидишь! Было бы все на кои8, без HTML entities (которые просто юникод эскейп), хуй бы вот ты такой текст сюда запостил, пришлось бы картинкой вставлять.

(Ответить) (Ветвь дискуссии)


(Анонимно)
2024-07-05 18:44 (ссылка)
нашел к чему придраться...

(Ответить) (Уровень выше) (Ветвь дискуссии)


(Анонимно)
2024-07-06 00:27 (ссылка)
Ну просто шокируют определённые мелочи, вот Миша в целом адекват по жизни, но его отношение к текстовым кодировкам мракобесное, он однобайтовый луддит.

(Ответить) (Уровень выше) (Ветвь дискуссии)

Суррогаты на чудеса богаты Суррогаты на чудеса богаты
[info]necax
2024-07-06 18:23 (ссылка)
MBCS - один из самых кривых костылей за всю историю, даже кривее, чем строки в языке "See" где тоже требуется пройтись по всем байтам, чтобы узнать количество чаров.



А как ловко пидоры заняли всё множество мощностью 2¹⁶ и потребовали ещё - отдельный повод поржать.

(Ответить) (Уровень выше)


[info]gottheit
2024-07-07 03:33 (ссылка)
Сейчас, конечно, мультикультурализм, привыкли к роскоши разных символов, ‎Supplemental Mathematical и так далее... но все-таки есть что-то грустное и противоестественное в многобайтовых кодировках... может быть я тоже луддит.

(Ответить) (Уровень выше)


(Анонимно)
2024-07-06 07:09 (ссылка)
has proven
вот к этому можно придраться

(Ответить) (Уровень выше)


(Анонимно)
2024-07-06 00:43 (ссылка)
>картинкой вставлять.

Хуинкой, блять! На Латехе бы вставил. Кому надо, тот прочтет и поймет.

(Ответить) (Уровень выше) (Ветвь дискуссии)


[info]tiphareth
2024-07-06 08:53 (ссылка)
я в техе и писал
там стоит софт, который его автоматически конвертирует в юникод

(Ответить) (Уровень выше) (Ветвь дискуссии)


(Анонимно)
2024-07-06 17:39 (ссылка)
Миша, не пиши has proven. Забудь слово proven. Всегда proved. Если прошлое в прошлом то had proved.

(Ответить) (Уровень выше) (Ветвь дискуссии)


[info]tiphareth
2024-07-06 17:47 (ссылка)
Dictionary
Definitions from Oxford Languages · Learn more
proven
/ˈpro͞ovən/
adjective
adjective: proven

demonstrated by evidence or argument to be true or existing.
"a proven ability to work hard"
(of a new method, system, or treatment) tried and tested.
"a system based on proven technologies"

(Ответить) (Уровень выше) (Ветвь дискуссии)


(Анонимно)
2024-07-06 20:00 (ссылка)
нутк proven в "Kazhdan has proven" это же не adjective, а verb

(Ответить) (Уровень выше)


(Анонимно)
2024-07-07 04:02 (ссылка)
Начинается… ты сам прочти словарь пять раз, а потом прочти, что ты написал. Где в словаре глагол proven?
И что ты хотел сказать формой has proven если ты после нее пишешь proved? Там не лезет ничего, кроме proved

(Ответить) (Уровень выше)


(Анонимно)
2024-07-07 15:50 (ссылка)
Он про то, что в разговоре о прошлом ц вас сначала идёт Каждан в презент перфект, а затем паст симпл. Когда идёт нарратив, он в одной временной зоне. Proved/constructed или has proven/has constructed.

(Ответить) (Уровень выше) (Ветвь дискуссии)


(Анонимно)
2024-07-07 20:16 (ссылка)
не только про то.
> has proven
нихуя. has proved.
Kazhdan has a proven ability to prove theorems and he has proved many.
да, этот глагол еще считался неправильным, когда миша ходил в школу, но теперь has proven говорят только для подчеркивания старомодности или каноничности ("proven guilty") или своей совковости.

Скорее всего Миша пытался написать "Каждан доказал" как факт в настоящем, и потом уточнить, как он это делал в прошлом.

(Ответить) (Уровень выше) (Ветвь дискуссии)


(Анонимно)
2024-07-07 22:47 (ссылка)
> stability was originally treated
> Kazhdan has proven
> Then he constructed
- тут явно несогласованно: treated -> has proven -> then constructed. Прошлое, настоящее, а после снова прошлое.

Кстати, голландский вот хотя и похож на английский, но правила перфектов там другие: "Gisteren heb ik een boek gekocht" валидно и несёт слегка другой смысл чем "Gisteren kocht ik een boek."

(Ответить) (Уровень выше)


(Анонимно)
2024-07-07 22:53 (ссылка)
Всегда есть Deepl Write. Исправляет на паст симпл, разумеется:

https://www.deepl.com/en/write#en/%0ALet%20G%20be%20a%20Lie%20group%20equipped%20with%20a%20left-invariant%0ARiemannian%20metric%20d%2C%20and%20%CE%93%20any%20group.%20An%20%CE%B5-homomorphism%0Ais%20a%20map%20%CF%81%3A%CE%93%E2%86%92G%20which%20is%20%22not%20far%22%20from%20a%0Ahomomorphism.%20More%20formally%2C%20an%20%CE%B5-homomorphism%20is%20a%20map%0A%CF%81%3A%CE%93%E2%86%92G%20satisfying%20d(%CF%81(xy)%2C%CF%81(x)%CF%81(y))%20%3C%20%CE%B5%20for%20all%20x%2Cy%20%CF%B5%20%CE%93.%20A%0Agroup%20%CE%93%20is%20called%20Ulam%20stable%20if%20any%20%CE%B5-homomorphism%20%CE%93%E2%86%92%0AU(n)%20can%20be%20approximated%20by%20homomorphisms.%20Ulam%20stability%0Awas%20originally%20treated%20by%20D.%20Kazhdan%20(1982)%2C%20following%20a%0Aquestion%20of%20V.%20Milman.%20Kazhdan%20has%20proven%20that%20all%0Aamenable%20groups%20are%20Ulam%20stable.%20Then%20he%20constructed%20an%0A%CE%B5-homomorphism%20%CF%81%3A%CE%93%E2%86%92U(n)%2C%20for%20any%20given%20%CE%B5%20%3E0%2Cwhich%20cannot%0Abe%201%5C%2F10-approximated%20by%20a%20homomorphism%2C%20where%20%CE%93%20is%20the%0Afundamental%20group%20of%20a%20genus%202%20Riemann%20surface.%20I%20would%0Agive%20a%20geometric%20version%20of%20his%20construction%2C%20and%0Aconstruct%20an%20%CE%B5-homomorphism%20%CF%81%3A%CE%93%E2%86%92G%20which%20cannot%20be%0A1%5C%2F10-approximated%20for%20any%20Lie%20group%20G%2C%20where%20%CE%93%20is%20the%0Afundamental%20group%20of%20a%20compact%20Riemannian%20manifold%20of%0Astrictly%20negative%20sectional%20curvature.%20This%20is%20a%20joint%0Awork%20with%20Michael%20Brandenbursky.

(Ответить) (Уровень выше)


(Читать комментарии) -